MathDB
IGO - Hard level - problem 1

Source:

September 3, 2015
IGOgeometry

Problem Statement

let w1 w_1 and w2 w_2 two circles such that w1w2={A,B} w_1 \cap w_2 = \{ A , B \}
let X X a point on w2 w_2 and Y Y on w1 w_1 such that BYBX BY \bot BX
suppose that O O is the center of w1 w_1 and X=w2OX X' = w_2 \cap OX
now if K=w2XY K = w_2 \cap X'Y prove X X is the midpoint of arc AK AK