GeometryDifficulty 5.4AIME, harderProve itHong Kong
Let O be the circumcentre of △ABC. Suppose AB>AC>BC. Let D be a point on the minor arc BC such that AD is not a diameter of the circumcircle of △ABC. Let E and F be points on AD such that AB⊥OE and AC⊥OF. Let P be the intersection of BE and CF. If PB=PC+PO, then prove that ∠BAC=30∘.
Solution
Note that OE is the perpendicular bisector of AB. Let ∠EBA=∠EAB=x. Similarly, let ∠FCA=∠FAC=y. Then we have ∠BPC=180∘−∠PBC−∠PCB=2x+2y=2∠BAC=∠BOC. This implies O, B, C, P are concyclic. Applying Ptolemy's theorem to the cyclic quadrilateral OBCP, we obtain OB×PC+BC×OP=OC×BP. Thus, BC×OP=OC×BP−OB×PC=OB(BP−PC)=OB×OP. This yields BC=OB. Hence, △OBC is equilateral. Therefore, ∠BAC=21∠BOC=30∘.
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.