A Concurrency of Lines through Points of Tangency with Excircles
Let ABC be a triangle with orthocenter H. Let be the point of tangency of CA with the excircle opposite A, and similarly define , , , , and . Let , , and . Let , , and . Then AA', BB', and CC' as well as AA'', BB'', and CC'' meet at H.
See the paper "Synthetic proof of Paul Yiu's excircles theorem" available on Darij Grinberg's home page.
"A Concurrency of Lines through Points of Tangency with Excircles"
Wolfram Demonstrations Project
Published: September 24 2008