Too innocent of an integral

Calculus Level 2

Let f ( x ) = x + e x 1 f(x) = x + e^x - 1 , and let f 1 ( x ) f^{-1} (x) denote the inverse function of f ( x ) f(x) .

Then the integral e 1 + e 2 f 1 ( x ) d x \displaystyle \int_{e}^{1 + e^2} f^{-1} (x) \, dx evaluates to k 0 + k 1 e 1 + k 2 e 2 + + k n e n , k_0 + k_1 e^1 + k_2 e^2 + \cdots + k_n e^n , where k 0 , k 1 , , k n k_0, k_1, \ldots, k_n are rational numbers and e 2.718 e\approx 2.718 is Euler's number .

If the sum k 0 + k 1 + k 2 + + k n k_0 + k_1 + k_2 + \cdots + k_n can be expressed as A B , \frac{A}{B}, where A A and B B are coprime positive integers, what is A + B + n ? A+B+n?


The answer is 9.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

5 solutions

Chew-Seong Cheong
May 12, 2017

Relevant wiki: Integration Tricks

Let f ( x ) = y f(x) = y , then f 1 ( x ) = x f^{-1}(x) = x and we have:

I = e 1 + e 2 f 1 ( u ) d u I is the shaded region in the figure above. = e 1 + e 2 x d y Note that y = x + e x 1 , d y d x = 1 + e x = 1 2 x ( 1 + e x ) d x = x 2 2 + x e x e x 1 2 = 3 2 + e 2 = 3 2 e 0 + 0 e 1 + 1 e 2 \begin{aligned} I & = \int_e^{1+e^2} f^{-1}(u) \ du & \small \color{#3D99F6} I \text{ is the shaded region in the figure above.} \\ & = \int_e^{1+e^2} x \ dy & \small \color{#3D99F6} \text{Note that } y = x + e^x - 1, \ \frac {dy}{dx} = 1 + e^x \\ & = \int_1^2 x(1+e^x) \ dx \\ & = \frac {x^2}2 + xe^x - e^x \ \bigg|_1^2 \\ & = \frac 32 + e^2 \\ & = \frac 32 \cdot e^0 + 0 \cdot e^1+ 1\cdot e^2 \end{aligned}

i = 0 n k i = 5 2 \implies \displaystyle \sum_{i=0}^n k_i = \frac 52 and n = 2 n=2 and A + B + n = 5 + 2 + 2 = 9 A+B+n = 5+2+2 = \boxed{9}

Efren Medallo
May 12, 2017

Relevant wiki: Integration Tricks

Given that we have a function f f that is certainly invertible, but not possible through elementary means, we need to resort a method that will allow us to solve it without directly looking for the inverse.

Let us look at the following picture. This will help us derive a formula for a b f 1 ( x ) d x \displaystyle \int_a^b f^{-1}(x) \mathrm{d}x .

a b f 1 ( x ) d x = b f 1 ( b ) a f 1 ( a ) f 1 ( a ) f 1 ( b ) f ( x ) d x \displaystyle \int_a^b f^{-1}(x) \mathrm{d}x = b f^{-1} (b) - a f^{-1} (a) - \int_{f^{-1}(a)}^{f^{-1}(b)} f(x) \mathrm{d}x

Now, given that we have a = e a= e , and b = 1 + e 2 b= 1+e^2 , we just substitute these values on f(x) to be able to find their inverse counterparts.

e = x + e x 1 ; x = f 1 ( e ) = 1 e = x + e^x - 1 \:\:\: ; \:\:\: x = f^{-1}(e) = 1

1 + e 2 = x + e x 1 ; x = f 1 ( 1 + e 2 ) = 2 1 + e^2 = x + e^x - 1 \:\:\: ; \:\:\: x = f^{-1}(1+e^2)= 2

Now, we can find the integral.

e 1 + e 2 f 1 ( x ) d x = ( 1 + e 2 ) ( 2 ) ( e ) ( 1 ) 1 2 x + e x 1 d x \displaystyle \int_e^{1+e^2} f^{-1}(x) \mathrm{d}x = (1+e^2)(2) - (e)(1) - \int_1^2 x + e^x - 1 \mathrm{d}x

e 1 + e 2 f 1 ( x ) d x = ( 1 + e 2 ) ( 2 ) ( e ) ( 1 ) [ x 2 2 x + e x ] 1 2 \displaystyle \int_e^{1+e^2} f^{-1}(x) \mathrm{d}x = (1+e^2)(2) - (e)(1) - \bigg[ \frac{x^2}{2} - x + e^x \bigg]_1^2

e 1 + e 2 f 1 ( x ) d x = 2 e 2 e + 2 ( e 2 e + 1 2 ) \displaystyle \int_e^{1+e^2} f^{-1}(x) \mathrm{d}x = 2e^2 - e + 2 - ( e^2 - e + \frac{1}{2} )

e 1 + e 2 f 1 ( x ) d x = e 2 + 3 2 \displaystyle \int_e^{1+e^2} f^{-1}(x) \mathrm{d}x = e^2 + \frac{3}{2}

So there, the sum of the coefficients is 5 2 \frac{5}{2} , and 5 + 2 + 2 = 9 5+ 2 +2= \boxed{9} .

Ivan Koswara
May 12, 2017

Relevant wiki: Integration Tricks

Note that f f is continuous and strictly increasing on its domain; in addition, as x x \to \infty , f ( x ) f(x) \to \infty , and as x x \to -\infty , f ( x ) f(x) \to -\infty . So f f is bijective.

Using substitution x f ( u ) x \gets f(u) (valid because f f is bijective), we obtain that the bounds become f 1 ( e ) = 1 , f 1 ( 1 + e 2 ) = 2 f^{-1}(e) = 1, f^{-1}(1+e^2) = 2 (which can be verified by substitution), and the content of the integral, f 1 ( x ) d x f^{-1}(x) dx , becomes f 1 ( f ( u ) ) d f ( u ) = u f ( u ) d u f^{-1}(f(u)) df(u) = u f'(u) du . Since f ( u ) = 1 + e u f'(u) = 1 + e^u , the integral becomes

1 2 u ( 1 + e u ) d u \displaystyle \int_1^2 u(1+e^u) du

We can evaluate the integral by parts. Taking p = u , q = 1 + e u p = u, q' = 1+e^u gives p = 1 , q = u + e u p' = 1, q = u+e^u , so

u ( 1 + e u ) d u = u ( u + e u ) 1 ( u + e u ) d u = u 2 + u e u 1 2 u 2 e u + C = 1 2 u 2 + ( u 1 ) e u + C \displaystyle \begin{aligned} \int u(1+e^u) du &= u(u+e^u) - \int 1(u+e^u) du \\ &= u^2 + ue^u - \frac{1}{2} u^2 - e^u + C \\ &= \frac{1}{2} u^2 + (u-1)e^u + C \end{aligned}

So we just substitute u = 1 u = 1 and u = 2 u = 2 and take their difference to obtain the value of the integral: ( 1 2 2 2 + ( 2 1 ) e 2 ) ( 1 2 1 2 + ( 1 1 ) e 1 ) = 3 2 + e 2 (\frac{1}{2} \cdot 2^2 + (2-1)e^2) - (\frac{1}{2} \cdot 1^2 + (1-1)e^1) = \frac{3}{2} + e^2 . So k 0 = 3 2 , k 1 = 0 , k 2 = 1 , n = 2 k_0 = \frac{3}{2}, k_1 = 0, k_2 = 1, n = 2 , giving A + B + n = 5 + 2 + 2 = 9 A+B+n = 5+2+2 = 9 .

Excellent explanation. This was my approach as well.

Jason Martin - 4 years ago
Yanitsa Pehova
May 24, 2017

No solution, just dropped by to say this problem was so much fun!

I looked at this problem and thought, "I could never do this in a million years." I looked at it for a while, just trying to think of where I would begin. I drew a picture of the graph.

Wait. WAIT. I CAN DO THIS!

...AND I DID IT!

Alex Li - 4 years ago

The inverse function of the limits are trivial (1 and 2 by inspection) so the substitution x=f(u) can be used which gives the integral 1 2 ( u + u e u ) \int^{2}_{1} (u+ue^{u}) Which integrates to [ u 2 2 + u e u e u ] 1 2 [\frac{u^{2}}{2}+ue^{u}-e^{u}]^{2}_{1} this simplifies to 1.5 + e 2 1.5+e^{2} so A=5, B=2 and n=2 meaning the answer is 9.

It's actually important to show that the inverse function of f(x) exists first (in the relevant domain), otherwise, it's fallacious to proceed to the following steps.

Pi Han Goh - 4 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...