Для доказательства перпендикулярности диагоналей в четырёхугольнике ABCD, где диагональ AC делит углы BAD и BCD пополам, можно применить следующее рассуждение:
Диагональ AC делит углы BAD и BCD пополам, поэтому углы BAD и CAD равны, а также углы BCD и ACD равны.
Теперь рассмотрим треугольники ABC и CDA.
У них две пары равных углов: угол ABC равен углу CDA (из равенства ACD и BCD), и угол BCA равен углу CAD (из равенства BAD и CAD).
Из двух равных параллельных углов следует, что треугольники ABC и CDA подобны.
Так как треугольники подобны, соответствующие стороны пропорциональны.
Перпендикулярные медианы делятся в соответствующем отношении, поэтому отношение длин отрезков AD и CD равно отношению длин отрезков BC и AC.
Поскольку отношение длин BC и AC равно 1:1 (из условия задачи), это означает, что отношение длин AD и CD также равно 1:1.
То есть диагонали AD и CD равны.
Из данного равенства следует, что треугольник ACD является прямоугольным треугольником, поскольку в нем гипотенуза AC равна гипотенузе CD.
Таким образом, диагонали AD и CD перпендикулярны друг другу.
