Утверждение 1
Если диагонали выпуклого четырехугольника взаимно перпендикулярны, то суммы квадратов его противолежащих сторон равны.
Дано: ABCD — выпуклый четырёхугольник,
AC⊥BD
Доказать:
AB²+CD²=AD²+BC²
Доказательство:
Из прямоугольных треугольников AFB, CFD, AFD и BFC по теореме Пифагора
![]()
![]()
![]()
![]()
Сложив почленно 1-е и 2-е равенства, получим
![Rendered by QuickLaTeX.com \[ + \frac{\begin{array}{l} AB^2 = AF^2 + BF^2 \\ CD^2 = CF^2 + DF^2 \\ \end{array}}{{AB^2 + CD^2 = AF^2 + BF^2 + CF^2 + DF^2 }}, \]](http://www.treugolniki.ru/wp-content/ql-cache/quicklatex.com-62ca3761738def02c1a7f7e9f19bf009_l3.png)
![]()
Что и требовалось доказать.
Утверждение 2
Если суммы квадратов противолежащих сторон выпуклого четырехугольника равны, то его диагонали взаимно перпендикулярны.
(Чертеж — тот же).
Дано: ABCD — выпуклый четырёхугольник,
AB²+CD²=AD²+BC²
Доказать: AC⊥BD
Доказательство:
Пусть ∠AFB=α.
∠AFB+∠BFC=180° (как смежные).
∠CFD=∠AFB=α, ∠AFD=∠BFC=180°-α (как вертикальные).
cos∠BFC=cos∠AFD=cos (180°-α)= -cosα.
Из треугольников AFB, CFD, AFD и BFC по теореме косинусов
![]()
![]()
![]()
![]()
Так как AB²+CD²=AD²+BC² (по условию), то
![]()
![]()
![]()
![]()
откуда
![]()
![]()
![]()
![]()
![]()
Произведение равно нулю, если хотя бы один из множителей равняется нулю.
![]()
(как сумма положительных слагаемых), следовательно cosα=0.
Значит α=90°, то есть AC⊥BD.
Что и требовалось доказать.
