MathDB
line BD is tangent to the circumcircle of ADZ

Source: Germany 2001 grade 12 p6

February 23, 2020
geometrytangentcircumcircleright triangle

Problem Statement

Let ABCABC be a triangle with A=90o\angle A = 90^o and B<C\angle B < \angle C. The tangent at AA to the circumcircle kk of ABC\vartriangle ABC intersects line BCBC at DD. Let EE be the reflection of AA in BCBC. Also, let XX be the feet of the perpendicular from AA to BEBE and let YY be the midpoint of AXAX. Line BYBY meets kk again at ZZ. Prove that line BDBD is tangent to the circumcircle of ADZ\vartriangle ADZ.