In triangle ABC, let M be the midpoint of ¯AB. (a) Prove that if CM=12AB, then ∠ACB=90∘. (b) Prove that if ∠ACB=90∘, then CM=12AB.
(a)
Let the length of side AB = c
and let m∠ABC = B
and let m∠BAC = A
We're given that CM=12AB so
CM = c / 2
And because M is the midpoint of side AB,
AM = c / 2
BM = c / 2
Therefore both △AMC and △BMC are isosceles triangles. Because base angles are congruent,
m∠MCA = A
m∠MCB = B
And now we can see that
m∠ACB = A + B
The sum of the interior angles of △ABC = 180°
(A) + (A + B) + (B) = 180°
2A + 2B = 180°
2(A + B) = 180°
A + B = 90°
m∠ACB = 90°