arxiv: v1 [math.dg] 4 Feb 2015

Transcription

1 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE arxiv: v1 [mat.dg] 4 Feb 2015 Dong-Soo Kim and Dong Seo Kim Abstract. Arcimedes sowed tat te area between a parabola and any cord AB on te parabola is four tirds of te area of triangle ABP, were P is te point on te parabola at wic te tangent is parallel to te cord AB. Recently, tis property of parabolas was proved to be a caracteristic property of parabolas. Wit te aid of tis caracterization of parabolas, using centroid of triangles associated wit a curve we present two conditions wic are necessary and sufficient for a strictly locally convex curve in te plane to be a parabola. 1. Introduction We study strictly locally convex plane curves. Recall tat a regular plane curve X : I R 2 in te plane R 2, were I is an open interval, is called convex if, for all s I te trace X(I) of X lies entirely on one side of te closed alf-plane determined by te tangent line at X(s) ([4]). A regular plane curve X : I R 2 is called locally convex if, for eac s I tere exists an open subinterval I 0 I containing s suc tat te curve X I0 restricted to I 0 is a convex curve. Hencefort, we will say tat a locally convex curve X in te plane R 2 is strictly locally convex if te curve is smoot (tat is, of class C (3) ) and is of positive curvature κ wit respect to te unit normal N pointing to te convex side. Hence, in tis case we ave κ(s) = X (s),n(x(s)) > 0, were X(s) is an arc-lengt parametrization of X. Wen f : I R is a smoot function defined on an open interval I, we will also say tat f is strictly convex if te grap of f as positive curvature κ wit respect to te upward unit normal N. Tis condition is equivalent to te positivity of f (x) on I. Suppose tat X is a strictly locally convex curve in te plane R 2 wit te unit normal N pointing to te convex side. For a fixed point P X, and for a sufficiently 2000 Matematics Subject Classification. 53A04. Key words and prases. centroid, parabola, triangle, plane curvature, strictly locally convex curve. Te first autor was supported by Basic Science Researc Program troug te National Researc Foundation of Korea (NRF) funded by te Ministry of Education, Science and Tecnology ( ). 1

2 2 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE small > 0, we consider te line l passing troug P +N(P) wic is parallel to te tangent line t of X at P and te points A and B were te line l intersects te curve X. We denote by t 1, t 2 te tangent lines of X at te points A,B and by Q,A 1,B 1 te intersection points t 1 t 2, t 1 t, t 2 t, respectively. We let L P (), g P (), j P () and k P () denote te lengt of te cord AB, te distance from te centroid G of te section of X cut off by l to te line l, te distance from te centroid J of te triangle QAB to te line l and te distance from te centroid K of te triangle QA 1 B 1 to te line l, respectively. Now, we consider S P () and T P () defined by te area of te region bounded by te curve X and cord AB, te area PAB of triangle PAB, respectively. Ten, obviously we ave T P () = 1 2 L P() (1.1) and we get ([10]) d d S P() = L P (). (1.2) It is well known tat parabolas satisfy te following properties. Proposition 1. Suppose tat X is an open part of a parabola. Ten we ave te following. 1) For arbitrary point P X and sufficiently small > 0, X satisfies S P () = 4 3 T P(). (1.3) 2) For arbitrary point P X and sufficiently small > 0, X satisfies g P () = 2. (1.4) 5 3) For arbitrary point P X and sufficiently small > 0, X satisfies j P () = 2. (1.5) 3 4) For arbitrary point P X and sufficiently small > 0, X satisfies k P () = 4. (1.6) 3 Proof. For a proof of 1), see [16]. If we denote by V te point were te parallel line m troug te point P to te axis of X meets te cord AB, ten V is te mid point of AB and te point Q is on te line m wit PV = PQ. Tis completes te proof of 2), 3) and 4).

