Problem 1
Let be a triangle and the center of the -excircle. This excircle is tangent to the side at , and to the lines and at and , respectively. The lines and meet at , and the lines and meet at . Let be the point of intersection of the lines and , and let be the point of intersection of the lines and . Prove that is the midpoint of .
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.
Detailed analysis
Forming the line equations and via cross products of homogeneous triples and intersecting them (another cross product), then dividing out the common nonzero factor , gives . The symmetric calculation for (interchanging and ) gives ; that is, .