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 don't know how!!!

let AX and BY intersect at D

since angle AXC = angle BYC
angle BXA = angle AYB (supplementary angles)

also since BX = XY
then
angle XBY = XYB (isosceles triangles) mark that angle o

now in triangles BXD and ADY you have opposite angles equal and angle BXA = angle AYB (see above)

so the third angle pair must be equal (supplementary angles)

then angle XBD = angle YAX = o

so now you have equal angles XBD and YAX subtended by XY
Therefore ABXY is a cyclic quadrilateral (properties of a cyclic quad)

then by the same cyclic quad properties
angles BAX and BYX are subtended by the same side BX in that cyclic quad.
Therefore angles BAX and BYX are equal, marked as o

QED !

To prove that quadrilateral ABXY is cyclic, we need to show that the opposite angles of the quadrilateral are supplementary.

First, let's analyze the given information:
1. We are given that angle AXC is equal to angle BYC.
2. We are also given that BX = XY.

To prove that ABXY is cyclic, we need to show that angle AYB + angle AXB = 180 degrees.

Here's how you can proceed with the proof:

1. Draw a diagram of triangle ABC and point X on side BC and point Y on side AC. Label the angles and segments as given in the problem.

2. Since angle AXC = angle BYC, we can establish that triangles AXC and BYC are similar by angle-angle similarity.

3. Therefore, angle AXB = angle AYB because corresponding angles of similar triangles are equal.

4. Now, consider the quadrilateral ABXY. We have established that angle AXB = angle AYB.

5. Since the opposite angles of a cyclic quadrilateral are supplementary, we can conclude that angle AYB + angle AXB = 180 degrees.

6. Hence, quadrilateral ABXY is a cyclic quadrilateral.

Now that we have proven that ABXY is cyclic, let's move on to proving that AX bisects angle BAC:

7. We know that in a cyclic quadrilateral, the opposite angles are supplementary.

8. In quadrilateral ABXY, opposite angles AXB and AYB are supplementary because ABXY is a cyclic quadrilateral (as we have proven earlier).

9. The opposite angles AXC and AXB in triangle ABC are also supplementary since both share angle AXB.

10. Therefore, angles AXC and AYB are equal.

11. We can conclude that AX bisects angle BAC since angles AXC and AXB are equal.

Hence, we have established that AX bisects angle BAC based on the given information and the proof that ABXY is a cyclic quadrilateral.