加法定理

数学、物理学等において、特殊関数の加法定理（かほうていり、）、加法法則（かほうほうそく、）あるいは加法公式（かほうこうしき、）とは、ある関数や対応・写像について、2 つ以上の変数の和として記される変数における値を、それぞれの変数における値によって書き表したもの。
概要.
変数が 2 つの場合には関数 の加法定理は形式的に 2 変数の関数 を用いて の形に書き表される。このときの がどのような関数としてとれるかという基準で加法定理を分類することも考えられる。
たとえば という定数によって 倍する写像 を考えるとき、 となるという性質は分配法則と呼ばれるが、これはベクトル空間や環（あるいは環上の加群）などで成立する加法定理の一種である。もう少し一般に関数 が の形の加法定理を満足するとき、関数 は加法的であるまたは加法性を持つという。これは関数 が加法群の間の準同型となることを意味している。また、指数法則の一つである指数関数の加法定理 などは加法が乗法に写るような加法定理である。
例.
多様な加法定理が世の中には存在するが、代表的なものを以下に掲げる。