cosa是三角函數(shù)公式。在任意一個三角形中，都滿足以下條件：cosA=(b2 c2-a2)/(2bc)=±√(1-sin2A)。余弦定理，歐氏平面幾何學基本定理。余弦定理是描述三角形中三邊長度與一個角的余弦值關(guān)系的數(shù)學定理，是勾股定理在一般三角形情形下的推廣，勾股定理是余弦定理的特例。