Concurrent Angle Bisector proof

A simple applet to show that steps throught he proof that the three bisectors of the angles of a triangle are concurrent.

Some questions to think about: 1) Are you convinced at step 0, that the three lines always meet in one point? Is it sufficient to show many examples. 2) Can you construct a formal proof from what you see in the various steps? 3) Does looking at the picture make the proof easier to understand and remember?