Maths Olympiad Prep

Library / /121 of 520

Geometry Difficulty 5.8 AIME, harder Prove it

Let ABCA B C be a right-angled triangle with A^=90\hat{A}=90^{\circ} and B^=30\hat{B}=30^{\circ}. The perpendicular at the midpoint MM of BCB C meets the bisector BKB K of the angle B^\hat{B} at the point EE. The perpendicular bisector of EKE K meets ABA B at DD. Prove that KDK D is perpendicular to DED E.

Solution

Alternative Solution by PSC. Let PP be the point of intersection of EME M with ACA C. The triangles ABCA B C and MPCM P C are equal since they have equal angles and MC=BC2=ACM C=\frac{B C}{2}=A C. They also share the angle C^\hat{C}, so they must have identical incenter.

Let II be the midpoint of EKE K. We have PEI=BEM=75=EKP\angle P E I=\angle B E M=75^{\circ}=\angle E K P. So the triangle PEKP E K is isosceles and therefore PIP I is a bisector of CPM\angle C P M. So the incenter of MPCM P C belongs on PIP I. Since it shares the same incenter with ABCA B C, then II is the common incenter. We can now finish the proof as in the first solution.

!

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.