The normal is perpendicular to the tangent, so its gradient is the negative reciprocal of −1.
mnormal=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.
Use the point A(1,−1).
y+1=1(x−1)⇒y=x−2
A1y=x−2.Lost if: Writing the tangent y=−x instead of the normal.Needs (M1) (a) first.
Part (b) · 2 marks
Solve the curve and the normal simultaneously.
x2−3x+1=x−2⇒x2−4x+3=0
M1Equating the curve and their normal.Lost if: Equating the curve to the tangent.
Factorise; x=1 is A.
(x−1)(x−3)=0⇒x=3,y=1
A1 FT(3,1).Lost if: Giving (1,−1), which is A itself.Needs M1 (b) first. Follow-through from part (a): Follow their normal if it is a straight line through A.
HL Paper 3 · calculator
24 marksPaper 3 · HL problem solvingHL only
For integers n≥0, let In=∫01xnexdx. The graph shows y=ex on 0≤x≤1.
00.250.50.751123xyy=ex
(a)
Find the exact values of I0 and I1.
[3]
(b)
Show that In=e−nIn−1 for n≥1.
[3]
(c)
Hence find I2 and I3 in the form p+qe, where p,q∈Z.
[2]
(d)
Use your GDC to find the value of nIn for n=10,n=100 and n=1000. Hence conjecture the value of n→∞limnIn.
[2]
(e)
Prove that n+11≤In≤n+1e for all n∈N.
[4]
(f)
Hence write down n→∞limIn.
[1]
(g)
Use part (b) and part (f) to prove the conjecture in part (d).
[3]
(hi)
Extend the investigation: let Jn=∫01xne−xdx. Show that Jn=nJn−1−e−1 for n≥1.
[2]
(hii)
Prove by mathematical induction that Jn=n!(1−e−1k=0∑nk!1) for all n∈N.
[4]
See the complete 24-mark scheme
Part (a) · 3 marks
I0=∫01exdx=e−1.
A1I0=e−1.Lost if: Writing e, forgetting the lower limit gives e0=1.
By parts with u=x,dxdv=ex.
I1=[xex]01−∫01exdx=e−(e−1)=1
M1Integration by parts on I1 with u=x.Lost if: Choosing u=ex, which raises the power of x.
A1I1=1.Lost if: Sign slip on the lower-limit bracket.Needs M1 (a) first.
Part (b) · 3 marks
Take u=xn and dxdv=ex, so dxdu=nxn−1 and v=ex.
In=[xnex]01−∫01nxn−1exdx
M1Parts with u=xn and v=ex.Lost if: Working backwards from the given recurrence with n=2: a check of one case is not a proof for all n.
A1Correct bracket and integral, [xnex]01−n∫01xn−1exdx.Lost if: Losing the factor n.Needs M1 (b) first.
The bracket is e−0 for n≥1, and the integral is nIn−1.
In=e−nIn−1
A1Bracket evaluated as e (the lower limit gives 0 because n≥1) and the integral named nIn−1.Lost if: Evaluating the bracket as e−1.Needs M1 (b) first.
AGIn=e−nIn−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
Use the recurrence twice.
I2=e−2I1=e−2,I3=e−3(e−2)=6−2e
A1I2=e−2.Lost if: Using I2=e−2I0.
A1 FTI3=6−2e.Lost if: Sign slip expanding −3(e−2).Follow-through from part (a): Follow their I1.
Part (d) · 2 marks
Use GDC definite integration for each value. The forward recurrence amplifies rounding errors and is unsuitable for these large indices.
A10 with reference to both bounds tending to 0.Lost if: Using only the lower bound.
Part (g) · 3 marks
Rearrange the recurrence.
nIn−1=e−In→e−0=e
M1Rearranging the recurrence to nIn−1=e−In.Lost if: Using the numerical values from part (d) as the proof: evidence is not proof.
R1In→0 used, so nIn−1→e.Lost if: Not quoting part (f).
Replace n by n+1:(n+1)In→e.
nIn=n+1n(n+1)In→1×e=e
R1Shifting the index and handling n+1n→1.Lost if: Treating nIn−1 and nIn as the same sequence without comment.
Part (hi) · 2 marks
Parts with u=xn,dxdv=e−x,v=−e−x.
Jn=[−xne−x]01+n∫01xn−1e−xdx=−e−1+nJn−1
M1Parts with v=−e−x.Lost if: Taking v=e−x (sign).
A1Correct bracket −e−1 and +nJn−1.Lost if: Sign slip on the integral term.Needs M1 (hi) first.
AGJn=nJn−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
Base case n=0:J0=∫01e−xdx=1−e−1, and the formula gives 0!(1−e−1⋅1). True.
A1Base case checked at n=0 (or n=1), both sides evaluated.Lost if: Stating "true for n=0" without evaluating either side.
Assume true for n=m. Then, by part (h)(i),
Jm+1=(m+1)Jm−e−1=(m+1)!(1−e−1k=0∑mk!1)−e−1
M1Assumption for n=m stated, and the recurrence used for Jm+1.Lost if: Assuming the result for n=m+1.
Take out (m+1)!: the last term is (m+1)!×e−1(m+1)!1.
Jm+1=(m+1)!(1−e−1k=0∑m+1k!1)
A1Writing e−1 as (m+1)!e−1(m+1)!1 to join the sum.Lost if: Leaving −e−1 outside the bracket.Needs M1 (hii) first.
True for n=0, and true for n=m implies true for n=m+1, so true for all n∈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.