Доказательство:
Пусть AC = a, BC = b, CE = c, MD = x, DE = y.
Так как M лежит на отрезке CE, который является стороной треугольника CDE, то y > x.
Рассмотрим треугольник CMD. Из теоремы косинусов для этого треугольника получаем:
cos(∠CMD) = (CD² + MD² - CM²) / (2 CD MD).
Так как угол CMD острый, то его косинус положителен. То есть:
CD² + MD² > CM²CD > √(CM² + MD²) = √(a² + x²).
Рассмотрим теперь треугольник CDE. Из теоремы косинусов для него получаем:
cos(∠CDE) = (CD² + DE² - CE²) / (2 CD DE).
Так как угол CDE - прямой, то his(∠CDE) = 0, следовательно:
CD² + DE² = CE²CD > √CE² = c.
Получаем неравенство:
√(a² + x²) < ca² + x² < c²x² < c² - a²x < √(c² - a²)
Из неравенства y > x и x < √(c² - a²) следует:
y > x < √(c² - a²)y < √(c² - a²)
DE = y < √(c² - a²) = DE
Таким образом, мы доказали, что DЕ > DМ.
Доказательство:
Пусть AC = a, BC = b, CE = c, MD = x, DE = y.
Так как M лежит на отрезке CE, который является стороной треугольника CDE, то y > x.
Рассмотрим треугольник CMD. Из теоремы косинусов для этого треугольника получаем:
cos(∠CMD) = (CD² + MD² - CM²) / (2 CD MD).
Так как угол CMD острый, то его косинус положителен. То есть:
CD² + MD² > CM²
CD > √(CM² + MD²) = √(a² + x²).
Рассмотрим теперь треугольник CDE. Из теоремы косинусов для него получаем:
cos(∠CDE) = (CD² + DE² - CE²) / (2 CD DE).
Так как угол CDE - прямой, то his(∠CDE) = 0, следовательно:
CD² + DE² = CE²
CD > √CE² = c.
Получаем неравенство:
√(a² + x²) < c
a² + x² < c²
x² < c² - a²
x < √(c² - a²)
Из неравенства y > x и x < √(c² - a²) следует:
y > x < √(c² - a²)
y < √(c² - a²)
DE = y < √(c² - a²) = DE
Таким образом, мы доказали, что DЕ > DМ.