Maths Olympiad Prep

Library / /4 of 8

Number theory Difficulty 6.2 National olympiad Prove it Ireland

Find a3,a4,,a2008a_3, a_4, \dots, a_{2008}, such that ai=±1a_i = \pm 1 for i=3,,2008i = 3, \dots, 2008 and
i=32008ai2i=2008, \sum_{i=3}^{2008} a_i 2^i = 2008,
and show that the numbers a3,a4,,a2008a_3, a_4, \dots, a_{2008} are uniquely determined by these conditions.

Solution

Existence: Dividing both sides by 88, we require
251=i=02005ai+32i. 251 = \sum_{i=0}^{2005} a_{i+3} 2^i.
Now 251=20+21+22+23+24+25+26+27251 = 2^0 + 2^1 + 2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7. Also (1+2++2m1)+2m=1-(1+2+\dots+2^{m-1}) + 2^m = 1, for m=1,2,m = 1, 2, \dots So
251=20+21+22+23+24+25+26+27(1221997+21998). 251 = 2^0 + 2^1 + 2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7(-1 - 2 - \dots - 2^{1997} + 2^{1998}).
So a3=a5=a6=a7=a8=a9=a2008=+1a_3 = a_5 = a_6 = a_7 = a_8 = a_9 = a_{2008} = +1 and a4=a10=a11=a12==a2007=1a_4 = a_{10} = a_{11} = a_{12} = \dots = a_{2007} = -1 gives a solution.

Uniqueness: More generally, for n1n \ge 1, each odd integer mm with 2n<m<2n-2^n < m < 2^n has a unique expression as
m=i=0n1ai2i,where ai=±1, for each i.(4) m = \sum_{i=0}^{n-1} a_i 2^i, \quad \text{where } a_i = \pm 1, \text{ for each } i. \qquad (4)
We prove this by induction on nn. The base case n=1n = 1 is just the statement that 1=201 = 2^0 and 1=20-1 = -2^0.
Let n>1n > 1 and assume the result for n1n-1. Then there is a unique integer a0=±1a_0 = \pm 1 such that ma02(mod4)m - a_0 \equiv 2 \pmod 4. Clearly 2n<ma0<2n-2^n < m - a_0 < 2^n. So 2n1<(ma0)/2<2n1-2^{n-1} < (m - a_0)/2 < 2^{n-1} and (ma0)/2(m - a_0)/2 is odd. The inductive hypothesis implies that
(ma0)/2=i=1n1ai2i1,for unique ai=±1. (m - a_0)/2 = \sum_{i=1}^{n-1} a_i 2^{i-1}, \quad \text{for unique } a_i = \pm 1.
This gives the expression for mm. The uniqueness of the expression is apparent from the construction. It is also a consequence of the fact that there are 2n2^n odd integers mm with 2n<m<2n-2^n < m < 2^n, but only 2n2^n expressions i=0n1ai2i\sum_{i=0}^{n-1} a_i 2^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.