设AD=X 则AC的平方=AD的平方加CD的平方……1
AB的平方=BD的平方加AB的平方……2
由余弦定理cos=AC的平方加AB的平方减BC的平方 然后除以2倍的AB乘AC……3
把1,2代入3得出结果