Olympiad Maths Prep

Track / Stage 6 / 388 of 400 #1388 of 2000

Problem 1388

National olympiad, first round
Number theory Difficulty 6.9 Prove it

Consider the polynomial ax3+bx2+cx+dax^3+bx^2+cx+d where a,b,c,da,b,c,d are integers such that adad is odd and bcbc is even.Prove that not all of its roots are rational..

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Assume all roots are rational:
Let the polynomial ax3+bx2+cx+d ax^3 + bx^2 + cx + d have all rational roots, denoted by α1,α2,α3 \alpha_1, \alpha_2, \alpha_3 .

2. Apply Vieta's formulas:
By Vieta's formulas, the relationships between the coefficients and the roots are:
α1+α2+α3=ba \alpha_1 + \alpha_2 + \alpha_3 = -\frac{b}{a}
α1α2+α2α3+α3α1=ca \alpha_1 \alpha_2 + \alpha_2 \alpha_3 + \alpha_3 \alpha_1 = \frac{c}{a}
α1α2α3=da \alpha_1 \alpha_2 \alpha_3 = -\frac{d}{a}

3. Analyze the product of the roots:
Given ad ad is odd, both a a and d d must be odd (since the product of two integers is odd if and only if both integers are odd). Therefore:
α1α2α3=da \alpha_1 \alpha_2 \alpha_3 = -\frac{d}{a}
Since a a and d d are odd, da-\frac{d}{a} is a rational number that is also odd.

4. Analyze the sum of the roots:
α1+α2+α3=ba \alpha_1 + \alpha_2 + \alpha_3 = -\frac{b}{a}
For this to be rational, b b must be an integer. Given a a is odd, for ba-\frac{b}{a} to be rational, b b must be an integer. However, we need to determine the parity of b b .

5. Analyze the sum of the products of the roots taken two at a time:
α1α2+α2α3+α3α1=ca \alpha_1 \alpha_2 + \alpha_2 \alpha_3 + \alpha_3 \alpha_1 = \frac{c}{a}
For this to be rational, c c must be an integer. Given a a is odd, for ca\frac{c}{a} to be rational, c c must be an integer. However, we need to determine the parity of c c .

6. **Determine the parity of b b and c c :**
Since ad ad is odd, both a a and d d are odd. From the given condition bc bc is even, at least one of b b or c c must be even.

7. Derive a contradiction:
If all roots are rational, then:
- α1α2α3=da\alpha_1 \alpha_2 \alpha_3 = -\frac{d}{a} implies α1,α2,α3 \alpha_1, \alpha_2, \alpha_3 are rational.
- Given ad ad is odd, both a a and d d are odd.
- From Vieta's formulas, α1+α2+α3=ba \alpha_1 + \alpha_2 + \alpha_3 = -\frac{b}{a} implies b b must be odd.
- From Vieta's formulas, α1α2+α2α3+α3α1=ca \alpha_1 \alpha_2 + \alpha_2 \alpha_3 + \alpha_3 \alpha_1 = \frac{c}{a} implies c c must be odd.

Therefore, both b b and c c must be odd, which contradicts the given condition that bc bc is even.

8. Conclusion:
Since assuming all roots are rational leads to a contradiction, not all roots can be rational.

\blacksquare

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