MathDB
Boring geometry proving by angle chasing in XMO

Source: 15th XMO

April 30, 2024
geometry

Problem Statement

A quadrilateral ABCDABCD with ABBCAB \perp BC , ADDCAD \perp DC, EE is a point that is on the line BDBD with EC=CAEC=CA , FF, GG is on the line ABAB ADAD such that EFACEF\perp AC and EGACEG\perp AC ,let XYX Y be the midpoint of segment AFAGAF AG , let ZWZ W be the midpoint of segment BEDEBE DE , try to proof that (WBX)(WBX) is tangent to (ZDY)(ZDY)