2. Let J be the excenter of △ABC opposite to vertex A, and let this excircle touch side BC at point M, and the lines AB and AC at points K and L, respectively. Line LM intersects BJ at point F, and line KM intersects CJ at point G. Let S be the intersection of line AF with BC, and T be the intersection of line AG with BC. Prove: M is the midpoint of segment ST.
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=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).
Since the circle Γ is the circumcircle of △ACE, its equation is −a2yz−b2zx−c2xy=0.
Since points B, D, and F lie on the circle Γ, we have −a2yizi−b2zixi−c2xiyi=0(i=1,2,3).
Also, lAB:z1y−y1z=0, lED:y2x−x2y=0, so the intersection of AB and ED is the point P(y2x2:1:y1z1). Similarly, the intersection of CD and AF is the point Q(z2x2:z3y3:1), and the intersection of EF and CB is the point R(1:x3y3:x1z1). By −a2yizi−b2zixi−c2xiyi=0⇒a2⋅xi1+b2⋅yi1+c2⋅zi1=0 ⇒ the system of linear equations in x, y, and z ⎩⎨⎧x⋅x11+y⋅y11+z⋅z11=0,x⋅x21+y⋅y21+z⋅z21=0,x⋅x31+y⋅y31+z⋅z31=0
has a non-zero solution (a2,b2,c2) ⇒x11x21x31y11y21y31z11z21z31=0⇒1y2x2z2x2x3y31z3y3x1z1y1z11=0 ⇒ points P, Q, and R are collinear.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.