已知ΔABC中,AB=c,BC=a,CA=b,则有c^2=a^2+b^2-2ab·cosC.请证明