MathDB
perpendicular diagonals criterion for a cyclic quadrilateral

Source: Sharygin 2005 Finals 9.1

August 26, 2019
cyclic quadrilateralequal anglesperpendiculardiagonalsgeometry

Problem Statement

The quadrangle ABCDABCD is inscribed in a circle whose center OO lies inside it. Prove that if BAO=DAC\angle BAO = \angle DAC, then the diagonals of the quadrilateral are perpendicular.