在△ABC中,对∠ACD由余弦定理知:
AD的平方-AC的平方=CD的平方-2·AC·CD·COS∠ACD
因为AC=AB
又AC·COS∠ACD=1/2·BC
所以AD的平方-AB的平方=BD· DC