TWO INEQUALITIES FOR A POINT IN THE PLANE OF A TRIANGLE
|
|
- Ashlyn Mitchell
- 5 years ago
- Views:
Transcription
1 INTERNATIONAL JOURNAL OF GEOMETRY Vol. (013), No., 68-8 TWO INEQUALITIES FOR A POINT IN THE PLANE OF A TRIANGLE JIAN LIU Abstract. In this paper we establish two new geometric inequalities involving an arbitrary point in the plane of a triangle. It is interesting that the equalities in both inequalities hold if and only if the point coincide with a special point of the original triangle. We also give a related geometric identity and several new inequalities by the main results. Finally, two elegant conjectures for the Erdös-Mordell inequality are put forward. 1. Introduction and main results Let P be a point in the plane of triangle ABC. Denote by R 1 ; R ; R 3 the distance of P from the vertices A; B; C, and r 1 ; r ; r 3 the distance of P from the sidelines BC; CA; AB respectively. If P lies in the interior of ABC, then we have the following famous Erdös-Mordell inequality: (1) R 1 + R + R 3 (r 1 + r + r 3 ); with equality holds if and only if 4ABC is equilateral and P is its center. This inequality has attracted attention of many researchers since it rst appeared in [10](see, e.g. [1]-[4], [8], [9], [11]-[14], [1]-[5]). In fact, it is well known that the stronger inequality: () R 1 + R + R 3 b c + c b r 1 + c a + a a r + c b + b r 3 a holds for interior point P, where a = BC; b = CA; c = AB. Equality holds if and only if P is the circumcenter of 4ABC. In [8], N.Dergiades generalized () to an arbitrary point in the plane: b (3) R 1 + R + R 3 c + c c ~r 1 + b a + a a ~r + c b + b ~r 3 ; a where ~r 1 ; ~r ; ~r 3 denote the directed (signed) distances from P to the sidelines BC; CA; AB respectively. Keywords and phrases: Erdös-Mordell inequality, pedal triangle, barycentric coordinates. (010)Mathematics Subject Classi cation: 51M04, 51M5. Received: In revised form: Accepted:
2 Two inequalities for a point in the plane of a triangle 69 The directed distance ~r 1 from P to BC is de ned as follows: When the orientation around vertices P; B; C is counterclockwise, then ~r 1 is positive and ~r 1 = r 1 ; Conversely, ~r 1 is negative and ~r 1 = r 1 (If P lies on the line BC then ~r 1 = r 1 = 0, etc). Similarly, we de ne ~r and ~r 3. For example, ~r 1 ; ~r ; ~r 3 are all positive in Figure 1; ~r is negative and ~r 1 ; ~r 3 are positive in Figure. In addition, we shall use directed ares of triangles. The de nition of directed area of a triangle is as follows: Given a triangle XY Z, if the orientation around the vertices X; Y; Z is counterclockwise, then the directed area S ~ 4XY Z of 4XY Z is positive and S ~ 4XY Z = S 4XY Z ; Conversely, ~S 4XY Z is negative and S ~ 4XY Z = S 4XY Z (If P lies on the line BC then ~S 4XY Z = S 4XY Z = 0, etc). For example, we have S ~ 4ABC = S 4ABC and ~S 4DEF = S 4DEF in Figure. Figure 1 Figure D.Nikolaos proof used the following simple inequality: (4) ar 1 b~r + c~r 3 ; (two similar relations are also valid) with equality holds if and only if P A? BC. Recently, the author rst found that the following interesting inequality can be derived by using (4): (5) a R 1 r 1 + b R r + c R 3 r 3 4S ; where S is the area of 4ABC. Equality holds if and only if P is the orthocenter of 4ABC. The proof of (5) is very simple. By (4) and the evident identity (6) a~r 1 + b~r + c~r 3 = ~ S; where S ~ is the directed area of 4ABC, we have a R1 r1 + b R r + c R3 r3 4S (b~r + c~r 3 ) + (c~r 3 + a~r 1 ) + (a~r 1 + b~r ) (a r1 + b r + c r3) (a~r 1 + b~r + c~r 3 ) = a ~r 1 + b ~r + c ~r 3 = 0: (a r 1 + b r + c r 3) Thus, inequality (5) is proved and the equality in (5) holds only when P A? BC; P B? CA; P C? AB, i.e., P is the orthocenter of 4ABC.
3 70 Jian Liu Inequality (5) inspires the author to nd similar results. Finally, we obtain Theorem 1.1. Let P be a point in the plane of triangle ABC with sides a; b; c, the semi-perimeter s and the area S. Then (7) a(s a)(r 1 r 1) + b(s b)(r r ) + c(s c)(r 3 r 3) S : Equality holds if and only if P coincide with the symmetrical point I 0 of the incentre I with respect to the circumcenter O of 4ABC. If we denote by h a ; h b ; h c the altitudes corresponding to sides a; b; c and denote by r a ; r b ; r c the corresponding radii of the excircles of 4ABC, then inequality (7) is equivalent to (8) R 1 r 1 h a r a + R r h b r b + R 3 r 3 h c r c 1; since we have ah a = S; (s a)r a = S, etc.. Theorem 1.1 implies the following interesting conclusion: If 4ABC is given, then the left-hand side of (7) or (8) attains the minimum value at when P coincides with the point I 0. After nding and proving inequality (7), the author noted a succinct formula about point I 0 (see Lemma.6 below). This formula motives the author to nd again a new inequality whose equality condition is the same as in (7). In this respect we prove the following: Theorem 1.. Let P be a point in the plane of triangle ABC with the directed area ~ S and the circumradius R, let ~ S p be the directed area of the pedal triangle DEF of P with respect to triangle ABC. Then (9) ~r 1 + ~r + ~r 3 + R ~ S p ~S R: Equality holds if and only if P coincide with the symmetrical point I 0 of the incentre I with respect to the circumcenter O of 4ABC. In particular, when P lies inside triangle ABC, it follows from (9) that (10) r 1 + r + r 3 + RS p R; S where S p is the area of the pedal triangle DEF. In [18], the author conjectured that the following inequality: (11) r 1 + r + r 3 R p + RS p S holds for any interior point P of 4ABC, where R p is circumradius of the pedal triangle DEF. It is interesting to compare (10) with (11).. Proofs of Theorems.1. Proof of Theorem 1.1. In order to prove Theorem 1.1, we need the following several lemmas in which Lemma 1,, 3 and 4 are all well-known in geometry(cf. [5], [6], [7], [], [6]).
4 Two inequalities for a point in the plane of a triangle 71 Lemma.1. Let P and M be two points in the plane of 4ABC and let (x; y; z) be the barycentric coordinates of M with respect to 4ABC. Then (1) (x+y +z) P M = (x+y +z)(xp A +yp B +zp C ) (yza +zxb +xyc ); where a; b; c are the lengths of the sides BC; CA; AB respectively. In particular, putting M = A in (1) we obtain the following important consequence (e.g. see []): Lemma.. Let P be a point with barycentric coordinates (x; y; z) in the plane of 4ABC. Then (13) (x + y + z) P A = (x + y + z)(yc + zb ) (yza + zxb + xyc ); where a; b; c are the lengths of the sides BC; CA; AB respectively. For the distances from a point to the sides of a triangle, we have the following known formulae: Lemma.3. Let P be a point in the plane of 4ABC with barycentric coordinates (x; y; z) and let ~r 1 ; ~r ; ~r 3 be the directed distances from P to the sidelines BC; CA; AB respectively. Then ~r 1 = xh a x + y + z ; ~r = yh b x + y + z ; ~r 3 = zh c x + y + z ; where h a ; h b ; h c are altitudes corresponding to the sides BC; CA; AB. Lemma.4. Let P i be points in the plane of 4ABC with barycentric coordinates (x i ; y i ; z i ) (i = 1; ; 3). Then P 1 ; P ; P 3 are collinear if and only if the following determinant holds: (14) x 1 y 1 z 1 x y z x 3 y 3 z 3 = 0: Lemma.5. Let p 1 ; p ; p 3 ; q 1 ; q ; q 3 be real numbers, then the following ternary quadratic inequality: (15) p 1 x + p y + p 3 z q 1 yz + q zx + q 3 xy holds for all real numbers x; y; z if and only if p 1 0; p 0; p 3 0; 4p p 3 q1 0; 4p 3p 1 q 0; 4p 1p q3 0; and (16) D 4p 1 p p 3 (q 1 q q 3 + p 1 q 1 + p q + p 3 q 3) 0: The equality conditions of (15) (suppose that p 1 > 0; p > 0; p 3 > 0) are as follows: 1 If D = 0, 4p 1 p q3 = 0; 4p 3p 1 q = 0, then 4p p 3 q1 = 0 and the equality in (15) holds only when p 1 x = q 3 y + q z. If D 0; 4p p 3 q1 > 0; 4p 3p 1 q > 0; 4p 1p q3 = 0, then the equality in (15) holds only when D = 0; z = 0; p 1 x = q 3 y: 3 If D 0; 4p p 3 q1 > 0; 4p 3p 1 q > 0; 4p 1p q3 > 0; x 6= 0; y 6= 0; z 6= 0, then the equality in (15) holds only when D = 0; (p 1 q 1 + q q 3 )x = (p q + q 3 q 1 )y = (p 3 q 3 + q 1 q )z.
5 7 Jian Liu The above lemma not only gives a necessary and su cient condition of (15)(this is well-known, see e.g. [0]) but also give its equality conditions. Here, we o er an elementary proof as follows: Proof. Inequality (15) can be rewritten as (17) p 1 x (q 3 y + q z)x + p y q 1 yz + p 3 z 0: We know this inequality holds for any real number x if and only if p 1 0, and (18) (19) p y q 1 yz + p 3 z 0; (q 3 y + q z) 4p 1 (p y q 1 yz + p 3 z ) 6 0: Again, (18) holds for any real numbers y; z if and only if p 0; p 3 0; q 1 4p p Inequality (18) is equivalent to (0) (4p 1 p q 3)y (p 1 q 1 + q q 3 )yz + (4p 3 p 1 q )z 0; which holds for any real numbers y; z if and only if 4p 1 p q3 0; 4p 3p 1 q 0, and or [ (p 1 q 1 + q q 3 )] 4(4p 1 p q 3)(4p 3 p 1 q ) 6 0; (1) (4p 1 p q 3)(4p 3 p 1 q ) (p 1 q 1 + q q 3 ) 0; which is equivalent to Since p 1 0 we have 16p 1 (p 1 q 1 + p q + p 3 q 3 + q 1 q q 3 4p 1 p p 3 ) 6 0: () 4p 1 p p 3 (q 1 q q 3 + p 1 q 1 + p q + p 3 q 3) 0; i.e. D 0. Combining with the above arguments, we conclude that the necessary and su cient conditions of (15) holds for any real numbers x; y; z are p 1 0; p 0; p 3 0; 4p p 3 q1 0; 4p 3p 1 q 0; 4p 1p q3 0; D 0: In what follows, we are going to discuss the equality condition in (15). Clearly, the equality in (17) and then (15) holds if and only if (3) p 1 x q 3 y q z = 0 and there is equality in (18) or (0), i.e. (4) (4p 1 p q 3)y (p 1 q 1 + q q 3 )yz + (4p 3 p 1 q )z = 0: According to these, we will discuss the equality conditions of (15) under the di erent cases(suppose that p 1 > 0; p > 0; p 3 > 0 for each case): Case 1 D = 0; 4p 1 p q3 = 0; 4p 3p 1 q = 0: In this case, we have 16p p 3 p 1 = q q 3 and (1) becomes an identity. Hence it follows from (1) that p 1 q 1 + q q 3 = 0. Thus(4) holds and 4p p 3 q 1 = q q 3 4p 1 q 1 = 0. Also, the equality in (15) holds only when (3) is valid. Case D 0; 4p p 3 q1 >; 4p 3p 1 q > 0; 4p 1p q3 = 0:
6 Two inequalities for a point in the plane of a triangle 73 By 4p 1 p q3 = 0 and (1), we have p 1q 1 +q q 3 = 0. Then (4) becomes (4p 3 p 1 q )z = 0, hence z = 0 and it follows from (3) that p 1 x = q 3 y. Therefore, there is equality in (15) only when D = 0; z = 0; p 1 x = q 3 y. Case 3 D 0; 4p p 3 q1 > 0; 4p 3p 1 q > 0; 4p 1p q3 > 0; x 6= 0; y 6= 0; z 6= 0: First, it is easy to know that there is equality in (0) only when D = 0 and (4p 1 p q3)y (p 1 q 1 + q q 3 )z = 0; i.e. (5) Using (3) and (5), we easily get y z = p 1q 1 + q q 3 4p 1 p q3 : x (6) z = p q + q 3 q 1 4p 1 p q3 : In addition, using D = 0, it is easy to prove the following two identities: (7) p 1 q 1 + q q 3 4p 1 p q 3 = p 3q 3 + q 1 q p q + q 3 q 1 ; (8) p q + q 3 q 1 4p 1 p q 3 Thus, it follows from (5)-(8) that = p 3q 3 + q 1 q p 1 q 1 + q q 3 : (9) (p 1 q 1 + q q 3 )x = (p q + q 3 q 1 )y = (p 3 q 3 + q 1 q )z: Hence the equality in (15) under the third case if and only if D = 0 and (9) are both valid. This completes the proof of Lemma.5. We now prove Theorem 1.1. Proof. Denote by (x; y; z) the barycentric coordinates of P with respect to 4ABC. By Lemma., it is easy to obtain that (30) R 1 = y c + z b + yz(b + c a ) (x + y + z) : From and Lemma.3, we have (31) R 1 r 1 = y c + z b + yz(b + c a ) (x + y + z) 4x S a (x + y + z) : Therefore X a(s a)(r 1 r1) P a(s a)[y c + z b + yz(b + c a )] = ( P 4S X s a x) ( P x) a x ; where P denote cyclic sums. Hence, the inequality (7) of Theorem 1.1 is equivalent to (3) X a(s a)[y c + z b + yz(b + c a )] 4S X s a X a x x S :
7 74 Jian Liu Replacing x! xa; y! yb; z! zc, again we know (3) is equivalent to (33) abc X (s a) y bc + z bc + yz(b + c a ) 4S X a(s a)x X xa S : Multiplying both sides of (33) by 8, then using s = a + b + c and Heron s formula: (34) 16S = (a + b + c)(b + c a)(c + a b)(a + b c); inequality (33) becomes (35) 4abc X (b + c a) y bc + z bc + yz(b + c a ) X X (a + b + c)(b + c a)(c + a b)(a + b c) a(b + c a)x + xa 0: Expansion and simpli cation give (36) p 1 x + p y + p 3 z (q 1 yz + q zx + q 3 xy) 0; where p 1 = a (b + c)a 4 (b + c)(b c) a + 4abc(b c) + (b c) (b + c) 3 ; p = b (c + a)b 4 (c + a)(c a) b + 4abc(c a) + (c a) (c + a) 3 ; p 3 = c (a + b)c 4 (a + b)(a b) c + 4abc(a b) + (a b) (a + b) 3 ; q 1 = bc(b + c a) 3a 3 + (b + c)a + a(bc 3b 3c ) (b + c)(b c) ; q = ca(c + a b) 3b 3 + (c + a)b + b(ca 3c 3a ) (c + a)(c a) ; q 3 = ab(a + b c) 3c 3 + (a + b)c + c(ab 3a 3b ) (a + b)(a b) : We now apply Lemma.5 to prove inequality (36). First, with the help of the mathematics software for calculating, we can check the following identity: (37) 4p 1 p p 3 q 1 q q 3 p 1 q 1 p q p 3 q 3 = 0: By Lemma.5, it remains to prove that p 1 > 0; 4p p 3 q1 0 and their analogues. Because of symmetry, we only need to prove these two inequalities. To prove p 1 > 0 we need to prove that (38) Q 0 (b + c)a 4 (b + c)(b c) a + 4abc(b c) + (b c) (b + c) 3 > 0: Putting s a = u; s b = v; s c = w, then a = v + w; b = w + u; c = u + v. Furthermore, we can check that Q 0 8(v w) u (v + w)(v w) u + 8(v vw + w )(v + w) u (39) +8vw(v + w)(v + w ): Since u > 0; v > 0; w > 0 and v and p 1 > 0 is proved. vw + w > 0, inequality Q 0 > 0 is valid
8 Two inequalities for a point in the plane of a triangle 75 It remains to prove that 4p p 3 identities: q 1 0: By calculating we get the following (40) (41) (4) 4p p 3 q 1 = 4abcm 1 k 1; 4p 3 p 1 q = 4abcm k ; 4p 1 p q 3 = 4abcm 3 k 3; where (43) (44) (45) (46) (47) (48) m 1 = a 3 (b + c)a (b + c 6bc)a + (b + c)(b c) ; m = b 3 (c + a)b (c + a 6ca)b + (c + a)(c a) ; m 3 = c 3 (a + b)c (a + b 6ab)c + (a + b)(a b) ; k 1 = a 3 + (b + c)a a(b + c) (b + c)(b c) ; k = b 3 + (c + a)b b(c + a) (c + a)(c a) ; k 3 = c 3 + (a + b)c c(a + b) (a + b)(a b) : To show that 4p p 3 rewritten as q 1 0, we have to prove m 1 > 0. But m 1 can be m 1 = 4(v + w)u + 4(v + w )u + 4vw(v + w); where u = s a > 0; v = s b > 0; w = s c > 0. So m 1 > 0 is true and 4p p 3 q1 0 is proved. This completes the proof of inequality (36), and then (33), (3), (7) are proved. Next, we shall discuss the equality conditions in (7). Clearly, the values of k 1 ; k ; k 3 may be zero. In fact, it is easy to prove that one of k 1 ; k ; k 3 at most equal zero(we omit details). Hence by Lemma.5, we will consider two cases below to discuss the equality condition in (36) and further that of (7). Case 1. None of k 1 ; k ; k 3 equals zero. First, we will prove that equality in (7) holds only when the barycentric coordinates of P is (ak 1 ; bk ; ck 3 ). Then we will show that this point just is the symmetrical point I 0 of the incentre I with respect to the circumcenter O of 4ABC: By the hypothesis, three strict inequalities 4p p 3 q1 > 0; 4p 3p 1 q > 0; 4p 1 p q3 > 0 follow from (40), (41), (4) respectively. In addition, we have (49) (50) (51) p 1 q 1 + q q 3 = 4abcu 1 v 1 w 1 ; p q + q 3 q 1 = 4abcu v w ; p 3 q 3 + q 1 q = 4abcu 3 v 3 w 3 ;
9 76 Jian Liu where u 1 = a 3 (b + c)a a(b + c 6bc) + (b + c)(b c) ; u = b 3 (c + a)b b(c + a 6ca) + (c + a)(c a) ; u 3 = c 3 (a + b)c c(a + b 6ab) + (a + b)(a b) ; v 1 = b 3 + (c a)b b(a c) + (a c)(a + c) ; v = c 3 + (a b)c c(b a) + (b a)(b + a) ; v 3 = a 3 + (b c)a a(b c) + (c b)(c + b) ; w 1 = c 3 + (b a)c c(a b) + (a b)(a + b) ; w = a 3 + (c b)a a(b c) + (b c)(b + c) ; w 3 = b 3 + (a c)b b(a c) + (c a)(c + a) : According to Lemma.5, we know that the equalities of (36) and its equivalent form (33) hold if and only if xu 1 v 1 w 1 = yu v w = zu 3 v 3 w 3. Further, the equality in (3) holds if and only if x a u 1v 1 w 1 = y b u v w = z c u 3v 3 w 3 : Then by Lemma.3, the equality in (7) holds if and only if P coincide with the point I 0 whose barycentric coordinates is a b u 1 v 1 w 1 ; u v w ; c u 3 v 3 w 3. This barycentric coordinates is much complicated. In fact it can be expressed in a simple way. The author nds that the following continued equality: (5) u 1 v 1 w 1 k 1 = u v w k = u 3 v 3 w 3 k 3 holds. It can easily be checked by using the mathematics software. Therefore, the barycentric coordinates of I 0 can also be expressed by (ak 1 ; bk ; ck 3 ). Now, we will prove that I 0 is the symmetrical point I 0 of the incentre I with respect to the circumcenter O of 4ABC. We rst prove three points I; O; I 0 are collinear. As it is well known, the barycentric coordinates of the incentre I and the circumentre O are (a; b; c) and a (b + c a ); b (c + a b ); c (a + b c ) respectively. Hence according to Lemma.4, to prove I; O; I 0 to be collinear, we need to prove that a b c a (b + c a ) b (c + a b ) c (a + b c ) ak 1 bk ck 3 = 0: Again, by the properties of the determinant, the proof can be turned into k 1 k k 3 a(b + c a ) b(c + a b ) c(a + b c ) = 0; Expending gives (53) k 1 b(c + a b ) c(a + b c ) +k c(a + b c ) a(b + c a ) +k 3 a(b + c a ) b(c + a b ) = 0:
10 Two inequalities for a point in the plane of a triangle 77 Putting (46)-(48) into the left of (53), one can easily check that (53) is true. Hence we proved that I; O; I 0 are collinear. Successively, we will prove that I 0 is the the symmetrical point of I with respect to the circumenter O. In Lemma.1, for P = O, then we get the known formula: (54) OM = R yza + zxb + xyc (x + y + z) : Letting M = I 0 in the above, we obtain that (55) OI 0 = R abc(ak k 3 + bk 3 k 1 + ck 1 k ) (ak 1 + bk + ck 3 ) : By (46), (47) and (43), it is easy to get two identities: (56) (57) so that ak 1 + bk + ck 3 = (a + b + c)(b + c a)(c + a b)(a + b c); ak k 3 + bk 3 k 1 + ck 1 k = (a + b + c)(b + c a) (c + a b) (a + b c) ; (58) OI 0 = R abc a + b + c : Since a + b + c = s and abc = 4Rrs (r is the inradius of 4ABC), we further get OI 0 = R Rr which is the same as the famous Euler formula OI = R Rr (see e.g. [, page 79]). Thus we have OI 0 = OI. Since also we have proved that I 0 ; O; I are collinear before, the point I 0 therefore must be the symmetrical point of the incentre I with respect to the circumcenter O. Case. One of k 1 ; k ; k 3 equals zero. There is no harm in assuming that k 1 = 0. In this case, 4p p 3 q1 = 0 follows from (40). Thus by Lemma.5, we know that the equality in (36) holds if and only if x = 0; p y = q 1 z. Further, the equality in (3) holds only when y x = 0; p b = q z 1 c ; i.e. the barycentric coordinates of P is (0; bq 1 ; p c). Indeed, this point just is the point with barycentric coordinates (0; bk ; ck 3 ). Due to the homogeneity of barycentric coordinates (cf. [6]) it will be su cient to prove that q 1 : k = p : k 3, i.e. (59) p k q 1 k 3 = 0: It is easy to check that p k q 1 k 3 = ab(a + b c)[a 3 + (3c b)a a(b + c) + (b c)(3c + b)(b + c)]k 1 ; which shows obviously that (59) holds true when k 1 = 0. Again, from the proof of Case 1, we see that P is still the symmetrical point I 0 of the incentre I with respect to the circumcenter O if k 1 = 0. Therefore, the equality in (7) under the second case holds only when P = I 0. The point I 0 does not lie on the boundary of 4ABC under Case 1 (since k 1 k k 3 6= 0). The point I 0 lies the boundary (except the vertices) of 4ABC under Case. Combing with the arguments of Case 1 and Case, we know
11 78 Jian Liu that the statements for the equality in Theorem 1.1 under these two cases are right. The proof of Theorem 1.1 is completed... Proof of Theorem 1.. Lemma.6. Let I be the incentre of 4ABC and let O be its circumcenter. The symmetrical point of I with respect to O is I 0. Then the distance between I 0 and the vertices A is given by (60) I 0 A = R p 1 sin B sin C; where R is the circumradius of 4ABC and B; C are the angles of 4ABC. Proof. In the proof of Theorem 1.1, we have known that the barycentric coordinates of I 0 is (ak 1 ; bk ; ck 3 ) (where the values of k 1 ; k ; k 3 are the same as in (46), (47), (48)). Hence by Lemma. we have that (61) I 0 A = bc(k c + k 3 b) ak 1 + bk + ck 3 abc(ak k 3 + bk 3 k 1 + ck 1 k ) (ak 1 + bk + ck 3 ) : Putting k ; k 3 into (61) and using (56), (57), we further get (6) I 0 A = bc(4bca + a 4 + b 4 + c 4 b c c a a b ) b c + c a + a b a 4 b 4 c 4 : Using the equivalent form of Heron s formula: (63) 16S = b c + c a + a b a 4 b 4 c 4 ; it follows that I 0 A = bc(16asr 16S ) 16S = (ar S)bc S = bc(ar ah a) S = abc(r h a) = R(R h a ) = R(R R sin B sin C) S = 4R (1 sin B sin C): Hence I 0 A = R p 1 sin B sin C is valid. This completes the proof of Lemma.6. As a straightforward important consequence of Lemma.1, we have that Lemma.7. For any point P in the plane of 4ABC and all real numbers x; y; z, (64) (x + y + z)(xp A + yp B + zp C ) yza + zxb + xyc ; with equality if and only if x : y : z = ~ S 4P BC : ~ S 4P CA : ~ S 4P AB. The inequality (64) is called The polar moment of the inertia inequality of Klamkin. This is one of the most important results for triangle geometric inequalities. A number of triangle inequalities can be derived from it (see e.g. [15], [16], []) We now prove Theorem 1.. Proof. Clearly, we can assume that the orientation of 4ABC is counterclockwise (see gure 1), then ~ S = S and we have to prove (65) ~r 1 + ~r + ~r 3 + R ~ S p S R:
12 Two inequalities for a point in the plane of a triangle 79 By Lemma.6, Lemma.7 and the sine rule, we obviously get the following weighted trigonometric inequality: (66) (x + y + z) [x(1 sin B sin C) + y(1 sin C sin A) + z(1 sin A sin B)] yz sin A + zx sin B + xy sin C; with equality if and only if x : y : z = ak 1 : bk : ck 3 (k 1 ; k ; k 3 are the same as in (46), (47), (48), respectively). That is (x + y + z) (x + y + z)(x sin B sin C + y sin C sin A + z sin A sin B) + yz sin A + zx sin B + xy sin C: Making substitutions x! x sin A; y! y sin B; z! z sin C, we get (x sin A + y sin B + z sin C) sin A sin B sin C[(x + y + z)(x sin A +y sin B + z sin C) + yz sin A + zx sin B + xy sin C]: Multiplying both sides by 4R and using the law of sines and the known formula S = R sin A sin B sin C, we obtain the equivalent inequality: (67) (xa + yb + zc) S [(x + y + z)(xa + yb + zc) + yza + zxb + xyc]; R with equality if and only if x : y : z = k 1 : k : k 3. If we put x = ~r 1 ; y = ~r ; z = ~r 3 in (67), then using the identities a~r 1 + b~r + c~r 3 = S (by (6) and hypothesis) and (68) we get Hence a~r ~r 3 + b~r 3 ~r 1 + c~r 1 ~r = 4R ~ S p ; 4S S R [S(~r 1 + ~r + ~r 3 ) + 4R ~ S p ]: SR S(~r 1 + ~r + ~r 3 ) + R ~ S p ; and a division by S produces inequality (65). By virtue of the equality condition of (67), it is seen that the equality in (65) holds if and only if the the barycentric coordinates of P is (ak 1 ; bk ; ck 3 ), i.e. P coincides with point I 0. The proof of Theorem 1. is complete. 3. Some remarks Remark 3.1. We have the following inequality similar to (8): (69) R + R 3 r r 3 r b r c + R 3 + R 1 r 3 r 1 r c r a + R 1 + R r 1 r 3 r a r b ; which is equivalent with (70) R + R 3 r r3 s a + R 3 + R 1 r3 r1 s b + R 1 + R r1 r 3 s c s: The equality in (69) or (70) is the same as in (7). In fact, by using Lemma. and Lemma.3 we can prove the following geometric identity (we omit details here): (71) X R 1 r1 = 1 X R + R3 r r3 ; h a r a r b r c
13 80 Jian Liu where P denote the circle sum. Therefore, (69) can be obtained by (8) and (71). Remark 3.. The point I 0 in Theorem 1.1 or Theorem 1. may be either in the interior (including the boundaries, except the vertexes) of 4ABC or outside the triangle. We have found some properties about point I 0. For example, four points I 0 ; N; H; I form a parallelogram, where N is the Nagel point, H the orthocenter and I the incenter of 4ABC respectively (see Figure 3). Figure 3 Remark 3.3. Actually, the inequality (7) of Theorem 1.1 is a generalization of Heron s formula. In fact, by using (31) we can prove the following equality: (7) R 1 r 1 = s bc holds when P = I 0. Thus by Theorem 1.1 we get the identity: a(s a)(s bc) + b(s b)(s ca) + c(s c)(s ab) = S : Further, it is easy to obtain the Heron s formula: (73) S = p s(s a)(s b)(s c): In addition, when P = I 0 we have the following equality similar to (7): (74) R + R 3 r r 3 = (s a) which evidently shows the equality condition in (70) is right. Remark 3.4. The inequality (9) of Theorem 1. actually is equivalent to the weighted inequality (67) and the later can also be proved by Lemma.5. In addition, by inequality (9) and the known inequality (see [17]): (75) S p r p S R ; where r p is the inradious of the pedal triangle DEF of interior point P with respect to triangle ABC and S p is its area, it is seen that the beautiful linear inequality (76) r 1 + r + r 3 + r p R holds for any interior point P of 4ABC.
14 Two inequalities for a point in the plane of a triangle 81 Remark 3.5. From inequality (9) and the known inequality used in [19] recently: (77) RS p S r 1r r 3 r ; we can get the following inequality (for interior point P ): (78) r 1 + r + r 3 + r 1r r 3 r R; which does not discriminate strength or weakness with (76). Remark 3.6. If we apply geometrical transformations to Theorem 1.1 or Theorem 1. or their consequences, one can obtain some new geometric inequalities. For example, applying the isogonal transformation (see e.g.[], [3]) to inequality (8), we get (79) a(s a)(r 1r 1 r r 3)+b(s b)(r r r 3r 1)+c(s c)(r 3r 3 r 1r ) 8R S p; which holds for any point P in the plane. Applying inequality (10) and other geometrical transformations, we can obtain the following inequalities (holds for any interior point P of triangle ABC): (80) 1 R R + 1 R R p R 1R R 3 r 1 r r 3 R ; (81) 1 R a + 1 R b + 1 R c + 1 R S RS p ; (8) R a + R b + R c + R R p R 1R R 3 r 1 r r 3 ; where R a ; R b ; R c are the circumradius of 4P BC; 4P CA; 4P AB respectively. 4. Two conjectures In [14], we have posed some conjectures for the Erdös-Mordell inequality. Here, we present two related new conjecture again. Conjecture 4.1. For any interior point of 4ABC, we have (83) R 1 + R + R 3 r 1 + r + r 3 R r p : Conjecture 4.. For any interior point of 4ABC, we have (84) R 1 + R + R 3 r 1 + r + r 3 R + R p r + r p : In passing, we have known that there is no comparison between (83) and (84).
15 8 Jian Liu References [1] Avez, A., A short proof of a theorem of Erdös and Mordell, Amer. Math. Monthly, 100(1993), [] Alsina, C. and Nelsen, R.B., A visual proof of the Erdös-Mordell inequality, Forum Geom., 7(007), [3] Bbanko, L., An elementary proof of the Erdös CMordell theorem, Amer. Math. Monthly, 65(1958), 51. [4] Bombardelli, M. and Wu, S.H., Reverse Inequalities of Erdös-Mordell type, Math.Inequal.Appl., 1()(009), [5] Bottema, O., On the Area of a Triangle in Barycentric Coordinates, Crux. Math., 8(198), [6] Bµandilµa, V., O generalizare a unei relatii a lui Leibniz si aplicarea ei la calculul distantlor dintre unele puncte remarcabile ale unui triunghi, Gaz. Mat (Bucharest), 90(1985), [7] Coxeter, H.S.M., Barycentric Coordinates, Introduction to Geometry, nd ed, New York: Wiley, 16 1, [8] Dergiades, N., Signed distances and the Erdös-Mordell inequality, Forum Geom., 4(004), [9] Dar, S. and Gueron, S., A weighted Erdös CMordell inequality, Amer. Math. Monthly, 108(001), [10] Erdös, P., Problem 3740, Amer. Math. Monthly, 4(1935), 396. [11] Janous, W., Further inequalities of Erdös CMordell type, Forum Geom., 4(004), [1] Komornik, V., A short proof of the Erdös-Mordell theorem, Amer. Math. Monthly, 104(1997), [13] Lee, H., Another proof of the Erdös-Mordell theorem, Forum Geom., 1(001), 7 8. [14] Liu, J., A new proof of the Erdös-Mordell inequality, Int. Electron. J. Geom., 4()(011), [15] Liu, J., A new geometric inequality and its applications, J.Inequal.Pure Appl.Math., 9()(008), art.58. [16] Liu, J., A weighted geometric inequality and its applications, Journal of science and arts, 14(1)(011), 5 1. [17] Liu, J., Some new inequalities for an interior point of a triangle, J. Math. Inequal., 6()(01), [18] Liu, J., Several new inequalities for the triangle, Mathematics Competition (in Chinese), 15(199), [19] Liu, J., A pedal triangle inequality with the exponents, Int. J. Open Problems Compt. Math., 6(4)(01), [0] Leon, S. J., Linear Algebra with Applications, Prentice Hall. New Jersey, 005. [1] Mordell, L. J. and Barrow, D. F., Solution of Problem 3740, Amer. Math. Monthly, 44(1937), [] Mitrinović, D. S., Peµcarić, J. E. and Volenec, V., Recent Advances in Geometric Inequalities, Kluwer Academic Publishers, Dordrecht-Boston-London [3] Oppenheim, A., The Erdös-Mordell Inequality and other inequalities for a triangle, Amer. Math. Monthly, 68(1961), [4] Pambuccian, V., The Erdös-Mordell inequality is equivalent to non-positive curvature, J. Geom., 88(008), [5] Satnoianu, R. A., Erdös - Mordell type inequality in a triangle, Amer. Math. Monthly, 110(003), [6] Yiu, P., The uses of homogeneous barycentric coordinates in plane euclidean geometry, Int. J. Math. Educ. Sci. Technol., 31(000), EAST CHINA JIAOTONG UNIVERSITY JIANGXI PROVINCE NANCHANG CITY, , CHINA address: China99jian@163.com
SOME NEW INEQUALITIES FOR AN INTERIOR POINT OF A TRIANGLE JIAN LIU. 1. Introduction
Journal of Mathematical Inequalities Volume 6, Number 2 (2012), 195 204 doi:10.7153/jmi-06-20 OME NEW INEQUALITIE FOR AN INTERIOR POINT OF A TRIANGLE JIAN LIU (Communicated by. egura Gomis) Abstract. In
More informationSharpened versions of the Erdös-Mordell inequality
Liu Journal of Inequalities and Applications (2015) 2015:206 DOI 10.1186/s13660-015-0716-2 R E S E A R C H Open Access Sharpened versions of the Erdös-Mordell inequality Jian Liu * * Correspondence: China99jian@163.com
More informationA WEIGHTED GEOMETRIC INEQUALITY AND ITS APPLICATIONS
A WEIGHTED GEOMETRIC INEQUALITY AND ITS APPLICATIONS JIAN LIU Abstract A new weighted geometric inequality is established by Klamkin s polar moment of inertia inequality and the inversion transformation
More informationOn a New Weighted Erdös-Mordell Type Inequality
Int J Open Problems Compt Math, Vol 6, No, June 013 ISSN 1998-66; Copyright c ICSRS Publication, 013 wwwi-csrsorg On a New Weighted Erdös-Mordell Type Inequality Wei-Dong Jiang Department of Information
More informationON A SHARP INEQUALITY FOR THE MEDIANS OF A TRIANGLE
TJMM 2 (2010), No. 2, 141-148 ON A SHARP INEQUALITY FOR THE MEDIANS OF A TRIANGLE JIAN LIU Abstract. In this paper, we prove that the known inequality which involving the upper bounds of median sums for
More informationTwo geometric inequalities involved two triangles
OCTOGON MATHEMATICAL MAGAZINE Vol. 17, No.1, April 009, pp 193-198 ISSN 1-5657, ISBN 978-973-8855-5-0, www.hetfalu.ro/octogon 193 Two geometric inequalities involved two triangles Yu-Lin Wu 16 ABSTRACT.
More informationThe Apollonius Circle as a Tucker Circle
Forum Geometricorum Volume 2 (2002) 175 182 FORUM GEOM ISSN 1534-1178 The Apollonius Circle as a Tucker Circle Darij Grinberg and Paul Yiu Abstract We give a simple construction of the circular hull of
More informationThe Apollonius Circle and Related Triangle Centers
Forum Geometricorum Qolume 3 (2003) 187 195. FORUM GEOM ISSN 1534-1178 The Apollonius Circle and Related Triangle Centers Milorad R. Stevanović Abstract. We give a simple construction of the Apollonius
More informationON A ERDOS INSCRIBED TRIANGLE INEQUALITY REVISITED
ON A ERDOS INSCRIBED TRIANGLE INEQUALITY REVISITED CEZAR LUPU, ŞTEFAN SPĂTARU Abstract In this note we give a refinement of an inequality obtained by Torrejon [10] between the area of a triangle and that
More informationIsotomic Inscribed Triangles and Their Residuals
Forum Geometricorum Volume 3 (2003) 125 134. FORUM GEOM ISSN 1534-1178 Isotomic Inscribed Triangles and Their Residuals Mario Dalcín bstract. We prove some interesting results on inscribed triangles which
More informationA MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE
Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, Vol.6, (207), Issue, pp.45-57 A MOST BASIC TRIAD OF PARABOLAS ASSOCIATED WITH A TRIANGLE PAUL YIU AND XIAO-DONG ZHANG
More informationON AN ERDOS INSCRIBED TRIANGLE INEQUALITY REVISITED
ON AN ERDOS INSCRIBED TRIANGLE INEQUALITY REVISITED CEZAR LUPU, ŞTEFAN SPĂTARU Abstract. In this note we give a refinement of an inequality obtained by Torrejon [10] between the area of a triangle and
More informationBounds for Elements of a Triangle Expressed by R, r, and s
Forum Geometricorum Volume 5 05) 99 03. FOUM GEOM ISSN 534-78 Bounds for Elements of a Triangle Expressed by, r, and s Temistocle Bîrsan Abstract. Assume that a triangle is defined by the triple, r, s)
More informationAN EQUIVALENT FORM OF THE FUNDAMENTAL TRIANGLE INEQUALITY AND ITS APPLICATIONS
AN EQUIVALENT FORM OF THE FUNDAMENTAL TRIANGLE INEQUALITY AND ITS APPLICATIONS SHAN-HE WU MIHÁLY BENCZE Dept. of Mathematics and Computer Science Str. Harmanului 6 Longyan University 505600 Sacele-Négyfalu
More informationA nest of Euler Inequalities
31 nest of Euler Inequalities Luo Qi bstract For any given BC, we define the antipodal triangle. Repeating this construction gives a sequence of triangles with circumradii R n and inradii r n obeying a
More informationThe circumcircle and the incircle
hapter 4 The circumcircle and the incircle 4.1 The Euler line 4.1.1 nferior and superior triangles G F E G D The inferior triangle of is the triangle DEF whose vertices are the midpoints of the sides,,.
More informationA Distance Property of the Feuerbach Point and Its Extension
Forum Geometricorum Volume 16 (016) 83 90. FOUM GEOM ISSN 1534-1178 A Distance Property of the Feuerbach Point and Its Extension Sándor Nagydobai Kiss Abstract. We prove that among the distances from the
More informationA GENERALIZATION OF THE ISOGONAL POINT
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 1 (2012), No. 1, 41-45 A GENERALIZATION OF THE ISOGONAL POINT PETRU I. BRAICA and ANDREI BUD Abstract. In this paper we give a generalization of the isogonal point
More informationTHE ERDÖS - MORDELL THEOREM IN THE EXTERIOR DOMAIN
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 5 (2016), No. 1, 31-38 THE ERDÖS - MORDELL THEOREM IN THE EXTERIOR DOMAIN PETER WALKER Abstract. We show that in the Erd½os-Mordell theorem, the art of the region
More informationConstructing a Triangle from Two Vertices and the Symmedian Point
Forum Geometricorum Volume 18 (2018) 129 1. FORUM GEOM ISSN 154-1178 Constructing a Triangle from Two Vertices and the Symmedian Point Michel Bataille Abstract. Given three noncollinear points A, B, K,
More informationOn an Erdős Inscribed Triangle Inequality
Forum Geometricorum Volume 5 (005) 137 141. FORUM GEOM ISSN 1534-1178 On an Erdős Inscribed Triangle Inequality Ricardo M. Torrejón Abstract. A comparison between the area of a triangle that of an inscribed
More informationClassroom. The Arithmetic Mean Geometric Mean Harmonic Mean: Inequalities and a Spectrum of Applications
Classroom In this section of Resonance, we invite readers to pose questions likely to be raised in a classroom situation. We may suggest strategies for dealing with them, or invite responses, or both.
More informationOn Emelyanov s Circle Theorem
Journal for Geometry and Graphics Volume 9 005, No., 55 67. On Emelyanov s ircle Theorem Paul Yiu Department of Mathematical Sciences, Florida Atlantic University Boca Raton, Florida, 3343, USA email:
More informationarxiv: v1 [math.ho] 29 Nov 2017
The Two Incenters of the Arbitrary Convex Quadrilateral Nikolaos Dergiades and Dimitris M. Christodoulou ABSTRACT arxiv:1712.02207v1 [math.ho] 29 Nov 2017 For an arbitrary convex quadrilateral ABCD with
More informationNEW SIGNS OF ISOSCELES TRIANGLES
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 2 (2013), No. 2, 56-67 NEW SIGNS OF ISOSCELES TRIANGLES MAKSIM VASKOUSKI and KANSTANTSIN KASTSEVICH Abstract. In this paper we prove new signs of isosceles triangles
More informationChapter 6. Basic triangle centers. 6.1 The Euler line The centroid
hapter 6 asic triangle centers 6.1 The Euler line 6.1.1 The centroid Let E and F be the midpoints of and respectively, and G the intersection of the medians E and F. onstruct the parallel through to E,
More informationTrigonometrical identities and inequalities
Trigonometrical identities and inequalities Finbarr Holland January 1, 010 1 A review of the trigonometrical functions These are sin, cos, & tan. These are discussed in the Maynooth Olympiad Manual, which
More informationSimple Proofs of Feuerbach s Theorem and Emelyanov s Theorem
Forum Geometricorum Volume 18 (2018) 353 359. FORUM GEOM ISSN 1534-1178 Simple Proofs of Feuerbach s Theorem and Emelyanov s Theorem Nikolaos Dergiades and Tran Quang Hung Abstract. We give simple proofs
More informationNon Euclidean versions of some classical triangle inequalities
Non Euclidean versions of some classical triangle inequalities Dragutin Svrtan, dsvrtan@math.hr Department of Mathematics, University of Zagreb, Bijeniča cesta 0, 10000 Zagreb, Croatia Daro Veljan, dveljan@math.hr
More informationAnother Proof of van Lamoen s Theorem and Its Converse
Forum Geometricorum Volume 5 (2005) 127 132. FORUM GEOM ISSN 1534-1178 Another Proof of van Lamoen s Theorem and Its Converse Nguyen Minh Ha Abstract. We give a proof of Floor van Lamoen s theorem and
More informationMalfatti s problems 165. Malfatti s problems. Emil Kostadinov Mathematics High School Acad. S. Korolov, 11 grade Blagoevgrad, Bulgaria.
Malfatti s problems 165 Malfatti s problems Emil Kostadinov Mathematics High School Acad. S. Korolov, 11 grade Blagoevgrad, Bulgaria Abstract The purpose of the present project is to consider the original
More information36th United States of America Mathematical Olympiad
36th United States of America Mathematical Olympiad 1. Let n be a positive integer. Define a sequence by setting a 1 = n and, for each k > 1, letting a k be the unique integer in the range 0 a k k 1 for
More informationConic Construction of a Triangle from the Feet of Its Angle Bisectors
onic onstruction of a Triangle from the Feet of Its ngle isectors Paul Yiu bstract. We study an extension of the problem of construction of a triangle from the feet of its internal angle bisectors. Given
More informationGeometry JWR. Monday September 29, 2003
Geometry JWR Monday September 29, 2003 1 Foundations In this section we see how to view geometry as algebra. The ideas here should be familiar to the reader who has learned some analytic geometry (including
More informationNew aspects of Ionescu Weitzenböck s inequality
New aspects of Ionescu Weitzenböck s inequality Emil Stoica, Nicuşor Minculete, Cătălin Barbu Abstract. The focus of this article is Ionescu-Weitzenböck s inequality using the circumcircle mid-arc triangle.
More informationON THE GERGONNE AND NAGEL POINTS FOR A HYPERBOLIC TRIANGLE
INTERNATIONAL JOURNAL OF GEOMETRY Vol 6 07 No - ON THE GERGONNE AND NAGEL POINTS FOR A HYPERBOLIC TRIANGLE PAUL ABLAGA Abstract In this note we prove the existence of the analogous points of the Gergonne
More informationAbout the Japanese theorem
188/ ABOUT THE JAPANESE THEOREM About the Japanese theorem Nicuşor Minculete, Cătălin Barbu and Gheorghe Szöllősy Dedicated to the memory of the great professor, Laurenţiu Panaitopol Abstract The aim of
More informationClassical Theorems in Plane Geometry 1
BERKELEY MATH CIRCLE 1999 2000 Classical Theorems in Plane Geometry 1 Zvezdelina Stankova-Frenkel UC Berkeley and Mills College Note: All objects in this handout are planar - i.e. they lie in the usual
More informationCalgary Math Circles: Triangles, Concurrency and Quadrilaterals 1
Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1 1 Triangles: Basics This section will cover all the basic properties you need to know about triangles and the important points of a triangle.
More informationOn the Feuerbach Triangle
Forum Geometricorum Volume 17 2017 289 300. FORUM GEOM ISSN 1534-1178 On the Feuerbach Triangle Dasari Naga Vijay Krishna bstract. We study the relations among the Feuerbach points of a triangle and the
More informationA METHOD FOR ESTABLISHING CERTAIN TRIGONOMETRIC INEQUALITIES
Volume 8 (007), Issue 1, Article 9, 11 pp. A METHOD FOR ESTABLISHING CERTAIN TRIGONOMETRIC INEQUALITIES MOWAFFAQ HAJJA DEPARTMENT OF MATHEMATICS YARMOUK UNIVERSITY IRBID, JORDAN. mowhajja@yahoo.com Received
More informationGeometry. Class Examples (July 29) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 29) Paul Yiu Department of Mathematics Florida tlantic University c a Summer 2014 1 The Pythagorean Theorem Theorem (Pythagoras). The lengths a
More informationDistances Among the Feuerbach Points
Forum Geometricorum Volume 16 016) 373 379 FORUM GEOM ISSN 153-1178 Distances mong the Feuerbach Points Sándor Nagydobai Kiss bstract We find simple formulas for the distances from the Feuerbach points
More informationA Sequence of Triangles and Geometric Inequalities
Forum Geometricorum Volume 9 (009) 91 95. FORUM GEOM ISSN 1534-1178 A Sequence of Triangles and Geometric Inequalities Dan Marinescu, Mihai Monea, Mihai Opincariu, and Marian Stroe Abstract. We construct
More informationTRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS
Math. J. Okayama Univ. 53 (2011), 185 216 TRIANGLE CENTERS DEFINED BY QUADRATIC POLYNOMIALS Yoshio Agaoka Abstract. We consider a family of triangle centers whose barycentric coordinates are given by quadratic
More informationAN INEQUALITY AND SOME EQUALITIES FOR THE MIDRADIUS OF A TETRAHEDRON
Annales Univ. Sci. Budapest., Sect. Comp. 46 (2017) 165 176 AN INEQUALITY AND SOME EQUALITIES FOR THE MIDRADIUS OF A TETRAHEDRON Lajos László (Budapest, Hungary) Dedicated to the memory of Professor Antal
More informationChapter 2. The laws of sines and cosines. 2.1 The law of sines. Theorem 2.1 (The law of sines). Let R denote the circumradius of a triangle ABC.
hapter 2 The laws of sines and cosines 2.1 The law of sines Theorem 2.1 (The law of sines). Let R denote the circumradius of a triangle. 2R = a sin α = b sin β = c sin γ. α O O α as Since the area of a
More informationSome Collinearities in the Heptagonal Triangle
Forum Geometricorum Volume 16 (2016) 249 256. FRUM GEM ISSN 1534-1178 Some ollinearities in the Heptagonal Triangle bdilkadir ltintaş bstract. With the methods of barycentric coordinates, we establish
More informationA Quadrilateral Half-Turn Theorem
Forum Geometricorum Volume 16 (2016) 133 139. FORUM GEOM ISSN 1534-1178 A Quadrilateral Half-Turn Theorem Igor Minevich and atrick Morton Abstract. If ABC is a given triangle in the plane, is any point
More informationGeneralized Mandart Conics
Forum Geometricorum Volume 4 (2004) 177 198. FORUM GEOM ISSN 1534-1178 Generalized Mandart onics ernard Gibert bstract. We consider interesting conics associated with the configuration of three points
More informationVectors - Applications to Problem Solving
BERKELEY MATH CIRCLE 00-003 Vectors - Applications to Problem Solving Zvezdelina Stankova Mills College& UC Berkeley 1. Well-known Facts (1) Let A 1 and B 1 be the midpoints of the sides BC and AC of ABC.
More informationMORE ON THE PEDAL PROPERTY OF THE ELLIPSE
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 3 (2014), No. 1, 5-11 MORE ON THE PEDAL PROPERTY OF THE ELLIPSE I. GONZÁLEZ-GARCÍA and J. JERÓNIMO-CASTRO Abstract. In this note we prove that if a convex body in
More informationOn the Circumcenters of Cevasix Configurations
Forum Geometricorum Volume 3 (2003) 57 63. FORUM GEOM ISSN 1534-1178 On the ircumcenters of evasix onfigurations lexei Myakishev and Peter Y. Woo bstract. We strengthen Floor van Lamoen s theorem that
More informationBerkeley Math Circle, May
Berkeley Math Circle, May 1-7 2000 COMPLEX NUMBERS IN GEOMETRY ZVEZDELINA STANKOVA FRENKEL, MILLS COLLEGE 1. Let O be a point in the plane of ABC. Points A 1, B 1, C 1 are the images of A, B, C under symmetry
More informationTwo applications of the theorem of Carnot
Two applications of the theorem of Carnot Zoltán Szilasi Abstract Using the theorem of Carnot we give elementary proofs of two statements of C Bradley We prove his conjecture concerning the tangents to
More informationConcurrency and Collinearity
Concurrency and Collinearity Victoria Krakovna vkrakovna@gmail.com 1 Elementary Tools Here are some tips for concurrency and collinearity questions: 1. You can often restate a concurrency question as a
More informationTwo applications of the theorem of Carnot
Annales Mathematicae et Informaticae 40 (2012) pp. 135 144 http://ami.ektf.hu Two applications of the theorem of Carnot Zoltán Szilasi Institute of Mathematics, MTA-DE Research Group Equations, Functions
More information2010 Shortlist JBMO - Problems
Chapter 1 2010 Shortlist JBMO - Problems 1.1 Algebra A1 The real numbers a, b, c, d satisfy simultaneously the equations abc d = 1, bcd a = 2, cda b = 3, dab c = 6. Prove that a + b + c + d 0. A2 Determine
More informationStatics and the Moduli Space of Triangles
Forum Geometricorum Volume 5 (2005) 181 10. FORUM GEOM ISSN 1534-1178 Statics and the Moduli Space of Triangles Geoff C. Smith Abstract. The variance of a weighted collection of points is used to prove
More informationSolutions to the February problems.
Solutions to the February problems. 348. (b) Suppose that f(x) is a real-valued function defined for real values of x. Suppose that both f(x) 3x and f(x) x 3 are increasing functions. Must f(x) x x also
More informationXIII GEOMETRICAL OLYMPIAD IN HONOUR OF I.F.SHARYGIN The correspondence round. Solutions
XIII GEOMETRIL OLYMPID IN HONOUR OF I.F.SHRYGIN The correspondence round. Solutions 1. (.Zaslavsky) (8) Mark on a cellular paper four nodes forming a convex quadrilateral with the sidelengths equal to
More informationPROPERTIES OF TILTED KITES
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 7 (018), No. 1, 87-104 PROPERTIES OF TILTED KITES MARTIN JOSEFSSON Abstract. We prove ve characterizations and derive several metric relations in convex quadrilaterals
More informationThe Droz-Farny Circles of a Convex Quadrilateral
Forum Geometricorum Volume 11 (2011) 109 119. FORUM GEOM ISSN 1534-1178 The Droz-Farny Circles of a Convex Quadrilateral Maria Flavia Mammana, Biagio Micale, and Mario Pennisi Abstract. The Droz-Farny
More informationConstruction of a Triangle from the Feet of Its Angle Bisectors
onstruction of a Triangle from the Feet of Its ngle isectors Paul Yiu bstract. We study the problem of construction of a triangle from the feet of its internal angle bisectors. conic solution is possible.
More informationTHE BEST CONSTANTS FOR A DOUBLE INEQUALITY IN A TRIANGLE
THE BEST CONSTANTS FOR A DOUBLE INEQUALITY IN A TRIANGLE YU-DONG WU Department of Mathematics Zhejiang Xinchang High School Shaoxing 1500, Zhejiang People s Republic of China. EMail: yudong.wu@yahoo.com.cn
More informationRecreational Mathematics
Recreational Mathematics Paul Yiu Department of Mathematics Florida Atlantic University Summer 2003 Chapters 5 8 Version 030630 Chapter 5 Greatest common divisor 1 gcd(a, b) as an integer combination of
More informationSeul Lee, Dong-Soo Kim and Hyeon Park
Honam Mathematical J. 39 (2017), No. 2, pp. 247 258 https://doi.org/10.5831/hmj.2017.39.2.247 VARIOUS CENTROIDS OF QUADRILATERALS Seul Lee, Dong-Soo Kim and Hyeon Park Abstract. For a quadrilateral P,
More informationGeometry in the Complex Plane
Geometry in the Complex Plane Hongyi Chen UNC Awards Banquet 016 All Geometry is Algebra Many geometry problems can be solved using a purely algebraic approach - by placing the geometric diagram on a coordinate
More information14 th Annual Harvard-MIT Mathematics Tournament Saturday 12 February 2011
14 th Annual Harvard-MIT Mathematics Tournament Saturday 1 February 011 1. Let a, b, and c be positive real numbers. etermine the largest total number of real roots that the following three polynomials
More informationPower Round: Geometry Revisited
Power Round: Geometry Revisited Stobaeus (one of Euclid s students): But what shall I get by learning these things? Euclid to his slave: Give him three pence, since he must make gain out of what he learns.
More informationQUESTION BANK ON STRAIGHT LINE AND CIRCLE
QUESTION BANK ON STRAIGHT LINE AND CIRCLE Select the correct alternative : (Only one is correct) Q. If the lines x + y + = 0 ; 4x + y + 4 = 0 and x + αy + β = 0, where α + β =, are concurrent then α =,
More informationGeometry. Class Examples (July 1) Paul Yiu. Department of Mathematics Florida Atlantic University. Summer 2014
Geometry lass Examples (July 1) Paul Yiu Department of Mathematics Florida tlantic University c b a Summer 2014 21 Example 11: Three congruent circles in a circle. The three small circles are congruent.
More informationCevian Projections of Inscribed Triangles and Generalized Wallace Lines
Forum Geometricorum Volume 16 (2016) 241 248. FORUM GEOM ISSN 1534-1178 Cevian Projections of Inscribed Triangles and Generalized Wallace Lines Gotthard Weise 1. Notations Abstract. Let Δ=ABC be a reference
More informationSCTT The pqr-method august 2016
SCTT The pqr-method august 2016 A. Doledenok, M. Fadin, À. Menshchikov, A. Semchankau Almost all inequalities considered in our project are symmetric. Hence if plugging (a 0, b 0, c 0 ) into our inequality
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 133 Part 2. I. Topics from linear algebra
SOLUTIONS TO EXERCISES FOR MATHEMATICS 133 Part Fall 013 NOTE ON ILLUSTRATIONS. Drawings for several of the solutions in this file are available in the following document: http://math.ucr.edu/ res/math133/math133solutionsa.figures.f13.pdf
More informationComplex numbers in the realm of Euclidean Geometry
Complex numbers in the realm of Euclidean Geometry Finbarr Holland February 7, 014 1 Introduction Before discussing the complex forms of lines and circles, we recall some familiar facts about complex numbers.
More informationAbstract In this paper, the authors deal with the properties of inscribed ellipse of triangle, using tools of projective transformation, analytical ge
Study on Inscribed Ellipse of Triangle By Jin Zhaorong & Zeng Liwei Mentor: Mr. Tang Xiaomiao High School Affiliated to Renmin University of China Beijing, China November 2010 N09 ------ 1 Abstract In
More information2013 Sharygin Geometry Olympiad
Sharygin Geometry Olympiad 2013 First Round 1 Let ABC be an isosceles triangle with AB = BC. Point E lies on the side AB, and ED is the perpendicular from E to BC. It is known that AE = DE. Find DAC. 2
More informationIsogonal Conjugates. Navneel Singhal October 9, Abstract
Isogonal Conjugates Navneel Singhal navneel.singhal@ymail.com October 9, 2016 Abstract This is a short note on isogonality, intended to exhibit the uses of isogonality in mathematical olympiads. Contents
More informationA SYNTHETIC PROOF OF A. MYAKISHEV S GENERALIZATION OF VAN LAMOEN CIRCLE THEOREM AND AN APPLICATION
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 3 (2014) No. 2 74-80 A SYNTHETIC PROOF OF A. MYAKISHEV S GENERALIZATION OF VAN LAMOEN CIRCLE THEOREM AND AN APPLICATION OAI THANH DAO Abstract. In this article we
More informationNotes on Barycentric Homogeneous Coordinates
Notes on arycentric Homogeneous oordinates Wong Yan Loi ontents 1 arycentric Homogeneous oordinates 2 2 Lines 3 3 rea 5 4 Distances 5 5 ircles I 8 6 ircles II 10 7 Worked Examples 14 8 Exercises 20 9 Hints
More informationForum Geometricorum Volume 13 (2013) 1 6. FORUM GEOM ISSN Soddyian Triangles. Frank M. Jackson
Forum Geometricorum Volume 3 (203) 6. FORUM GEOM ISSN 534-78 Soddyian Triangles Frank M. Jackson bstract. Soddyian triangle is a triangle whose outer Soddy circle has degenerated into a straight line.
More informationSolutions for October Problems
Solutions for October Problems Comment on problems 9 and 42 In both these problems, a condition was left out and made each of them trivial Accordingly, problem 9 is marked out of 4 and problem 42 out of,
More informationHANOI OPEN MATHEMATICAL COMPETITON PROBLEMS
HANOI MATHEMATICAL SOCIETY NGUYEN VAN MAU HANOI OPEN MATHEMATICAL COMPETITON PROBLEMS HANOI - 2013 Contents 1 Hanoi Open Mathematical Competition 3 1.1 Hanoi Open Mathematical Competition 2006... 3 1.1.1
More informationTHE CYCLIC QUADRANGLE IN THE ISOTROPIC PLANE
SARAJEVO JOURNAL OF MATHEMATICS Vol.7 (0) (011), 65 75 THE CYCLIC QUADRANGLE IN THE ISOTROPIC PLANE V. VOLENEC, J. BEBAN-BRKIĆ AND M. ŠIMIĆ Abstract. In [15], [] we focused on the geometry of the non-tangential
More informationTheorem on altitudes and the Jacobi identity
Theorem on altitudes and the Jacobi identity A. Zaslavskiy and M. Skopenkov Solutions. First let us give a table containing the answers to all the problems: Algebraic object Geometric sense A apointa a
More informationChapter 13. Straight line equations Area and barycentric coordinates
Chapter 13 Straight line equations 13.1 Area and barycentric coordinates Theorem 13.1. If for i = 1,2,3, P i = x i A + y i B + z i C (in absolute barycentric coordinates), then the area of the oriented
More information41st International Mathematical Olympiad
41st International Mathematical Olympiad Taejon, Korea, July 2000 1 Two circles Γ 1 and Γ 2 intersect at M and N Let l be the common tangent to Γ 1 and Γ 2 so that M is closer to l than N is Let l touch
More information2008 Euclid Contest. Solutions. Canadian Mathematics Competition. Tuesday, April 15, c 2008 Centre for Education in Mathematics and Computing
Canadian Mathematics Competition An activity of the Centre for Education in Mathematics and Computing, University of Waterloo, Waterloo, Ontario 008 Euclid Contest Tuesday, April 5, 008 Solutions c 008
More informationSOME EQUIVALENT CONDITIONS FOR CONIC SECTIONS
J. Korean Soc. Math. Educ. Ser. B: Pure Appl. Math. ISSN(Print) 1226-0657 http://dx.doi.org/10.7468/jksmeb.2012.19.4.315 ISSN(Online) 2287-6081 Volume 19, Number 4 (November 2012), Pages 315 325 SOME EQUIVALENT
More informationa11 a A = : a 21 a 22
Matrices The study of linear systems is facilitated by introducing matrices. Matrix theory provides a convenient language and notation to express many of the ideas concisely, and complicated formulas are
More informationChapter 1. Affine and Euclidean Geometry. 1.1 Points and vectors. 1.2 Linear operations on vectors
Chapter 1 Affine and Euclidean Geometry 1.1 Points and vectors We recall coordinate plane geometry from Calculus. The set R 2 will be called the plane. Elements of R 2, that is ordered pairs (x, y) of
More informationCHAPTER 1 POLYNOMIALS
1 CHAPTER 1 POLYNOMIALS 1.1 Removing Nested Symbols of Grouping Simplify. 1. 4x + 3( x ) + 4( x + 1). ( ) 3x + 4 5 x 3 + x 3. 3 5( y 4) + 6 y ( y + 3) 4. 3 n ( n + 5) 4 ( n + 8) 5. ( x + 5) x + 3( x 6)
More information1. Suppose that a, b, c and d are four different integers. Explain why. (a b)(a c)(a d)(b c)(b d)(c d) a 2 + ab b = 2018.
New Zealand Mathematical Olympiad Committee Camp Selection Problems 2018 Solutions Due: 28th September 2018 1. Suppose that a, b, c and d are four different integers. Explain why must be a multiple of
More informationINVERSION IN THE PLANE BERKELEY MATH CIRCLE
INVERSION IN THE PLANE BERKELEY MATH CIRCLE ZVEZDELINA STANKOVA MILLS COLLEGE/UC BERKELEY SEPTEMBER 26TH 2004 Contents 1. Definition of Inversion in the Plane 1 Properties of Inversion 2 Problems 2 2.
More informationA Recursive Formula for the Circumradius of the n-simplex
Forum Geometricorum Volume 6 (26) 79 84. FORUM GEOM ISSN 534-78 A Recursive Formula for the Circumradius of the n-simplex Kenta Kobayashi Abstract. We present a recursive formula which gives the circumradius
More informationSOME NEW THEOREMS IN PLANE GEOMETRY II
SOME NEW THEOREMS IN PLANE GEOMETRY II ALEXANDER SKUTIN 1. Introduction This work is an extension of [1]. In fact, I used the same ideas and sections as in [1], but introduced other examples of applications.
More informationHANOI OPEN MATHEMATICS COMPETITON PROBLEMS
HANOI MATHEMATICAL SOCIETY NGUYEN VAN MAU HANOI OPEN MATHEMATICS COMPETITON PROBLEMS 2006-2013 HANOI - 2013 Contents 1 Hanoi Open Mathematics Competition 3 1.1 Hanoi Open Mathematics Competition 2006...
More informationUsing Complex Weighted Centroids to Create Homothetic Polygons. Harold Reiter. Department of Mathematics, University of North Carolina Charlotte,
Using Complex Weighted Centroids to Create Homothetic Polygons Harold Reiter Department of Mathematics, University of North Carolina Charlotte, Charlotte, NC 28223, USA hbreiter@emailunccedu Arthur Holshouser
More informationA FORGOTTEN COAXALITY LEMMA
A FORGOTTEN COAXALITY LEMMA STANISOR STEFAN DAN Abstract. There are a lot of problems involving coaxality at olympiads. Sometimes, problems look pretty nasty and ask to prove that three circles are coaxal.
More information