A square is constructed on the hypotenuse of a right triangle. Prove the red line bisects the right angle.