オイラーの和公式

数学において、オイラーの和公式(オイラー・マクローリンの公式、)は1735年頃オイラーとマクローリンにより独立に発見された級数の和を与える公式である。この公式は収束の遅い無限級数の和を求めるときに便利であるが、formula_1が多項式であるような場合を除き、formula_2とすればベルヌーイ数が急速に大きくなって発散する。従って、漸近展開のように発散する前の適当なところで打ち切らなければならない。この公式は台形公式による数値積分の誤差を示すものとも考えられる。
但し、formula_6はベルヌーイ数、formula_7はベルヌーイ多項式である。
なお、formula_10は導関数、formula_11は床関数を表す。
はこれの一般化である。
証明.
ベルヌーイ多項式の性質（若しくは定義）により
である。有限回の部分積分を繰り返して
となるが、これはformula_1をformula_15に置き換えても成り立つから
である。formula_17formula_18formula_19を代入すれば
を得る。移項して形式を整えると
となる。或いは
となる。