Дано: В четырехугольнике ABCD диагональ AC делит углы BAD и BCD пополам.
Мы должны доказать, что диагонали AB и CD перпендикулярны.
Доказательство:
По условию, диагональ AC делит углы BAD и BCD пополам. То есть, мера угла BAC равна мере угла CAD, и мера угла BCA равна мере угла ACD.
Рассмотрим треугольники ABD и CDB. Они имеют общий угол в вершине B и два параллельных угла, а именно, углы BAD и BCD, которые делятся диагональю AC пополам.
Из-за параллельных углов у треугольников ABD и CDB, мы можем заключить, что они подобны (по одной из теорем подобия треугольников).
Теперь рассмотрим диагонали AB и CD. Поскольку треугольники ABD и CDB подобны, отношения соответственных сторон этих треугольников должны быть равны. Из этого следует, что отношение AB к BD равно отношению CD к DB.
По теореме о лежащих на пересекающихся прямых, если AB/BD = CD/DB, то AB и CD должны быть перпендикулярными.
Таким образом, мы доказали, что диагонали AB и CD перпендикулярны.
