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 \leq \sin^2 \frac{C}{2}.