talk:>>157
a,bをxによらない定数とし、
a<x<bとなるxにおいて関数Fが微分可能でその導関数をfとすると、
∫_{a}^{b}f(x)dx=F(b)-F(a)
が成り立つ。これを利用して積分の計算をする。