MathDB
Show Tangency of Circles

Source: Ukrainian Mathematical Olympiad 2023. Day 1, Problem 11.3

April 5, 2023
geometrytangency

Problem Statement

In the quadrilateral ABCDABCD ABC=CDA=90\angle ABC = \angle CDA = 90^\circ. Let P=ACBDP = AC \cap BD, Q=ABCDQ = AB\cap CD, R=ADBCR = AD \cap BC. Let \ell be the midline of the triangle PQRPQR, parallel to QRQR. Show that the circumcircle of the triangle formed by lines AB,AD,AB, AD, \ell is tangent to the circumcircle of the triangle formed by lines CD,CB,CD, CB, \ell.
Proposed by Fedir Yudin