3 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE 3 Very recently, te first autor of te present paper and Y. H. Kim sowed tat among strictly convex plane curves, te above area property (1.3) of parabolic sections caracterize parabolas. More precisely, tey proved as follows ([10]). Proposition 2. Let X be a strictly convex curve in te plane R 2. Ten X is a parabola if and only if it satisfies (C) : For a point P on X and a cord AB of X parallel to te tangent of X at P, te area of te region bounded by te curve and AB is 4/3 times te area of triangle ABP, tat is, S P () = 4 3 T P(). Arcimedes sowed tat parabolas satisfy (1.3) ([16]). Actually, in [10] te first autor of te present paper wit Y. H. Kim establised five caracterizations of parabolas, wic are te converses of well-known properties of parabolas originally due to Arcimedes ([16]). For some properties and caracterizations of parabolas wit respect to te area of triangles associated wit a curve, see [3, 6, 13, 14]. For te iger dimensional analogues of some results in [10], see [8] and [9]. In [12], using Proposition 1, D.-S. Kim et al. proved te following caracterization teorem for parabolas wit respect to te function g P (). Proposition 3. Let X be a strictly locally convex plane curve in te plane R 2. For a fixed point P on X and a sufficiently small > 0, we denote by l te parallel line troug P +N(P) to te tangent t of te curve X at P. We let g P () te distance from te center G of gravity of te section of X cut off by l to te line l. Ten X is an open part of a parabola if and only if it satisfies for a fixed point P on X and a sufficiently small > 0 g P () = 2 5. In [12], te distance from te center G of gravity of te section of X cut off by l to te tangent t of X at P was denoted by d P (). Hence, we see tat d P ()+g P () =. In tis article, we study weter te remaining properties of parabolas in Proposition 1 caracterize parabolas. First of all, in Section 2 we prove te following: Teorem 4. Suppose tat X denotes a strictly locally convex plane curve in te plane R 2. For a fixed point P on X and a sufficiently small > 0, we denote by l te parallel

4 4 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE line troug P +N(P) to te tangent t of te curve X at P. Ten we ave and j P () lim = (1.7) k P () lim = (1.8) Finally, wit te aid of te caracterization teorem of parabolas (Teorem 3 in [10]), in Section 4 we prove te following. Teorem 5. Suppose tat X denotes a strictly locally convex C (3) curve in te plane R 2. Ten te following are equivalent. 1) For all P X and sufficiently small > 0, X satisfies were λ(p) and µ(p) are some functions. 2) For all P X and sufficiently small > 0, X satisfies 3) X is an open part of a parabola. j P () = λ(p) µ(p), (1.9) j P () = 2 3. For te function k P (), te similar argument as in te proof of Teorem 5 yields te following. Teorem 6. Suppose tat X denotes a strictly locally convex C (3) curve in te plane R 2. Ten te following are equivalent. 1) For all P X and sufficiently small > 0, X satisfies were λ(p) and µ(p) are some functions. 2) For all P X and sufficiently small > 0, X satisfies 3) X is an open part of a parabola. k P () = λ(p) µ(p), (1.10) k P () = 4 3. Remark. If we consider te distance δ P () from te centroid of te triangle PAB to te parallel line l troug te point P +N(P) to te tangent t of a strictly locally convex curve X at P, ten X always satisfies δ P () = 1 for all sufficiently small 3 > 0. For some caracterizations of parabolas or conic sections by properties of tangent lines, see [5] and [11]. In [7], using curvature function κ and support function of a

