Olympiad Maths Prep

Track / Stage 6 / 41 of 400 #1041 of 2000

Problem 1041

National olympiad, first round
Geometry Difficulty 6.0 Prove it

3. Over the side CDCD of the square ABCDABCD, a semicircle is constructed. Let MM be an arbitrary point on the semicircle, and let MAMA and MBMB intersect CDCD at points KK and LL respectively. Prove that KL2=DKLC\overline{KL}^2 = \overline{DK} \cdot \overline{LC}

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

Solution. Let MDAB={P}M D \cap A B=\{P\} and MCAB={Q}M C \cap A B=\{Q\} (make a drawing). Now PAMDEM\triangle P A M \sim \triangle D E M and MKLMAB\triangle M K L \sim \triangle M A B, so MKMA=DKPA\frac{\overline{M K}}{\overline{M A}}=\frac{\overline{D K}}{\overline{P A}} and MKMA=KLAB\frac{\overline{M K}}{\overline{M A}}=\frac{\overline{K L}}{\overline{A B}}. From the last equalities, it follows that

ABAP=KLDK \frac{\overline{A B}}{\overline{A P}}=\frac{\overline{K L}}{\overline{D K}}

On the other hand, for the right triangles DAPD A P and QCBQ C B, DPA=BCQ\measuredangle D P A=\measuredangle B C Q holds, as angles with perpendicular sides, so they are similar. According to this, BQBC=ADAP\frac{\overline{B Q}}{\overline{B C}}=\frac{\overline{A D}}{\overline{A P}}, and since ABCDA B C D is a square, we get BQBC=ABAP\frac{\overline{B Q}}{\overline{B C}}=\frac{\overline{A B}}{\overline{A P}}. From the last equality and (1), it follows that

BQBC=KLDK \frac{\overline{B Q}}{\overline{B C}}=\frac{\overline{K L}}{\overline{D K}}

On the other hand, triangles MLCM L C and MBQM B Q are similar, so LCBQ=MLMB\frac{\overline{L C}}{\overline{B Q}}=\frac{\overline{M L}}{\overline{M B}} and since MLMB=KLAB\frac{\overline{M L}}{\overline{M B}}=\frac{\overline{K L}}{\overline{A B}}, we get LCBQ=KLAB=KLBC\frac{\overline{L C}}{\overline{B Q}}=\frac{\overline{K L}}{\overline{A B}}=\frac{\overline{K L}}{\overline{B C}}, i.e.

BQBC=LCKL \frac{\overline{B Q}}{\overline{B C}}=\frac{\overline{L C}}{\overline{K L}}

Finally, from equalities (2) and (3), we get KLDK=LCKL\frac{\overline{K L}}{\overline{D K}}=\frac{\overline{L C}}{\overline{K L}}, i.e. KL2=DKLC\overline{K L}^{2}=\overline{D K} \cdot \overline{L C}.

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