MathDB
DL^2 + KC^2 = AB^2 , semicircle externally on a rectangle

Source: Polish MO Recond Round 1979 p6

September 9, 2024
geometrysemicirclerectangle

Problem Statement

On the side DC \overline{DC} of the rectangle ABCD ABCD in which ABAD=2 \frac{AB}{AD} = \sqrt{2} a semicircle is built externally. Any point M M of the semicircle is connected by segments with A A and B B to obtain points K K and L L on DC \overline{DC} , respectively. Prove that DL2+KC2=AB2 DL^2 + KC^2 = AB^2 .