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?

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