Maths Olympiad Prep

Track / Stage 8 / 5 of 180 #1705 of 1964

Problem 1705

IMO Shortlist mid-range; USAMO P2/P5
Number theory Difficulty 8.0 Prove it

a) Let ax3+bx2+cx+dax^3 + bx^2 + cx + d be divisible by 55 for given positive integers a,b,c,da, b, c, d and any integer xx.
Prove that a,b,ca, b, c and dd are all divisible by 55.
b) Let ax4+bx3+cx2+dx+eax^4 + bx^3 + cx^2 + dx + e be divisible by 77 for given positive integers a,b,c,d,ea, b, c, d, e and all integers xx.
Prove that a,b,c,da, b, c, d and ee are all divisible by 77.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

a) Let P(x)=ax3+bx2+cx+d P(x) = ax^3 + bx^2 + cx + d be the polynomial. We need to show that if P(x) P(x) is divisible by 5 5 for any integer x x , then a,b,c, a, b, c, and d d are all divisible by 5 5 .

1. **Evaluate P(x) P(x) at x=0 x = 0 :**
P(0)=d P(0) = d
Since P(x) P(x) is divisible by 5 5 for any x x , it must be that:
d0(mod5) d \equiv 0 \pmod{5}

2. **Evaluate P(x) P(x) at x=1 x = 1 and x=1 x = -1 :**
P(1)=a+b+c+d P(1) = a + b + c + d
P(1)=a+bc+d P(-1) = -a + b - c + d
Since P(x) P(x) is divisible by 5 5 :
P(1)0(mod5) P(1) \equiv 0 \pmod{5}
P(1)0(mod5) P(-1) \equiv 0 \pmod{5}

3. **Add P(1) P(1) and P(1) P(-1) :**
P(1)+P(1)=(a+b+c+d)+(a+bc+d)=2b+2d P(1) + P(-1) = (a + b + c + d) + (-a + b - c + d) = 2b + 2d
Since d0(mod5) d \equiv 0 \pmod{5} :
2b0(mod5)    b0(mod5) 2b \equiv 0 \pmod{5} \implies b \equiv 0 \pmod{5}

4. **Subtract P(1) P(-1) from P(1) P(1) :**
P(1)P(1)=(a+b+c+d)(a+bc+d)=2a+2c P(1) - P(-1) = (a + b + c + d) - (-a + b - c + d) = 2a + 2c
Since d0(mod5) d \equiv 0 \pmod{5} :
2a+2c0(mod5)    a+c0(mod5) 2a + 2c \equiv 0 \pmod{5} \implies a + c \equiv 0 \pmod{5}

5. **Evaluate P(x) P(x) at x=2 x = 2 :**
P(2)=8a+4b+2c+d P(2) = 8a + 4b + 2c + d
Since P(x) P(x) is divisible by 5 5 :
8a+4b+2c+d0(mod5) 8a + 4b + 2c + d \equiv 0 \pmod{5}
Given b0(mod5) b \equiv 0 \pmod{5} and d0(mod5) d \equiv 0 \pmod{5} :
8a+2c0(mod5)    3a+c0(mod5) 8a + 2c \equiv 0 \pmod{5} \implies 3a + c \equiv 0 \pmod{5}

6. Combine the results:
From a+c0(mod5) a + c \equiv 0 \pmod{5} and 3a+c0(mod5) 3a + c \equiv 0 \pmod{5} :
a+c0(mod5) a + c \equiv 0 \pmod{5}
3a+c0(mod5) 3a + c \equiv 0 \pmod{5}
Subtract the first equation from the second:
3a+c(a+c)0(mod5)    2a0(mod5)    a0(mod5) 3a + c - (a + c) \equiv 0 \pmod{5} \implies 2a \equiv 0 \pmod{5} \implies a \equiv 0 \pmod{5}
Since a0(mod5) a \equiv 0 \pmod{5} , it follows that c0(mod5) c \equiv 0 \pmod{5} .

Thus, a,b,c, a, b, c, and d d are all divisible by 5 5 .

\blacksquare

b) Let Q(x)=ax4+bx3+cx2+dx+e Q(x) = ax^4 + bx^3 + cx^2 + dx + e be the polynomial. We need to show that if Q(x) Q(x) is divisible by 7 7 for any integer x x , then a,b,c,d, a, b, c, d, and e e are all divisible by 7 7 .

