X and Y are points on the sides BC and AC of a triangle ABC respectively such that angle AXC = angle BYC and BX = XY. Prove that AX bisects the angle BAC.
I believe the first step is to prove ABXY is a cyclic quadrilateral. Unfortunately, I dont know how!!!