Maths Olympiad Prep

Library / China Southeastern Mathematical Olympiad /16 of 39

China Southeastern Mathematical Olympiad

Algebra Difficulty 5.9 AIME, harder Prove it China

How many integers aa satisfy the condition: for each aa, the equation x3=ax+a+1x^3 = a x + a + 1 with respect to xx has roots which are even and ∣x∣<1000|x| < 1000.

Solutions — 2

Solution 1

Let x0=2nx_0 = 2n, where nn is an integer and ∣2n∣<1000|2n| < 1000, then ∣n∣≤499|n| \le 499. So we can choose at most 2×499+1=9992 \times 499 + 1 = 999 numbers, that is, n∈{−499,−498,…,0,1,…,499}n \in \{-499, -498, \dots, 0, 1, \dots, 499\}. Substituting x0=2nx_0 = 2n into the equation, we get a=8n3−12n+1a = \frac{8n^3 - 1}{2n + 1}.

Set f(n)=8n3−12n+1f(n) = \frac{8n^3 - 1}{2n + 1}, then for any n1,n2∈{−499,−498,…,0,1,…,499}n_1, n_2 \in \{-499, -498, \dots, 0, 1, \dots, 499\} (n1≠n2n_1 \ne n_2, n1,n2∈Zn_1, n_2 \in \mathbb{Z}). If f(n1)=f(n2)f(n_1) = f(n_2), we can suppose n1=x12n_1 = \frac{x_1}{2}, n2=x22n_2 = \frac{x_2}{2}, where x1,x2x_1, x_2 are roots of x3−ax−a−1=0x^3 - a x - a - 1 = 0. Suppose the other root is x3x_3, then according to the sums and products of roots, we obtain
{x3=−(x1+x2),x1x2+x2x3+x3x1=−a,x1x2x3=a+1, \begin{cases} x_3 = -(x_1 + x_2), \\ x_1 x_2 + x_2 x_3 + x_3 x_1 = -a, \\ x_1 x_2 x_3 = a + 1, \end{cases}
that is,
{4N1=−a,8N2=a+1, \begin{cases} 4N_1 = -a, \\ 8N_2 = a + 1, \end{cases}
where N1=−(n12+n22+n1n2)N_1 = -(n_1^2 + n_2^2 + n_1 n_2), N2=−n1n2(n1+n2)N_2 = -n_1 n_2 (n_1 + n_2), then 4N1+8N2=14N_1 + 8N_2 = 1. Contradiction!
Thus, for any n1,n2∈{−499,−498,…,0,1,…,499}n_1, n_2 \in \{-499, -498, \dots, 0, 1, \dots, 499\}, we have f(n1)≠f(n2)f(n_1) \neq f(n_2), which means there are exactly 999 real numbers aa that satisfy the condition.

Solution 2

Our aim is to prove that for any even integer xx which satisfies ∣x∣≤998|x| \le 998, the value of a=x3−1x+1a = \frac{x^3 - 1}{x + 1} is different.
On the contrary, if there exist x1≠x2x_1 \neq x_2 that satisfy x13−1x1+1=x23−1x2+1\frac{x_1^3 - 1}{x_1 + 1} = \frac{x_2^3 - 1}{x_2 + 1}, where x1,x2x_1, x_2 are even numbers, then
(x1−x2)(x12x2+x1x22+x22+x1x2+1)=0. (x_1 - x_2)(x_1^2 x_2 + x_1 x_2^2 + x_2^2 + x_1 x_2 + 1) = 0.
Since x1≠x2⇒x1−x2≠0x_1 \neq x_2 \Rightarrow x_1 - x_2 \neq 0 and x12x2+x1x22+x12+x22+x1x2x_1^2 x_2 + x_1 x_2^2 + x_1^2 + x_2^2 + x_1 x_2 is an even number, we obtain
(x1−x2)(x12x2+x1x22+x12+x22+x1x2+1)≠0. (x_1 - x_2)(x_1^2 x_2 + x_1 x_2^2 + x_1^2 + x_2^2 + x_1 x_2 + 1) \neq 0.
Contradiction!
Thus, there exist 999 real numbers aa that satisfy the condition.

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

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.