A theorem about the square on the hypotenuse

How can you argue that the angular bisector of the right angle in a right triangle, bisects the square on the hypotenuse?

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)

This was sort of stolen from an excellent book called Proofs without words - a collection of drawings of proofs within various mathematical topics.

Øistein Gjøvik, Laget med GeoGebra