Докажем это с помощью теоремы косинусов.
Обозначим длины отрезков следующим образом:MP = a, NP = b, NK = c, KM = x, MN = y, KP = h
Так как угол NKP острый, то треугольник NKP - остроугольный. Применим теорему косинусов к этому треугольнику:
cos(NKP) = (c^2 + h^2 - b^2) / (2ch)
Также рассмотрим треугольники MNK и MNP. Используя ту же теорему косинусов, получим:
cos(MNK) = (x^2 + c^2 - b^2) / (2cx)cos(MNP) = (x^2 + a^2 - b^2) / (2ax)
Так как угол MNP тупой, то -cos(MNP) > 0. Поэтому
(x^2 + a^2 - b^2) / (2ax) < 0x^2 + a^2 - b^2 < 0x^2 < b^2 - a^2
Теперь подставим это в выражение для cos(NKP):
(c^2 + h^2 - b^2) / (2ch) = cos(NKP) = cos(MNK) + cos(MNP)(c^2 + h^2 - b^2) / (2ch) = (x^2 + c^2 - b^2) / (2cx) + (x^2 + a^2 - b^2) / (2ax)(c^2 + h^2 - b^2) / (2ch) = (x^2 + c^2 - b^2) / (2cx) - (b^2 - a^2) / (2ax)h^2 < c^2
Отсюда следует, что KP < MP.
Докажем это с помощью теоремы косинусов.
Обозначим длины отрезков следующим образом:
MP = a, NP = b, NK = c, KM = x, MN = y, KP = h
Так как угол NKP острый, то треугольник NKP - остроугольный. Применим теорему косинусов к этому треугольнику:
cos(NKP) = (c^2 + h^2 - b^2) / (2ch)
Также рассмотрим треугольники MNK и MNP. Используя ту же теорему косинусов, получим:
cos(MNK) = (x^2 + c^2 - b^2) / (2cx)
cos(MNP) = (x^2 + a^2 - b^2) / (2ax)
Так как угол MNP тупой, то -cos(MNP) > 0. Поэтому
(x^2 + a^2 - b^2) / (2ax) < 0
x^2 + a^2 - b^2 < 0
x^2 < b^2 - a^2
Теперь подставим это в выражение для cos(NKP):
(c^2 + h^2 - b^2) / (2ch) = cos(NKP) = cos(MNK) + cos(MNP)
(c^2 + h^2 - b^2) / (2ch) = (x^2 + c^2 - b^2) / (2cx) + (x^2 + a^2 - b^2) / (2ax)
(c^2 + h^2 - b^2) / (2ch) = (x^2 + c^2 - b^2) / (2cx) - (b^2 - a^2) / (2ax)
h^2 < c^2
Отсюда следует, что KP < MP.