A line that bisects the right angle in a right triangle also bisects a square erected on the hypotenuse.

Proof: