Рассмотрим Δ CMB: ∠C - тупой, значит ∠CMB - острый, ⇒ в ΔBMA ∠AMB - тупой, так как ∠CMB и ∠AMB смежные.
Если ∠AMB - тупой, то остальные 2 угла Δ BMA - острые.
В треугольнике против большего угла лежит большая сторона ⇒ AB - самая большая сторона ΔBMA ⇒ AB > MB ч.т.д.
