Maths Olympiad Prep

Library / /26 of 94

Geometry Difficulty 5.4 AIME, harder Prove it Hong Kong

Let OO be the circumcentre of ABC\triangle ABC. Suppose AB>AC>BCAB > AC > BC. Let DD be a point on the minor arc BCBC such that ADAD is not a diameter of the circumcircle of ABC\triangle ABC. Let EE and FF be points on ADAD such that ABOEAB \perp OE and ACOFAC \perp OF. Let PP be the intersection of BEBE and CFCF. If PB=PC+POPB = PC + PO, then prove that BAC=30\angle BAC = 30^\circ.

Solution

Note that OEOE is the perpendicular bisector of ABAB. Let EBA=EAB=x\angle EBA = \angle EAB = x. Similarly, let FCA=FAC=y\angle FCA = \angle FAC = y. Then we have
BPC=180PBCPCB=2x+2y=2BAC=BOC. \angle BPC = 180^\circ - \angle PBC - \angle PCB = 2x + 2y = 2 \angle BAC = \angle BOC.
This implies OO, BB, CC, PP are concyclic. Applying Ptolemy's theorem to the cyclic quadrilateral OBCPOBCP, we obtain
OB×PC+BC×OP=OC×BP. OB \times PC + BC \times OP = OC \times BP.
Thus,
BC×OP=OC×BPOB×PC=OB(BPPC)=OB×OP. BC \times OP = OC \times BP - OB \times PC = OB(BP - PC) = OB \times OP.
This yields BC=OBBC = OB. Hence, OBC\triangle OBC is equilateral. Therefore,
BAC=12BOC=30. \angle BAC = \frac{1}{2} \angle BOC = 30^\circ.
Figure 1

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 reproduced verbatim; metadata (topic, difficulty) added by this project.