Skip to content
CalcGospel 國際數學圖譜
返回

CIE 9231 2025 November Paper 12 Q3

A Level / CIE / FP1

CIE 9231 2025 Nov Paper 12 Paper · Question 3

题目

Problem

The sequence of positive numbers u1u_1, u2u_2, u3u_3, …\ldots is such that u1<5u_1<5 and, for n⩾1n\geqslant1,

un+1=6un+5un+2.u_{n+1}=\frac{6u_n+5}{u_n+2}.

(a) By considering 5−un+15-u_{n+1}, prove by mathematical induction that un<5u_n<5 for all positive integers nn.

(5)

(b) Show that un+1>unu_{n+1}>u_n for n⩾1n\geqslant1.

(3)

题目中文翻译

正数数列 u1u_1、u2u_2、u3u_3、…\ldots 满足 u1<5u_1<5,且当 n⩾1n\geqslant1 时,

un+1=6un+5un+2.u_{n+1}=\frac{6u_n+5}{u_n+2}.

(a) 通过考虑 5−un+15-u_{n+1},利用数学归纳法证明:对所有正整数 nn,都有 un<5u_n<5。

(5)

(b) 证明当 n⩾1n\geqslant1 时,un+1>unu_{n+1}>u_n。

(3)

原卷通用作答要求

Answer all questions. You should use a calculator where appropriate.

You must show all necessary working clearly; no marks will be given for unsupported answers from a calculator.

Give non-exact numerical answers correct to 3 significant figures, or 1 decimal place for angles in degrees, unless a different level of accuracy is specified in the question.

请回答所有题目。适当时应使用计算器。必须清楚展示所有必要的计算过程;仅给出计算器答案而没有过程,不予评分。除非题目另有精度要求,非精确数值答案保留 3 位有效数字,以度为单位的角度保留 1 位小数。

解答

(a)

解法一

思路

展开

按要求对5减下一项通分,用归纳假设保证分子和分母都为正。

答题过程

展开

The base case u1<5u_1<5 is given.

Assume uk<5u_k<5 for some positive integer kk. Since the sequence is positive, uk+2>0u_k+2>0. Then

5−uk+1= 5−6uk+5uk+2= 5uk+10−6uk−5uk+2= 5−ukuk+2>0.\begin{align*} 5-u_{k+1} =&\,5-\frac{6u_k+5}{u_k+2} \\[4mm] =&\,\frac{5u_k+10-6u_k-5}{u_k+2} \\[4mm] =&\,\frac{5-u_k}{u_k+2}>0. \end{align*}

The numerator is positive by the inductive hypothesis, so uk+1<5u_{k+1}<5. Therefore, by mathematical induction, un<5\boxed{u_n<5} for every positive integer nn.

(b)

解法一

思路

展开

相邻项作差并因式分解,利用正数条件和(a)得到的上界判断符号。

答题过程

展开

For n≥1n\ge1,

un+1−un= 6un+5−un(un+2)un+2= −un2+4un+5un+2= (5−un)(un+1)un+2>0.\begin{align*} u_{n+1}-u_n =&\,\frac{6u_n+5-u_n(u_n+2)}{u_n+2} \\[4mm] =&\,\frac{-u_n^2+4u_n+5}{u_n+2} \\[4mm] =&\,\frac{(5-u_n)(u_n+1)}{u_n+2}>0. \end{align*}

Here 5−un>05-u_n>0 by (a), and un+1,un+2>0u_n+1,u_n+2>0 because un>0u_n>0. Hence un+1>un\boxed{u_{n+1}>u_n} for every n≥1n\ge1.