A Concurrency Generated by the Angle Bisectors

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Extend the angle bisectors of the triangle ABC to meet its circumcircle at A', B' and C'. Let A'', B'', and C'' be the perpendicular projections of A', B', and C' onto BC, AC, and AB, respectively. Then AA'', BB'', and CC'' are concurrent.
Contributed by: Jay Warendorff (March 2011)
Open content licensed under CC BY-NC-SA
Snapshots
Details
detailSectionParagraphPermanent Citation
"A Concurrency Generated by the Angle Bisectors"
http://demonstrations.wolfram.com/AConcurrencyGeneratedByTheAngleBisectors/
Wolfram Demonstrations Project
Published: March 7 2011