Olympiad Maths Prep

Track / Stage 7 / 90 of 300 #1490 of 2000

Problem 1490

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

In a cyclic hexagon ABCDEFA B C D E F, ABBDA B \perp B D and BC=EF|B C|=|E F|. Let PP be the intersection of BCB C and ADA D and let QQ be the intersection of EFE F and ADA D. Assume that PP and QQ both lie on the side of DD where AA does not lie. Let SS be the midpoint of ADA D. Let KK and LL be the centers of the inscribed circles of BPS\triangle B P S and EQS\triangle E Q S, respectively. Prove that KDL=90\angle K D L=90^{\circ}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

It is useful for this task to analyze what happens when you slide points. You can, for example, slide line segment EF without affecting KK. Therefore, LL can move independently of KK. Apparently, LL always moves along a line through D that is perpendicular to KD. The angle LDS\angle L D S is apparently independent of the position of line segment EF. Since we are dealing with a circle, this suggests that LDS\angle L D S might be equal to a certain inscribed angle. Then KDS\angle K D S would also be equal to an inscribed angle, and these two inscribed angles together would be 9090^{\circ}. In this way, you can get ideas to ultimately arrive at the following proof.
The configuration is fixed by the given order of points AA through FF on the circle and by the given positions of points PP and QQ on line ADA D. Therefore, we do not need to distinguish between different configurations. (The points PP and QQ can be swapped on line ADA D, but this is not relevant.)
First, note that SS is the center of the circle, since ABD=90\angle A B D=90^{\circ}, line ADA D is a diameter, and SS is the midpoint of ADA D. We will now prove that KDS=KBS\angle K D S=\angle K B S. We know that KSK S is a bisector, so BSK=KSD\angle B S K=\angle K S D. Furthermore, SD=SB|S D|=|S B|, since both lengths are equal to the radius of the circle. Since also SK=SK|S K|=|S K|, we find DSKBSK\triangle D S K \cong \triangle B S K (SAS). Therefore, KDS=KBS\angle K D S=\angle K B S.
Since BKB K is also a bisector, KBS=CBK=12CBS\angle K B S=\angle C B K=\frac{1}{2} \angle C B S. Thus, KDS=\angle K D S= 12CBS\frac{1}{2} \angle C B S.
Analogously, we derive that LDS=12QES\angle L D S=\frac{1}{2} \angle Q E S, which implies that LDS=12(180FES)=9012FES\angle L D S=\frac{1}{2} \left(180^{\circ}-\angle F E S\right)=90^{\circ}-\frac{1}{2} \angle F E S. Therefore, LDS+KDS=9012FES+12CBS\angle L D S+\angle K D S=90^{\circ}-\frac{1}{2} \angle F E S+\frac{1}{2} \angle C B S. Furthermore, note that SBCSEF\triangle S B C \cong \triangle S E F (SSS), so FES=CBS\angle F E S=\angle C B S. Now we can conclude that KDL=LDS+KDS=90\angle K D L=\angle L D S+\angle K D S=90^{\circ}.

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