More on Sequences — Question 8

PDF ↗

Question 8

Let an=∫01xndxa_n=\displaystyle\int_0^1x^n\,dx for n≥1n\ge1.

  1. Evaluate the integral and find lim⁡n→∞an\lim_{n\to\infty}a_n.

  2. Prove directly from the integrands that (an)(a_n) is decreasing.

  3. Give a geometric explanation for why the areas approach zero, despite xn=1x^n=1 at x=1x=1.

Original worksheet page 1: question and worked solution for 4-2-008
Show solutionHide solution

Question 8 – Solution

Step 1: Evaluate the area exactly.

By the power rule, an=[xn+1n+1]01=1n+1→0.a_n=\left[\frac{x^{n+1}}{n+1}\right]_0^1=\frac1{n+1}\longrightarrow0.

Step 2: Prove monotonicity directly from the integrands.

For 0≤x≤10\le x\le1, 0≤xn+1≤xn0\le x^{n+1}\le x^n, with strict inequality on (0,1)(0,1). Integrating over [0,1][0,1] gives 0<an+1<an0<a_{n+1}<a_n, so the areas decrease.

Step 3: Explain the geometry rigorously.

For every fixed x∈[0,1)x\in[0,1), xn→0x^n\to0; only the single endpoint x=1x=1 remains at height 11, and one point has zero width and contributes no area. For a quantitative version, fix 0<c<10<c<1 and split the interval: ∫01xndx=∫0cxndx+∫c1xndx≤cn+(1−c).\int_0^1x^n\,dx=\int_0^c x^n\,dx+\int_c^1x^n\,dx \le c^n+(1-c). Given ε>0\varepsilon>0, first choose cc so that 1−c<ε/21-c<\varepsilon/2. Then choose nn so large that cn<ε/2c^n<\varepsilon/2. The displayed bound gives an<εa_n<\varepsilon, proving geometrically that the areas vanish.

Original worksheet page 2: question and worked solution for 4-2-008

Original worksheet layout. Use Enlarge or open the PDF for a closer view.