Show the whole method

Mathematics AA. A full SL example and an HL Paper 3 investigation.

Try each question on paper first. Type your working or compare it with the complete markscheme.

SL and HL · no calculator

6 marksPaper 1 · no calculatorSL and HL

The curve CC has equation y=x2−3x+1y = x^{2} - 3x + 1. The point A(1,−1)A(1, -1) lies on CC.
(a)
Find the equation of the normal to CC at AA.
[4]
(b)
The normal meets CC again at BB. Find the coordinates of BB.
[2]
See the complete 6-mark scheme

Part (a) · 4 marks

  1. Differentiate and substitute x=1x = 1.
    dydx=2x−3=−1 at x=1\frac{dy}{dx} = 2x - 3 = -1 \text{ at } x = 1
    M1Differentiating and substituting x=1x = 1.Lost if: Substituting into the curve's equation instead of the derivative.
    A1Tangent gradient −1-1.Lost if: Arithmetic slip, 2−3=12 - 3 = 1.Needs M1 (a) first.
  2. The normal is perpendicular to the tangent, so its gradient is the negative reciprocal of −1-1.
    mnormal=1m_{\text{normal}} = 1
    (M1)Using the negative reciprocal of their tangent gradient.Lost if: Using the tangent gradient itself for the normal.Implied: awarded if later correct work shows it.
  3. Use the point A(1,−1)A(1, -1).
    y+1=1(x−1)⇒y=x−2y + 1 = 1(x - 1) \Rightarrow y = x - 2
    A1y=x−2y = x - 2.Lost if: Writing the tangent y=−xy = -x instead of the normal.Needs (M1) (a) first.

Part (b) · 2 marks

  1. Solve the curve and the normal simultaneously.
    x2−3x+1=x−2⇒x2−4x+3=0x^{2} - 3x + 1 = x - 2 \Rightarrow x^{2} - 4x + 3 = 0
    M1Equating the curve and their normal.Lost if: Equating the curve to the tangent.
  2. Factorise; x=1x = 1 is AA.
    (x−1)(x−3)=0⇒x=3, y=1(x - 1)(x - 3) = 0 \Rightarrow x = 3,\ y = 1
    A1 FT(3,1)(3, 1).Lost if: Giving (1,−1)(1, -1), which is AA itself.Needs M1 (b) first. Follow-through from part (a): Follow their normal if it is a straight line through AA.

HL Paper 3 · calculator

24 marksPaper 3 · HL problem solvingHL only

For integers n≥0n\ge0, let In=∫01xnex dxI_n=\displaystyle\int_0^1x^ne^x\,dx. The graph shows y=exy=e^x on 0≤x≤10\le x\le1.
(a)
Find the exact values of I0I_{0} and I1I_{1}.
[3]
(b)
Show that In=e−nIn−1I_{n} = e - nI_{n-1} for n≥1n \ge 1.
[3]
(c)
Hence find I2I_{2} and I3I_{3} in the form p+qep + qe, where p,q∈Zp, q \in \mathbb{Z}.
[2]
(d)
Use your GDC to find the value of nInnI_{n} for n=10n = 10, n=100n = 100 and n=1000n = 1000. Hence conjecture the value of lim⁡n→∞nIn\displaystyle\lim_{n \to \infty} nI_{n}.
[2]
(e)
Prove that 1n+1≤In≤en+1\dfrac{1}{n + 1} \le I_{n} \le \dfrac{e}{n + 1} for all n∈Nn \in \mathbb{N}.
[4]
(f)
Hence write down lim⁡n→∞In\displaystyle\lim_{n \to \infty} I_{n}.
[1]
(g)
Use part (b) and part (f) to prove the conjecture in part (d).
[3]
(hi)
Extend the investigation: let Jn=∫01xne−x dxJ_{n} = \displaystyle\int_{0}^{1} x^{n}e^{-x}\,dx. Show that Jn=nJn−1−e−1J_{n} = nJ_{n-1} - e^{-1} for n≥1n \ge 1.
[2]
(hii)
Prove by mathematical induction that Jn=n!(1−e−1∑k=0n1k!)J_{n} = n!\left(1 - e^{-1}\displaystyle\sum_{k=0}^{n} \frac{1}{k!}\right) for all n∈Nn \in \mathbb{N}.
[4]
See the complete 24-mark scheme

