Maths Olympiad Prep

Library / /220 of 520

Geometry Difficulty 6.3 National olympiad Prove it

Let GG be the centroid of the the triangle ABCA B C. Reflect point AA across CC at AA^{\prime}. Prove that G,B,C,AG, B, C, A^{\prime} are on the same circle if and only if GAG A is perpendicular to GCG C.

Solution

Observe first that GAGC G A \perp G C if and only if 5AC2=AB2+BC2 5 A C^{2} = A B^{2} + B C^{2} . Indeed,

GAGC49ma2+49mc2=b25b2=a2+c2 G A \perp G C \Leftrightarrow \frac{4}{9} m_{a}^{2} + \frac{4}{9} m_{c}^{2} = b^{2} \Leftrightarrow 5 b^{2} = a^{2} + c^{2}

Moreover,

GB2=49mb2=2a2+2c2b29=9b29=b2 G B^{2} = \frac{4}{9} m_{b}^{2} = \frac{2 a^{2} + 2 c^{2} - b^{2}}{9} = \frac{9 b^{2}}{9} = b^{2}

hence GB=AC=CA G B = A C = C A^{\prime} (1). Let C C^{\prime} be the intersection point of the lines GC G C and AB A B . Then CC C C^{\prime} is the middle line of the triangle ABA A B A^{\prime} , hence GCBA G C \parallel B A^{\prime} . Consequently, GCAB G C A^{\prime} B is a trapezoid. From (1) we find that GCAB G C A^{\prime} B is isosceles, thus cyclic, as needed.

Conversely, since GCAB G C A^{\prime} B is a cyclic trapezoid, then it is also isosceles. Thus CA=GB C A^{\prime} = G B , which leads to (1).

Comment: An alternate proof is as follows:

Let M M be the midpoint of AC A C . Then the triangles MCG M C G and MAB M A^{\prime} B are similar. So GC G C is parallel to AB A^{\prime} B .

GAGC G A \perp G C if and only if GM=MC G M = M C . By the above similarity, this happens if and only if AC=GB A^{\prime} C = G B ; if and only if the trapezoid is cyclic.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.