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 5: Multiplying the two relations
CD=AD⋅sin⁡Asin⁡C1,CD=BD⋅sin⁡Bsin⁡C2 ⇒ CD2=AD⋅BD⋅sin⁡Asin⁡Bsin⁡C1sin⁡C2CD=AD\cdot\frac{\sin A}{\sin C_1},\quad CD=BD\cdot\frac{\sin B}{\sin C_2}\ \Rightarrow\ CD^2=AD\cdot BD\cdot\frac{\sin A\sin B}{\sin C_1\sin C_2}
Detailed analysis

Solving each relation for CDCD and multiplying them gives CD2=AD⋅BD⋅sin⁡Asin⁡Bsin⁡C1sin⁡C2CD^2=AD\cdot BD\cdot\dfrac{\sin A\sin B}{\sin C_1\sin C_2}. Hence CD2=AD⋅BDCD^2=AD\cdot BD holds exactly when sin⁡Asin⁡B=sin⁡C1sin⁡C2\sin A\sin B=\sin C_1\sin C_2 for the particular split C=C1+C2C=C_1+C_2 determined by DD.