Утверждение 1
Если диагонали выпуклого четырехугольника взаимно перпендикулярны, то суммы квадратов его противолежащих сторон равны.
Дано: ABCD — выпуклый четырёхугольник,
AC⊥BD
Доказать:
AB²+CD²=AD²+BC²
Доказательство:
Из прямоугольных треугольников AFB, CFD, AFD и BFC по теореме Пифагора
Сложив почленно 1-е и 2-е равенства, получим
Что и требовалось доказать.
Утверждение 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.
Что и требовалось доказать.