Skip to content

STEP2 2010 -- Pure Mathematics

Exam: STEP2  |  Year: 2010  |  Questions: Q1—Q8  |  Total marks per question: 20

All questions are pure mathematics. Solutions and examiner commentary are included below.

QTopicDifficultyKey Techniques
1微积分 (Calculus)Standard曲率公式, 链式求导, 三角函数求导
2三角函数 (Trigonometry)Challenging三倍角公式, 换元法, 不定积分与定积分
3数列与级数 (Sequences and Series)Standard特征方程, 待定系数法, 等比级数求和
4积分 (Integration)Challenging换元法, 积分对称性, King property
5向量 (Vectors)Challenging向量点积, 方向余弦, 锥面方程
6立体几何 (Solid Geometry)Standard三维坐标几何, 勾股定理, 二面角计算, 内切球半径公式
7代数 (Algebra)Challenging导数求极值, 代换法解三次方程, 韦达定理, 不等式分析
8积分 (Integration)Challenging指数函数积分, 三角函数积分, 无穷等比级数求和, 曲线交点

Topic: 微积分 (Calculus)  |  Difficulty: Standard  |  Marks: 20

1 Let PP be a given point on a given curve CC. The osculating circle to CC at PP is defined to be the circle that satisfies the following two conditions at PP: it touches CC; and the rate of change of its gradient is equal to the rate of change of the gradient of CC.

Find the centre and radius of the osculating circle to the curve y=1−x+tan⁡xy = 1 - x + \tan x at the point on the curve with xx-coordinate 14π\frac{1}{4}\pi.

Hint

1 When two curves meet they share common coordinates; when they “touch” they also share a common gradient. In the case of the osculating circle, they also have a common curvature at the point of contact. Since curvature (a further maths topic) is a function of both dydx\frac{\text{dy}}{\text{dx}} and d2ydx2\frac{\text{d}^2\text{y}}{\text{dx}^2}, the question merely states that CC and its osculating circle at PP have equal rates of change of gradient. It makes sense then to differentiate twice both the equation for CC and that for a circle, with equation of the form (x−a)2+(y−b)2=r2(x - a)^2 + (y - b)^2 = r^2, and then equate them when x=14πx = \frac{1}{4}\pi. The three resulting equations in the three unknowns aa, bb and rr then simply need to be solved simultaneously.

For y=1−x+tan⁡xy = 1 - x + \tan x, dydx=−1+sec⁡2x\frac{\text{dy}}{\text{dx}} = -1 + \sec^2 x and d2ydx2=2sec⁡2xtan⁡x\frac{\text{d}^2\text{y}}{\text{dx}^2} = 2 \sec^2 x \tan x.

For (x−a)2+(y−b)2=r2(x - a)^2 + (y - b)^2 = r^2, 2(x−a)+2(y−b)dydx=02(x - a) + 2(y - b) \frac{\text{dy}}{\text{dx}} = 0 and 2+2(y−b)d2ydx2+2(dydx)2=02 + 2(y - b) \frac{\text{d}^2\text{y}}{\text{dx}^2} + 2 \left( \frac{\text{dy}}{\text{dx}} \right)^2 = 0.

When x=14πx = \frac{1}{4}\pi, y=2−14πy = 2 - \frac{1}{4}\pi and so (14π−a)2+(2−14π−b)2=r2(\frac{1}{4}\pi - a)^2 + (2 - \frac{1}{4}\pi - b)^2 = r^2;

dydx=−(x−a)(y−b)=1\frac{\text{dy}}{\text{dx}} = -\frac{(x - a)}{(y - b)} = 1 then gives a relationship between aa and bb;

and d2ydx2=4=−42(y−b)\frac{\text{d}^2\text{y}}{\text{dx}^2} = 4 = -\frac{4}{2(y - b)} gives the value of bb.

Working back then gives aa and rr.

Answers: The osculating circle to CC at PP has centre (14π−12,52−14π)(\frac{1}{4}\pi - \frac{1}{2}, \frac{5}{2} - \frac{1}{4}\pi) and radius 12\frac{1}{\sqrt{2}}.


Model Solution

Step 1: Evaluate the curve and its derivatives at x=π4x = \frac{\pi}{4}.

For y=1−x+tan⁡xy = 1 - x + \tan x:

dydx=−1+sec⁡2x=tan⁡2x\frac{dy}{dx} = -1 + \sec^2 x = \tan^2 x

d2ydx2=2sec⁡2xtan⁡x\frac{d^2y}{dx^2} = 2\sec^2 x \tan x

At x=π4x = \frac{\pi}{4}:

y=1−π4+tan⁡π4=2−π4y = 1 - \frac{\pi}{4} + \tan\frac{\pi}{4} = 2 - \frac{\pi}{4}

dydx=tan⁡2π4=1\frac{dy}{dx} = \tan^2\frac{\pi}{4} = 1

d2ydx2=2sec⁡2π4tan⁡π4=2⋅2⋅1=4\frac{d^2y}{dx^2} = 2\sec^2\frac{\pi}{4}\tan\frac{\pi}{4} = 2 \cdot 2 \cdot 1 = 4

Step 2: Differentiate the general circle equation.

Let the osculating circle have equation (x−a)2+(y−b)2=r2(x - a)^2 + (y - b)^2 = r^2.

Differentiating implicitly with respect to xx:

2(x−a)+2(y−b)dydx=0(1)2(x - a) + 2(y - b)\frac{dy}{dx} = 0 \qquad \text{(1)}

Differentiating again:

2+2(y−b)d2ydx2+2(dydx)2=0(2)2 + 2(y - b)\frac{d^2y}{dx^2} + 2\left(\frac{dy}{dx}\right)^2 = 0 \qquad \text{(2)}

Step 3: Apply conditions at the point of contact.

At x=π4x = \frac{\pi}{4}, the circle passes through the point (π4, 2−π4)\left(\frac{\pi}{4},\, 2 - \frac{\pi}{4}\right):

(π4−a)2+(2−π4−b)2=r2(3)\left(\frac{\pi}{4} - a\right)^2 + \left(2 - \frac{\pi}{4} - b\right)^2 = r^2 \qquad \text{(3)}

The circle touches the curve, so their gradients are equal. From equation (1):

dydx=−x−ay−b\frac{dy}{dx} = -\frac{x - a}{y - b}

Setting dydx=1\frac{dy}{dx} = 1:

−π4−a2−π4−b=1-\frac{\frac{\pi}{4} - a}{2 - \frac{\pi}{4} - b} = 1

a−π4=2−π4−ba - \frac{\pi}{4} = 2 - \frac{\pi}{4} - b

a+b=2(4)a + b = 2 \qquad \text{(4)}

The rates of change of gradient are equal. From equation (2):

d2ydx2=−1+(dydx)2y−b\frac{d^2y}{dx^2} = -\frac{1 + \left(\frac{dy}{dx}\right)^2}{y - b}

Setting d2ydx2=4\frac{d^2y}{dx^2} = 4:

4=−1+12−π4−b=−22−π4−b4 = -\frac{1 + 1}{2 - \frac{\pi}{4} - b} = -\frac{2}{2 - \frac{\pi}{4} - b}

2−π4−b=−122 - \frac{\pi}{4} - b = -\frac{1}{2}

b=52−π4b = \frac{5}{2} - \frac{\pi}{4}

Step 4: Find aa and rr.

From (4): a=2−b=2−52+π4=π4−12a = 2 - b = 2 - \frac{5}{2} + \frac{\pi}{4} = \frac{\pi}{4} - \frac{1}{2}.

From (3):

r2=(π4−π4+12)2+(2−π4−52+π4)2=14+14=12r^2 = \left(\frac{\pi}{4} - \frac{\pi}{4} + \frac{1}{2}\right)^2 + \left(2 - \frac{\pi}{4} - \frac{5}{2} + \frac{\pi}{4}\right)^2 = \frac{1}{4} + \frac{1}{4} = \frac{1}{2}

r=12r = \frac{1}{\sqrt{2}}

The osculating circle has centre (π4−12,  52−π4)\left(\dfrac{\pi}{4} - \dfrac{1}{2},\; \dfrac{5}{2} - \dfrac{\pi}{4}\right) and radius 12\dfrac{1}{\sqrt{2}}.

Examiner Notes

This question was attempted by almost two-thirds of the candidature, with a mean mark of around 111211 \frac{1}{2}. Whilst most attempts were very successful, a lot of marks were lost by poorly structured working, where the candidate got themselves confused in some way or another. The only two common conceptual difficulties were the oversight of the equal gradients at the point of contact and the lack of a suitable circle equation to start working with. Apart from these, most candidates’ work went smoothly and successfully, although sign errors often cost them at least one of the final three answer marks.


Topic: 三角函数 (Trigonometry)  |  Difficulty: Challenging  |  Marks: 20

2 Prove that cos⁡3x=4cos⁡3x−3cos⁡x.\cos 3x = 4 \cos^3 x - 3 \cos x . Find and prove a similar result for sin⁡3x\sin 3x in terms of sin⁡x\sin x.

(i) Let I(α)=∫0α(7sin⁡x−8sin⁡3x)dx.I(\alpha) = \int_{0}^{\alpha} (7 \sin x - 8 \sin^3 x) dx . Show that I(α)=−83c3+c+53,I(\alpha) = -\frac{8}{3}c^3 + c + \frac{5}{3} , where c=cos⁡αc = \cos \alpha. Write down one value of cc for which I(α)=0I(\alpha) = 0.

(ii) Useless Eustace believes that ∫sin⁡nx dx=sin⁡n+1xn+1\int \sin^n x \, dx = \frac{\sin^{n+1} x}{n + 1} for n=1,2,3,…n = 1, 2, 3, \dots. Show that Eustace would obtain the correct value of I(β)I(\beta), where cos⁡β=−16\cos \beta = -\frac{1}{6}.

Find all values of α\alpha for which he would obtain the correct value of I(α)I(\alpha).

Hint

2 The single-maths approach to the very first part is to use the standard trig. “Addition” formulae for sine and cosine, and then to use these results, twice, in (i); firstly, to rewrite sin⁡3x\sin^3 x in terms of sin⁡3x\sin 3x so that direct integration can be undertaken; then to express cos⁡3x\cos 3x in terms of cos⁡3x\cos^3 x in order to get the required “polynomial” in cos⁡x\cos x. Using the given “misunderstanding” in (ii) then leads to a second such polynomial which, when equated to the first, gives an equation for which a couple of roots have already been flagged. Unfortunately, the several versions of the question that were tried, in order to help candidates, ultimately led to the inadvertent disappearance of the interval 00 to π\pi in which answers had originally been intended. This meant that there was a little bit more work to be done at the end than was initially planned.

cos⁡3x=cos⁡(2x+x)=cos⁡2xcos⁡x−sin⁡2xsin⁡x=(2c2−1)c−2sc.s=(2c2−1)c−2c(1−c2)\cos 3x = \cos(2x + x) = \cos 2x \cos x - \sin 2x \sin x = (2c^2 - 1)c - 2sc.s = (2c^2 - 1)c - 2c(1 - c^2) =4c3−3c= 4c^3 - 3c.

sin⁡3x=sin⁡(2x+x)=sin⁡2xcos⁡x+cos⁡2xsin⁡x=2sc.c+(1−2s2)s=2s(1−s2)+s(1−2s2)\sin 3x = \sin(2x + x) = \sin 2x \cos x + \cos 2x \sin x = 2sc.c + (1 - 2s^2)s = 2s(1 - s^2) + s(1 - 2s^2) =3s−4s3= 3s - 4s^3

(i) I(α)=∫0α(7sin⁡x−8sin⁡3x)dx=∫0α(sin⁡x+2sin⁡3x)dx=[−cos⁡x−23cos⁡3x]0αI(\alpha) = \int\limits_0^\alpha (7 \sin x - 8 \sin^3 x) \text{dx} = \int\limits_0^\alpha (\sin x + 2 \sin 3x) \text{dx} = [-\cos x - \frac{2}{3} \cos 3x]_0^\alpha =−cos⁡α−23(4cos⁡3α−3cos⁡α)+1+23=−83c3+c+53= -\cos \alpha - \frac{2}{3} (4 \cos^3 \alpha - 3 \cos \alpha) + 1 + \frac{2}{3} = -\frac{8}{3} c^3 + c + \frac{5}{3} and I(α)=0I(\alpha) = 0 when c=1c = 1 (α=0\alpha = 0)