Part (a) · 3 marks

  1. I0=∫01ex dx=e−1I_{0} = \int_{0}^{1} e^{x}\,dx = e - 1.
    A1I0=e−1I_{0} = e - 1.Lost if: Writing ee, forgetting the lower limit gives e0=1e^{0} = 1.
  2. By parts with u=xu = x, dvdx=ex\frac{dv}{dx} = e^{x}.
    I1=[xex]01−∫01ex dx=e−(e−1)=1I_{1} = \left[xe^{x}\right]_{0}^{1} - \int_{0}^{1} e^{x}\,dx = e - (e - 1) = 1
    M1Integration by parts on I1I_{1} with u=xu = x.Lost if: Choosing u=exu = e^{x}, which raises the power of xx.
    A1I1=1I_{1} = 1.Lost if: Sign slip on the lower-limit bracket.Needs M1 (a) first.

Part (b) · 3 marks

  1. Take u=xnu = x^{n} and dvdx=ex\frac{dv}{dx} = e^{x}, so dudx=nxn−1\frac{du}{dx} = nx^{n-1} and v=exv = e^{x}.
    In=[xnex]01−∫01nxn−1ex dxI_{n} = \left[x^{n}e^{x}\right]_{0}^{1} - \int_{0}^{1} nx^{n-1}e^{x}\,dx
    M1Parts with u=xnu = x^{n} and v=exv = e^{x}.Lost if: Working backwards from the given recurrence with n=2n = 2: a check of one case is not a proof for all nn.
    A1Correct bracket and integral, [xnex]01−n∫01xn−1ex dx\left[x^{n}e^{x}\right]_{0}^{1} - n\int_{0}^{1} x^{n-1}e^{x}\,dx.Lost if: Losing the factor nn.Needs M1 (b) first.
  2. The bracket is e−0e - 0 for n≥1n \ge 1, and the integral is nIn−1nI_{n-1}.
    In=e−nIn−1I_{n} = e - nI_{n-1}
    A1Bracket evaluated as ee (the lower limit gives 0 because n≥1n \ge 1) and the integral named nIn−1nI_{n-1}.Lost if: Evaluating the bracket as e−1e - 1.Needs M1 (b) first.
    AGIn=e−nIn−1I_{n} = e - nI_{n-1}.The answer was given in the question, so writing it earns nothing: the marks are for the working that reaches it.

Part (c) · 2 marks

  1. Use the recurrence twice.
    I2=e−2I1=e−2,I3=e−3(e−2)=6−2eI_{2} = e - 2I_{1} = e - 2, \quad I_{3} = e - 3(e - 2) = 6 - 2e
    A1I2=e−2I_{2} = e - 2.Lost if: Using I2=e−2I0I_{2} = e - 2I_{0}.
    A1 FTI3=6−2eI_{3} = 6 - 2e.Lost if: Sign slip expanding −3(e−2)-3(e - 2).Follow-through from part (a): Follow their I1I_{1}.

Part (d) · 2 marks

  1. Use GDC definite integration for each value. The forward recurrence amplifies rounding errors and is unsuitable for these large indices.
    10I10=2.2800…,100I100=2.6652…,1000I1000=2.7129…10I_{10} = 2.2800\ldots,\quad 100I_{100} = 2.6652\ldots,\quad 1000I_{1000} = 2.7129\ldots
    A1At least two of the three values correct to 3 sf.Lost if: Computing InI_{n} without multiplying by nn.
  2. The values increase towards 2.718…2.718\ldots, which suggests the limit is ee.
    A1Conjecture: the limit is ee.Lost if: Giving 2.712.71 or 2.72.7 as the limit: name the constant the numbers suggest.

Part (e) · 4 marks

  1. For 0≤x≤10 \le x \le 1, 1≤ex≤e1 \le e^{x} \le e, and xn≥0x^{n} \ge 0, so multiplying keeps the order.
    xn≤xnex≤exnx^{n} \le x^{n}e^{x} \le ex^{n}
    M1Bounding exe^{x} between 1 and ee on [0,1][0, 1] and multiplying by xnx^{n}.Lost if: Bounding xnexx^{n}e^{x} by its values at the endpoints only.
    R1Multiplying by xn≥0x^{n} \ge 0 keeps the inequality directions.Lost if: Not stating why the direction is kept.
  2. Integrating over [0,1][0, 1] keeps the inequalities.
    ∫01xn dx≤In≤e∫01xn dx\int_{0}^{1} x^{n}\,dx \le I_{n} \le e\int_{0}^{1} x^{n}\,dx
    R1Integrating an inequality over [0,1][0, 1] preserves it.Lost if: Integrating only one side.
  3. Evaluate.
    1n+1≤In≤en+1\frac{1}{n + 1} \le I_{n} \le \frac{e}{n + 1}
    A1Both integrals evaluated, 1n+1\frac{1}{n + 1} and en+1\frac{e}{n + 1}.Lost if: Writing 1n\frac{1}{n}.Needs M1 (e) first.

