В четырёхугольнике ABCD диагональ AC делит углы BAD и BCD пополам. докажите, что его диагонали перпендикулярны.

Для доказательства, что диагонали перпендикулярны в четырёхугольнике ABCD с условием, что диагональ AC делит углы BAD и BCD пополам, мы можем использовать теорему о делителе углов (Theorem of Angle Bisector).

Докажем, что в треугольнике ABC диагональ AC делит угол BAD пополам: Пусть O - точка пересечения диагоналей AC и BD. В треугольнике ABD проведем биссектрису угла BAD и обозначим точку пересечения этой биссектрисы с линией CD как E. Мы знаем, что AE делит угол BAD пополам. Также, из условия задачи, AC тоже делит этот угол пополам. Значит, точка E лежит на отрезке AC. Следовательно, треугольники AOE и DOE подобны по двум углам, поэтому угол EOA равен углу EOD. Однако, углы EOA и EDB дополняют друг друга до прямого угла (угол EOB). Значит, угол EOA равен 90 градусам. Но тогда, диагональ AC является высотой треугольника AOE (поскольку AE делит угол BAD пополам), а значит, AC и OE перпендикулярны друг другу. Теперь, чтобы доказать, что диагональ BD также перпендикулярна к AC, обратимся к симметрии: AC и BD пересекаются в точке O, и мы только что показали, что диагональ AC перпендикулярна к OE. Однако, точка O является серединой диагонали BD, а значит, OE будет являться не только высотой треугольника AOE, но также медианой. В треугольнике ABC медиана OE всегда перпендикулярна к основанию BC, а значит, диагональ BD перпендикулярна к AC в точке O, что и требовалось доказать.