(ii) J(α)=[72sin⁡2x−84sin⁡4x]0α=72(1−cos⁡2α)−2(1−cos⁡2α)2=−2c4+12c2+32J(\alpha) = \left[ \frac{7}{2} \sin^2 x - \frac{8}{4} \sin^4 x \right]_0^\alpha = \frac{7}{2} (1 - \cos^2 \alpha) - 2(1 - \cos^2 \alpha)^2 = -2c^4 + \frac{1}{2}c^2 + \frac{3}{2}

I(α)=J(α)⇒0=12c4−16c3−3c2+6c+1=(c−1)2(2c+1)(6c+1)I(\alpha) = J(\alpha) \Rightarrow 0 = 12c^4 - 16c^3 - 3c^2 + 6c + 1 = (c - 1)^2 (2c + 1)(6c + 1)

Thus cos⁡α=1,α=0\cos \alpha = 1, \alpha = 0; cos⁡α=−12,α=23π\cos \alpha = -\frac{1}{2}, \alpha = \frac{2}{3}\pi; and cos⁡α=−16,α=π−cos⁡−1(16)\cos \alpha = -\frac{1}{6}, \alpha = \pi - \cos^{-1}(\frac{1}{6}).

Answers: α=2nπ,2nπ±23π,(2n+1)π±cos⁡−116\alpha = 2n\pi, 2n\pi \pm \frac{2}{3}\pi, (2n + 1)\pi \pm \cos^{-1} \frac{1}{6}


Model Solution

Proof of cos⁡3x=4cos⁡3x−3cos⁡x\cos 3x = 4\cos^3 x - 3\cos x:

cos⁡3x=cos⁡(2x+x)=cos⁡2xcos⁡x−sin⁡2xsin⁡x\cos 3x = \cos(2x + x) = \cos 2x \cos x - \sin 2x \sin x

Using cos⁡2x=2cos⁡2x−1\cos 2x = 2\cos^2 x - 1 and sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x \cos x:

=(2cos⁡2x−1)cos⁡x−(2sin⁡xcos⁡x)sin⁡x= (2\cos^2 x - 1)\cos x - (2\sin x \cos x)\sin x

=2cos⁡3x−cos⁡x−2sin⁡2xcos⁡x= 2\cos^3 x - \cos x - 2\sin^2 x \cos x

=2cos⁡3x−cos⁡x−2(1−cos⁡2x)cos⁡x= 2\cos^3 x - \cos x - 2(1 - \cos^2 x)\cos x

=2cos⁡3x−cos⁡x−2cos⁡x+2cos⁡3x=4cos⁡3x−3cos⁡x= 2\cos^3 x - \cos x - 2\cos x + 2\cos^3 x = 4\cos^3 x - 3\cos x

Proof of sin⁡3x=3sin⁡x−4sin⁡3x\sin 3x = 3\sin x - 4\sin^3 x:

sin⁡3x=sin⁡(2x+x)=sin⁡2xcos⁡x+cos⁡2xsin⁡x\sin 3x = \sin(2x + x) = \sin 2x \cos x + \cos 2x \sin x

Using sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x \cos x and cos⁡2x=1−2sin⁡2x\cos 2x = 1 - 2\sin^2 x:

=(2sin⁡xcos⁡x)cos⁡x+(1−2sin⁡2x)sin⁡x= (2\sin x \cos x)\cos x + (1 - 2\sin^2 x)\sin x

=2sin⁡xcos⁡2x+sin⁡x−2sin⁡3x= 2\sin x \cos^2 x + \sin x - 2\sin^3 x

=2sin⁡x(1−sin⁡2x)+sin⁡x−2sin⁡3x= 2\sin x(1 - \sin^2 x) + \sin x - 2\sin^3 x

=2sin⁡x−2sin⁡3x+sin⁡x−2sin⁡3x=3sin⁡x−4sin⁡3x= 2\sin x - 2\sin^3 x + \sin x - 2\sin^3 x = 3\sin x - 4\sin^3 x

Part (i)

From the identity just proved, sin⁡3x=3sin⁡x−4sin⁡3x\sin 3x = 3\sin x - 4\sin^3 x, so:

4sin⁡3x=3sin⁡x−sin⁡3x4\sin^3 x = 3\sin x - \sin 3x

8sin⁡3x=6sin⁡x−2sin⁡3x8\sin^3 x = 6\sin x - 2\sin 3x

7sin⁡x−8sin⁡3x=7sin⁡x−6sin⁡x+2sin⁡3x=sin⁡x+2sin⁡3x7\sin x - 8\sin^3 x = 7\sin x - 6\sin x + 2\sin 3x = \sin x + 2\sin 3x

Therefore:

I(α)=∫0α(sin⁡x+2sin⁡3x) dx=[−cos⁡x−23cos⁡3x]0αI(\alpha) = \int_0^{\alpha} (\sin x + 2\sin 3x)\, dx = \left[-\cos x - \frac{2}{3}\cos 3x\right]_0^{\alpha}

=−cos⁡α−23cos⁡3α+1+23= -\cos\alpha - \frac{2}{3}\cos 3\alpha + 1 + \frac{2}{3}

=−cos⁡α−23(4cos⁡3α−3cos⁡α)+53= -\cos\alpha - \frac{2}{3}(4\cos^3\alpha - 3\cos\alpha) + \frac{5}{3}

=−cos⁡α−83cos⁡3α+2cos⁡α+53= -\cos\alpha - \frac{8}{3}\cos^3\alpha + 2\cos\alpha + \frac{5}{3}

=−83cos⁡3α+cos⁡α+53= -\frac{8}{3}\cos^3\alpha + \cos\alpha + \frac{5}{3}

Setting c=cos⁡αc = \cos\alpha:

I(α)=−83c3+c+53I(\alpha) = -\frac{8}{3}c^3 + c + \frac{5}{3}

When I(α)=0I(\alpha) = 0: substituting c=1c = 1 gives −83+1+53=0-\frac{8}{3} + 1 + \frac{5}{3} = 0. So c=1c = 1 (i.e. α=0\alpha = 0).

Part (ii)

Eustace uses ∫sin⁡nx dx=sin⁡n+1xn+1\int \sin^n x\, dx = \frac{\sin^{n+1} x}{n+1} for all n=1,2,3,…n = 1, 2, 3, \ldots. So for n=1n = 1:

