Maths Olympiad Prep

Track / Stage 7 / 178 of 300 #1578 of 1964

Problem 1578

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.

Next problem →

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 BD⊥CIB D \perp C I and, similarly, AC⊥BIA C \perp B I. Hence ACA C and BDB D meet at the orthocenter HH of the triangle BICB I C, and IH⊥BCI H \perp B C. It remains to prove that EE lies on the line IHI H or, equivalently, EI⊥BCE 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 540∘540^{\circ}, so
∠E=540∘−2∠A+2∠B. \angle E=540^{\circ}-2 \angle A+2 \angle B .
In quadrilateral ABIEA B I E,
∠BIE=360∘−∠EAB−∠ABI−∠AEI=360∘−∠A−12∠B−12∠E=360∘−∠A−12∠B−(270∘−∠A−∠B)=90∘+12∠B=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 EI⊥BCE I \perp B C, completing the proof. !

Source: NuminaMath-1.5, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.