1 / | | a*x | E *cos(b*x) dx | / 0
Integral(E^(a*x)*cos(b*x), (x, 0, 1))
// x for And(a = 0, b = 0)\ || | || -I*b*x -I*b*x -I*b*x | ||x*cos(b*x)*e e *sin(b*x) I*x*e *sin(b*x) | ||------------------ + ---------------- + -------------------- for a = -I*b | / || 2 2*b 2 | | || | | a*x || I*b*x I*b*x I*b*x | | E *cos(b*x) dx = C + |< x*cos(b*x)*e e *sin(b*x) I*x*e *sin(b*x) | | || ----------------- + --------------- - ------------------- for a = I*b | / || 2 2*b 2 | || | || a*x a*x | || a*cos(b*x)*e b*e *sin(b*x) | || --------------- + --------------- otherwise | || 2 2 2 2 | \\ a + b a + b /
/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0)) | | -I*b -I*b -I*b |cos(b)*e I I*e *sin(b) I*cos(b)*e |------------ - --- + -------------- + -------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b) | 2 2*b 2 2*b | | I*b I*b I*b < I cos(b)*e I*e *sin(b) I*cos(b)*e | --- + ----------- - ------------- - ------------- for Or(And(a = 0, a = I*b), And(a = I*b, b = 0), a = I*b) | 2*b 2 2 2*b | | a a | a a*cos(b)*e b*e *sin(b) | - ------- + ----------- + ----------- otherwise | 2 2 2 2 2 2 \ a + b a + b a + b
=
/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0)) | | -I*b -I*b -I*b |cos(b)*e I I*e *sin(b) I*cos(b)*e |------------ - --- + -------------- + -------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b) | 2 2*b 2 2*b | | I*b I*b I*b < I cos(b)*e I*e *sin(b) I*cos(b)*e | --- + ----------- - ------------- - ------------- for Or(And(a = 0, a = I*b), And(a = I*b, b = 0), a = I*b) | 2*b 2 2 2*b | | a a | a a*cos(b)*e b*e *sin(b) | - ------- + ----------- + ----------- otherwise | 2 2 2 2 2 2 \ a + b a + b a + b
Piecewise((1, ((a = 0)∧(b = 0))∨((a = 0)∧(b = 0)∧(a = i*b))∨((a = 0)∧(b = 0)∧(a = -i*b))∨((a = 0)∧(b = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)*exp(-i*b)/2 - i/(2*b) + i*exp(-i*b)*sin(b)/2 + i*cos(b)*exp(-i*b)/(2*b), (a = -i*b)∨((a = 0)∧(a = -i*b))∨((b = 0)∧(a = -i*b))∨((a = i*b)∧(a = -i*b))∨((a = 0)∧(a = i*b)∧(a = -i*b))∨((b = 0)∧(a = i*b)∧(a = -i*b))), (i/(2*b) + cos(b)*exp(i*b)/2 - i*exp(i*b)*sin(b)/2 - i*cos(b)*exp(i*b)/(2*b), (a = i*b)∨((a = 0)∧(a = i*b))∨((b = 0)∧(a = i*b))), (-a/(a^2 + b^2) + a*cos(b)*exp(a)/(a^2 + b^2) + b*exp(a)*sin(b)/(a^2 + b^2), True))
Estos ejemplos se pueden aplicar para introducción de los límites de integración inferior y superior.