Maths Olympiad Prep

Library / /1 of 2

, 2015

Algebra Difficulty 8.5 Shortlist Prove it Vietnam

Let α\alpha be a positive root of the equation x2+x=5x^2 + x = 5. Suppose that nn is a positive integer and c0,c1,,cnc_0, c_1, \dots, c_n are nonnegative integers satisfying the condition
c0+c1α+c2α2++cnαn=2015. c_0 + c_1\alpha + c_2\alpha^2 + \dots + c_n\alpha^n = 2015.
a) Prove that c0+c1++cn2(mod3)c_0 + c_1 + \dots + c_n \equiv 2 \pmod{3}.
b) Find the minimum of c0+c1++cnc_0 + c_1 + \dots + c_n.

Solution

a) Let P(x)=cnxn+cn1xn1++c1x+c02015P(x) = c_nx^n + c_{n-1}x^{n-1} + \dots + c_1x + c_0 - 2015, then P(α)=0P(\alpha) = 0. Suppose that when we divide P(x)P(x) by x2+x5x^2 + x - 5, we have a quotient Q(x)Q(x) and the remainder R(x)=Ax+BR(x) = Ax + B with integers A,BA, B. Then
0=P(α)=(α2+α5)Q(α)+Aα+B=Aα+B. 0 = P(\alpha) = (\alpha^2 + \alpha - 5)Q(\alpha) + A\alpha + B = A\alpha + B.
Since α\alpha is irrational, it follows that A=B=0A = B = 0. So
P(x)=Q(x)(x2+x5). P(x) = Q(x)(x^2 + x - 5).
When x=1x = 1, we have P(1)=3Q(1)P(1) = -3Q(1). This implies that
c0+c1++cn20153Q(1)2(mod3). c_0 + c_1 + \dots + c_n \equiv 2015 - 3Q(1) \equiv 2 \pmod{3}.

b) Suppose that (c0,c1,,cn)(c_0, c_1, \dots, c_n) is the set of nonnegative integers such that
(1) c0+c1α++cnαn=2015c_0 + c_1\alpha + \dots + c_n\alpha^n = 2015; and
(2) c0+c1++cnc_0 + c_1 + \dots + c_n is minimal.
We note that 0ci40 \le c_i \le 4 for all i=0,1,,n2i = 0, 1, \dots, n-2, since otherwise, the set (c0,,ci1,ci5,ci+1+1,ci+2+1,ci+3,,cn)(c_0, \dots, c_{i-1}, c_i-5, c_{i+1}+1, c_{i+2}+1, c_{i+3}, \dots, c_n) also satisfies (1) and has a smaller sum, which is a contradiction.
Let Q(x)=an2xn2++a0Q(x) = a_{n-2}x^{n-2} + \dots + a_0. Since P(x)=Q(x)(x2+x5)P(x) = Q(x)(x^2 + x - 5), we have
c02015=5a0c1=5a1+a0c2=5a2+a1+a0c3=5a3+a2+a1 \begin{aligned} c_0 - 2015 &= -5a_0 \\ c_1 &= -5a_1 + a_0 \\ c_2 &= -5a_2 + a_1 + a_0 \\ c_3 &= -5a_3 + a_2 + a_1 \\\dots \end{aligned}
Since ci{0,1,2,3,4}c_i \in \{0, 1, 2, 3, 4\}, it follows from the first line that c0=0c_0 = 0 and a0=403a_0 = 403. From the second line, we have c1=3,a1=80c_1 = 3, a_1 = 80. In general, ci+1=MOD(ai+ai1,5)c_{i+1} = \text{MOD}(a_i + a_{i-1}, 5) and ai+1=DIV(ai+ai1,5)a_{i+1} = \text{DIV}(a_i + a_{i-1}, 5). Therefore, we have
{a0,a1,,a11}={403,80,96,35,26,12,7,3,2,1,0,0}{c0,c1,,c11}={0,3,3,1,1,1,3,4,0,0,3,1}. \begin{aligned} \{a_0, a_1, \dots, a_{11}\} &= \{403, 80, 96, 35, 26, 12, 7, 3, 2, 1, 0, 0\} \\ \{c_0, c_1, \dots, c_{11}\} &= \{0, 3, 3, 1, 1, 1, 3, 4, 0, 0, 3, 1\}. \end{aligned}
Hence, the minimum value of c0++cnc_0 + \dots + c_n is
0+3+3+1+1+1+3+4+0+0+3+1=20. 0 + 3 + 3 + 1 + 1 + 1 + 3 + 4 + 0 + 0 + 3 + 1 = 20.

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.