cosa是三角函数公式。在任意一个三角形中，都满足以下条件：cosA=(b²+c²-a²)/(2bc)=±√(1-sin²A)。余弦定理，欧氏平面几何学基本定理。余弦定理是描述三角形中三边长度与一个角的余弦值关系的数学定理，是勾股定理在一般三角形情形下的推广，勾股定理是余弦定理的特例。
判定定理一 两根判别法
若记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，此种情况算到第二种情况，即一解。
