Доказательство:
а) Если AM₁ = AM₂, то HM₁ = HM₂.
- Рассмотрим прямоугольные треугольники AHM₁ и AHM₂. У них AH - общий катет, и по условию AM₁ = AM₂.
- По теореме Пифагора, в прямоугольном треугольнике квадрат катета равен разности квадрата гипотенузы и квадрата другого катета. Следовательно, HM₁² = AM₁² - AH² и HM₂² = AM₂² - AH².
- Так как AM₁ = AM₂, то AM₁² = AM₂². Следовательно, HM₁² = AM₁² - AH² = AM₂² - AH² = HM₂².
- Из HM₁² = HM₂² следует, что HM₁ = HM₂.
б) Если AM₁ < AM₂, то HM₁ < HM₂.
- Аналогично, рассмотрим прямоугольные треугольники AHM₁ и AHM₂. У них AH - общий катет, и по условию AM₁ < AM₂.
- По теореме Пифагора, HM₁² = AM₁² - AH² и HM₂² = AM₂² - AH².
- Так как AM₁ < AM₂, то AM₁² < AM₂². Следовательно, AM₁² - AH² < AM₂² - AH², то есть HM₁² < HM₂².
- Из HM₁² < HM₂² следует, что HM₁ < HM₂.
Ответ: доказано: а) если AM₁ = AM₂, то HM₁ = HM₂; б) если AM₁ < AM₂, то HM₁ < HM₂.