Доказательство:
Поскольку угол BCA равен углу BDA, значит треугольники BCA и BDA схожи по двум углам, следовательно, они подобны. Также, поскольку диагонали BD и AC пересекаются в точке О, то по теореме о пропорциональных отрезках можно сказать, что AO:OC = BO:OD.
Так как СО = DO, то AO = BO, следовательно, AO:OC = BO:OD = 1:1. Это означает, что AO = OC и BO = OD.
Рассмотрим треугольники ABO и CDO. У них два угла равны (по условию), сторона АО равна стороне CO, а сторона ВО равна стороне DO.
Из этих равенств следует, что треугольники ABO и CDO равны по стороне-углу-стороне (SAS). Значит, угол АВО равен углу СDO.
Углы АВО и АВС - это смежные углы, а углы СDO и BAD - это вертикально противоположные углы. Из теоремы о вертикальных углах следует, что смежные и вертикально противоположные углы равны.
Таким образом, угол АВС равен углу BAD, что и требовалось доказать.
