Maths Olympiad Prep

Library / /11 of 65

Geometry Difficulty 5.3 AIME, harder Prove it Bulgaria

Problem:
Let OO and GG be respectively the circumcenter and the centroid of ABC\triangle ABC and let MM be the midpoint of the side ABAB. If OGCMOG \perp CM, prove that ABC\triangle ABC is isosceles.

Solution

Solution:
Set a=OA\vec{a}=\overrightarrow{OA}, b=OB\vec{b}=\overrightarrow{OB}, c=OC\vec{c}=\overrightarrow{OC}. We have that OM=12(a+b)\overrightarrow{OM}=\frac{1}{2}(\vec{a}+\vec{b}) and hence
OG=16(3a+b+2c) \overrightarrow{OG}=\frac{1}{6}(3\vec{a}+\vec{b}+2\vec{c})
On the other hand, CM=12(a+b2c)\overrightarrow{CM}=\frac{1}{2}(\vec{a}+\vec{b}-2\vec{c}). Then
Figure 1
0=OGCM=(3a+b+2c)(a+b2c)=3R2+3ab6ac+ab+R22bc+2ac+2bc4R2 \begin{aligned} 0 &=\overrightarrow{OG} \cdot \overrightarrow{CM}=(3\vec{a}+\vec{b}+2\vec{c})(\vec{a}+\vec{b}-2\vec{c}) \\ &=3R^{2}+3\vec{a}\vec{b}-6\vec{a}\vec{c}+\vec{a}\vec{b}+R^{2}-2\vec{b}\vec{c}+2\vec{a}\vec{c}+2\vec{b}\vec{c}-4R^{2} \end{aligned}
and therefore 0=4a(bc)0=4\vec{a}(\vec{b}-\vec{c}). Hence OABCOA \perp BC, i.e. AB=ACAB=AC.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.