MathDB
2023 CUBRMC Proof #4 ain't no sunshine without geo (orthodiagonal quad)

Source:

March 8, 2024
geometrytangentialcubrmc

Problem Statement

Let square ABCDABCD and circle Ω\Omega be on the same plane, and AAAA', BBBB', CCCC', DDDD' be tangents to Ω\Omega. Let WXYZWXY Z be a convex quadrilateral with side lengths WX=AAWX = AA', XY=BBXY = BB', YZ=CCY Z = CC', and ZW=DDZW = DD'. If WXYZWXY Z has an inscribed circle, prove that the diagonals WYWY and XZXZ are perpendicular to each other.