cos135°=cos(180°-45°)=-cos45°=-√2/2。cos是余弦函数，通过观察135°可拆分成（180°-45°），所以cos135°=cos（180°-45°）=cos45°=（根号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

这个定理也可以通过把三角形分为两个直角三角形来证明。余弦定理用于在一个三角形的两个边和一个角已知时确定未知的数据。