MathDB
MS = MT iff X,Y,Z,W are concyclic, starting with 2 intersecting circles

Source: 2011 Brasil IMO TST 4.2

July 23, 2021
Concyclicgeometryequal segments

Problem Statement

Given two circles ω1\omega_1 and ω2\omega_2, with centers O1O_1 and O2O_2, respectively intesrecting at two points AA and BB. Let XX and YY be points on ω1\omega_1. The lines XAXA and YAYA intersect ω2\omega_2 again in ZZ and WW, respectively, such that AA is between X,ZX,Z and AA is between Y,WY,W. Let MM be the midpoint of O1O2O_1O_2, S be the midpoint of XAXA and TT be the midpoint of WAWA. Prove that MS=MTMS = MT if, and only if, the points X,Y,ZX, Y, Z and WW are concyclic.