Java Version
In the figure, HEG is an isosceles triangle with EH = EI. Also HF = GI. A is the intersection of GF and HI. The theorem states that AF = FG.
App generated by Geometry Expressions