Maths Olympiad Prep

Library / /326 of 426

Algebra Difficulty 6.4 National Olympiad Prove it Saudi Arabia

For a non-empty set T\mathcal{T} denote by p(T)p(\mathcal{T}) the product of all elements of T\mathcal{T}. Does there exist a set T\mathcal{T} of 2021 elements such that for any aTa \in \mathcal{T} one has that p(T)ap(\mathcal{T}) - a is an odd integer. Consider two cases:
1. All elements of T\mathcal{T} are irrational numbers?
2. At least one element of T\mathcal{T} is a rational number?

Solution

1. Consider the polynomial
f(x)=x(x+2)(x+4)(x+4040)x(2m1) f(x) = x(x+2)(x+4)\dots(x+4040) - x - (2m-1)
for some mZ+m \in \mathbb{Z}^+ then limx+f(x)=+\lim_{x \to +\infty} f(x) = +\infty and f(0)=220202020!(2m1)f(0) = 2^{2020} \cdot 2020! - (2m-1). Take mm big enough to get f(0)<0f(0) < 0 then by the continuous property of f(x)f(x), there exists some real number x0x_0 such that f(x0)=0f(x_0) = 0. Then take the set TT as follows
T={x0,x0+2,x0+4,,x0+4040} T = \{x_0, x_0 + 2, x_0 + 4, \dots, x_0 + 4040\}
Then p(T)=x0(x0+2)(x0+4)(x0+4040)p(T) = x_0(x_0+2)(x_0+4)\dots(x_0+4040) and p(T)x0=2m1p(T) - x_0 = 2m-1 is an odd integer. Since every element in TT has form x0+2kx_0+2k with kZk \in \mathbb{Z} then p(T)ap(T) - a is an odd integer for all aTa \in T. Finally, take m=220192020!m = 2^{2019} \cdot 2020! then f(0)=1f(0) = 1, suppose on the contrary that x0Qx_0 \in \mathbb{Q}. Note that f(x)f(x) is monic then x0Zx_0 \in \mathbb{Z} and x0f(0)=1x_0 \mid f(0) = 1, implies that x0{1;1}x_0 \in \{-1; 1\}, but this is contradiction since it is easy to check that f(x)f(x) cannot have odd integer root.

2. We will proof that the answer is negative. Note that for all x,yTx, y \in T then xyx - y is even. Suppose that TT contains some rational number bb. Then we can list elements of TT as follows b,b+a1,b+a2,,b+a2020b, b + a_1, b + a_2, \dots, b + a_{2020} in which a1,a2,,aka_1, a_2, \dots, a_k are even.

Put c=b(b+a1)(b+a2)(b+ak)bc = b(b + a_1)(b + a_2)\dots(b + a_k) - b then cc is odd. Consider polynomial
g(x)=x(x+a1)(x+a2)(x+ak)xc g(x) = x(x + a_1)(x + a_2)\dots(x + a_k) - x - c
then g(b)=0g(b) = 0 and x=bx = b is the rational root of g(x)g(x). Note that gg is monic then bZb \in \mathbb{Z}. From this we conclude that all the elements in TT are integers that share the same parity, so does p(T)p(T). Thus p(T)bp(T) - b is even, contradiction.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.