Challenging +1.3 This is a standard reduction formula question requiring integration by parts to derive the recurrence relation, then applying it twice to find I₃. The integration by parts is straightforward with u=(ln x)^n, and the 'mean value' application is routine (dividing by interval length). While it requires careful algebraic manipulation and is from Further Maths, it follows a well-practiced template without requiring novel insight.
9 It is given that \(I _ { n } = \int _ { 1 } ^ { \mathrm { e } } ( \ln x ) ^ { n } \mathrm {~d} x\) for \(n \geqslant 0\). Show that
$$I _ { n } = ( n - 1 ) \left[ I _ { n - 2 } - I _ { n - 1 } \right] \text { for } n \geqslant 2$$
Hence find, in an exact form, the mean value of \(( \ln x ) ^ { 3 }\) with respect to \(x\) over the interval \(1 \leqslant x \leqslant \mathrm { e }\).
9 It is given that $I _ { n } = \int _ { 1 } ^ { \mathrm { e } } ( \ln x ) ^ { n } \mathrm {~d} x$ for $n \geqslant 0$. Show that
$$I _ { n } = ( n - 1 ) \left[ I _ { n - 2 } - I _ { n - 1 } \right] \text { for } n \geqslant 2$$
Hence find, in an exact form, the mean value of $( \ln x ) ^ { 3 }$ with respect to $x$ over the interval $1 \leqslant x \leqslant \mathrm { e }$.
\hfill \mbox{\textit{CAIE FP1 2015 Q9}}