証明
∫x4+1dx=∫(x2+2x+1)(x2−2x+1)dx=221∫(x2+2x+1x+2+x2−2x+1−x+2)dx
と部分分数分解できる。
前半は
∫x2+2x+1x+2dx=21∫x2+2x+12x+2+21∫x2+2x+1dx=21∫x2+2x+1(x2+2x+1)′+21∫(x+22)2+21dx=21log(x2+2x+1)+arctan(2x+1)
となる。
同様に,後半は
∫x2−2x+1−x+2dx=−21log(x2−2x+1)−arctan(−2x+1)
となる。
よって
∫x4+1dx=421{log(x2+2x+1)−log(x2−2x+1)+2arctan(2x+1)−2arctan(1−2x)}
である。