MathDB
Geo with two squares

Source: Russian TST 2016, Day 13 P1

April 20, 2023
geometrysquare

Problem Statement

The squares ABCDABCD and AXYZAXYZ are given. It turns out that CDXYCDXY is a cyclic quadrilateral inscribed in the circle Ω\Omega, and the points A,BA, B and ZZ{} lie inside this circle. Prove that either AB=AXAB = AX or ACXYAC\perp{}XY.