Olympiad Maths Prep

Track / Stage 6 / 217 of 400 #1217 of 2000

Problem 1217

National olympiad, first round
Geometry Difficulty 6.3 Prove it

2. Let JJ be the excenter of ABC\triangle A B C opposite to vertex AA, and let this excircle touch side BCB C at point MM, and the lines ABA B and ACA C at points KK and LL, respectively. Line LML M intersects BJB J at point FF, and line KMK M intersects CJC J at point GG. Let SS be the intersection of line AFA F with BCB C, and TT be the intersection of line AGA G with BCB C. Prove: MM is the midpoint of segment STS T.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

Proof: Let a=CEa=CE,
b=EA,c=AC,A(1,0,0),C(0,1,0),E(0,0,1),B(x1:y1:z1),D(x2:y2:z2),F(x3:y3:z3). \begin{array}{l} b=EA, c=AC, \\ A(1,0,0), \\ \quad C(0,1,0), E(0,0,1), B\left(x_{1}: y_{1}: z_{1}\right), \\ \quad D\left(x_{2}: y_{2}: z_{2}\right), F\left(x_{3}: y_{3}: z_{3}\right). \end{array}

Since the circle Γ\Gamma is the circumcircle of ACE\triangle ACE, its equation is
a2yzb2zxc2xy=0. -a^{2} y z - b^{2} z x - c^{2} x y = 0.

Since points BB, DD, and FF lie on the circle Γ\Gamma, we have
a2yizib2zixic2xiyi=0(i=1,2,3). -a^{2} y_{i} z_{i} - b^{2} z_{i} x_{i} - c^{2} x_{i} y_{i} = 0 \quad (i=1,2,3).

Also, lAB:z1yy1z=0l_{AB}: z_{1} y - y_{1} z = 0, lED:y2xx2y=0l_{ED}: y_{2} x - x_{2} y = 0, so the intersection of ABAB and EDED is the point P(x2y2:1:z1y1)P\left(\frac{x_{2}}{y_{2}}: 1: \frac{z_{1}}{y_{1}}\right).
Similarly, the intersection of CDCD and AFAF is the point Q(x2z2:y3z3:1)Q\left(\frac{x_{2}}{z_{2}}: \frac{y_{3}}{z_{3}}: 1\right),
and the intersection of EFEF and CBCB is the point R(1:y3x3:z1x1)R\left(1: \frac{y_{3}}{x_{3}}: \frac{z_{1}}{x_{1}}\right).
By a2yizib2zixic2xiyi=0a21xi+b21yi+c21zi=0 \begin{array}{l} \text{By } -a^{2} y_{i} z_{i} - b^{2} z_{i} x_{i} - c^{2} x_{i} y_{i} = 0 \\ \Rightarrow a^{2} \cdot \frac{1}{x_{i}} + b^{2} \cdot \frac{1}{y_{i}} + c^{2} \cdot \frac{1}{z_{i}} = 0 \end{array}
\Rightarrow the system of linear equations in xx, yy, and zz
{x1x1+y1y1+z1z1=0,x1x2+y1y2+z1z2=0,x1x3+y1y3+z1z3=0 \left\{\begin{array}{l} x \cdot \frac{1}{x_{1}} + y \cdot \frac{1}{y_{1}} + z \cdot \frac{1}{z_{1}} = 0, \\ x \cdot \frac{1}{x_{2}} + y \cdot \frac{1}{y_{2}} + z \cdot \frac{1}{z_{2}} = 0, \\ x \cdot \frac{1}{x_{3}} + y \cdot \frac{1}{y_{3}} + z \cdot \frac{1}{z_{3}} = 0 \end{array}\right.

has a non-zero solution (a2,b2,c2)\left(a^{2}, b^{2}, c^{2}\right)
1x11y11z11x21y21z21x31y31z3=01y3x3z1x1x2y21z1y1x2z2y3z31=0 \Rightarrow \left|\begin{array}{ccc} \frac{1}{x_{1}} & \frac{1}{y_{1}} & \frac{1}{z_{1}} \\ \frac{1}{x_{2}} & \frac{1}{y_{2}} & \frac{1}{z_{2}} \\ \frac{1}{x_{3}} & \frac{1}{y_{3}} & \frac{1}{z_{3}} \end{array}\right| = 0 \Rightarrow \left|\begin{array}{ccc} 1 & \frac{y_{3}}{x_{3}} & \frac{z_{1}}{x_{1}} \\ \frac{x_{2}}{y_{2}} & 1 & \frac{z_{1}}{y_{1}} \\ \frac{x_{2}}{z_{2}} & \frac{y_{3}}{z_{3}} & 1 \end{array}\right| = 0
\Rightarrow points PP, QQ, and RR are collinear.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.