余弦定理可以通过将三角形分成两个直角三角形，使用勾股定理和三角函数的定义来证明。

假设三角形的三个边长为a, b, c，角A对应的边为a，则可以得到cos(A) = (b² + c² - a²)/(2bc)。

通过同样的方法可以得到其它两个角对应的余弦公式。这些公式可以用于计算非直角三角形中的缺失边长和角度。