三角函数cos的公式如下：
余弦定理
对于任意三角形ABC，设其三边分别为a, b, c，对应的角分别为A, B, C，则有：
$\cos A = \frac{b^2 + c^2 - a^2}{2bc}$
$\cos B = \frac{a^2 + c^2 - b^2}{2ac}$
$\cos C = \frac{a^2 + b^2 - c^2}{2ab}$
特殊角的余弦值
$\cos 0° = 1$
$\cos 15° = \frac{\sqrt{6} + \sqrt{2}}{4}$
$\cos 30° = \frac{\sqrt{3}}{2}$
$\cos 45° = \frac{\sqrt{2}}{2}$
$\cos 60° = \frac{1}{2}$
$\cos 75° = \sin 15°$
$\cos 90° = 0$
余弦函数的性质
$\cos（-a） = \cos（a）$
$\sin（\frac{\pi}{2} - a） = \cos（a）$
$\cos（\frac{\pi}{2} - a） = \sin（a）$
$\sin（\frac{\pi}{2} + a） = \cos（a）$
$\cos（\frac{\pi}{2} + a） = -\sin（a）$
$\cos（\pi - a） = -\cos（a）$
$\cos（\pi + a） = -\cos（a）$
倍角公式
$\cos 2a = 2\cos^2 a - 1$
$\cos 2\alpha = \cos^2 \alpha - \sin^2 \alpha = 2\cos^2 \alpha - 1 = 1 - 2\sin^2 \alpha$
半角公式
$\sin（\frac{A}{2}） = \sqrt{\frac{1 - \cos A}{2}}$
$\cos（\frac{A}{2}） = \sqrt{\frac{1 + \cos A}{2}}$
$\tan（\frac{A}{2}） = \sqrt{\frac{1 - \cos A}{1 + \cos A}}$
$\cot（\frac{A}{2}） = \sqrt{\frac{1 + \cos A}{1 - \cos A}}$
这些公式涵盖了余弦函数的基本性质和一些常见角度的余弦值，适用于解决各种三角学问题。