a b c = triangle; i = incenter a b c; e = foot i a c; f = foot i a b; g = mirror g e i; h = mirror h f i; x = on_pline x g a c, on_line x b c; y = on_pline y h a b, on_line y b c; k = midpoint a c; l = midpoint a b; p = on_circum p a b c, on_line p a i ? eqangle x p p y k i i l