5 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE 5 plane curve, te second autor of te present paper and Y. H. Kim gave a caracterization of ellipses and yperbolas centered at te origin. Among te graps of functions, Á. Bényi et al. proved some caracterizations of parabolas ([1, 2]). In [15], B. Ricmond and T. Ricmond establised a dozen necessary and sufficient conditions for te grap of a function to be a parabola by using elementary tecniques. Trougout tis article, all curves are of class C (3) and connected, unless oterwise mentioned. 2. Proof of Teorem 4 In tis section, we prove Teorem 4. First of all, we need te following lemma ([10]) wic is useful in te proof of main teorems. Lemma 7. Suppose tat X is a strictly locally convex C (3) curve in te plane R 2 wit te unit normal N pointing to te convex side. Ten we ave lim 0 1 L P () = 2 2 κ(p), (2.1) were κ(p) is te curvature of X at P wit respect to te unit normal N pointing to te convex side. Now, we prove Teorem 4 as follows. Let us denote by X a strictly locally convex C (3) curve in te Euclidean plane R 2. We fix an arbitrary point P on X. Ten, we may take a coordinate system (x,y) of R 2 suc tat P is te origin (0,0) and x-axis is te tangent line t of X at P. Furtermore, we may regard X to be locally te grap of a non-negative strictly convex function f : R R wit f(0) = f (0) = 0. Ten N is te upward unit normal. Since te curve X is of class C (3), te Taylor s formula of f(x) is given by f(x) = ax 2 +f 3 (x), (2.2) were 2a = f (0) and f 3 (x) is an O( x 3 ) function. Noting tat te curvature κ of X at P is given by κ(p) = f (0) > 0, we see tat a is positive. For a sufficiently small > 0, te line l troug P+N(P) and ortogonal to N(P) is given by y =. We denote by A(s,f(s)) and B(t,f(t)) te points were te line l : y = meets te curve X wit s < 0 < t. Ten we ave f(s) = f(t) =. Te tangent lines t 1 and t 2 to X at A and B intersect at te point Q = (x 0 (),y 0 ()) wit x 0 () = tf (t) sf (s) f (t) f (s), (2.3) y 0 () = + (t s)f (t)f (s) f (t) f (s) < 0 (2.4)

6 6 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE and tey meet te x-axis (te tangent to X at P) at B 1 (s /f (s),0) and B 2 (t /f (t),0), respectively. Noting L P () = t s, one gets and Hence we obtain and j P () = 1 3 {2+y 0()} = 1 L P ()f (t)f (s) 3 f (t) f (s) k P () = 1 3 y 0() = j P () k P () = 1 3 lim α P() = 0 L P () 1 α P () (2.5) L P ()f (t)f (s). (2.6) f (t) f (s) (2.7) = j P(), (2.8) were we use α P () = (f (s) f (t)). (2.9) f (s)f (t) On te oter and, it follows from Lemma 5 in [13] tat 2. (2.10) κ(p) Togeter wit (2.7) and Lemma 7, tis sows tat and ence from (2.8) we also get k P () lim 0 Tis completes te proof of Teorem 4. j P () lim = 2 0 3, (2.11) = 4 3. (2.12) 3. Proofs of Teorems 5 and 6 In tis section, in order to prove Teorem 5 we use te main result of [10] (Teorem 3 in [10]) and Teorem 4 stated in Section 1. First, we prove Lemma 8. Suppose tat X is a strictly locally convex C (3) curve in te plane R 2 wit te unit normal N pointing to te convex side. Ten we ave d d L P() = α P (). (3.1)

7 were α P () is defined in (2.9). CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE 7 Proof. Just as in te proof of Teorem 4 in Section 2, for an arbitrary point P on X we take a coordinate system (x,y) of R 2 so tat (2.2) olds wit f(0) = f (0) = 0 and 2a = f (0) > 0. Ten, for sufficiently small > 0, we put f(t) = wit t > 0 and we denote by A(s(t),) and B(t,) te points were te line l : y = meets te curve X wit s = s(t) < 0 < t. Ten we ave and Noting = f(t), one obtains from (3.3) tat Terefore, it follows from (3.2) tat f(s(t)) = f(t) = (3.2) L P () = t s(t). (3.3) d d L P() = (1 s (t)) dt d = 1 s (t). (3.4) f (t) d d L P() = 1 f (t) 1 f (s(t)) = f (s) f (t) f (t)f (s). (3.5) Togeter wit (2.9), tis completes te proof of Lemma 8. It is obvious tat any open part of parabolas satisfy 1) and 2) in Teorem 5. Conversely, suppose tat X is a strictly locally convex C (3) curve in te plane R 2 wic satisfies for all P X and sufficiently small > 0 j P () = λ(p) µ(p), were λ(p) and µ(p) are some functions. Using Teorem 4, by letting 0 we see tat lim 0 µ(p) 1 = 2 1 3λ(P), (3.6) wic sows tat µ(p) = 1 and λ(p) = 2. Terefore, te curve X satisfies for all 3 P X and sufficiently small > 0 j P () = 2 3. Now, using Lemma 8 we get te following. Lemma 9. Suppose tat X denotes a strictly locally convex C (3) curve in te plane R 2 wic satisfies (1.5) for all P X and sufficiently small > 0. Ten for all P X and sufficiently small > 0 we ave L P () = 2 2 κ(p). (3.7)

