cosα-cosβ=-2sin[（α+β）/2]sin[（α-β）/2]，cos（x-y）=cosxcosy+sinxsiny 。
【cos減法公式 cos相減的公式】公式在數學、物理學、化學、生物學等自然科學中用數學符號表示幾個量之間關系的式子 。具有普遍性，適合于同類關系的所有問題 。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴于這個公式的自由變量的值之外 。公式精確定義依賴于涉及到的特定的形式邏輯 ， 但有如下一個非常典型的定義（特定于一階邏輯）：公式是相對于特定語言而定義的；就是說，一組常量符號、函數符號和關系符號，這里的每個函數和關系符號都帶有一個元數（arity）來指示它所接受的參數的數目 。
