已知三角形ABC中,AB=c,BC=a,CA=b,求证c的平方=a的平方+b的平方-2abcosC