MathLabs

Problem 1

Let ABCABC be a triangle and JJ the center of the AA-excircle. This excircle is tangent to the side BCBC at MM, and to the lines ABAB and ACAC at KK and LL, respectively. The lines LMLM and BJBJ meet at FF, and the lines KMKM and CJCJ meet at GG. Let SS be the point of intersection of the lines AFAF and BCBC, and let TT be the point of intersection of the lines AGAG and BCBC. Prove that MM is the midpoint of STST.
Step 3 of 5: Intersect the lines to get F and G
In plain words

In homogeneous barycentrics, both the line through two points and the intersection of two lines are just cross products of triples, and after factoring out a common nonzero factor both F and G reduce to remarkably clean coordinates.

F=(a:a+c:−c),G=(a:−b:a+b)F=(a:a+c:-c),\quad G=(a:-b:a+b)
Detailed analysis

Forming the line equations LMLM and BJBJ via cross products of homogeneous triples and intersecting them (another cross product), then dividing out the common nonzero factor (s−b)(s−c)(s-b)(s-c), gives F=LM∩BJ=(a:a+c:−c)F=LM\cap BJ=(a:a+c:-c). The symmetric calculation for G=KM∩CJG=KM\cap CJ (interchanging B,CB,C and b,cb,c) gives G=(a:−b:a+b)G=(a:-b:a+b); that is, F=(a:a+c:−c),G=(a:−b:a+b)F=(a:a+c:-c),\quad G=(a:-b:a+b).