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

判定定理一 兩根判別法

若記m（c1,c2）為c的兩值為正根的個數，c1為c的表達式中根號前取加號的值，c2為c的表達式中根號前取減號的值。

①若m（c1,c2）=2,則有兩解；

②若m（c1,c2）=1,則有一解；

③若m（c1,c2）=0,則有零解（即無解）。

注意：若c1等于c2且c1或c2大于0，此種情況算到第二種情況，即一解。