∫sin⁡x dx=sin⁡2x2(Eustace’s version, replacing the correct −cos⁡x)\int \sin x\, dx = \frac{\sin^2 x}{2} \quad \text{(Eustace's version, replacing the correct } {-\cos x}\text{)}

and for n=3n = 3:

∫sin⁡3x dx=sin⁡4x4\int \sin^3 x\, dx = \frac{\sin^4 x}{4}

Eustace’s evaluation of I(α)I(\alpha):

J(α)=[72sin⁡2x−8⋅sin⁡4x4]0α=72sin⁡2α−2sin⁡4αJ(\alpha) = \left[\frac{7}{2}\sin^2 x - 8 \cdot \frac{\sin^4 x}{4}\right]_0^{\alpha} = \frac{7}{2}\sin^2\alpha - 2\sin^4\alpha

Since sin⁡2α=1−c2\sin^2\alpha = 1 - c^2 where c=cos⁡αc = \cos\alpha:

J(α)=72(1−c2)−2(1−c2)2J(\alpha) = \frac{7}{2}(1 - c^2) - 2(1 - c^2)^2

=72−72c2−2(1−2c2+c4)= \frac{7}{2} - \frac{7}{2}c^2 - 2(1 - 2c^2 + c^4)

=72−72c2−2+4c2−2c4= \frac{7}{2} - \frac{7}{2}c^2 - 2 + 4c^2 - 2c^4

=−2c4+12c2+32= -2c^4 + \frac{1}{2}c^2 + \frac{3}{2}

Showing Eustace gets the correct value when cos⁡β=−16\cos\beta = -\frac{1}{6}:

We need I(β)=J(β)I(\beta) = J(\beta), i.e. I(β)−J(β)=0I(\beta) - J(\beta) = 0:

I(α)−J(α)=(−83c3+c+53)−(−2c4+12c2+32)I(\alpha) - J(\alpha) = \left(-\frac{8}{3}c^3 + c + \frac{5}{3}\right) - \left(-2c^4 + \frac{1}{2}c^2 + \frac{3}{2}\right)

=2c4−83c3−12c2+c+16= 2c^4 - \frac{8}{3}c^3 - \frac{1}{2}c^2 + c + \frac{1}{6}

Multiplying by 6:

12c4−16c3−3c2+6c+1=012c^4 - 16c^3 - 3c^2 + 6c + 1 = 0

We know from part (i) that c=1c = 1 is a root (since I(0)=J(0)=0I(0) = J(0) = 0). Dividing by (c−1)(c - 1):

12c4−16c3−3c2+6c+1=(c−1)(12c3−4c2−7c−1)12c^4 - 16c^3 - 3c^2 + 6c + 1 = (c - 1)(12c^3 - 4c^2 - 7c - 1)

Testing c=1c = 1 again: 12−4−7−1=012 - 4 - 7 - 1 = 0, so (c−1)(c - 1) is a repeated factor:

(c−1)2(12c2+8c+1)=0(c - 1)^2(12c^2 + 8c + 1) = 0

Factorising the quadratic: 12c2+8c+1=(2c+1)(6c+1)12c^2 + 8c + 1 = (2c + 1)(6c + 1).

Therefore:

12c4−16c3−3c2+6c+1=(c−1)2(2c+1)(6c+1)=012c^4 - 16c^3 - 3c^2 + 6c + 1 = (c - 1)^2(2c + 1)(6c + 1) = 0

The roots are c=1c = 1, c=−12c = -\frac{1}{2}, and c=−16c = -\frac{1}{6}.

When c=−16c = -\frac{1}{6}, the factor (6c+1)=0(6c + 1) = 0, confirming that Eustace obtains the correct value of I(β)I(\beta) when cos⁡β=−16\cos\beta = -\frac{1}{6}.

Finding all values of α\alpha:

Setting I(α)=J(α)I(\alpha) = J(\alpha) gives cos⁡α=1\cos\alpha = 1, cos⁡α=−12\cos\alpha = -\frac{1}{2}, or cos⁡α=−16\cos\alpha = -\frac{1}{6}.

  • cos⁡α=1\cos\alpha = 1: α=2nπ\alpha = 2n\pi
  • cos⁡α=−12\cos\alpha = -\frac{1}{2}: α=2nπ±2π3\alpha = 2n\pi \pm \frac{2\pi}{3}
  • cos⁡α=−16\cos\alpha = -\frac{1}{6}: α=2nπ±arccos⁡ ⁣(−16)\alpha = 2n\pi \pm \arccos\!\left(-\frac{1}{6}\right), equivalently α=(2n+1)π±arccos⁡16\alpha = (2n + 1)\pi \pm \arccos\frac{1}{6}

where nn is any integer.

Examiner Notes

This was the most popular question on the paper, drawing an attempt from almst every candidate. There were several proofs of the initial trigonometric identities using de Moivre’s Theorem but most settled for the more standard cosine and sine of (2x+x)(2x + x). Personally, I was against the inclusion of the given answer of cos⁡−1(−16)\cos^{-1} (-\frac{1}{6}) in (ii) as it led to what struck me as an unwelcome dichotomy of approaches. Most candidates opted to verify that the two polynomials in “c” that arose gave the same numerical answer, and this working was not entirely straightforward – in the event, lots of candidates failed to show the markers that they had done the working correctly for both expressions – whereas my original intention had been that they should collect terms up into a single polynomial equation and factorise it by first spotting the (repeated) factor (c−1)(c - 1) hinted at in (i).

There was one important mathematical oversight that many candidates made during this question, and it was due to not reading the question sufficiently carefully. The wording of the question in (ii) clearly states that Eustace’s misunderstanding of the integration of powers of the sine function was for n=1,2,3,…n = 1, 2, 3, \dots. Unfortunately, rather a lot of candidates thought that he would then have integrated sin⁡x\sin x (i.e. the case n=1n = 1) correctly as −cos⁡x-\cos x. We concocted a mark-scheme for this eventuality which allowed candidates ‘follow-through’ for 6 out of the 10 marks allocated here, but the self-imposed penalty of four marks could not be avoided as it was just no longer possible to get, for instance, the given answer.

Finally, there is a bit of an apology to make: at some final stage of the printing process, the bit of the question that identified α\alpha as lying in the range 0 to π\pi got removed; this left candidates having to think about general solutions rather than just the two decently small ones that had been looked-for when the question was first written. Nevertheless, not only was this the most popular question for number of attempts, it was also the most successful for candidates with a man score of almost 15.


Topic: 数列与级数 (Sequences and Series)  |  Difficulty: Standard  |  Marks: 20

3 The first four terms of a sequence are given by F0=0F_0 = 0, F1=1F_1 = 1, F2=1F_2 = 1 and F3=2F_3 = 2. The general term is given by Fn=aλn+bμn,(*)F_n = a\lambda^n + b\mu^n , \qquad \text{(*)} where a,b,λa, b, \lambda and μ\mu are independent of nn, and aa is positive.

(i) Show that λ2+λμ+μ2=2\lambda^2 + \lambda\mu + \mu^2 = 2, and find the values of λ,μ,a\lambda, \mu, a and bb.

(ii) Use (∗)(\ast) to evaluate F6F_6.

(iii) Evaluate ∑n=0∞Fn2n+1.\displaystyle \sum_{n=0}^{\infty} \frac{F_n}{2^{n+1}} .

Hint

3 You don’t have to have too wide an experience of mathematics to be able to recognise the Fibonacci Numbers in a modest disguise here. (However, this is of little help here, as you should be looking to follow the guidance of the question.) In (i), you are clearly intended to begin by substituting n=0,1,2n = 0, 1, 2 and 33, in turn, into the given formula for FnF_n, using the four given terms of the sequence. You now have four equations in four unknowns, and the given result in (i) is intended to help you make progress; with (ii) having you check the formula in a further case. In the final part, you should split the summation into two parts, each of which is an infinite geometric progression.

(i) F0=0⇒0=a+bF_0 = 0 \Rightarrow 0 = a + b or b=−ab = -a. Then F1=1⇒1=a(λ−μ)F_1 = 1 \Rightarrow 1 = a(\lambda - \mu). [F2=1⇒1=a(λ2−μ2)⇒λ+μ=1 is needed later][F_2 = 1 \Rightarrow 1 = a(\lambda^2 - \mu^2) \Rightarrow \lambda + \mu = 1 \text{ is needed later}]

and F3=2⇒2=a(λ3−μ3)=a(λ−μ)(λ2+λμ+μ2)F_3 = 2 \Rightarrow 2 = a(\lambda^3 - \mu^3) = a(\lambda - \mu)(\lambda^2 + \lambda\mu + \mu^2) by the difference of two cubes

=1⋅(λ2+λμ+μ2)⇒λ2+λμ+μ2=2= 1 \cdot (\lambda^2 + \lambda\mu + \mu^2) \Rightarrow \lambda^2 + \lambda\mu + \mu^2 = 2

Then, using any two suitable eqns., e.g. any two of λμ=−1\lambda\mu = -1, λ−μ=1a\lambda - \mu = \frac{1}{a} and λ+μ=1\lambda + \mu = 1, and

solving simultaneously gives a=15a = \frac{1}{\sqrt{5}}, b=−15b = -\frac{1}{\sqrt{5}}, λ=12(1+5)\lambda = \frac{1}{2}(1 + \sqrt{5}), μ=12(1−5)\mu = \frac{1}{2}(1 - \sqrt{5}).

(ii) Using the formula Fn=aλn+bμn=12n5{(1+5)n−(1−5)n}F_n = a \lambda^n + b \mu^n = \frac{1}{2^n \sqrt{5}} \left\{ (1 + \sqrt{5})^n - (1 - \sqrt{5})^n \right\} with n=6n = 6; the Binomial Theorem gives (1+5)6=1+65+15⋅5+20⋅55+15⋅52+6⋅525+53=576+2565(1 + \sqrt{5})^6 = 1 + 6\sqrt{5} + 15 \cdot 5 + 20 \cdot 5\sqrt{5} + 15 \cdot 5^2 + 6 \cdot 5^2\sqrt{5} + 5^3 = 576 + 256\sqrt{5}.

Similarly, (1−5)6=576−2565(1 - \sqrt{5})^6 = 576 - 256\sqrt{5} so that F6=1265{5125}=8F_6 = \frac{1}{2^6 \sqrt{5}} \{ 512\sqrt{5} \} = 8.

(iii) ∑n=0∞Fn2n+1=a2∑n=0∞(λ2)n−a2∑n=0∞(μ2)n=125(11−14(1+5))−125(11−14(1−5))\sum_{n=0}^{\infty} \frac{F_n}{2^{n+1}} = \frac{a}{2} \sum_{n=0}^{\infty} \left( \frac{\lambda}{2} \right)^n - \frac{a}{2} \sum_{n=0}^{\infty} \left( \frac{\mu}{2} \right)^n = \frac{1}{2\sqrt{5}} \left( \frac{1}{1 - \frac{1}{4}(1 + \sqrt{5})} \right) - \frac{1}{2\sqrt{5}} \left( \frac{1}{1 - \frac{1}{4}(1 - \sqrt{5})} \right) using the

S∞S\infty formula for the two GPs;

=125(43−5)−125(43+5)= \frac{1}{2\sqrt{5}} \left( \frac{4}{3 - \sqrt{5}} \right) - \frac{1}{2\sqrt{5}} \left( \frac{4}{3 + \sqrt{5}} \right).

Rationalising denominators then yields 25(3+59−5)−25(3−59−5)=25(254)=1\frac{2}{\sqrt{5}} \left( \frac{3 + \sqrt{5}}{9 - 5} \right) - \frac{2}{\sqrt{5}} \left( \frac{3 - \sqrt{5}}{9 - 5} \right) = \frac{2}{\sqrt{5}} \left( \frac{2\sqrt{5}}{4} \right) = 1.

Model Solution

Part (i)

Substituting n=0,1,2,3n = 0, 1, 2, 3 into Fn=aλn+bμnF_n = a\lambda^n + b\mu^n:

F0=0  ⟹  a+b=0  ⟹  b=−a(*)F_0 = 0 \implies a + b = 0 \implies b = -a \qquad \text{(*)}

F1=1  ⟹  aλ+bμ=1  ⟹  a(λ−μ)=1(**)F_1 = 1 \implies a\lambda + b\mu = 1 \implies a(\lambda - \mu) = 1 \qquad \text{(**)}

F2=1  ⟹  aλ2+bμ2=1  ⟹  a(λ2−μ2)=1(***)F_2 = 1 \implies a\lambda^2 + b\mu^2 = 1 \implies a(\lambda^2 - \mu^2) = 1 \qquad \text{(***)}

F3=2  ⟹  aλ3+bμ3=2  ⟹  a(λ3−μ3)=2(****)F_3 = 2 \implies a\lambda^3 + b\mu^3 = 2 \implies a(\lambda^3 - \mu^3) = 2 \qquad \text{(****)}

Dividing (∗∗∗)(***) by (∗∗)(**):

a(λ2−μ2)a(λ−μ)=11  ⟹  λ+μ=1(1)\frac{a(\lambda^2 - \mu^2)}{a(\lambda - \mu)} = \frac{1}{1} \implies \lambda + \mu = 1 \qquad \text{(1)}

Now using the difference of two cubes factorisation on (∗∗∗∗)(****):

a(λ3−μ3)=a(λ−μ)(λ2+λμ+μ2)=2a(\lambda^3 - \mu^3) = a(\lambda - \mu)(\lambda^2 + \lambda\mu + \mu^2) = 2

From (∗∗)(**), a(λ−μ)=1a(\lambda - \mu) = 1, so:

1⋅(λ2+λμ+μ2)=2  ⟹  λ2+λμ+μ2=2✓1 \cdot (\lambda^2 + \lambda\mu + \mu^2) = 2 \implies \lambda^2 + \lambda\mu + \mu^2 = 2 \qquad \checkmark

Now we find the values. From (1)(1): (λ+μ)2=1(\lambda + \mu)^2 = 1, so λ2+2λμ+μ2=1\lambda^2 + 2\lambda\mu + \mu^2 = 1.

Subtracting λ2+λμ+μ2=2\lambda^2 + \lambda\mu + \mu^2 = 2 from this:

λμ=1−2=−1(2)\lambda\mu = 1 - 2 = -1 \qquad \text{(2)}

From (1)(1) and (2)(2), λ\lambda and μ\mu are roots of t2−t−1=0t^2 - t - 1 = 0:

t=1±52t = \frac{1 \pm \sqrt{5}}{2}

Since a>0a > 0 and a(λ−μ)=1a(\lambda - \mu) = 1, we need λ>μ\lambda > \mu, so:

λ=1+52,μ=1−52\lambda = \frac{1 + \sqrt{5}}{2}, \qquad \mu = \frac{1 - \sqrt{5}}{2}

From (∗∗)(**): a=1λ−μ=15a = \dfrac{1}{\lambda - \mu} = \dfrac{1}{\sqrt{5}}, and from (∗)(*): b=−15b = -\dfrac{1}{\sqrt{5}}.

Part (ii)

Using Fn=15[(1+52)n−(1−52)n]F_n = \dfrac{1}{\sqrt{5}}\left[\left(\dfrac{1+\sqrt{5}}{2}\right)^n - \left(\dfrac{1-\sqrt{5}}{2}\right)^n\right] with n=6n = 6.

We compute (1+5)6(1 + \sqrt{5})^6 using the Binomial Theorem:

(1+5)6=1+65+15⋅5+20⋅55+15⋅25+6⋅255+125(1 + \sqrt{5})^6 = 1 + 6\sqrt{5} + 15 \cdot 5 + 20 \cdot 5\sqrt{5} + 15 \cdot 25 + 6 \cdot 25\sqrt{5} + 125

=1+65+75+1005+375+1505+125=576+2565= 1 + 6\sqrt{5} + 75 + 100\sqrt{5} + 375 + 150\sqrt{5} + 125 = 576 + 256\sqrt{5}

Similarly, replacing 5\sqrt{5} with −5-\sqrt{5}:

(1−5)6=576−2565(1 - \sqrt{5})^6 = 576 - 256\sqrt{5}

Therefore:

F6=15⋅26[(1+5)6−(1−5)6]=1645[576+2565−576+2565]F_6 = \frac{1}{\sqrt{5} \cdot 2^6}\left[(1+\sqrt{5})^6 - (1-\sqrt{5})^6\right] = \frac{1}{64\sqrt{5}}\left[576 + 256\sqrt{5} - 576 + 256\sqrt{5}\right]

=5125645=8= \frac{512\sqrt{5}}{64\sqrt{5}} = 8

Part (iii)

∑n=0∞Fn2n+1=∑n=0∞aλn+bμn2n+1=a2∑n=0∞(λ2)n+b2∑n=0∞(μ2)n\sum_{n=0}^{\infty} \frac{F_n}{2^{n+1}} = \sum_{n=0}^{\infty} \frac{a\lambda^n + b\mu^n}{2^{n+1}} = \frac{a}{2}\sum_{n=0}^{\infty}\left(\frac{\lambda}{2}\right)^n + \frac{b}{2}\sum_{n=0}^{\infty}\left(\frac{\mu}{2}\right)^n

Both are geometric series. We check convergence: ∣λ/2∣=1+54≈0.809<1|\lambda/2| = \frac{1+\sqrt{5}}{4} \approx 0.809 < 1 and ∣μ/2∣=5−14≈0.309<1|\mu/2| = \frac{\sqrt{5}-1}{4} \approx 0.309 < 1, so both converge.

=125⋅11−λ2−125⋅11−μ2= \frac{1}{2\sqrt{5}} \cdot \frac{1}{1 - \frac{\lambda}{2}} - \frac{1}{2\sqrt{5}} \cdot \frac{1}{1 - \frac{\mu}{2}}

Computing each denominator:

1−λ2=1−1+54=3−541 - \frac{\lambda}{2} = 1 - \frac{1+\sqrt{5}}{4} = \frac{3 - \sqrt{5}}{4}

1−μ2=1−1−54=3+541 - \frac{\mu}{2} = 1 - \frac{1-\sqrt{5}}{4} = \frac{3 + \sqrt{5}}{4}

So:

∑n=0∞Fn2n+1=125⋅43−5−125⋅43+5\sum_{n=0}^{\infty} \frac{F_n}{2^{n+1}} = \frac{1}{2\sqrt{5}} \cdot \frac{4}{3-\sqrt{5}} - \frac{1}{2\sqrt{5}} \cdot \frac{4}{3+\sqrt{5}}

Rationalising each fraction:

43−5=4(3+5)(3−5)(3+5)=4(3+5)9−5=3+5\frac{4}{3-\sqrt{5}} = \frac{4(3+\sqrt{5})}{(3-\sqrt{5})(3+\sqrt{5})} = \frac{4(3+\sqrt{5})}{9-5} = 3+\sqrt{5}

43+5=4(3−5)(3+5)(3−5)=4(3−5)4=3−5\frac{4}{3+\sqrt{5}} = \frac{4(3-\sqrt{5})}{(3+\sqrt{5})(3-\sqrt{5})} = \frac{4(3-\sqrt{5})}{4} = 3-\sqrt{5}

Therefore:

∑n=0∞Fn2n+1=125[(3+5)−(3−5)]=125⋅25=1\sum_{n=0}^{\infty} \frac{F_n}{2^{n+1}} = \frac{1}{2\sqrt{5}}\left[(3+\sqrt{5}) - (3-\sqrt{5})\right] = \frac{1}{2\sqrt{5}} \cdot 2\sqrt{5} = 1

Examiner Notes

One doesn’t need to be too devoted a mathematician to recognise the Fibonacci numbers in this question, and many candidates clearly recognised this sequence. However, they were still required to answer the question in the way specified by the wording on the paper and a lot of attempts foundered at part (ii). This was the second most frequently attempted question, yet drew the second worst marks, averaging just over 8. Most attempts got little further than (i), and many foundered even here due to a lack of appreciation of the difference of two cubes factorisation. Things clearly got much worse in (ii) when far too many folks seemed incapable of attempting a binomial expansion of (1+5)6(1 + \sqrt{5})^6; many who did manage a decent stab at this then repeated the work for (1−5)6(1 - \sqrt{5})^6. Very few sorted this out correctly and, as a result, there were relatively few stabs at part (iii).


Topic: 积分 (Integration)  |  Difficulty: Challenging  |  Marks: 20

4 (i) Let I=∫0af(x)f(x)+f(a−x) dx.I = \int_{0}^{a} \frac{f(x)}{f(x) + f(a - x)} \, dx . Use a substitution to show that I=∫0af(a−x)f(x)+f(a−x) dxI = \int_{0}^{a} \frac{f(a - x)}{f(x) + f(a - x)} \, dx and hence evaluate II in terms of aa. Use this result to evaluate the integrals ∫01ln⁡(x+1)ln⁡(2+x−x2) dxand∫0π2sin⁡xsin⁡(x+π4) dx.\int_{0}^{1} \frac{\ln(x + 1)}{\ln(2 + x - x^2)} \, dx \quad \text{and} \quad \int_{0}^{\frac{\pi}{2}} \frac{\sin x}{\sin(x + \frac{\pi}{4})} \, dx .

(ii) Evaluate ∫122sin⁡xx(sin⁡x+sin⁡1x) dx.\int_{\frac{1}{2}}^{2} \frac{\sin x}{x(\sin x + \sin \frac{1}{x})} \, dx .

Hint

4 Hopefully, the obvious choice is y=a−xy = a - x for the initial substitution and, as with any given result, you should make every effort to be clear in your working to establish it. Thereafter, the two integrals that follow in (i) use this result with differing functions and for different choices of the upper limit aa. Since this may be thought an obvious way to proceed, it is (again) important that your working is clear in identifying the roles of f(x)f(x) and f(a−x)f(a - x) in each case. In part (ii), however, it is not the first result that is to be used, but rather the process that yielded it. The required substitution should, again, be obvious, and then you should be trying to mimic the first process in this second situation.

(i) Using the substn. y=a−xy = a - x, dy=−dxdy = -dx and (0,a)→(a,0)(0, a) \rightarrow (a, 0) so that

∫0af(x)f(x)+f(a−x)dx=∫a0f(a−y)f(a−y)+f(y)⋅−dy=∫0af(a−y)f(a−y)+f(y)dy\int_{0}^{a} \frac{f(x)}{f(x) + f(a - x)} dx = \int_{a}^{0} \frac{f(a - y)}{f(a - y) + f(y)} \cdot -dy = \int_{0}^{a} \frac{f(a - y)}{f(a - y) + f(y)} dy

=∫0af(a−x)f(x)+f(a−x)dx, since the x/y interchange here is nothing more than a re-labelling.= \int_{0}^{a} \frac{f(a - x)}{f(x) + f(a - x)} dx \text{, since the } x/y \text{ interchange here is nothing more than a re-labelling.}

Then 2I=∫0af(x)+f(a−x)f(x)+f(a−x)dx=∫0a1.dx=[x]0a=a⇒I=12a.\text{Then } 2I = \int_{0}^{a} \frac{f(x) + f(a - x)}{f(x) + f(a - x)} dx = \int_{0}^{a} 1.dx = [x]_{0}^{a} = a \Rightarrow I = \frac{1}{2}a.

For f(x)=ln⁡(1+x)f(x) = \ln(1 + x), ln⁡(2+x−x2)=ln⁡[(1+x)(2−x)]=ln⁡(1+x)+ln⁡(2−x)\ln(2 + x - x^2) = \ln[(1 + x)(2 - x)] = \ln(1 + x) + \ln(2 - x)

and ln⁡(2−x)=ln⁡(1+[1−x])=f(a−x)\ln(2 - x) = \ln(1 + [1 - x]) = f(a - x) with a=1a = 1 so that ∫01f(x)f(x)+f(1−x)dx=12\int_{0}^{1} \frac{f(x)}{f(x) + f(1 - x)} dx = \frac{1}{2}.

∫0π/2sin⁡xsin⁡(x+14π)dx=∫0π/2sin⁡xsin⁡x⋅12+cos⁡x⋅12dx=2∫0π/2sin⁡xsin⁡x+sin⁡(12π−x)dx=14π2.\int_{0}^{\pi/2} \frac{\sin x}{\sin(x + \frac{1}{4}\pi)} dx = \int_{0}^{\pi/2} \frac{\sin x}{\sin x \cdot \frac{1}{\sqrt{2}} + \cos x \cdot \frac{1}{\sqrt{2}}} dx = \sqrt{2} \int_{0}^{\pi/2} \frac{\sin x}{\sin x + \sin(\frac{1}{2}\pi - x)} dx = \frac{1}{4}\pi\sqrt{2}.

(ii) For u=1xu = \frac{1}{x}, du=−1x2dxdu = -\frac{1}{x^2} dx and (12,2)→(2,12)(\frac{1}{2}, 2) \rightarrow (2, \frac{1}{2}).

Then ∫0.521x⋅sin⁡x(sin⁡x+sin⁡(1x))dx=∫0.521x2⋅xsin⁡x(sin⁡x+sin⁡(1x))dx=∫20.51u⋅sin⁡(1u)(sin⁡(1u)+sin⁡u)⋅−du\text{Then } \int_{0.5}^{2} \frac{1}{x} \cdot \frac{\sin x}{(\sin x + \sin(\frac{1}{x}))} dx = \int_{0.5}^{2} \frac{1}{x^2} \cdot \frac{x \sin x}{(\sin x + \sin(\frac{1}{x}))} dx = \int_{2}^{0.5} \frac{\frac{1}{u} \cdot \sin(\frac{1}{u})}{(\sin(\frac{1}{u}) + \sin u)} \cdot -du

=∫0.521u⋅sin⁡(1u)(sin⁡u+sin⁡(1u))duor∫0.521x⋅sin⁡(1x)(sin⁡x+sin⁡(1x))dx= \int_{0.5}^{2} \frac{1}{u} \cdot \frac{\sin(\frac{1}{u})}{(\sin u + \sin(\frac{1}{u}))} du \quad \text{or} \quad \int_{0.5}^{2} \frac{1}{x} \cdot \frac{\sin(\frac{1}{x})}{(\sin x + \sin(\frac{1}{x}))} dx

Adding then gives 2I=∫0.521xdx=[ln⁡x]0.52=2ln⁡2⇒I=ln⁡2.\text{Adding then gives } 2I = \int_{0.5}^{2} \frac{1}{x} dx = [\ln x]_{0.5}^{2} = 2 \ln 2 \Rightarrow I = \ln 2.


Model Solution

Part (i) — Establishing the result

Let I=∫0af(x)f(x)+f(a−x) dxI = \displaystyle\int_{0}^{a} \frac{f(x)}{f(x) + f(a - x)} \, dx.

Substitute y=a−xy = a - x, so dy=−dxdy = -dx. When x=0x = 0, y=ay = a; when x=ax = a, y=0y = 0.

I=∫a0f(a−y)f(a−y)+f(y)⋅(−dy)=∫0af(a−y)f(a−y)+f(y) dyI = \int_{a}^{0} \frac{f(a - y)}{f(a - y) + f(y)} \cdot (-dy) = \int_{0}^{a} \frac{f(a - y)}{f(a - y) + f(y)} \, dy

Relabelling yy as xx (a dummy variable):

I=∫0af(a−x)f(x)+f(a−x) dx✓I = \int_{0}^{a} \frac{f(a - x)}{f(x) + f(a - x)} \, dx \qquad \checkmark

Adding the two expressions for II:

2I=∫0af(x)+f(a−x)f(x)+f(a−x) dx=∫0a1 dx=a2I = \int_{0}^{a} \frac{f(x) + f(a - x)}{f(x) + f(a - x)} \, dx = \int_{0}^{a} 1 \, dx = a

∴I=a2\therefore \quad I = \frac{a}{2}

First application: Evaluate ∫01ln⁡(x+1)ln⁡(2+x−x2) dx\displaystyle\int_{0}^{1} \frac{\ln(x + 1)}{\ln(2 + x - x^2)} \, dx.

Note that 2+x−x2=(1+x)(2−x)2 + x - x^2 = (1 + x)(2 - x), so:

ln⁡(2+x−x2)=ln⁡(1+x)+ln⁡(2−x)\ln(2 + x - x^2) = \ln(1 + x) + \ln(2 - x)

Let f(x)=ln⁡(1+x)f(x) = \ln(1 + x) with a=1a = 1. Then:

f(a−x)=f(1−x)=ln⁡(1+(1−x))=ln⁡(2−x)f(a - x) = f(1 - x) = \ln(1 + (1 - x)) = \ln(2 - x)

So the integrand is f(x)f(x)+f(1−x)\dfrac{f(x)}{f(x) + f(1 - x)}, and by the result:

∫01ln⁡(x+1)ln⁡(2+x−x2) dx=12\int_{0}^{1} \frac{\ln(x + 1)}{\ln(2 + x - x^2)} \, dx = \frac{1}{2}

Second application: Evaluate ∫0π/2sin⁡xsin⁡(x+π4) dx\displaystyle\int_{0}^{\pi/2} \frac{\sin x}{\sin(x + \frac{\pi}{4})} \, dx.

Expanding the denominator using the addition formula:

sin⁡ ⁣(x+π4)=sin⁡xcos⁡π4+cos⁡xsin⁡π4=sin⁡x+cos⁡x2\sin\!\left(x + \frac{\pi}{4}\right) = \sin x \cos\frac{\pi}{4} + \cos x \sin\frac{\pi}{4} = \frac{\sin x + \cos x}{\sqrt{2}}

So the integral becomes:

2∫0π/2sin⁡xsin⁡x+cos⁡x dx\sqrt{2}\int_{0}^{\pi/2} \frac{\sin x}{\sin x + \cos x} \, dx

Let f(x)=sin⁡xf(x) = \sin x with a=π/2a = \pi/2. Then f(a−x)=sin⁡(π/2−x)=cos⁡xf(a - x) = \sin(\pi/2 - x) = \cos x, and f(x)+f(a−x)=sin⁡x+cos⁡xf(x) + f(a - x) = \sin x + \cos x.

By the result:

2∫0π/2sin⁡xsin⁡x+cos⁡x dx=2⋅π/22=π24\sqrt{2}\int_{0}^{\pi/2} \frac{\sin x}{\sin x + \cos x} \, dx = \sqrt{2} \cdot \frac{\pi/2}{2} = \frac{\pi\sqrt{2}}{4}

Part (ii)

We evaluate I=∫1/22sin⁡xx(sin⁡x+sin⁡1x) dx\displaystyle I = \int_{1/2}^{2} \frac{\sin x}{x(\sin x + \sin \frac{1}{x})} \, dx.

This can be written as I=∫1/221x⋅sin⁡xsin⁡x+sin⁡(1/x) dxI = \displaystyle\int_{1/2}^{2} \frac{1}{x} \cdot \frac{\sin x}{\sin x + \sin(1/x)} \, dx.

Substitute u=1/xu = 1/x, so x=1/ux = 1/u and dx=−1/u2 dudx = -1/u^2 \, du. When x=1/2x = 1/2, u=2u = 2; when x=2x = 2, u=1/2u = 1/2.

I=∫21/2u⋅sin⁡(1/u)sin⁡(1/u)+sin⁡u⋅(−1u2)du=∫1/221u⋅sin⁡(1/u)sin⁡u+sin⁡(1/u) duI = \int_{2}^{1/2} u \cdot \frac{\sin(1/u)}{\sin(1/u) + \sin u} \cdot \left(-\frac{1}{u^2}\right) du = \int_{1/2}^{2} \frac{1}{u} \cdot \frac{\sin(1/u)}{\sin u + \sin(1/u)} \, du

Relabelling uu as xx:

I=∫1/221x⋅sin⁡(1/x)sin⁡x+sin⁡(1/x) dxI = \int_{1/2}^{2} \frac{1}{x} \cdot \frac{\sin(1/x)}{\sin x + \sin(1/x)} \, dx

Adding this to the original expression for II:

2I=∫1/221x⋅sin⁡x+sin⁡(1/x)sin⁡x+sin⁡(1/x) dx=∫1/221x dx=[ln⁡x]1/22=ln⁡2−ln⁡12=2ln⁡22I = \int_{1/2}^{2} \frac{1}{x} \cdot \frac{\sin x + \sin(1/x)}{\sin x + \sin(1/x)} \, dx = \int_{1/2}^{2} \frac{1}{x} \, dx = \Big[\ln x\Big]_{1/2}^{2} = \ln 2 - \ln\frac{1}{2} = 2\ln 2

∴I=ln⁡2\therefore \quad I = \ln 2

Examiner Notes

This question received about the same number of “hits” as Q1 and came out with an average mark only fractionally lower. For the majority, the introductory work was successfully completed along with the rest of (i), although a lot of candidates’ working was very unclear in the first integral, involving logarithms. One or two marks were commonly lost as the correct answer of 12\frac{1}{2} could easily have been guessed from the initial result, and the working produced by the candidates failed to convince markers that it had been obtained legitimately otherwise. The fault was often little more than failing either to identify the relevant "f(x)f(x)" or to show it implicitly by careful presentation of the working of the log. function.

The excellent part (ii) required candidates to mimic the method used to find the opening result rather than repeat its use in a new case, and this was only accessible to those with that extra bit of insight or determination.


Topic: 向量 (Vectors)  |  Difficulty: Challenging  |  Marks: 20

5 The points AA and BB have position vectors i+j+k\mathbf{i} + \mathbf{j} + \mathbf{k} and 5i−j−k5\mathbf{i} - \mathbf{j} - \mathbf{k}, respectively, relative to the origin OO. Find cos⁡2α\cos 2\alpha, where 2α2\alpha is the angle ∠AOB\angle AOB.

(i) The line L1L_1 has equation r=λ(mi+nj+pk)\mathbf{r} = \lambda(m\mathbf{i} + n\mathbf{j} + p\mathbf{k}). Given that L1L_1 is inclined equally to OAOA and to OBOB, determine a relationship between mm, nn and pp. Find also values of mm, nn and pp for which L1L_1 is the angle bisector of ∠AOB\angle AOB.

(ii) The line L2L_2 has equation r=μ(ui+vj+wk)\mathbf{r} = \mu(u\mathbf{i} + v\mathbf{j} + w\mathbf{k}). Given that L2L_2 is inclined at an angle α\alpha to OAOA, where 2α=∠AOB2\alpha = \angle AOB, determine a relationship between uu, vv and ww. Hence describe the surface with Cartesian equation x2+y2+z2=2(yz+zx+xy)x^2 + y^2 + z^2 = 2(yz + zx + xy).

Hint

5 The opener here is a standard bit of A-level maths using the scalar product, and the following parts use this method, but with a bit of additional imagination needed. In 3-dimensions, there are infinitely lines inclined at a given angle to another, specified line, and this is the key idea of the final part of the question. Leading up to that, in (i), you need only realise that a line equally inclined to two specified (non-skew) lines must lie in the plane that bisects them (and is perpendicular to the plane that contains, in this case, the points OO, AA and BB). One might argue that the vector treatment of “planes” is further maths work, but these ideas are simple geometric ones.

cos⁡2α=(1,1,1)∙(5,−1,−1)3⋅27=13\cos 2\alpha = \frac{(1, 1, 1) \bullet (5, -1, -1)}{\sqrt{3} \cdot \sqrt{27}} = \frac{1}{3}

(i) l1l_1 equally inclined to OAOA and OBOB iff (m,n,p)∙(1,1,1)m2+n2+p2⋅3=(m,n,p)∙(5,−1,−1)m2+n2+p2⋅27\frac{(m, n, p) \bullet (1, 1, 1)}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{3}} = \frac{(m, n, p) \bullet (5, -1, -1)}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{27}}

