D'après la question précédente, nous avons montré que la dérivée de la fonction
t↦t3[3ln(t)−1] était la fonction
t↦9t2ln(t) .
Cela signifie donc qu'une primitive de la fonction
t↦9t2ln(t) est
t↦t3(3ln(t)−1) . Il vient alors que :
I=∫1e9t2ln(t)dt équivaut successivement à :
I=[t3(3ln(t)−1)]1e I=e3×(3ln(e)−1)−[13×(3ln(1)−1)] I=e3×(3−1)−[13×(0−1)] I=2e3−(−1) I=2e3+1