证明: ∵在Rt△CDE中,∠CED=90° ∠CDE=∠BAD=α ∴DE=CD cosα CE=CD sinα
∴AE=AD+DE=AD+CD cosα
∵在Rt△AEC中,∠E=90° ∴ 由勾股定理得:AC=根号下(CE²+AE²)=根号下
[CD² sin²α+(AD+CD cos²α)]
a^2=b^2+c^2-2bc*cosA 余弦定理