An Angle Bisection

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
Let ABC be a triangle and let A', B', and C' be the contact points of the incircle opposite A, B, and C, respectively. Let H be the foot of the perpendicular to A'C' from B'. Then B'H bisects AHC.
Contributed by: Jay Warendorff (March 2011)
After work by: Antonio Gutierrez
Open content licensed under CC BY-NC-SA
Snapshots
Details
The statement of the theorem is in Triangle: Incircle, Perpendicular, Angle Bisector.
Permanent Citation
"An Angle Bisection"
http://demonstrations.wolfram.com/AnAngleBisection/
Wolfram Demonstrations Project
Published: March 7 2011