i.e. 3(m+n+p)=5m−n−p3(m + n + p) = 5m - n - p or m=2(n+p)m = 2(n + p).

For l1l_1 to be the angle bisector, we also require (e.g.) m+n+pm2+n2+p2⋅3=cos⁡α\frac{m + n + p}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{3}} = \cos \alpha, where

cos⁡2α=2cos⁡2α−1=13  ⟹  cos⁡α=23\cos 2\alpha = 2 \cos^2 \alpha - 1 = \frac{1}{3} \implies \cos \alpha = \frac{\sqrt{2}}{\sqrt{3}}, so that m+n+p=m2+n2+p2⋅2m + n + p = \sqrt{m^2 + n^2 + p^2} \cdot \sqrt{2}.

Squaring both sides: m2+n2+p2+2mn+2np+2pm=2(m2+n2+p2)m^2 + n^2 + p^2 + 2mn + 2np + 2pm = 2(m^2 + n^2 + p^2)

  ⟹  2mn+2np+2pm=m2+n2+p2\implies 2mn + 2np + 2pm = m^2 + n^2 + p^2

Setting m=2n+2pm = 2n + 2p (or equivalent) then gives 2np+(2n+2p)2=(2n+2p)2+n2+p22np + (2n + 2p)^2 = (2n + 2p)^2 + n^2 + p^2