8 8 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE Proof. It follows from (1.5) and (2.7) tat Togeter wit Lemma 8, tis yields L P () = 2 α P (). (3.8) 2 d d L P() = L P (). (3.9) By integrating (3.9) wit respect to, we get for some constant C = C(P) Tus, Lemma 7 completes te proof of Lemma 9. Finally, we prove Teorem 5 as follows. L P () = C. (3.10) It follows from (1.2) and S P (0) = 0 tat by integrating (3.7) we get S P () = κ(p). (3.11) Hence, togeter wit (1.1) and (3.7), (3.11) yields tat for all P X and sufficiently small > 0 S P () = 4 3 T P(). (3.12) Tus, itfollowsfromproposition2tatx isanopenpartofaparabola. Tiscompletes te proof of Teorem 5. In order to prove Teorem 6, wit te elp of (2.8) we may use te similar argument as in te proof of Teorem 5. References [1] Bényi, Á., Szeptycki, P. and Van Vleck, F., Arcimedean properties of parabolas, Amer. Mat. Montly 107 (2000), [2] Bényi, Á., Szeptycki, P. and Van Vleck, F., A generalized Arcimedean property, Real Anal. Excange 29 (2003/04), [3] Day, W. A., Inequalities for areas associated wit conics, Amer. Mat. Montly 98 (1991), no. 1, [4] do Carmo, M. P., Differential Geometry of Curves and Surfaces, Prentice-Hall, Englewood Cliffs, NJ, [5] Kim, D.-S. and Kang, S. H., A caracterization of conic sections, Honam Mat. J. 33 (2011), no. 3, [6] Kim, D.-S., Kim, W., Kim, Y. H. and Park, D. H., Area of triangles associated wit a curve II, Bull. Korean Mat. Soc. 52 (2015), no. 1, [7] Kim, D.-S. and Kim, Y. H., A caracterization of ellipses, Amer. Mat. Montly 114 (2007), no. 1,

9 CENTROID OF TRIANGLES ASSOCIATED WITH A CURVE 9 [8] Kim, D.-S. and Kim, Y. H., Some caracterizations of speres and elliptic paraboloids, Linear Algebra Appl. 437 (2012), no. 1, [9] Kim, D.-S. and Kim, Y. H., Some caracterizations of speres and elliptic paraboloids II, Linear Algebra Appl., 438 (2013), no. 3, [10] Kim, D.-S. and Kim, Y. H., On te Arcimedean caracterization of parabolas, Bull. Korean Mat. Soc., 50 (2013), no. 6, [11] Kim, D.-S., Kim, Y. H. and Park, J. H., Some caracterizations of parabolas, Kyungpook Mat. J. 53 (2013), no. 1, [12] Kim, D.-S., Kim, Y. H. and Park, S., Center of gravity and a caracterization of parabolas, Kyungpook Mat. J., To appear; arxiv: [13] Kim, D.-S. and Sim, K.-C., Area of triangles associated wit a curve, Bull. Korean Mat. Soc., 51 (2014), no. 3, [14] Krawczyk, J., On areas associated wit a curve, Zesz. Nauk. Uniw. Opol. Mat. 29 (1995), [15] Ricmond, B. and Ricmond, T., How to recognize a parabola, Amer. Mat. Montly 116 (2009), no.10, [16] Stein, S., Arcimedes. Wat did e do besides cry Eureka?, Matematical Association of America, Wasington, DC, Department of Matematics, Connam National University, Kwangju , Korea dongseo@connam.ac.kr Department of Matematics, Connam National University, Kwangju , Korea dosokim@connam.ac.kr