Consider the sketch below where G (not shown) is the incentre of the hyperbolic triangle ABC on the Poincare' disk, and D, E and F are the respective incentres of ABG, BCG and CAG. Drag any of the vertices to investigate whether AE, BF and CD are always concurrent. What do you notice? Can you prove (or refute) your observation?
Created by Michael de Villiers, 25 July 2010 with Cinderella