which gives (n−p)2=0  ⟹  p=n(n - p)^2 = 0 \implies p = n, m=4nm = 4n.

Thus (mnp)=(411)\begin{pmatrix} m \\ n \\ p \end{pmatrix} = \begin{pmatrix} 4 \\ 1 \\ 1 \end{pmatrix}, or any non-zero multiple will suffice.

(ii) If you used the above method then you already have this relationship; namely,

2uv+2vw+2wu=u2+v2+w22uv + 2vw + 2wu = u^2 + v^2 + w^2

Thus, 2xy+2yz+2zx=x2+y2+z22xy + 2yz + 2zx = x^2 + y^2 + z^2 gives all lines inclined at an angle cos⁡−123\cos^{-1} \frac{\sqrt{2}}{\sqrt{3}} to OAOA and

hence describes the surface which is a double-cone, vertex at OO, having central axis OAOA.

Model Solution

Preamble: Finding cos⁡2α\cos 2\alpha

We have OA→=i+j+k\overrightarrow{OA} = \mathbf{i} + \mathbf{j} + \mathbf{k} and OB→=5i−j−k\overrightarrow{OB} = 5\mathbf{i} - \mathbf{j} - \mathbf{k}.

∣OA→∣=1+1+1=3,∣OB→∣=25+1+1=33|\overrightarrow{OA}| = \sqrt{1 + 1 + 1} = \sqrt{3}, \qquad |\overrightarrow{OB}| = \sqrt{25 + 1 + 1} = 3\sqrt{3}

OA→⋅OB→=5−1−1=3\overrightarrow{OA} \cdot \overrightarrow{OB} = 5 - 1 - 1 = 3

cos⁡2α=OA→⋅OB→∣OA→∣ ∣OB→∣=33⋅33=39=13\cos 2\alpha = \frac{\overrightarrow{OA} \cdot \overrightarrow{OB}}{|\overrightarrow{OA}|\,|\overrightarrow{OB}|} = \frac{3}{\sqrt{3} \cdot 3\sqrt{3}} = \frac{3}{9} = \frac{1}{3}

Part (i)

The line L1L_1 has direction vector (m,n,p)(m, n, p). For L1L_1 to be equally inclined to OAOA and OBOB, the cosine of the angle with OAOA must equal the cosine of the angle with OBOB:

(m,n,p)⋅(1,1,1)m2+n2+p2⋅3=(m,n,p)⋅(5,−1,−1)m2+n2+p2⋅27\frac{(m, n, p) \cdot (1, 1, 1)}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{3}} = \frac{(m, n, p) \cdot (5, -1, -1)}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{27}}

Cancelling m2+n2+p2\sqrt{m^2 + n^2 + p^2} and multiplying both sides by 333\sqrt{3}:

3(m+n+p)=5m−n−p3(m + n + p) = 5m - n - p

3m+3n+3p=5m−n−p3m + 3n + 3p = 5m - n - p

4n+4p=2m4n + 4p = 2m

m=2(n+p)m = 2(n + p)

This is the required relationship between mm, nn and pp.

For L1L_1 to be the angle bisector, the angle between L1L_1 and OAOA must be exactly α\alpha. From cos⁡2α=2cos⁡2α−1=13\cos 2\alpha = 2\cos^2\alpha - 1 = \frac{1}{3}:

2cos⁡2α=43  ⟹  cos⁡α=232\cos^2\alpha = \frac{4}{3} \implies \cos\alpha = \sqrt{\frac{2}{3}}

So we additionally require:

m+n+pm2+n2+p2⋅3=23  ⟹  m+n+pm2+n2+p2=2\frac{m + n + p}{\sqrt{m^2 + n^2 + p^2} \cdot \sqrt{3}} = \sqrt{\frac{2}{3}} \implies \frac{m + n + p}{\sqrt{m^2 + n^2 + p^2}} = \sqrt{2}

Squaring both sides:

m2+n2+p2+2mn+2np+2pm=2(m2+n2+p2)m^2 + n^2 + p^2 + 2mn + 2np + 2pm = 2(m^2 + n^2 + p^2)

