MathDB
Angle bisectors in a trapezoid and cyclic quads

Source: St Petersburg 2022 9.3

September 28, 2022
geometry

Problem Statement

Given is a trapezoid ABCDABCD, ADBCAD \parallel BC. The angle bisectors of the two pairs of opposite angles meet at X,YX, Y. Prove that AXYDAXYD and BXYCBXYC are cyclic.