已知三角形ABC,延长BC至D使BC=CD,求证AD平方=AB平方+2*BC平方