2mn+2np+2pm=m2+n2+p2(†)2mn + 2np + 2pm = m^2 + n^2 + p^2 \qquad (\dagger)

Substitute m=2n+2pm = 2n + 2p into (†)(\dagger). Left-hand side:

2(2n+2p)n+2np+2(2n+2p)p=4n2+4np+2np+4np+4p2=4n2+10np+4p22(2n+2p)n + 2np + 2(2n+2p)p = 4n^2 + 4np + 2np + 4np + 4p^2 = 4n^2 + 10np + 4p^2

Right-hand side:

(2n+2p)2+n2+p2=4n2+8np+4p2+n2+p2=5n2+8np+5p2(2n+2p)^2 + n^2 + p^2 = 4n^2 + 8np + 4p^2 + n^2 + p^2 = 5n^2 + 8np + 5p^2

Setting equal:

4n2+10np+4p2=5n2+8np+5p24n^2 + 10np + 4p^2 = 5n^2 + 8np + 5p^2

0=n2−2np+p2=(n−p)20 = n^2 - 2np + p^2 = (n - p)^2

So n=pn = p, giving m=4nm = 4n. Therefore (m,n,p)=(4,1,1)(m, n, p) = (4, 1, 1), or any non-zero scalar multiple.

Part (ii)

A line through the origin with direction (u,v,w)(u, v, w) makes angle α\alpha with OAOA when:

u+v+wu2+v2+w2⋅3=23\frac{u + v + w}{\sqrt{u^2 + v^2 + w^2} \cdot \sqrt{3}} = \sqrt{\frac{2}{3}}

By the same algebra as in part (i), squaring and simplifying yields:

u2+v2+w2=2(uv+vw+wu)u^2 + v^2 + w^2 = 2(uv + vw + wu)

This is the required relationship between uu, vv and ww.

For the surface x2+y2+z2=2(yz+zx+xy)x^2 + y^2 + z^2 = 2(yz + zx + xy): a point (x,y,z)≠0(x, y, z) \neq \mathbf{0} lies on this surface if and only if its position vector satisfies the condition above, meaning the line from the origin to (x,y,z)(x, y, z) makes angle α=12cos⁡−1 ⁣13\alpha = \frac{1}{2}\cos^{-1}\!\frac{1}{3} with OAOA.

The set of all lines through a fixed point making a fixed angle with a given line is a double cone. Thus the surface is a double cone with vertex at the origin, axis along OAOA, and half-angle α=12cos⁡−1 ⁣13\alpha = \frac{1}{2}\cos^{-1}\!\frac{1}{3}.

Examiner Notes

This was the least popular question on the paper and attracted the lowest average score of about 7. This is partly explained by the way that, like Q3 and Q6 particularly, it drew a lot of attempts from desperate weaker students who started, only to give up before too long (in order, presumably, to try yet another question in some hit-and-miss approach, scrambling for odd marks here and there). Of those who persevered, there were plenty of marks to be had. Little more was required than the use of the scalar product, a careful application of algebra, and a modest grasp of the geometrical implications of what the working represented.


Topic: 立体几何 (Solid Geometry)  |  Difficulty: Standard  |  Marks: 20

6 Each edge of the tetrahedron ABCDABCD has unit length. The face ABCABC is horizontal, and PP is the point in ABCABC that is vertically below DD.

(i) Find the length of PDPD.

(ii) Show that the cosine of the angle between adjacent faces of the tetrahedron is 1/31/3.

(iii) Find the radius of the largest sphere that can fit inside the tetrahedron.

Hint

Although it seems that 3-dimensional problems are not popular, this is actually a very, very easy question indeed and requires little more than identifying an appropriate right-angled triangle and using some basic trig. and/or Pythagoras. There are thus so many ways in which one can approach the three parts to this question that it is difficult to put forward just the one.

(i) Taking the midpoint of ABAB as the origin, OO, with the xx-axis along ABAB and the yy-axis along OCOC, we have a cartesian coordinate system to help us organise our thoughts.

Then A=(−12,0,0)A = (-\frac{1}{2}, 0, 0), B=(12,0,0)B = (\frac{1}{2}, 0, 0),

C=(0,32,0)C = (0, \frac{\sqrt{3}}{2}, 0) by trig. or Pythagoras, and

P=(0,36,0)P = (0, \frac{\sqrt{3}}{6}, 0). The standard distance formula

then gives PAPA (or PBPB) = 33\frac{\sqrt{3}}{3} and PD=63PD = \frac{\sqrt{6}}{3} or 23\sqrt{\frac{2}{3}}.

(ii) The angle between adjacent faces is (e.g.) ∠DOC=cos⁡−1(163123)\angle DOC = \cos^{-1} \left( \frac{\frac{1}{6}\sqrt{3}}{\frac{1}{2}\sqrt{3}} \right) in right-angled triangle

DOPDOP, which gives the required answer, cos⁡−113\cos^{-1} \frac{1}{3}.

(iii) The centre, SS, of the inscribed sphere must, by symmetry, lie on PDPD, equidistant from each vertex.

By Pythagoras, x2=112+(69−263x+x2)⇒x=64x^2 = \frac{1}{12} + \left( \frac{\sqrt{6}}{9} - 2\frac{\sqrt{6}}{3}x + x^2 \right) \Rightarrow x = \frac{\sqrt{6}}{4}. Then r=xsin⁡(90∘−(ii))=13x=612r = x \sin(90^\circ - \text{(ii)}) = \frac{1}{3}x = \frac{\sqrt{6}}{12}.

Alternatively, if you know that the sphere’s centre is at the centre of mass of the tetrahedron, the point (SS) with position vector 14(a+b+c+d)\frac{1}{4}(\mathbf{a} + \mathbf{b} + \mathbf{c} + \mathbf{d}), then the answer

is just 14DP=612\frac{1}{4} DP = \frac{\sqrt{6}}{12}.

Model Solution

Part (i)

Let MM be the midpoint of ABAB. We set up coordinates with MM at the origin, the xx-axis along ABAB, and the yy-axis along MCMC.

Since ABCABC is an equilateral triangle with side 1:

A=(−12,0,0),B=(12,0,0),C=(0,32,0)A = \left(-\tfrac{1}{2}, 0, 0\right), \quad B = \left(\tfrac{1}{2}, 0, 0\right), \quad C = \left(0, \tfrac{\sqrt{3}}{2}, 0\right)

The centroid PP of triangle ABCABC lies at the average of the three vertices:

P=(−12+12+03,  0+0+323,  0)=(0,  36,  0)P = \left(\frac{-\frac{1}{2} + \frac{1}{2} + 0}{3},\; \frac{0 + 0 + \frac{\sqrt{3}}{2}}{3},\; 0\right) = \left(0,\; \frac{\sqrt{3}}{6},\; 0\right)

Since DD is vertically above PP, we have D=(0,36,h)D = \left(0, \frac{\sqrt{3}}{6}, h\right) for some h>0h > 0.

Using ∣DA∣=1|DA| = 1:

(12)2+(36)2+h2=1\left(\frac{1}{2}\right)^2 + \left(\frac{\sqrt{3}}{6}\right)^2 + h^2 = 1

14+336+h2=1\frac{1}{4} + \frac{3}{36} + h^2 = 1

14+112+h2=1\frac{1}{4} + \frac{1}{12} + h^2 = 1

412+h2=1  ⟹  h2=23\frac{4}{12} + h^2 = 1 \implies h^2 = \frac{2}{3}

PD=h=23=63PD = h = \sqrt{\frac{2}{3}} = \frac{\sqrt{6}}{3}

Part (ii)

Let M′M' be the midpoint of BCBC. The dihedral angle between faces ABCABC and DBCDBC along edge BCBC equals the angle ∠M′PD\angle M'PD in the triangle DM′PDM'P, since:

  • DM′DM' is the median of equilateral triangle DBCDBC, so DM′⊥BCDM' \perp BC
  • PM′PM' lies in the base ABCABC and PM′⊥BCPM' \perp BC (since PP is the centroid and M′M' is the midpoint of BCBC, the line PM′PM' is along the median from AA to BCBC, which is perpendicular to BCBC)

Computing the lengths. First, PM′PM': since PP is the centroid and M′M' is the midpoint of BCBC, the distance PM′PM' is one-third of the median from AA to BCBC:

PM′=13⋅32=36PM' = \frac{1}{3} \cdot \frac{\sqrt{3}}{2} = \frac{\sqrt{3}}{6}

Next, DM′DM' is the height of equilateral triangle DBCDBC:

DM′=32DM' = \frac{\sqrt{3}}{2}

In right-angled triangle DPM′DPM' (right-angled at PP since DP⊥DP \perp the base):

tan⁡(∠DM′P)=DPPM′=6/33/6=63⋅63=22\tan(\angle DM'P) = \frac{DP}{PM'} = \frac{\sqrt{6}/3}{\sqrt{3}/6} = \frac{\sqrt{6}}{3} \cdot \frac{6}{\sqrt{3}} = 2\sqrt{2}

So sec⁡2(∠DM′P)=1+8=9\sec^2(\angle DM'P) = 1 + 8 = 9, giving cos⁡(∠DM′P)=13\cos(\angle DM'P) = \frac{1}{3}.

The cosine of the angle between adjacent faces is 13\frac{1}{3}. ✓\checkmark

Part (iii)

The centre SS of the inscribed sphere lies, by symmetry, on the altitude PDPD. Let SP=rSP = r, so SS is at distance rr from the base ABCABC, and SD=PD−r=63−rSD = PD - r = \frac{\sqrt{6}}{3} - r.

For the sphere to be tangent to face DBCDBC, the perpendicular distance from SS to the plane DBCDBC must equal rr. Since DPDP is perpendicular to the base ABCABC, and the dihedral angle between the base and face DBCDBC is α\alpha (where cos⁡α=13\cos\alpha = \frac{1}{3}), the angle between DPDP and face DBCDBC is 90∘−α90^\circ - \alpha. Therefore the perpendicular distance from SS to face DBCDBC is:

SD⋅sin⁡(90∘−α)=SD⋅cos⁡α=SD3SD \cdot \sin(90^\circ - \alpha) = SD \cdot \cos\alpha = \frac{SD}{3}

Setting this equal to rr:

r=13(63−r)r = \frac{1}{3}\left(\frac{\sqrt{6}}{3} - r\right)

3r=63−r3r = \frac{\sqrt{6}}{3} - r

4r=634r = \frac{\sqrt{6}}{3}

r=612r = \frac{\sqrt{6}}{12}

Alternative method: For a regular tetrahedron, the inscribed sphere’s centre coincides with the centroid, which lies on each altitude at a ratio of 1:31 : 3 from the base. Since PD=63PD = \frac{\sqrt{6}}{3}:

r=14⋅PD=612r = \frac{1}{4} \cdot PD = \frac{\sqrt{6}}{12}

Examiner Notes

Of the pure maths questions on the paper, only Q5 and this one attracted attempts from under half the candidature; this despite the fact that it is obviously (to the trained eye, at least) the easiest question on the paper. Parts (i) and (ii) require nothing more than GCSE trigonometry, and (iii) can be done in one line if one knows a little bit about geometric centres of 3-d shapes. Clearly 3-dimensional objects, and the associated trig., are sufficiently daunting to have put most folks off either completely or early on in the proceedings, and the average mark scored here was under 10.


Topic: 代数 (Algebra)  |  Difficulty: Challenging  |  Marks: 20

7 (i) By considering the positions of its turning points, show that the curve with equation y=x3−3qx−q(1+q),y = x^3 - 3qx - q(1 + q) , where q>0q > 0 and q≠1q \neq 1, crosses the xx-axis once only.

(ii) Given that xx satisfies the cubic equation x3−3qx−q(1+q)=0,x^3 - 3qx - q(1 + q) = 0 , and that x=u+q/u,x = u + q/u , obtain a quadratic equation satisfied by u3u^3. Hence find the real root of the cubic equation in the case q>0,q≠1q > 0, q \neq 1.

