Maths Olympiad Prep

Library / /515 of 520

Geometry Difficulty 4.8 AIME Prove it

Let ABCDEFABCDEF be a convex hexagon satisfying ABDE\overline{AB} \parallel \overline{DE}, BCEF\overline{BC} \parallel \overline{EF}, CDFA\overline{CD} \parallel \overline{FA}, andABDE=BCEF=CDFA.AB \cdot DE = BC \cdot EF = CD \cdot FA.Let XX, YY, and ZZ be the midpoints of AD\overline{AD}, BE\overline{BE}, and CF\overline{CF}. Prove that the circumcenter of ACE\triangle ACE, the circumcenter of BDF\triangle BDF, and the orthocenter of XYZ\triangle XYZ are collinear.

Solution

Let M1M_1, M2M_2, and M3M_3 be the midpoints of CECE, AEAE, ACAC and N1N_1, N2N_2, and N3N_3 be the midpoints of DFDF, BFBF, and BDBD. Also, let HH be the orthocenter of XYZXYZ. Note that we can use parallel sides to see that XX, ZZ, and M3M_3 are collinear. Thus we have Pow(M3,(XYZ))=M3ZM3X=14ABDE\text{Pow}(M_3,(XYZ)) = M_3Z \cdot M_3X = \frac 14 AB \cdot DE by midlines. Applying this argument cyclically, and noting the condition ABDE=BCEF=CDFAAB \cdot DE = BC \cdot EF = CD \cdot FA, M1M_1, M2M_2, M3M_3, N1N_1, N2N_2, N3N_3 all lie on a circle concentric with (XYZ)(XYZ).
Next, realize that basic orthocenter properties imply that the circumcenter O1O_1 of (ACE)(ACE) is the orthocenter of M1M2M3\triangle M_1M_2M_3, and likewise the circumcenter O2O_2 of (BDF)(BDF) is the orthocenter of N1N2N3\triangle N_1N_2N_3.
The rest is just complex numbers; toss on the complex plane so that the circumcenter of XYZ\triangle XYZ is the origin. Then we have o1=m1+m2+m3=(c+e)/2+(a+e)/2+(a+c)/2=a+c+eo_1 = m_1+m_2+m_3 = (c+e)/2+(a+e)/2+(a+c)/2=a+c+e o2=n1+n2+n3=(b+d)/2+(d+f)/2+(b+f)/2=b+d+fo_2 = n_1+n_2+n_3 = (b+d)/2+(d+f)/2+(b+f)/2=b+d+f h=x+y+z=(a+d)/2+(b+e)/2+(c+f)/2=(a+b+c+d+e+f)/2.h = x+y+z = (a+d)/2+(b+e)/2+(c+f)/2=(a+b+c+d+e+f)/2.
Note that from the above we have h=o1+o22h=\frac{o_1+o_2}{2}, so HH is the midpoint of segment O1O2O_1O_2. In particular, HH, O1O_1, and O2O_2 are collinear, as required.
~ Leo.Euler

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.