(cosA)^2 +(cosB)^2+ (cosC)^2+2*cosA*cosB*cosC =1有这个公式吗