This antiderivative has arguable the highest ratio of “really hard to compute” to “really easy to write”:
So far, I’ve shown that the denominator can be factored over the real numbers:
so that the technique of partial fractions can be applied. Since both quadratics in the denominator are irreducible (and the degree of the numerator is less than the degree of the denominator), the partial fractions decomposition has the form
Clearing out the denominators, I get
Matching coefficients yields the following system of four equations in four unknowns:
Ordinarily, four-by-four systems of linear equations are somewhat painful to solve, but this system isn’t too bad. Since from the first equation, the third equation becomes
, or .
From the fourth equation, I can conclude that and . The second and third equations then become
Adding the two equations yields , so that and .
Therefore, the integral can be rewritten as
I’ll start evaluating this integral in tomorrow’s post.
3 thoughts on “The antiderivative of 1/(x^4+1): Part 4”
Misprint in your last integral.
Regarding the factorisation of x^4+1 this has a lot of symmetry, and led me straight to
(x^2+ax+1)(x^2+bx+1), giving a pair of 2 variable linear equations to solve.
Thanks for catching the misprint.