MathLabs

Problem 2

In the triangle ABCABC, prove that there is a point DD on side ABAB such that CDCD is the geometric mean of ADAD and DBDB if and only if sin⁡Asin⁡B≤sin⁡2C2\sin A \sin B \le \sin^2 \frac{C}{2}.
Step 2 of 6: A parallel line marks the target distance
F=foot of the altitude from C,C′=reflection of C through F,L∥AB through C′F=\text{foot of the altitude from }C,\quad C'=\text{reflection of }C\text{ through }F,\quad L\parallel AB\text{ through }C'
Detailed analysis

Let FF be the foot of the altitude from CC to ABAB, and let C′C' be the reflection of CC through the point FF; let LL be the line through C′C' parallel to ABAB, so LL lies at distance CFCF from ABAB, on the opposite side from CC. For any point DD on ABAB, if line CDCD meets LL at a point E′E', then DD lies exactly midway (in the direction perpendicular to ABAB) between CC and E′E', which gives DE′=DCDE'=DC. So the condition DC=DEDC=DE from Step 1 says exactly that the second intersection EE of line CDCD with the circumcircle coincides with this point E′E' — in other words, that EE lies on the line LL.