什么是余弦公式？

余弦公式是三角学中一种计算三角形边长或角度的公式。它基于余弦定理，通过已知角度或边长的情况来计算缺失的边长或角度。

在三角形ABC中，我们可以使用余弦公式来计算边长a、b、c，其中a和b是两个已知边长，而c是与这两条边夹角C对应的边长。余弦公式可以表示为：

其中，a和b是已知边长，c是夹角对应的边长（也称为斜边），C是夹角的度数。

在程序中，我们可以使用以下的代码片段来计算余弦公式：

import math

def cosine_law(side1, side2, angle):
    # 将角度转换为弧度
    angle = math.radians(angle)

    # 使用余弦公式计算第三条边长
    side3 = math.sqrt(side1**2 + side2**2 - 2 * side1 * side2 * math.cos(angle))

    return side3

# 使用例子
side1 = 3
side2 = 4
angle = 45

side3 = cosine_law(side1, side2, angle)
print(f"The length of the third side is {side3}")

以上的代码片段使用了Python语言来计算给定两条边和夹角的三角形的第三边的长度。它通过导入math模块并使用math.sqrt()和math.cos()函数来执行计算。在计算之前，我们将角度转换为弧度，然后使用余弦公式计算第三边的长度。最后，我们打印出结果。

这就是余弦公式的介绍和一个简单的示例代码。希望对你有帮助！