Пусть у нас есть четырехугольник ABCD, в котором отрезки AC и BD соединяют середины противоположных сторон и перпендикулярны. Нам необходимо доказать, что диагонали AB и CD равны.
Для начала, обозначим точку M как середину стороны AB, и точку N как середину стороны CD.
Из данного условия задачи, мы знаем, что отрезок AC перпендикулярен отрезку BD. Это означает, что угол CAB равен углу BDA, так как они являются соответствующими углами при параллельных прямых.
Теперь рассмотрим треугольники ACM и BDN. Мы знаем, что AM и BM – это медианы этих треугольников, а AM и BM делят интерпологично диагонали AC и BD пополам. Данные факты позволяют нам сделать следующее утверждение:
AM = BM (1)
Теперь рассмотрим треугольники AMC и BDN. Мы знаем, что угол CAM равен углу DBN, так как они являются вертикальными углами, а угол CAM равен углу BDA по условию задачи.
Теперь, используя сторону ACM, получаем:
AC = 2√(AM² + CM²)
Аналогично, используя сторону BDN, получаем:
BD = 2√(BM² + DN²)
Так как AM = BM (из уравнения (1)), мы можем еще больше упростить выражения:
AC = 2√(AM² + CM²) = 2√(BM² + CM²) = 2√(DN² + CM²) = BD
Таким образом, мы доказали, что AC = BD.
Теперь мы знаем, что AM = BM и AC = BD. Перейдем к диагонали CD.
Рассмотрим треугольники CMD и BDN. Заметим, что CMD и BDN – это подобные треугольники, так как угол CMD равен углу BDN (они являются вертикальными углами), и угол CDM равен углу NBD (они также являются вертикальными углами).
Теперь, используя отношение подобных треугольников, получаем:
CM/BD = DM/DN
BD * DM = CM * DN
А по условию задачи, мы знаем, что AC = BD. Поэтому можем продолжить дальше:
AC * DM = CM * DN
Мы знаем, что AC = BD, поэтому:
BD * DM = CM * DN (2)
Теперь рассмотрим треугольники ANC и CDM.
Мы знаем, что угол ANC равен углу CDM (они являются вертикальными углами), а также, мы знаем, что отрезок AC перпендикулярен отрезку BD. Значит:
AN и CM – медианы в треугольниках ANC и CDM, они делят диагонали AC и BD пополам.
Таким образом, можем сделать следующее утверждение:
AC = 2√(AN² + CN²) = 2√(CM² + DM²) = BD (3)
(Уравнение (3) может быть получено путем использования теоремы Пифагора и соотношений в треугольниках ANC и CDM.)
Таким образом, мы получили два уравнения (2) и (3):
BD * DM = CM * DN
BD = 2√(AN² + CN²) = 2√(CM² + DM²)
Сравнивая два уравнения, получаем:
2√(AN² + CN²) = 2√(CM² + DM²)
AN² + CN² = CM² + DM²
Так как AN = CM и CN = DM (середины сторон), мы можем доказать, что:
AN² + CN² = CM² + DM²
Нам уже известно, что AC = BD. Значит:
AN² + CN² = AC²
CM² + DM² = BD²
Таким образом, мы доказали, что если отрезки, соединяющие середины противоположных сторон четырехугольника, перпендикулярны, то его диагонали равны.
