MathDB
perpendicularity wanted related to tangents in a circle

Source: 2007 Balkan Shortlist BMO G1 - Romania

April 5, 2020
geometryperpendicularTangentscircle

Problem Statement

Let ω\omega be a circle with center OO and let AA be a point outside ω\omega. The tangents from AA touch ω\omega at points BB, and CC. Let DD be the point at which the line AOAO intersects the circle such that OO is between AA and DD. Denote by XX the orthogonal projection of BB onto CDCD, by YY the midpoint of the segment BXBX and by ZZ the second point of intersection of the line DYDY with ω\omega. Prove that ZAZA and ZCZC are perpendicular to each other.