この項目では、数学における微積分の近似の方法について説明しています。台形の面積の公式やその他の台形に関連する公式については「台形」をご覧ください。
数学において、台形公式(だいけいこうしき、英: trapezoidal rule)もしくは台形則(だいけいそく)は定積分を近似計算するための方法、すなわち数値積分のひとつである。これはニュートン・コーツの公式の1次の場合である。被積分関数を区分線形関数で近似し、台形の面積の公式に帰着させて積分の近似値を求める。
具体的に言えば、求めたいx -y グラフのy = 0を含む面積内に無数の台形を置くと、その台形の面積の集合和は本物の面積に限りなく近い値となる。
一次関数による近似なので精度はそれほど期待できず、二次関数で近似するシンプソンの公式などの方が精度が高い。シンプソンの公式やその他の類似の手法は、2階連続微分可能な関数に対する台形公式の改良とみなせるが、細かく変動しない関数に対しては台形公式で十分であり、計算も簡単である。 台形公式の利点は、近似誤差が容易に分かることである。 凸関数に対してこの公式で積分を求めると、結果は実際の値よりも台形と実際の関数曲線の差分の分だけ小さい値になり、凹関数に対してこの公式で積分を求めると、結果は実際の値よりも台形と実際の関数曲線の差分の分だけ大きい値になる。また積分区間が変曲点を含むとき上記の凸部分の誤差と凹部分の誤差が打ち消し合い全体的な誤差は小さくなる。 さらに、台形公式は周期関数をその周期よりも長い区間積分する場合にはきわめて精度が高くなる傾向がある。これはオイラーの和公式(オイラー・マクローリンの公式)との関係をみると良く理解できる。しかしながら非周期関数に対しては一般に、 ガウス求積やクレーンショー・カーチス数値積分則
近似誤差
台形公式の誤差の補正には、被積分関数の端点での高階導関数値を用いた「オイラー・マクローリンの公式」や、端点での高階導関数値を高次の差分商に置き換えて得られる「グレゴリーの公式」が知られている。(参考文献:日高孝次:「数値積分法」上巻,第四章「Euler-MacLaurin 及びGregoryの数値積分公式」,岩波書店、昭和11年(1936年)7月)(ただし「数」の字は旧字体)。
台形による近似関数f (x)(青線)を線形関数(赤線)で近似合成台形公式の図(不等間隔の例)
x ∈(a,b) のとき f (x) > 0 とする。定積分 ∫ a b f ( x ) d x {\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x}
の値は、xy 座標平面上で曲線 y = f (x) と x 軸、 x = a、 x = b とで囲まれた図形の面積になる。一般に積分計算は複雑であることも多いが、近似値が欲しいだけであれば f (x) を一次関数で近似することによりこの図形は台形とみなすことができるので ∫ a b f ( x ) d x ≈ ( b − a ) f ( a ) + f ( b ) 2 {\displaystyle \int _{a}^{b}f(x)\,\mathrm {d} x\approx (b-a){\frac {f(a)+f(b)}{2}}}
のように、台形の面積公式を用いて簡単に計算できる。
この公式は曲線 y = f (x) が直線に近いほど精度がよくなるが、直線とは全く異なる曲線であれば精度が悪くなり欲しい近似値を得ることが難しくなってくる。そこで、この積分をより正確に計算するために、a = a0 < a1 < … < an = b
として積分区間 [a, b] をより小さいn 個の部分区間 [a0,a1], [a1,a2], … , [an−1,an] に分け、それぞれの区間で台形とみなして面積を近似計算する。 ∫ a b f ( x ) d x = ∫ a 0 a 1 f ( x ) d x + ∫ a 1 a 2 f ( x ) d x + ⋯ + ∫ a n − 1 a n f ( x ) d x = ∑ k = 1 n ∫ a k − 1 a k f ( x ) d x ≈ ∑ k = 1 n ( a k − a k − 1 ) f ( a k − 1 ) + f ( a k ) 2 {\displaystyle {\begin{aligned}\int _{a}^{b}f(x)\,\mathrm {d} x&=\int _{a_{0}}^{a_{1}}f(x)\,\mathrm {d} x+\int _{a_{1}}^{a_{2}}f(x)\,\mathrm {d} x+\cdots +\int _{a_{n-1}}^{a_{n}}f(x)\,\mathrm {d} x\\&=\sum _{k=1}^{n}\int _{a_{k-1}}^{a_{k}}f(x)\,\mathrm {d} x\\&\approx \sum _{k=1}^{n}(a_{k}-a_{k-1}){\frac {f(a_{k-1})+f(a_{k})}{2}}\end{aligned}}}