You need to enable JavaScript to run this app.
Expii
Proof of Angle Bisector Theorem - Expii
There's actually many different ways to prove this.