(iii) The quadratic equation t2−pt+q=0t^2 - pt + q = 0 has roots α\alpha and β\beta. Show that α3+β3=p3−3qp.\alpha^3 + \beta^3 = p^3 - 3qp . It is given that one of these roots is the square of the other. By considering the expression (α2−β)(β2−α)(\alpha^2 - \beta)(\beta^2 - \alpha), find a relationship between pp and qq. Given further that q>0,q≠1q > 0, q \neq 1 and pp is real, determine the value of pp in terms of qq.

Hint

7 The first two parts of the question begin, helpfully, by saying exactly what to consider in order to proceed, and the material should certainly appear to be routine enough to make these parts very accessible. Where things are going in (iii) may not immediately be obvious but, presumably, there is a purpose to (i) and (ii) which should become clear in (iii).

(i) y=x3−3qx−q(1+q)⇒dydx=3(x2−q)=0y = x^3 - 3qx - q(1 + q) \Rightarrow \frac{dy}{dx} = 3(x^2 - q) = 0 for x=±qx = \pm\sqrt{q}.

When x=+qx = +\sqrt{q}, y=−q(q+1)2<0y = -q(\sqrt{q} + 1)^2 < 0 since q>0q > 0

When x=−qx = -\sqrt{q}, y=−q(q−1)2<0y = -q(\sqrt{q} - 1)^2 < 0 since q>0q > 0 and q≠1q \neq 1

Since both TPs below x-axis, the curve crosses the x-axis once only (possibly with sketch)

(ii) x=u+qu⇒x3=u3+3uq+3q2u+q3u3x = u + \frac{q}{u} \Rightarrow x^3 = u^3 + 3uq + 3\frac{q^2}{u} + \frac{q^3}{u^3}

0=x3−3qx−q(1+q)=u3+3uq+3q2u+q3u3−3qu−3q2u−q−q20 = x^3 - 3qx - q(1 + q) = u^3 + 3uq + 3\frac{q^2}{u} + \frac{q^3}{u^3} - 3qu - 3\frac{q^2}{u} - q - q^2

⇒u3+q3u3−q(1+q)=0\Rightarrow u^3 + \frac{q^3}{u^3} - q(1 + q) = 0 or (u3)2−q(1+q)(u3)+q3=0(u^3)^2 - q(1 + q)(u^3) + q^3 = 0

u3=q(1+q)±q2(1+q)2−4q32=q2{1+q±1+2q+q2−4q}u^3 = \frac{q(1 + q) \pm \sqrt{q^2(1 + q)^2 - 4q^3}}{2} = \frac{q}{2} \left\{ 1 + q \pm \sqrt{1 + 2q + q^2 - 4q} \right\}

=q2{1+q±(1−q)2}=q2{1+q±(1−q)}=q= \frac{q}{2} \left\{ 1 + q \pm \sqrt{(1 - q)^2} \right\} = \frac{q}{2} \{ 1 + q \pm (1 - q) \} = q or q2q^2

giving u=q13u = q^{\frac{1}{3}} or q23q^{\frac{2}{3}} and x=q13+q23x = q^{\frac{1}{3}} + q^{\frac{2}{3}}

(iii) α+β=p\alpha + \beta = p, αβ=q⇒α3+β3=(α+β)3−3αβ(α+β)=p3−3qp\alpha\beta = q \Rightarrow \alpha^3 + \beta^3 = (\alpha + \beta)^3 - 3\alpha\beta(\alpha + \beta) = p^3 - 3qp.

One root is the square of the other ⇔α=β2\Leftrightarrow \alpha = \beta^2 or β=α2⇔0=(α2−β)(α−β2)\beta = \alpha^2 \Leftrightarrow 0 = (\alpha^2 - \beta)(\alpha - \beta^2). Then 0=(α2−β)(α−β2)=α3+β3−αβ−(αβ)2=p3−3qp−q(1+q)0 = (\alpha^2 - \beta)(\alpha - \beta^2) = \alpha^3 + \beta^3 - \alpha\beta - (\alpha\beta)^2 = p^3 - 3qp - q(1 + q)

⇔p=q13+q23\Leftrightarrow p = q^{\frac{1}{3}} + q^{\frac{2}{3}}.

Model Solution

Part (i)

We have y=x3−3qx−q(1+q)y = x^3 - 3qx - q(1+q), so

dydx=3x2−3q=3(x2−q).\frac{dy}{dx} = 3x^2 - 3q = 3(x^2 - q).

Setting dydx=0\frac{dy}{dx} = 0 gives turning points at x=±qx = \pm\sqrt{q}.

At x=qx = \sqrt{q}:

y=qq−3qq−q−q2=−2qq−q−q2=−q(2q+1+q)=−q(q+1)2.y = q\sqrt{q} - 3q\sqrt{q} - q - q^2 = -2q\sqrt{q} - q - q^2 = -q(2\sqrt{q} + 1 + q) = -q(\sqrt{q} + 1)^2.

Since q>0q > 0, we have −q(q+1)2<0-q(\sqrt{q}+1)^2 < 0.

At x=−qx = -\sqrt{q}:

y=−qq+3qq−q−q2=2qq−q−q2=−q(−2q+1+q)=−q(q−1)2.y = -q\sqrt{q} + 3q\sqrt{q} - q - q^2 = 2q\sqrt{q} - q - q^2 = -q(-2\sqrt{q} + 1 + q) = -q(\sqrt{q} - 1)^2.

Since q>0q > 0 and q≠1q \neq 1, we have (q−1)2>0(\sqrt{q}-1)^2 > 0, so −q(q−1)2<0-q(\sqrt{q}-1)^2 < 0.

Both turning points lie below the xx-axis. Since the leading coefficient of x3x^3 is positive, y→−∞y \to -\infty as x→−∞x \to -\infty and y→+∞y \to +\infty as x→+∞x \to +\infty. The curve therefore crosses the xx-axis exactly once (to the right of x=qx = \sqrt{q}).

Part (ii)

Substituting x=u+q/ux = u + q/u into x3−3qx−q(1+q)=0x^3 - 3qx - q(1+q) = 0:

First, compute x3x^3:

x3=(u+qu)3=u3+3u2⋅qu+3u⋅q2u2+q3u3=u3+3qu+3q2u+q3u3.x^3 = \left(u + \frac{q}{u}\right)^3 = u^3 + 3u^2 \cdot \frac{q}{u} + 3u \cdot \frac{q^2}{u^2} + \frac{q^3}{u^3} = u^3 + 3qu + \frac{3q^2}{u} + \frac{q^3}{u^3}.

Next, compute 3qx3qx:

3qx=3q ⁣(u+qu)=3qu+3q2u.3qx = 3q\!\left(u + \frac{q}{u}\right) = 3qu + \frac{3q^2}{u}.

Substituting into the cubic:

u3+3qu+3q2u+q3u3−3qu−3q2u−q(1+q)=0.u^3 + 3qu + \frac{3q^2}{u} + \frac{q^3}{u^3} - 3qu - \frac{3q^2}{u} - q(1+q) = 0.

The 3qu3qu and 3q2/u3q^2/u terms cancel, leaving:

u3+q3u3−q(1+q)=0.u^3 + \frac{q^3}{u^3} - q(1+q) = 0.

Multiplying through by u3u^3:

(u3)2−q(1+q) u3+q3=0.(u^3)^2 - q(1+q)\,u^3 + q^3 = 0.

This is a quadratic in u3u^3. By the quadratic formula:

u3=q(1+q)±q2(1+q)2−4q32.u^3 = \frac{q(1+q) \pm \sqrt{q^2(1+q)^2 - 4q^3}}{2}.

The discriminant simplifies as:

q2(1+q)2−4q3=q2 ⁣((1+q)2−4q)=q2(1−2q+q2)=q2(1−q)2.q^2(1+q)^2 - 4q^3 = q^2\!\left((1+q)^2 - 4q\right) = q^2(1 - 2q + q^2) = q^2(1-q)^2.

So q2(1−q)2=q∣1−q∣\sqrt{q^2(1-q)^2} = q|1-q|. Since q>0q > 0 and q≠1q \neq 1:

u3=q(1+q)±q∣1−q∣2.u^3 = \frac{q(1+q) \pm q|1-q|}{2}.

If 0<q<10 < q < 1: ∣1−q∣=1−q|1-q| = 1-q, giving u3=q(1+q)±q(1−q)2u^3 = \frac{q(1+q) \pm q(1-q)}{2}, so u3=qu^3 = q or u3=q2u^3 = q^2.

If q>1q > 1: ∣1−q∣=q−1|1-q| = q-1, giving u3=q(1+q)±q(q−1)2u^3 = \frac{q(1+q) \pm q(q-1)}{2}, so u3=q2u^3 = q^2 or u3=qu^3 = q.

In either case, u3=qu^3 = q or u3=q2u^3 = q^2, yielding u=q1/3u = q^{1/3} or u=q2/3u = q^{2/3}.

Since x=u+q/ux = u + q/u, taking u=q1/3u = q^{1/3} gives x=q1/3+q2/3x = q^{1/3} + q^{2/3}. (Taking u=q2/3u = q^{2/3} gives the same value of xx.)

The real root of the cubic is x=q1/3+q2/3x = q^{1/3} + q^{2/3}.

Part (iii)

By Vieta’s relations: α+β=p\alpha + \beta = p and αβ=q\alpha\beta = q.

α3+β3=(α+β)3−3αβ(α+β)=p3−3qp.\alpha^3 + \beta^3 = (\alpha + \beta)^3 - 3\alpha\beta(\alpha + \beta) = p^3 - 3qp.

Now suppose one root is the square of the other, i.e., α=β2\alpha = \beta^2 or β=α2\beta = \alpha^2. This is equivalent to

(α2−β)(β2−α)=0.(\alpha^2 - \beta)(\beta^2 - \alpha) = 0.

Expanding:

(α2−β)(β2−α)=α2β2−α3−β3+αβ=(αβ)2+αβ−(α3+β3).(\alpha^2 - \beta)(\beta^2 - \alpha) = \alpha^2\beta^2 - \alpha^3 - \beta^3 + \alpha\beta = (\alpha\beta)^2 + \alpha\beta - (\alpha^3 + \beta^3).

Setting this to zero and substituting αβ=q\alpha\beta = q and α3+β3=p3−3qp\alpha^3 + \beta^3 = p^3 - 3qp:

q2+q−(p3−3qp)=0,q^2 + q - (p^3 - 3qp) = 0,

p3−3qp−q(1+q)=0.(...)p^3 - 3qp - q(1+q) = 0. \qquad \text{(...)}

This is exactly the cubic equation from part (ii) with pp in place of xx. Since q>0q > 0 and q≠1q \neq 1, part (ii) gives the unique real root:

p=q1/3+q2/3.p = q^{1/3} + q^{2/3}.

Examiner Notes

Q7 This proved to be the second most popular question on the paper, both by choice and by success. I imagine that its helpful structure probably contributed significantly to both. Part of the problem is that there are ways to do this using methods not on single maths specifications, so it was necessary to be quite specific. Nonetheless, there were still areas where marks were commonly lost; in (i), candidates were required to show that both TPs lie below the xx-axis and, while one of the yy-coordinates was obviously negative (being the sum of three negative terms), the other one was only obviously so by completing the square. The problems found by candidates, even in the first case, just highlights the widespread difficulty found by students when dealing with inequalities.


Topic: 积分 (Integration)  |  Difficulty: Challenging  |  Marks: 20

8 The curves C1C_1 and C2C_2 are defined by y=e−x(x>0)andy=e−xsin⁡x(x>0),y = e^{-x} \quad (x > 0) \quad \text{and} \quad y = e^{-x} \sin x \quad (x > 0), respectively. Sketch roughly C1C_1 and C2C_2 on the same diagram.

