初等関数の不定積分
∫xadx={1axa+1+C(a≠−1)log|x|+C(a=−1)
∫1x2+1dx=arctanx+C
∫1x2+a2dx=1aarctan(xa)+C(a>0)
∫1√1−x2dx=arcsinx+C
∫1√a2–x2=arcsin(xa)+C(a>0)
(ax+b)の不定積分
a,bを定数、a≠0とする。
∫f(x)dx=F(x)+C
のとき、
∫f(ax+b)dx=1aF(ax+b)+C
証明
F′(x)=f(x)
ddxF(ax+b)=aF′(ax+b)=af(ax+b)
∴∫f(ax+b)dx=1aF(ax+b)+C
合成関数の微分の逆
∫{f(x)}αf′(x)dx=1α+1{f(x)}α+1+C(α≠−1)
∫f′(x)f(x)dx=log|f(x)|+C