Worked solution
**Part A**
(a) We can write \( f_1(x) = \frac{\ln x}{x^{-1}} \). As \( x \to 0^+ \), \( \ln x \to -\infty \) and \( x^{-1} \to \infty \), which is an indeterminate form of type \( \frac{\infty}{\infty} \).
Applying L'HDpital's rule:
\( \lim_{x \to 0^+} \frac{\ln x}{x^{-1}} = \lim_{x \to 0^+} \frac{\frac{1}{x}}{-x^{-2}} = \lim_{x \to 0^+} (-x) = 0 \). [3 marks]
(b) (i) For \( k = 2 \), \( f_2(x) = x(\ln x)^2 \).
Applying the product rule:
\( f'_2(x) = 1 \cdot (\ln x)^2 + x \cdot 2(\ln x) \cdot \frac{1}{x} = (\ln x)^2 + 2\ln x = \ln x (\ln x + 2) \).
To find the stationary points, set \( f'_2(x) = 0 \):
\( \ln x = 0 \implies x = 1 \)
\( \ln x + 2 = 0 \implies \ln x = -2 \implies x = e^{-2} \).
The corresponding y-coordinates are:
\( f_2(1) = 1(\ln 1)^2 = 0 \), giving the point \( (1, 0) \).
\( f_2(e^{-2}) = e^{-2} (\ln e^{-2})^2 = e^{-2} (-2)^2 = 4e^{-2} \), giving the point \( (e^{-2}, 4e^{-2}) \).
(ii) The second derivative is:
\( f''_2(x) = \frac{d}{dx}[(\ln x)^2 + 2\ln x] = \frac{2\ln x}{x} + \frac{2}{x} = \frac{2(\ln x + 1)}{x} \).
At \( x = 1 \):
\( f''_2(1) = \frac{2(0 + 1)}{1} = 2 > 0 \), so \( (1, 0) \) is a local minimum.
At \( x = e^{-2} \):
\( f''_2(e^{-2}) = \frac{2(-2 + 1)}{e^{-2}} = -2e^2 < 0 \), so \( (e^{-2}, 4e^{-2}) \) is a local maximum. [5 marks]
**Part B**
(c) (i) For \( f_k(x) = x(\ln x)^k \):
Using the product rule and chain rule:
\( f'_k(x) = 1 \cdot (\ln x)^k + x \cdot k(\ln x)^{k-1} \cdot \frac{1}{x} = (\ln x)^k + k(\ln x)^{k-1} = (\ln x)^{k-1}(\ln x + k) \).
(ii) Setting \( f'_k(x) = 0 \) gives:
\( (\ln x)^{k-1} = 0 \implies \ln x = 0 \implies x = 1 \)
\( \ln x + k = 0 \implies \ln x = -k \implies x = e^{-k} \). [5 marks]
(d) (i) Differentiating \( f'_k(x) = (\ln x)^k + k(\ln x)^{k-1} \):
\( f''_k(x) = k(\ln x)^{k-1} \frac{1}{x} + k(k-1)(\ln x)^{k-2} \frac{1}{x} = \frac{k(\ln x)^{k-2}}{x}(\ln x + k - 1) \).
(ii) For an inflection point, the second derivative must equal zero and change sign. \( f''_k(x) = 0 \) occurs when \( \ln x = 1-k \) (so \( x = e^{1-k} \)) or \( \ln x = 0 \) (so \( x = 1 \)).
Since \( k \ge 4 \) is even, \( k-2 \) is also even. Thus, the term \( (\ln x)^{k-2} \) is always non-negative, and does not change sign as \( x \) passes through \( 1 \). Also, the factor \( \ln x + k - 1 \) at \( x=1 \) is \( k-1 > 0 \), which does not change sign.
Therefore, \( f''_k(x) \) does not change sign at \( x = 1 \), meaning \( x = 1 \) is not an inflection point.
However, at \( x = e^{1-k} \), the factor \( \ln x + k - 1 \) changes sign from negative to positive as \( x \) increases through \( e^{1-k} \), while all other factors in \( f''_k(x) \) remain strictly positive. Hence, \( f''_k(x) \) changes sign at \( x = e^{1-k} \), so \( x = e^{1-k} \) is an inflection point. [4 marks]
**Part C**
(e) Let \( I_k = \int_0^1 x(\ln x)^k \, dx \).
Using integration by parts with \( u = (\ln x)^k \) and \( dv = x \, dx \):
\( du = k(\ln x)^{k-1} \frac{1}{x} \, dx \) and \( v = \frac{1}{2} x^2 \).
\( I_k = \left[ \frac{1}{2} x^2 (\ln x)^k \right]_0^1 - \int_0^1 \frac{1}{2} x^2 \cdot k(\ln x)^{k-1} \frac{1}{x} \, dx \).
For the boundary term, \( \lim_{x \to 1^-} \frac{1}{2} x^2 (\ln x)^k = 0 \).
As \( x \to 0^+ \), \( \lim_{x \to 0^+} x^2 (\ln x)^k = 0 \) (by repeated applications of L'HDpital's rule).
So the boundary term vanishes.
\( I_k = 0 - \frac{k}{2} \int_0^1 x (\ln x)^{k-1} \, dx = -\frac{k}{2} I_{k-1} \). [5 marks]
(f) Let the statement be \( P(k): I_k = (-1)^k \frac{k!}{2^{k+1}} \).
**Base Case (k = 0):**
\( I_0 = \int_0^1 x \, dx = \left[ \frac{1}{2} x^2 \right]_0^1 = \frac{1}{2} \).
Using the formula: \( (-1)^0 \frac{0!}{2^1} = \frac{1}{2} \).
Since \( I_0 = \frac{1}{2} \), \( P(0) \) is true.
**Inductive Step:**
Assume \( P(m) \) is true for some \( m \in \mathbb{N} \), i.e., \( I_m = (-1)^m \frac{m!}{2^{m+1}} \).
We must show that \( P(m+1) \) is true, i.e., \( I_{m+1} = (-1)^{m+1} \frac{(m+1)!}{2^{m+2}} \).
Using the reduction formula from part (e):
\( I_{m+1} = -\frac{m+1}{2} I_m \).
Substituting the inductive hypothesis:
\( I_{m+1} = -\frac{m+1}{2} \left( (-1)^m \frac{m!}{2^{m+1}} \right) \)
\( I_{m+1} = (-1)^{m+1} \frac{(m+1) \cdot m!}{2 \cdot 2^{m+1}} \)
\( I_{m+1} = (-1)^{m+1} \frac{(m+1)!}{2^{m+2}} \).
Thus, \( P(m) \implies P(m+1) \).
Since the base case is true and the inductive step holds, by mathematical induction, \( P(k) \) is true for all \( k \in \mathbb{N} \). [5 marks]
Marking scheme
**Part A**
(a) [3 marks]
- M1: for rewriting \( f_1(x) = \frac{\ln x}{x^{-1}} \) to apply L'HDpital's rule.
- M1: for differentiating numerator and denominator correctly to get \( \frac{1/x}{-1/x^2} \).
- A1: for simplifying to \( -x \) and taking the limit to show 0 (AG).
(b) [5 marks]
- M1: for applying the product rule correctly to find \( f'_2(x) = \ln x (\ln x + 2) \).
- A1: for finding correct x-coordinates \( x = 1 \) and \( x = e^{-2} \).
- A1: for finding correct y-coordinates \( (1, 0) \) and \( (e^{-2}, 4e^{-2}) \).
- M1: for checking the second derivative at these points.
- A1: for correctly identifying \( (1, 0) \) as a minimum and \( (e^{-2}, 4e^{-2}) \) as a maximum.
**Part B**
(c) [5 marks]
- M1: for using product and chain rules to differentiate \( f_k(x) \).
- A1: for obtaining \( f'_k(x) = (\ln x)^k + k(\ln x)^{k-1} \) and factoring it to show the given result (AG).
- M1: for setting \( f'_k(x) = 0 \).
- A1: for \( x = 1 \).
- A1: for \( x = e^{-k} \).
(d) [4 marks]
- M1: for differentiating \( f'_k(x) \) again using product/chain rule.
- A1: for simplifying to show \( f''_k(x) = \frac{k(\ln x)^{k-2}}{x}(\ln x + k - 1) \) (AG).
- R1: for explaining that since \( k \ge 4 \) is even, \( (\ln x)^{k-2} \ge 0 \) does not change sign at \( x=1 \), so \( x=1 \) is not an inflection point.
- R1: for explaining that \( \ln x + k - 1 \) changes sign at \( x = e^{1-k} \), so \( x = e^{1-k} \) is an inflection point.
**Part C**
(e) [5 marks]
- M1: for choosing appropriate \( u \) and \( dv \) for integration by parts.
- A1: for correct differentiation of \( u \) and integration of \( dv \).
- A1: for establishing the correct boundary term limits as 0.
- M1: for writing the integration by parts formula.
- A1: for obtaining the recurrence relation \( I_k = -\frac{k}{2} I_{k-1} \) (AG).
(f) [5 marks]
- A1: for checking the base case \( k = 0 \) correctly on both sides.
- M1: for stating the inductive assumption \( P(m) \) is true.
- M1: for substituting \( I_m \) into the recurrence relation for \( I_{m+1} \).
- A1: for correctly simplifying the expression to the form \( (-1)^{m+1} \frac{(m+1)!}{2^{m+2}} \).
- R1: for a complete conclusion statement including both base case and induction step logic.