Maths Olympiad Prep

Track / Stage 7 / 151 of 300 #1551 of 1964

Problem 1551

National olympiad second round; IMO P1/P4
Geometry Difficulty 7.3 Prove it

Let ABCDEA B C D E be a convex pentagon such that AB=BC=CD,EAB=BCDA B=B C=C D, \angle E A B=\angle B C D, and EDC=CBA\angle E D C=\angle C B A. Prove that the perpendicular line from EE to BCB C and the line segments ACA C and BDB D are concurrent. (Italy)

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Throughout the solution, we refer to A,B,C,D\angle A, \angle B, \angle C, \angle D, and E\angle E as internal angles of the pentagon ABCDEA B C D E. Let the perpendicular bisectors of ACA C and BDB D, which pass respectively through BB and CC, meet at point II. Then BDCIB D \perp C I and, similarly, ACBIA C \perp B I. Hence ACA C and BDB D meet at the orthocenter HH of the triangle BICB I C, and IHBCI H \perp B C. It remains to prove that EE lies on the line IHI H or, equivalently, EIBCE I \perp B C. Lines IBI B and ICI C bisect B\angle B and C\angle C, respectively. Since IA=IC,IB=IDI A=I C, I B=I D, and AB=A B= BC=CDB C=C D, the triangles IAB,ICBI A B, I C B and ICDI C D are congruent. Hence IAB=ICB=\angle I A B=\angle I C B= C/2=A/2\angle C / 2=\angle A / 2, so the line IAI A bisects A\angle A. Similarly, the line IDI D bisects D\angle D. Finally, the line IEI E bisects E\angle E because II lies on all the other four internal bisectors of the angles of the pentagon. The sum of the internal angles in a pentagon is 540540^{\circ}, so
E=5402A+2B. \angle E=540^{\circ}-2 \angle A+2 \angle B .
In quadrilateral ABIEA B I E,
BIE=360EABABIAEI=360A12B12E=360A12B(270AB)=90+12B=90+IBC, \begin{aligned} \angle B I E & =360^{\circ}-\angle E A B-\angle A B I-\angle A E I=360^{\circ}-\angle A-\frac{1}{2} \angle B-\frac{1}{2} \angle E \\ & =360^{\circ}-\angle A-\frac{1}{2} \angle B-\left(270^{\circ}-\angle A-\angle B\right) \\ & =90^{\circ}+\frac{1}{2} \angle B=90^{\circ}+\angle I B C, \end{aligned}
which means that EIBCE I \perp B C, completing the proof. !

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.