(Fr.: formule d’addition; Du.: Additions Theorem; Eng.: addition formula), formule waarmee men uit gegeven trigonometrische functiewaarden, bijv. sin ⍺, cos ⍺, sin β en cos β, de functiewaarden van bijv. sin (⍺ + β) kan bepalen. Ook in de complexe-functietheorie kent men voor vele functies additietheorema’s.
De belangrijkste additietheorema’s in de goniometrie zijn:
sin (⍺ ± β) = sin ⍺ cos β ± cos ⍺ sin β
cos (⍺ ± β) = cos ⍺ cos β + sin ⍺ cos β
tan (⍺ ± β) = (tan ⍺ ± tan β)/(1∓tan ⍺ tan β)