1 / | | 1 | -------------- dy | 2 | / 2 2\ | 1 + \x + y / | / 0
Integral(1/(1 + (x^2 + y^2)^2), (y, 0, 1))
/ | | 1 / 4 / 4\ 2 2 / 4 2 3 6 3\\ | -------------- dy = C + RootSum\t *\256 + 256*x / - 32*x *t + 1, t -> t*log\y + 4*t - 4*x *t + 64*x *t + 64*x *t // | 2 | / 2 2\ | 1 + \x + y / | /
/ 4 / 4\ 2 2 / 4 2 3 6 3\\ / 4 / 4\ 2 2 / 4 2 3 6 3\\ - RootSum\t *\256 + 256*x / - 32*x *t + 1, t -> t*log\4*t - 4*x *t + 64*x *t + 64*x *t // + RootSum\t *\256 + 256*x / - 32*x *t + 1, t -> t*log\1 + 4*t - 4*x *t + 64*x *t + 64*x *t //
=
/ 4 / 4\ 2 2 / 4 2 3 6 3\\ / 4 / 4\ 2 2 / 4 2 3 6 3\\ - RootSum\t *\256 + 256*x / - 32*x *t + 1, t -> t*log\4*t - 4*x *t + 64*x *t + 64*x *t // + RootSum\t *\256 + 256*x / - 32*x *t + 1, t -> t*log\1 + 4*t - 4*x *t + 64*x *t + 64*x *t //
-RootSum(_t^4*(256 + 256*x^4) - 32*x^2*_t^2 + 1, Lambda(_t, _t*log(4*_t - 4*x^4*_t + 64*x^2*_t^3 + 64*x^6*_t^3))) + RootSum(_t^4*(256 + 256*x^4) - 32*x^2*_t^2 + 1, Lambda(_t, _t*log(1 + 4*_t - 4*x^4*_t + 64*x^2*_t^3 + 64*x^6*_t^3)))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.