Maths Olympiad Prep

Library / /438 of 520

Geometry Difficulty 5.8 AIME, harder Prove it

Example 2 As shown in Figure 6,ABC6, \triangle A B C has internal angle bisectors BEB E and CFC F intersecting at point I,IQEFI, I Q \perp E F intersects BCB C at point PP, and IP=2IQI P=2 I Q. Prove: BAC=60\angle B A C=60^{\circ}.

Solution

Prove as shown in Figure 6, construct AXEFAX \perp EF intersecting BCBC at point YY.
By Property 4, A,D,I,DA, D', I, D form a harmonic range.
Thus, IQAX=DIDA=DIDA=PIYA\frac{IQ}{AX}=\frac{D'I}{D'A}=\frac{DI}{DA}=\frac{PI}{YA}.
Since IP=2IQIP = 2IQ, then AX=XYAX = XY, meaning EFEF is the median of AYAY.
By the Law of Sines,
CFsinFYC=FYsin1=FAsin2=CFsinFAC. \begin{array}{l} \frac{CF}{\sin \angle FYC}=\frac{FY}{\sin \angle 1} \\ =\frac{FA}{\sin \angle 2}=\frac{CF}{\sin \angle FAC}. \end{array}

Thus, A,F,Y,CA, F, Y, C are concyclic.
Similarly, A,E,Y,BA, E, Y, B are concyclic.
Therefore, BYF=BAC=CYE=EYF\angle BYF = \angle BAC = \angle CYE = \angle EYF.
Hence, BAC=60\angle BAC = 60^{\circ}.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.