Maths Olympiad Prep

Library / /16 of 397

Geometry Difficulty 4.5 AIME Prove it Taiwan

Let ABCABC be an isosceles triangle with AB=ACAB = AC, and let MM be the midpoint of side BCBC. Let PP be a point in the plane distinct from AA, satisfying PB<PCPB < PC, and such that PAPA is parallel to BCBC. Let point XX lie on line PBPB and point YY lie on line PCPC, such that BB lies on segment PXPX, CC lies on segment PYPY, and PXM=PYM\angle PXM = \angle PYM. Prove that the four points A,P,X,YA, P, X, Y are concyclic.

Solution

Since AB=ACAB = AC, we know that AMAM is the perpendicular bisector of side BCBC, so
PAM=AMC=90 \angle PAM = \angle AMC = 90^\circ

Figure 1

Now draw through point YY a line perpendicular to PCPC, and let it meet line AMAM at point ZZ. (Note: point MM lies between the two points A,ZA, Z.) We can see that
PAZ=PYZ=90. \angle PAZ = \angle PYZ = 90^\circ.
Hence the four points P,A,Y,ZP, A, Y, Z are concyclic.

CMZ=CYZ=90, \angle CMZ = \angle CYZ = 90^\circ,
so we get that C,Y,Z,MC, Y, Z, M are four concyclic points, hence CZM=CYM\angle CZM = \angle CYM.

From the problem's assumption we know CYM=BXM\angle CYM = \angle BXM, and since B,CB, C are symmetric with respect to ZMZM, we have
CZM=BZM. \angle CZM = \angle BZM.

Combining the above, we obtain BXM=BZM\angle BXM = \angle BZM, so B,X,Z,MB, X, Z, M are four concyclic points. Therefore we get
BXZ=180BMZ=90. \angle BXZ = 180^\circ - \angle BMZ = 90^\circ.

PXZ=PYZ=PAZ=90, \angle PXZ = \angle PYZ = \angle PAZ = 90^\circ,
hence P,A,X,Y,ZP, A, X, Y, Z are five concyclic points. Of course it follows that A,P,X,YA, P, X, Y are four concyclic points, which completes the proof.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement translated into English from zh; metadata (topic, difficulty) added by this project.