Proving the Equidistance of the Midpoint of the Hypotenuse in a Right Triangle

Proving the Equidistance of the Midpoint of the Hypotenuse in a Right Triangle

The focus of this article is to provide a detailed proof of the property that the midpoint of the hypotenuse of a right triangle is equidistant from the three vertices, using vector methods. This proof not only validates a specific geometric property but also leads to a converse and a fundamental theorem concerning inscribed angles.

Basis of Proof Using Vectors

To approach this problem, we first set up the vectors for the vertices and midpoint:

(overrightarrow{CA} mathbf{v}) (overrightarrow{CB} mathbf{w}) (overrightarrow{CM} mathbf{m}) (overrightarrow{MA} mathbf{h}) Since (M) is the midpoint of (overline{AB}), (overrightarrow{MB} -mathbf{h})

With these assignments, we can write:

(mathbf{m} mathbf{v} mathbf{h})

(mathbf{m} mathbf{w} - mathbf{h})

From these, we derive:

(mathbf{m} cdot mathbf{h} mathbf{v})

(mathbf{m} cdot (-mathbf{h}) mathbf{w})

Bringing these into a specific expression:

(|mathbf{m}|^2 - |mathbf{h}|^2 mathbf{v} cdot mathbf{w})

Thus,

(|mathbf{m}| sqrt{|mathbf{h}|^2 mathbf{v} cdot mathbf{w}})

Specializing to a Right Triangle

When triangle (ACB) is a right triangle with the right angle at (C), (mathbf{v} cdot mathbf{w} 0) because the vectors (mathbf{v}) and (mathbf{w}) are perpendicular. Therefore, we have:

(|mathbf{m}| sqrt{|mathbf{h}|^2 0} |mathbf{h}|)

This proves that the midpoint (M) of the hypotenuse (overline{AB}) is equidistant from the three vertices.

Converse and Extended Theorems

Not only does this proof establish the property for a right triangle, but it also provides a converse and links to an important theorem about inscribed angles:

Converse Proposition

If the median (overline{MC}) in triangle (ABC) is the same length as (overline{MA}) and (overline{MB}), then triangle (ABC) is a right triangle with the right angle at (C).

Proof: If (|mathbf{m}| |mathbf{h}|), the expression forces (mathbf{v} cdot mathbf{w} 0), which is the condition for a right angle.

Corollary: Inscribed Angle Theorem

Any angle inscribed in a semicircle is a right angle.

Proof: An angle inscribed in a semicircle is such that the midpoint (M) of (overline{AB}) is the center of the semicircle, and points (A), (B), and (C) lie on the circumference. Since (overline{MA}), (overline{MB}), and (overline{MC}) are radii of the semicircle, they are all of equal length. The proposition then states that (triangle ABC) is a right triangle with the right angle at (C).