1. **Evaluate Q(x) Q(x) at x=0 x = 0 :**
Q(0)=e Q(0) = e
Since Q(x) Q(x) is divisible by 7 7 for any x x , it must be that:
e0(mod7) e \equiv 0 \pmod{7}

2. **Evaluate Q(x) Q(x) at x=1 x = 1 and x=1 x = -1 :**
Q(1)=a+b+c+d+e Q(1) = a + b + c + d + e
Q(1)=ab+cd+e Q(-1) = a - b + c - d + e
Since Q(x) Q(x) is divisible by 7 7 :
Q(1)0(mod7) Q(1) \equiv 0 \pmod{7}
Q(1)0(mod7) Q(-1) \equiv 0 \pmod{7}

3. **Add Q(1) Q(1) and Q(1) Q(-1) :**
Q(1)+Q(1)=(a+b+c+d+e)+(ab+cd+e)=2a+2c+2e Q(1) + Q(-1) = (a + b + c + d + e) + (a - b + c - d + e) = 2a + 2c + 2e
Since e0(mod7) e \equiv 0 \pmod{7} :
2a+2c0(mod7)    a+c0(mod7) 2a + 2c \equiv 0 \pmod{7} \implies a + c \equiv 0 \pmod{7}

4. **Subtract Q(1) Q(-1) from Q(1) Q(1) :**
Q(1)Q(1)=(a+b+c+d+e)(ab+cd+e)=2b+2d Q(1) - Q(-1) = (a + b + c + d + e) - (a - b + c - d + e) = 2b + 2d
Since e0(mod7) e \equiv 0 \pmod{7} :
2b+2d0(mod7)    b+d0(mod7) 2b + 2d \equiv 0 \pmod{7} \implies b + d \equiv 0 \pmod{7}

5. **Evaluate Q(x) Q(x) at x=2 x = 2 :**
Q(2)=16a+8b+4c+2d+e Q(2) = 16a + 8b + 4c + 2d + e
Since Q(x) Q(x) is divisible by 7 7 :
16a+8b+4c+2d+e0(mod7) 16a + 8b + 4c + 2d + e \equiv 0 \pmod{7}
Given e0(mod7) e \equiv 0 \pmod{7} :
16a+8b+4c+2d0(mod7)    2a+b+4c+d0(mod7) 16a + 8b + 4c + 2d \equiv 0 \pmod{7} \implies 2a + b + 4c + d \equiv 0 \pmod{7}

6. **Evaluate Q(x) Q(x) at x=3 x = 3 :**
Q(3)=81a+27b+9c+3d+e Q(3) = 81a + 27b + 9c + 3d + e
Since Q(x) Q(x) is divisible by 7 7 :
81a+27b+9c+3d+e0(mod7) 81a + 27b + 9c + 3d + e \equiv 0 \pmod{7}
Given e0(mod7) e \equiv 0 \pmod{7} :
81a+27b+9c+3d0(mod7)    4a+6b+2c+3d0(mod7) 81a + 27b + 9c + 3d \equiv 0 \pmod{7} \implies 4a + 6b + 2c + 3d \equiv 0 \pmod{7}

7. Combine the results:
From a+c0(mod7) a + c \equiv 0 \pmod{7} , b+d0(mod7) b + d \equiv 0 \pmod{7} , 2a+b+4c+d0(mod7) 2a + b + 4c + d \equiv 0 \pmod{7} , and 4a+6b+2c+3d0(mod7) 4a + 6b + 2c + 3d \equiv 0 \pmod{7} :
a+c0(mod7) a + c \equiv 0 \pmod{7}
b+d0(mod7) b + d \equiv 0 \pmod{7}
2a+b+4c+d0(mod7) 2a + b + 4c + d \equiv 0 \pmod{7}
4a+6b+2c+3d0(mod7) 4a + 6b + 2c + 3d \equiv 0 \pmod{7}
Solving these congruences, we find that a,b,c,d, a, b, c, d, and e e must all be divisible by 7 7 .

Thus, a,b,c,d, a, b, c, d, and e e are all divisible by 7 7 .

\blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.