Part (f) · 1 marks

  1. Both bounds tend to 0, so InI_{n} is squeezed to 0.
    A100 with reference to both bounds tending to 0.Lost if: Using only the lower bound.

Part (g) · 3 marks

  1. Rearrange the recurrence.
    nIn−1=e−In→e−0=enI_{n-1} = e - I_{n} \to e - 0 = e
    M1Rearranging the recurrence to nIn−1=e−InnI_{n-1} = e - I_{n}.Lost if: Using the numerical values from part (d) as the proof: evidence is not proof.
    R1In→0I_{n} \to 0 used, so nIn−1→enI_{n-1} \to e.Lost if: Not quoting part (f).
  2. Replace nn by n+1n + 1: (n+1)In→e(n + 1)I_{n} \to e.
    nIn=nn+1(n+1)In→1×e=enI_{n} = \frac{n}{n + 1}(n + 1)I_{n} \to 1 \times e = e
    R1Shifting the index and handling nn+1→1\frac{n}{n + 1} \to 1.Lost if: Treating nIn−1nI_{n-1} and nInnI_{n} as the same sequence without comment.

Part (hi) · 2 marks

  1. Parts with u=xnu = x^{n}, dvdx=e−x\frac{dv}{dx} = e^{-x}, v=−e−xv = -e^{-x}.
    Jn=[−xne−x]01+n∫01xn−1e−x dx=−e−1+nJn−1J_{n} = \left[-x^{n}e^{-x}\right]_{0}^{1} + n\int_{0}^{1} x^{n-1}e^{-x}\,dx = -e^{-1} + nJ_{n-1}
    M1Parts with v=−e−xv = -e^{-x}.Lost if: Taking v=e−xv = e^{-x} (sign).
    A1Correct bracket −e−1-e^{-1} and +nJn−1+nJ_{n-1}.Lost if: Sign slip on the integral term.Needs M1 (hi) first.
    AGJn=nJn−1−e−1J_{n} = nJ_{n-1} - e^{-1}.The answer was given in the question, so writing it earns nothing: the marks are for the working that reaches it.

Part (hii) · 4 marks

  1. Base case n=0n = 0: J0=∫01e−x dx=1−e−1J_{0} = \int_{0}^{1} e^{-x}\,dx = 1 - e^{-1}, and the formula gives 0!(1−e−1⋅1)0!(1 - e^{-1} \cdot 1). True.
    A1Base case checked at n=0n = 0 (or n=1n = 1), both sides evaluated.Lost if: Stating "true for n=0n = 0" without evaluating either side.
  2. Assume true for n=mn = m. Then, by part (h)(i),
    Jm+1=(m+1)Jm−e−1=(m+1)!(1−e−1∑k=0m1k!)−e−1J_{m+1} = (m + 1)J_{m} - e^{-1} = (m + 1)!\left(1 - e^{-1}\sum_{k=0}^{m} \frac{1}{k!}\right) - e^{-1}
    M1Assumption for n=mn = m stated, and the recurrence used for Jm+1J_{m+1}.Lost if: Assuming the result for n=m+1n = m + 1.
  3. Take out (m+1)!(m + 1)!: the last term is (m+1)!×e−11(m+1)!(m + 1)! \times e^{-1}\frac{1}{(m + 1)!}.
    Jm+1=(m+1)!(1−e−1∑k=0m+11k!)J_{m+1} = (m + 1)!\left(1 - e^{-1}\sum_{k=0}^{m+1} \frac{1}{k!}\right)
    A1Writing e−1e^{-1} as (m+1)! e−11(m+1)!(m + 1)!\,e^{-1}\frac{1}{(m + 1)!} to join the sum.Lost if: Leaving −e−1-e^{-1} outside the bracket.Needs M1 (hii) first.
  4. True for n=0n = 0, and true for n=mn = m implies true for n=m+1n = m + 1, so true for all n∈Nn \in \mathbb{N} by induction.
    R1Complete concluding statement linking base case and inductive step.Lost if: No conclusion, or a conclusion that does not mention both steps.

A conjecture still needs proof

“The values approach e, so the limit is e” earns no proof marks. A finite table cannot establish a limit.

The recurrence gives (n + 1)Iₙ = e − Iₙ₊₁. Since Iₙ₊₁ tends to 0, (n + 1)Iₙ tends to e. Multiplying by n/(n + 1), which tends to 1, proves nIₙ tends to e.