Let xnx_n denote the xx-coordinate of the nnth point of contact between the two curves, where 0<x1<x2<⋯0 < x_1 < x_2 < \cdots, and let AnA_n denote the area of the region enclosed by the two curves between xnx_n and xn+1x_{n+1}. Show that An=12(e2π−1)e−(4n+1)π/2A_n = \tfrac{1}{2}(e^{2\pi} - 1)e^{-(4n+1)\pi/2} and hence find ∑n=1∞An\displaystyle \sum_{n=1}^{\infty} A_n.

Hint

8 When asked to draw sketches of graphs, it is important to note the key features. The first curve is a standard “exponential decay” curve; the second has the extra factor of sin⁡x\sin x. Now sin⁡x\sin x oscillates between −1-1 and 11, and introduces zeroes at intervals of π\pi. Thus, C2C_2 oscillates between C1C_1 and −C1-C_1, with zeroes every π\pi units along the xx-axis. This sketch of the two curves should then make it clear that the xix_i that are then introduced are the xx-coordinates of C2C_2’s maxima, when sin⁡x=1\sin x = 1. [It is important to be clear in your description of xnx_n and xn+1x_{n+1} in terms of nn as these are going to be substituted as limits into the area integrals that follow.] The integration required to find one representative area will involve the use of “parts”, and the final summation looks like it must be that of an infinite GP.

The curves meet each time sin⁡x=1\sin x = 1 when x=2nπ+π2x = 2n\pi + \frac{\pi}{2} (n=0,1,2,…n = 0, 1, 2, \dots).

Thus xn=(4n−3)π2x_n = \frac{(4n-3)\pi}{2} and xn+1=(4n+1)π2x_{n+1} = \frac{(4n+1)\pi}{2}.

∫(e−xsin⁡x)dx\int (e^{-x} \sin x) dx attempted by parts =−e−x⋅cos⁡x−∫(e−x⋅cos⁡x)dx= -e^{-x} \cdot \cos x - \int (e^{-x} \cdot \cos x) dx or −e−x⋅sin⁡x−∫(e−x⋅sin⁡x)dx-e^{-x} \cdot \sin x - \int (e^{-x} \cdot \sin x) dx

(depending on your choice of ‘1st1^{\text{st}}’ and ‘2nd2^{\text{nd}}’ part) =−e−x⋅cos⁡x−{e−x⋅sin⁡x+∫(e−x⋅sin⁡x)dx}= -e^{-x} \cdot \cos x - \left\{ e^{-x} \cdot \sin x + \int (e^{-x} \cdot \sin x) dx \right\}.

Then I=−e−x(cos⁡x+sin⁡x)−II = -e^{-x} (\cos x + \sin x) - I (by “looping”) =−12e−x(cos⁡x+sin⁡x)= -\frac{1}{2} e^{-x} (\cos x + \sin x)

An=∫xnxn+1(e−x−e−xsin⁡x)dx=[−e−x+12e−x(cos⁡x+sin⁡x)]xnxn+1A_n = \int_{x_n}^{x_{n+1}} (e^{-x} - e^{-x} \sin x) dx = \left[ -e^{-x} + \frac{1}{2} e^{-x} (\cos x + \sin x) \right]_{x_n}^{x_{n+1}} or [12e−x(cos⁡x+sin⁡x−2)]xnxn+1\left[ \frac{1}{2} e^{-x} (\cos x + \sin x - 2) \right]_{x_n}^{x_{n+1}}

=12e−12π(4n+1)(0+1−2)−12e−12π(4n−3)(0+1−2)=12e−12π(4n+1)(−1+e2π)= \frac{1}{2} e^{-\frac{1}{2}\pi(4n+1)} (0+1-2) - \frac{1}{2} e^{-\frac{1}{2}\pi(4n-3)} (0+1-2) = \frac{1}{2} e^{-\frac{1}{2}\pi(4n+1)} (-1+e^{2\pi})

Note that A1=12e−52π(e2π−1)A_1 = \frac{1}{2} e^{-\frac{5}{2}\pi} (e^{2\pi} - 1) and An+1=e−2πAnA_{n+1} = e^{-2\pi} A_n so that ∑n=1∞An=A1{1+(e−2π)+(e−2π)2+… }\sum_{n=1}^{\infty} A_n = A_1 \left\{ 1 + (e^{-2\pi}) + (e^{-2\pi})^2 + \dots \right\}

=12e−52π(e2π−1)×11−e−2π=12e−52π(e2π−1)×e2πe2π−1= \frac{1}{2} e^{-\frac{5}{2}\pi} (e^{2\pi} - 1) \times \frac{1}{1 - e^{-2\pi}} = \frac{1}{2} e^{-\frac{5}{2}\pi} (e^{2\pi} - 1) \times \frac{e^{2\pi}}{e^{2\pi} - 1} (using the S∞S_{\infty} of a GP formula) =12e−12π= \frac{1}{2} e^{-\frac{1}{2}\pi}

Model Solution

Sketch

C1:y=e−xC_1: y = e^{-x} is a standard exponential decay curve, starting at (0,1)(0, 1) and approaching 00 as x→∞x \to \infty.

C2:y=e−xsin⁡xC_2: y = e^{-x}\sin x oscillates between e−xe^{-x} and −e−x-e^{-x}, crossing the xx-axis at x=π,2π,3π,…x = \pi, 2\pi, 3\pi, \ldots, and touching C1C_1 at its maxima where sin⁡x=1\sin x = 1.

Finding the points of contact

The curves meet when e−x=e−xsin⁡xe^{-x} = e^{-x}\sin x, i.e., sin⁡x=1\sin x = 1. For x>0x > 0:

x=π2,  5π2,  9π2,  …x = \frac{\pi}{2},\; \frac{5\pi}{2},\; \frac{9\pi}{2},\; \ldots

In general, xn=(4n−3)π2x_n = \frac{(4n-3)\pi}{2} for n=1,2,3,…n = 1, 2, 3, \ldots

So xn=(4n−3)π2x_n = \frac{(4n-3)\pi}{2} and xn+1=(4n+1)π2x_{n+1} = \frac{(4n+1)\pi}{2}.

Computing ∫e−xsin⁡x dx\int e^{-x}\sin x\, dx by parts

Let I=∫e−xsin⁡x dxI = \int e^{-x}\sin x\, dx. Using integration by parts with u=sin⁡xu = \sin x, dv=e−xdxdv = e^{-x}dx:

I=−e−xsin⁡x+∫e−xcos⁡x dxI = -e^{-x}\sin x + \int e^{-x}\cos x\, dx

Apply parts again to ∫e−xcos⁡x dx\int e^{-x}\cos x\, dx with u=cos⁡xu = \cos x, dv=e−xdxdv = e^{-x}dx:

∫e−xcos⁡x dx=−e−xcos⁡x−∫e−xsin⁡x dx=−e−xcos⁡x−I\int e^{-x}\cos x\, dx = -e^{-x}\cos x - \int e^{-x}\sin x\, dx = -e^{-x}\cos x - I

Substituting back:

I=−e−xsin⁡x−e−xcos⁡x−II = -e^{-x}\sin x - e^{-x}\cos x - I

2I=−e−x(sin⁡x+cos⁡x)2I = -e^{-x}(\sin x + \cos x)

I=−12e−x(sin⁡x+cos⁡x)I = -\frac{1}{2}e^{-x}(\sin x + \cos x)

Computing AnA_n

Between xnx_n and xn+1x_{n+1}, we have sin⁡x<1\sin x < 1 (since sin⁡x=1\sin x = 1 only at the endpoints), so e−xsin⁡x<e−xe^{-x}\sin x < e^{-x}. The enclosed area is:

An=∫xnxn+1(e−x−e−xsin⁡x)dx=∫xnxn+1e−x dx−∫xnxn+1e−xsin⁡x dxA_n = \int_{x_n}^{x_{n+1}} \left(e^{-x} - e^{-x}\sin x\right) dx = \int_{x_n}^{x_{n+1}} e^{-x}\, dx - \int_{x_n}^{x_{n+1}} e^{-x}\sin x\, dx

=[−e−x]xnxn+1−[−12e−x(sin⁡x+cos⁡x)]xnxn+1= \Big[-e^{-x}\Big]_{x_n}^{x_{n+1}} - \left[-\frac{1}{2}e^{-x}(\sin x + \cos x)\right]_{x_n}^{x_{n+1}}

=[−e−x+12e−x(sin⁡x+cos⁡x)]xnxn+1= \left[-e^{-x} + \frac{1}{2}e^{-x}(\sin x + \cos x)\right]_{x_n}^{x_{n+1}}

=[12e−x(sin⁡x+cos⁡x−2)]xnxn+1= \left[\frac{1}{2}e^{-x}(\sin x + \cos x - 2)\right]_{x_n}^{x_{n+1}}

At xn+1=(4n+1)π2x_{n+1} = \frac{(4n+1)\pi}{2}: sin⁡xn+1=sin⁡ ⁣(2nπ+π2)=1\sin x_{n+1} = \sin\!\left(2n\pi + \frac{\pi}{2}\right) = 1 and cos⁡xn+1=0\cos x_{n+1} = 0.

At xn=(4n−3)π2x_n = \frac{(4n-3)\pi}{2}: sin⁡xn=sin⁡ ⁣(2(n−1)π+π2)=1\sin x_n = \sin\!\left(2(n-1)\pi + \frac{\pi}{2}\right) = 1 and cos⁡xn=0\cos x_n = 0.

So at both limits, sin⁡x+cos⁡x−2=1+0−2=−1\sin x + \cos x - 2 = 1 + 0 - 2 = -1.

An=12e−xn+1(−1)−12e−xn(−1)=12(e−xn−e−xn+1)A_n = \frac{1}{2}e^{-x_{n+1}}(-1) - \frac{1}{2}e^{-x_n}(-1) = \frac{1}{2}\left(e^{-x_n} - e^{-x_{n+1}}\right)

Now xn+1−xn=(4n+1)π2−(4n−3)π2=2πx_{n+1} - x_n = \frac{(4n+1)\pi}{2} - \frac{(4n-3)\pi}{2} = 2\pi, so e−xn=e−xn+1⋅e2πe^{-x_n} = e^{-x_{n+1}} \cdot e^{2\pi}.

An=12e−xn+1 ⁣(e2π−1)A_n = \frac{1}{2}e^{-x_{n+1}}\!\left(e^{2\pi} - 1\right)

Since xn+1=(4n+1)π2x_{n+1} = \frac{(4n+1)\pi}{2}:

An=12 ⁣(e2π−1)e−(4n+1)π/2✓A_n = \frac{1}{2}\!\left(e^{2\pi} - 1\right)e^{-(4n+1)\pi/2} \qquad \checkmark

Summing the series

The ratio between consecutive terms is:

An+1An=e−(4(n+1)+1)π/2e−(4n+1)π/2=e−2π\frac{A_{n+1}}{A_n} = \frac{e^{-(4(n+1)+1)\pi/2}}{e^{-(4n+1)\pi/2}} = e^{-2\pi}

So {An}\{A_n\} is a geometric series with first term A1=12(e2π−1)e−5π/2A_1 = \frac{1}{2}(e^{2\pi}-1)e^{-5\pi/2} and common ratio e−2π<1e^{-2\pi} < 1.

∑n=1∞An=A11−e−2π=12(e2π−1)e−5π/21−e−2π\sum_{n=1}^{\infty} A_n = \frac{A_1}{1 - e^{-2\pi}} = \frac{\frac{1}{2}(e^{2\pi}-1)e^{-5\pi/2}}{1 - e^{-2\pi}}

Since 1−e−2π=e2π−1e2π1 - e^{-2\pi} = \frac{e^{2\pi} - 1}{e^{2\pi}}:

∑n=1∞An=12(e2π−1)e−5π/2⋅e2πe2π−1=12e−5π/2⋅e2π=12e−π/2\sum_{n=1}^{\infty} A_n = \frac{1}{2}(e^{2\pi}-1)e^{-5\pi/2} \cdot \frac{e^{2\pi}}{e^{2\pi}-1} = \frac{1}{2}e^{-5\pi/2} \cdot e^{2\pi} = \frac{1}{2}e^{-\pi/2}