Maths Olympiad Prep

Library / /16 of 40

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 n499|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=8n312n+1a = \frac{8n^3 - 1}{2n + 1}.

Set f(n)=8n312n+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\} (n1n2n_1 \ne n_2, n1,n2Zn_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 x3axa1=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 x998|x| \le 998, the value of a=x31x+1a = \frac{x^3 - 1}{x + 1} is different.
On the contrary, if there exist x1x2x_1 \neq x_2 that satisfy x131x1+1=x231x2+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
(x1x2)(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 x1x2x1x20x_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
(x1x2)(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,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.