cos是余弦（余弦函数）的表达式，cos135°=cos（180°-45°）=cos45°=根号2/2。sin表示正弦，sin135°=sin（180°-45°）=-sin45°=-根号2/2。
余弦定理公式
对于任意三角形，任何一边的平方等于其他两边平方的和减去这两边与它们夹角的余弦的积的两倍。
对于边长为a、b、c而相应角为A、B、C的三角形则有：
①a²=b²+c²-2bc·cosA；
②b²=a²+c²-2ac·cosB；
③c²=a²+b²-2ab·cosC。
也可表示为：
①cosC=（a²+b²－c²）/2ab；
②cosB=（a²+c²-b²）/2ac；
③cosA=（c²+b²-a²）/2bc。