已知三角形ABC,AB大于AC,AD是BC边上的高求证AB平方减去AC平方等于BC乘以BD减去DC的差