Задача из журнала «Квант» (2003 год, 3 выпуск)
Условие
В квадрат ABCD вписана ломаная MKALN такая, что ∠MKA=∠KAL=∠ALN=45∘(рис.1). Докажите, что MK2+AL2=AK2+NL2.
Симметрично отобразим △ABK относительно гипотенузы AK, а △ADL − относительно гипотенузы AL (рис.2). При этом точки B и D склеятся в точку P, так как AB = AD, ∠B=∠D=90∘ и AP является высотой △AKL.
Сразу делаем вывод: BM=DN.
Используя теорему Пифагора сначала для △ABK и △MBK, а затем для △ADL и △NDL получаем AB2—BM2=AK2—MK2 и AD2—DN2=AL2—NL2.
Окончательно получим MK2+AL2=AK2+NL2, что и требовалось доказать.
Дополнительно можно доказать, что AM=AN=KL и что пять точек M, K, A, L и N принадлежат одной окружности.
Некоторые дополнения
1.При симметричном отображении △ABK относительно гипотенузы AK мы получаем △APK, в котором AB=AP, BK=KP, MK=KQ, BM=QP, ∠MKA=∠AKQ=45∘, ∠BKM=∠PKQ.
Аналогично, при симметричном отображении △ADL относительно гипотенузы AL мы получаем △APL, в котором AD=AP, LD=LP, NL=QL, ND=QP, ∠ALN=∠ALQ=45∘, ∠NLD=∠QLK.
Таким образом, так как BM=QP,
2. Докажем, что Q — ортоцентр △AKL. Для этого воспользуемся рис.3.
AP⊥KL. Проведем через точки K и Q прямую до пересечения с прямой AL, KQ∩AL=K1.
Рассмотрим △AKK1, в нём ∠KAK1=∠AKK1=45∘,
Таким образом, три высоты △AKL пересекаются в одной точке Q, что и означает, что Q — ортоцентр △AKL.
3. Распишем более подробно как мы получили равенство.
△ABK: AB2+BK2=AK2⇒BK2=AK2—AB2
4. Докажем, что точки M, K, A, L и N принадлежат одной окружности.
Так как около любого треугольника можно описать окружность, то точки K, A и L уже принадлежат окружности ω1, описанной около △AKL. Покажем, что точки M L также принадлежат этой окружности.
Рассмотрим △BMK и обозначим в нем ∠BKM=α, тогда ∠BMK=90∘−α.
Из первого пункта следует, что ∠NLD=∠QLK=45∘—α,
Таким образом, в четырехугольнике AMKL сумма противолежащих углов равна 180∘, значит четырехугольник AMKL можно вписать в окружность ω2. Так как, окружность ω2 описана около AMKL, тогда она описана около △AKL, но так как около треугольника можно описать только одну окружность, то ω1=ω2 и точки M, K, A, L и N принадлежат одной окружности.
5. Докажем, что AM=AN=KL.
Из первого пункта: BM=ND,