Доказательство:
По условию, диагональ AC делит углы BAD и BCD пополам. Пусть точка M - точка пересечения диагоналей AB и CD.
Используя теорему о засечках, мы можем сказать, что диагональ AC является осью засечки для треугольника ABD, так как она делит угол BAD пополам. То же самое можно сказать и о треугольнике BCD, так как AC делит угол BCD пополам.
Теперь рассмотрим треугольники ABM и CDM. Учитывая, что AC является осью засечки и делит углы BAD и BCD пополам, мы можем сказать, что углы AMB и CMD равны.
Также, учитывая, что диагональ AC - прямая, мы имеем два вертикальных угла: угол AMB и угол CMD. Согласно свойству вертикальных углов, они будут равны.
Итак, мы получили, что углы AMB и CMD равны, а значит треугольники ABM и CDM - равнобедренные треугольники. В равнобедренном треугольнике медиана, проведенная из вершины, будет перпендикулярна основанию.
Таким образом, диагонали AB и CD перпендикулярны.
