Maths Olympiad Prep

Library / /100 of 100

Algebra Difficulty 7.5 National olympiad, round 2 Prove it China

It is known that p,qp, q (q0q \neq 0) are real numbers; the equation x2px+q=0x^2 - px + q = 0 has two real roots α,β\alpha, \beta; the sequence {an}\{a_n\} satisfies a1=pa_1 = p, a2=p2qa_2 = p^2 - q, an=pan1qan2a_n = p a_{n-1} - q a_{n-2} (n=3,4,n = 3, 4, \dots).

a. Find the general expression of {an}\{a_n\} in terms of α,β\alpha, \beta.

b. If p=1p = 1, q=14q = -\frac{1}{4}, find the sum of the first nn terms of {an}\{a_n\}.

Solutions — 2

Solution 1

(1) By Vieta's theorem, we have α×β=q0\alpha \times \beta = q \neq 0, α+β=p\alpha + \beta = p. Then
an=pan1qan2=(α+β)an1αβan2(n=3,4,). \begin{aligned} a_n &= p a_{n-1} - q a_{n-2} \\ &= (\alpha + \beta)a_{n-1} - \alpha\beta a_{n-2} \quad (n = 3, 4, \dots). \end{aligned}
This can be rewritten as
anβan1=α(an1βan2). a_n - \beta a_{n-1} = \alpha (a_{n-1} - \beta a_{n-2}).
Let bn=an+1βanb_n = a_{n+1} - \beta a_n. Then bn+1=αbnb_{n+1} = \alpha b_n (n=1,2,n = 1, 2, \dots). This means that {bn}\{b_n\} is a geometric sequence with the common ratio α\alpha. The first term of {bn}\{b_n\} is
b1=a2βa1=p2qβp=(α+β)2αββ(α+β)=α2. b_1 = a_2 - \beta a_1 = p^2 - q - \beta p = (\alpha + \beta)^2 - \alpha\beta - \beta(\alpha + \beta) = \alpha^2.
Therefore, bn=α2×αn1=αn+1b_n = \alpha^2 \times \alpha^{n-1} = \alpha^{n+1}. Then an+1βan=αn+1a_{n+1} - \beta a_n = \alpha^{n+1}. By rewriting
an+1=αn+1+βan(n=1,2,).1 a_{n+1} = \alpha^{n+1} + \beta a_n \quad (n = 1, 2, \dots). \quad \textcircled{1}
When Δ=p24q=0\Delta = p^2 - 4q = 0, we have α=β0\alpha = \beta \neq 0, a1=p2αa_1 = p - 2\alpha. The expression 1\textcircled{1} becomes an+1=αn+1+αana_{n+1} = \alpha^{n+1} + \alpha a_n, i.e. an+1αn+1anαn=1\frac{a_{n+1}}{\alpha^{n+1}} - \frac{a_n}{\alpha^n} = 1.
Then {anαn}\left\{\frac{a_n}{\alpha^n}\right\} is an arithmetic sequence with the common difference 11, whose first term is a1α=2αα=2\frac{a_1}{\alpha} = \frac{2\alpha}{\alpha} = 2. Therefore,
anαn=2+1×(n1)=n+1. \frac{a_n}{\alpha^n} = 2 + 1 \times (n - 1) = n + 1.
As a result, the general expression of {an}\{a_n\} is
an=(n+1)αn.2 a_n = (n + 1)\alpha^n. \quad \textcircled{2}
When Δ>0\Delta > 0, αβ\alpha \neq \beta, we have
an+1=αn+1+βan=βan+ββααn+1αβααn+1(n=1,2,). \begin{aligned} a_{n+1} &= \alpha^{n+1} + \beta a_n \\ &= \beta a_n + \frac{\beta}{\beta - \alpha} \alpha^{n+1} - \frac{\alpha}{\beta - \alpha} \alpha^{n+1} \quad (n = 1, 2, \dots). \end{aligned}
By rewriting,
an+1+αn+2βα=β(an+αn+1βα)(n=1,2,). a_{n+1} + \frac{\alpha^{n+2}}{\beta - \alpha} = \beta \left(a_n + \frac{\alpha^{n+1}}{\beta - \alpha}\right) \quad (n = 1, 2, \dots).
Then {an+αn+1βα}\left\{a_n + \frac{\alpha^{n+1}}{\beta - \alpha}\right\} becomes a geometric sequence with the common ratio β\beta, whose first term is
a1+α2βα=α+β+α2βα=β2βα. a_1 + \frac{\alpha^2}{\beta - \alpha} = \alpha + \beta + \frac{\alpha^2}{\beta - \alpha} = \frac{\beta^2}{\beta - \alpha}.
Therefore,
an+αn+1βα=β2βαβn1. a_n + \frac{\alpha^{n+1}}{\beta - \alpha} = \frac{\beta^2}{\beta - \alpha} \beta^{n-1}.
Then the general expression of {an}\{a_n\} is
an=βn+1αn+1βα(n=1,2,).3 a_n = \frac{\beta^{n+1} - \alpha^{n+1}}{\beta - \alpha} \quad (n = 1, 2, \dots). \qquad \textcircled{3}

