Maths Olympiad Prep

Library / /41 of 54

Geometry Difficulty 6.6 National olympiad Prove it China

Suppose OO is the circumcenter of an acute triangle ABC\triangle ABC, PP is a point inside AOB\triangle AOB, and DD, EE, FF are the projections of PP on three sides BCBC, CACA, ABAB of ABC\triangle ABC respectively. Prove that a parallelogram with FEFE and FDFD as adjacent sides lies inside ABC\triangle ABC. (posed by Leng Gangsong)

Figure 1

Solution

Proof As shown in the figure, we construct a parallelogram DEFGDEFG with FEFE and FDFD as adjacent sides. To prove the proposition to be true, we need only to prove that FEG<FEC\angle FEG < \angle FEC, and FDG<FDC\angle FDG < \angle FDC. It is equivalent to proving: BFD<BAC\angle BFD < \angle BAC, and AFE<ABC\angle AFE < \angle ABC.

In fact, we construct OHOH with OHBCOH \perp BC, and HH is the foot of the perpendicular. From PDBCPD \perp BC and PFABPF \perp AB, we know that four points BB, FF, PP and DD are concyclic. Thus BFD=BPD\angle BFD = \angle BPD. But PBD>OBH\angle PBD > \angle OBH, hence 90PBD<90OBH90^\circ - \angle PBD < 90^\circ - \angle OBH, and that is, BPD<BOH\angle BPD < \angle BOH. Moreover, OO is the circumcenter of ABC\triangle ABC, so BOH=12BOC=BAC\angle BOH = \frac{1}{2} \angle BOC = \angle BAC. Therefore, BFD=BPD<BOH=BAC\angle BFD = \angle BPD < \angle BOH = \angle BAC, that is, BFD<BAC\angle BFD < \angle BAC.

Similarly, we can prove that AFE<ABC\angle AFE < \angle ABC. Therefore, the proposition holds.

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 and solution reproduced as published; topic and difficulty added by this site.