A Concurrency of Lines Joining Orthocenters
Initializing live version
Let ABC be a triangle with incenter I. Let A', B' and C' be the excenters opposite A, B, and C, respectively. Then the lines joining the orthocenters of IBC and A'BC, IAC and B'AC, and IAB and C'AB are concurrent.