(2) Given p=1p = 1, q=14q = \frac{1}{4}, we have Δ=p24q=0\Delta = p^2 - 4q = 0. Then α=β=12\alpha = \beta = \frac{1}{2}. By the expression (2), the general expression of {an}\{a_n\} is
an=(n+1)(12)n=n+12n(n=1,2,). a_n = (n+1)\left(\frac{1}{2}\right)^n = \frac{n+1}{2^n} \quad (n=1, 2, \dots).
Therefore, the sum of the first nn terms of {an}\{a_n\} is
Sn=22+322++n+12n.4 S_n = \frac{2}{2} + \frac{3}{2^2} + \dots + \frac{n+1}{2^n}. \qquad \textcircled{4}
Then
12Sn=222+323++n+12n+1.5 \frac{1}{2} S_n = \frac{2}{2^2} + \frac{3}{2^3} + \dots + \frac{n+1}{2^{n+1}}. \qquad \textcircled{5}
45\textcircled{4} - \textcircled{5},
12Sn=32n+32n+1. \frac{1}{2} S_n = \frac{3}{2} - \frac{n+3}{2^{n+1}}.
We finally get
Sn=3n+32n. S_n = 3 - \frac{n+3}{2^n}.

Solution 2

(1) By Vieta's theorem, we have α×β=q0\alpha \times \beta = q \neq 0, α+β=p\alpha + \beta = p. Then
a1=α+β,a2=α2+αβ+β2.6 a_1 = \alpha + \beta, \quad a_2 = \alpha^2 + \alpha\beta + \beta^2. \qquad \textcircled{6}
The characteristic equation of {an}\{a_n\} is λ2pλ+q=0\lambda^2 - p\lambda + q = 0, which has roots α,β\alpha, \beta. Then we can write down the general expression of {an}\{a_n\} according to the following different situations:

When α=β0\alpha = \beta \neq 0, an=(A1+A2n)αna_n = (A_1 + A_2 n) \alpha^n. From (6), we have
(A1+A2)α=2α,(A1+2A2)α2=3α2. (A_1 + A_2)\alpha = 2\alpha, \\ (A_1 + 2A_2)\alpha^2 = 3\alpha^2.
Then we get A1=A2=1A_1 = A_2 = 1. Therefore,
an=(n+1)αn. a_n = (n + 1)\alpha^n.
When αβ\alpha \neq \beta, an=Λ1αn+Λ2βna_n = \Lambda_1 \alpha^n + \Lambda_2 \beta^n. From (6), we have
A1α+A2β=α+β,A1α2+A2β2=α2+αβ+β2. A_1 \alpha + A_2 \beta = \alpha + \beta, \\ A_1 \alpha^2 + A_2 \beta^2 = \alpha^2 + \alpha\beta + \beta^2.
Then we get A1=αβαA_1 = \frac{-\alpha}{\beta - \alpha}, A2=ββαA_2 = \frac{\beta}{\beta - \alpha}. Therefore,
an=αn+1βα+βn+1βα=βn+1αn+1βα. a_n = \frac{-\alpha^{n+1}}{\beta - \alpha} + \frac{\beta^{n+1}}{\beta - \alpha} = \frac{\beta^{n+1} - \alpha^{n+1}}{\beta - \alpha}.

(2) The solution is the same as Solution I.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.