prove that the line-segment joining the mid-point of the hypotenuse to the opposite vertex is half the hypotenuse.