Maths Olympiad Prep

Library / /25 of 33

Geometry Difficulty 8.4 Shortlist Prove it Turkey

Let AA, BB, CC, AA', BB', CC' be distinct points on the plane satisfying ABCABCABC \cong A'B'C' and the point GG be the centroid of the triangle ABCABC. If the circle of center AA' passing through GG and the circle of diameter [AA][AA'] intersect at point A1A_1, the circle of center BB' passing through GG and the circle of diameter [BB][BB'] intersect at point B1B_1, the circle of center CC' passing through GG and the circle of diameter [CC][CC'] intersect at point C1C_1, show that
AA12+BB12+CC12AB2+BC2+CA2. AA_1^2 + BB_1^2 + CC_1^2 \le AB^2 + BC^2 + CA^2.

Solution

Lemma: Let XX, YY, ZZ, TT be points on a plane. Then
XY2+YZ2+YT2+TX2XZ2+YT2. XY^2 + YZ^2 + YT^2 + TX^2 \ge XZ^2 + YT^2.
Proof: Let x=XYx = \overrightarrow{XY}, y=YZy = \overrightarrow{YZ}, z=ZTz = \overrightarrow{ZT}. Note that XZ=x+y\overrightarrow{XZ} = x + y, YT=y+z\overrightarrow{YT} = y + z and XT=x+y+z\overrightarrow{XT} = x + y + z. Then XY2+YZ2+YT2+TX2XZ2YT2XY^2 + YZ^2 + YT^2 + TX^2 - XZ^2 - YT^2 is equal to
xx+yy+zz+(x+y+z)(x+y+z)(x+y)(x+y)(y+z)(y+z)=xx+zz+2(xz)=(x+z)(x+z)0. \begin{aligned} & x \cdot x + y \cdot y + z \cdot z + (x + y + z) \cdot (x + y + z) - (x + y) \cdot (x + y) - (y + z) \cdot (y + z) \\ & = x \cdot x + z \cdot z + 2(x \cdot z) = (x + z) \cdot (x + z) \ge 0. \end{aligned}

Let the point GG' be the centroid of the triangle ABCA'B'C'. Applying the lemma for AA, GG', AA', GG gives AG2+GA2+AG2+GA2GG2+AA2AG'^2 + G'A'^2 + A'G^2 + GA^2 \ge G'G^2 + AA'^2. As AA2=AG2+AA12AA'^2 = A'G^2 + AA_1^2 we have
AA12AG2+GA2+GA2GG2. AA_1^2 \le AG'^2 + G'A'^2 + GA^2 - G'G^2.

By similar inequalities for BB and CC, we see that AA12+BB12+CC12AA_1^2 + BB_1^2 + CC_1^2 is less than or equal to
AG2+GA2+GA2+BG2+GB2+GB2+CG2+GC2+GC23GG2.() AG'^2 + G'A'^2 + GA^2 + BG'^2 + G'B'^2 + GB^2 + CG'^2 + G'C'^2 + GC^2 - 3G'G^2. \quad (*)
By the Leibniz's theorem we obtain that AG2+BG2+CG23GG2=GA2+GB2+GC2AG'^2 + BG'^2 + CG'^2 - 3G'G^2 = GA^2 + GB^2 + GC^2. It is well known that GA2+GB2+GC2=13(AB2+BC2+CA2)GA^2 + GB^2 + GC^2 = \frac{1}{3}(AB^2 + BC^2 + CA^2). As ABCABCABC \cong A'B'C', we also have GA2+GB2+GC2=13(AB2+BC2+CA2)G'A'^2 + G'B'^2 + G'C'^2 = \frac{1}{3}(AB^2 + BC^2 + CA^2). These three results conclude that ()(*) is equal to AB2+BC2+CA2AB^2 + BC^2 + CA^2 and we are done.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.