Maths Olympiad Prep

Library / /2 of 12

Geometry Difficulty 7.3 National olympiad, round 2 Prove it Saudi Arabia

ABCABC is a triangle, GG its centroid and AA', BB', CC' the midpoints of its sides BCBC, CACA, ABAB, respectively. Prove that if the quadrilateral ACGBAC'GB' is cyclic then
ABCC=ACBB. AB \cdot CC' = AC \cdot BB'.

Solution

First solution. Because ACGBAC'GB' is cyclic, we have GAB=GCB\measuredangle GAB' = \measuredangle GC'B'. Because BCB'C' is parallel to BCBC, we have CCB=CCB\measuredangle CC'B' = \measuredangle C'CB. We deduce that
sinAAC=sinCCB. \sin \measuredangle A'A C = \sin \measuredangle C'C B.
Figure 1
But triangles AACAA'C, BCCBCC' have the same area which is half of the area of triangle ABCABC. We deduce that
12AAACsinAAC=12CCBCsinCCB \frac{1}{2} AA' \cdot AC \sin \measuredangle A'A C = \frac{1}{2} CC' \cdot BC \sin \measuredangle C'C B
and therefore
ACCC=BCAA. \frac{AC}{CC'} = \frac{BC}{AA'}.
We proceed in a similar way, by considering triangles ABAABA' and BCBBCB', obtaining
ABBB=BCAA, \frac{AB}{BB'} = \frac{BC}{AA'},
and deduce the relation
ABCC=ACBB. AB \cdot CC' = AC \cdot BB'.

Second solution. Lets us consider the power of the point BB with respect to the circumcircle of the cyclic quadrilateral ACGBAC'GB'. We have
P(B)=BCBA=BGBB. \mathcal{P}(B) = \overline{BC'} \cdot \overline{BA} = \overline{BG} \cdot \overline{BB'}.
But BC=12BA\overline{BC'} = \frac{1}{2} \overline{BA} and BG=23BB\overline{BG} = \frac{2}{3} \overline{BB'}. We deduce that
BB=32AB. BB' = \frac{\sqrt{3}}{2} AB.
Similarly, by considering the power of the point CC with respect to the circumcircle of the cyclic quadrilateral ACGBAC'GB', we obtain
CC=32AC CC' = \frac{\sqrt{3}}{2} AC
From these two relations we deduce easily that
ABCC=ACBB. AB \cdot CC' = AC \cdot BB'.

Third solution (Contains also a proof for the converse). We can see from the first solution that the quadrilateral ACGBAC'GB' is cyclic if and only if
GAC=GCB. \measuredangle GAC = \measuredangle GCB.
This is equivalent to saying that the line BCBC is tangent to the circumcircle of triangle AGCAGC.
Figure 2
This property is equivalent to saying that AC2=AGAAA'C^2 = \overline{A'G} \cdot \overline{A'A} by using the power of the point AA' with respect to this circumcircle. But
AC=12BC,AG=13AAandAA=2AB2+2AC2BC24. A'C = \frac{1}{2} BC, \quad \overline{A'G} = \frac{1}{3} \overline{A'A} \quad \text{and} \quad AA' = \sqrt{\frac{2AB^2 + 2AC^2 - BC^2}{4}}.
We deduce that ACGBAC'GB' is cyclic if and only if
2BC2=AB2+AC2 2BC^2 = AB^2 + AC^2
Now, using the formulas for the medians
BB=2BC2+2AB2CA24andCC=2CA2+2BC2AB24, BB' = \sqrt{\frac{2BC^2 + 2AB^2 - CA^2}{4}} \quad \text{and} \quad CC' = \sqrt{\frac{2CA^2 + 2BC^2 - AB^2}{4}},
we deduce that the relation
ABCC=ACBB AB \cdot CC' = AC \cdot BB'
is equivalent to
AB2(2CA2+2BC2AB2)=AC2(2BC2+2AB2CA2), AB^2 \cdot \left(2CA^2 + 2BC^2 - AB^2\right) = AC^2 \cdot \left(2BC^2 + 2AB^2 - CA^2\right),
which is equivalent to
(AB2AC2)(2BC2AB2AC2)=0 \left(AB^2 - AC^2\right) \cdot \left(2BC^2 - AB^2 - AC^2\right) = 0
which is equivalent to either AB=ACAB = AC or ACGBAC'GB' 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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.