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