Чтобы доказать свойство четырёхугольника ABCD, где диагонали AC и BD пересекаются перпендикулярно в точке O, мы воспользуемся теорией о вписанных углах и свойствами прямоугольного треугольника.
Обозначим точки и стороны: Пусть AO = a, OC = b, BO = c, OD = d. Тогда AC = AO + OC = a + b, и BD = BO + OD = c + d.
Рассмотрим треугольники: В данном случае у нас есть четыре прямоугольных треугольника:
- Треугольник AOB
- Треугольник BOC
- Треугольник COD
- Треугольник DOA
Поскольку угол AOB = 90° (по условию), можем использовать теорему Пифагора для каждого из этих треугольников.
Применяем теорему Пифагора: Для треугольника AOB: \[ AB^2 = AO^2 + BO^2 = a^2 + c^2. \]
Для треугольника BOC: \[ BC^2 = BO^2 + OC^2 = c^2 + b^2. \]
Для треугольника COD: \[ CD^2 = OC^2 + OD^2 = b^2 + d^2. \]
Для треугольника DOA: \[ AD^2 = OD^2 + AO^2 = d^2 + a^2. \]
Теперь составим уравнение: Разделим выражения, которые мы получили: \[ AB^2 - BC^2 = (a^2 + c^2) - (c^2 + b^2) = a^2 - b^2. \] \[ AD^2 - DC^2 = (d^2 + a^2) - (b^2 + d^2) = a^2 - b^2. \]
Сравниваем результаты: Мы видим, что: \[ AB^2 - BC^2 = AD^2 - CD^2, \] что и требовалось доказать.
Таким образом, мы подтвердили, что для четырёхугольника ABCD, в котором диагонали пересекаются под прямым углом, выполняется равенство \( AB^2 - BC^2 = AD^2 - DC^2 \).