cos135°=cos(180°-45°)=-cos45°=-√2/2.cos是余弦函数，数学是人类对事物的抽象结构与模式进行严格描述的一种通用手段，可以应用于现实世界的任何问题，所有的数学对象本质上都是人为定义的。从这个意义上，数学属于形式科学，而不是自然科学。

余弦定理：

对于边长为a、b、c而相应角为A、B、C的三角形，有：

a2=b2+c2-2bc·cosA

b2=a2+c2-2ac·cosB

c2=a2+b2-2ab·cosC

也可表示为：

cosC=(a2+b2-c2)/2ab

cosB=(a2+c2-b2)/2ac

cosA=(c2+b2-a2)/2bc

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