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 1 of 6: Power of the point DD
In plain words

Turning the algebraic condition DC2=DA⋅DBDC^2=DA\cdot DB into a purely geometric one, DC=DEDC=DE, lets us reason about where a point sits on a fixed chord instead of manipulating lengths.

DA⋅DB=DC⋅DEDA\cdot DB = DC\cdot DE
Detailed analysis

Let DD be any point on side ABAB, and extend the line CDCD to meet the circumcircle of △ABC\triangle ABC again at EE. By the intersecting-chords relation (power of a point) for the two chords ABAB and CECE meeting at DD, we have DA⋅DB=DC⋅DEDA\cdot DB = DC\cdot DE. So CDCD is the geometric mean of ADAD and DBDB, i.e. DC2=DA⋅DBDC^2=DA\cdot DB, exactly when DC=DEDC=DE.