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 5: Law of sines in the two sub-triangles
CDsin⁡A=ADsin⁡C1,CDsin⁡B=BDsin⁡C2\frac{CD}{\sin A}=\frac{AD}{\sin C_1},\quad \frac{CD}{\sin B}=\frac{BD}{\sin C_2}
Detailed analysis

Let DD be a point on ABAB, and set C1=∠ACDC_1=\angle ACD, C2=∠DCBC_2=\angle DCB, so C=C1+C2C=C_1+C_2. In △CAD\triangle CAD, the angle at AA is AA itself (since D∈ABD\in AB) and the angle at CC is C1C_1, so the law of sines gives CDsin⁡A=ADsin⁡C1\dfrac{CD}{\sin A}=\dfrac{AD}{\sin C_1}. Likewise, in △CDB\triangle CDB the angle at BB is BB and the angle at CC is C2C_2, giving CDsin⁡B=BDsin⁡C2\dfrac{CD}{\sin B}=\dfrac{BD}{\sin C_2}.