Consider the polynomial where are integers such that is odd and is even.Prove that not all of its roots are rational..
Problem 1388
Official solution
1. Assume all roots are rational:
Let the polynomial have all rational roots, denoted by .
2. Apply Vieta's formulas:
By Vieta's formulas, the relationships between the coefficients and the roots are:
3. Analyze the product of the roots:
Given is odd, both and must be odd (since the product of two integers is odd if and only if both integers are odd). Therefore:
Since and are odd, is a rational number that is also odd.
4. Analyze the sum of the roots:
For this to be rational, must be an integer. Given is odd, for to be rational, must be an integer. However, we need to determine the parity of .
5. Analyze the sum of the products of the roots taken two at a time:
For this to be rational, must be an integer. Given is odd, for to be rational, must be an integer. However, we need to determine the parity of .
6. **Determine the parity of and :**
Since is odd, both and are odd. From the given condition is even, at least one of or must be even.
7. Derive a contradiction:
If all roots are rational, then:
- implies are rational.
- Given is odd, both and are odd.
- From Vieta's formulas, implies must be odd.
- From Vieta's formulas, implies must be odd.
Therefore, both and must be odd, which contradicts the given condition that is even.
8. Conclusion:
Since assuming all roots are rational leads to a contradiction, not all roots can be rational.