两角和与差的三角函数公式：
sin( a＋β) =sin a cos β + cos a sin 3
sin ( a—β ) =sin a cos β —cos a sin B
cos ( a+β ) =cos a cos β —sin a sin β
cos ( a —β )=cos a cos B ＋sin a sin B
tan ( a+β ) = ( tan a +tan B ) /( 1-tan a tan β )
tan ( a一β) = (tan a —tan β ) / (1十tan a - tan β )公式，在数学、物理学、化学、生物学等自然科学中用
数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在
数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。公式精确定义依赖于涉及到的特定的
形式逻辑，但有如下一个非常典型的定义（特定于一阶逻辑): 公式是相对于特定语言而定义的；就是说，一组
常量符号、函数符号和关系符号，这里的每个函数和关系符号都带有一个元数(arity）来指示它所接受的参数的数目。