Incircles and a Cevian

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. Let D be a point on AC. Let the incircle of ABC intersect AC at H and let the incircles of ABD and DBC intersect BD at L and K respectively. Then DH = KL.
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 Problem 32. Triangle, Cevian, Incircles.
Permanent Citation
"Incircles and a Cevian"
http://demonstrations.wolfram.com/IncirclesAndACevian/
Wolfram Demonstrations Project
Published: March 7 2011