分别把两式解出 CDCDCD 并相乘,得到 CD2=AD⋅BD⋅sinAsinBsinC1sinC2CD^2=AD\cdot BD\cdot\dfrac{\sin A\sin B}{\sin C_1\sin C_2}CD2=AD⋅BD⋅sinC1sinC2sinAsinB。因此 CD2=AD⋅BDCD^2=AD\cdot BDCD2=AD⋅BD 成立当且仅当对由 DDD 确定的特定分割 C=C1+C2C=C_1+C_2C=C1+C2 有 sinAsinB=sinC1sinC2\sin A\sin B=\sin C_1\sin C_2sinAsinB=sinC1sinC2。