.
Given odd integers a, b, c, prove that the equation cannot have a solution x which is a rational number.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Assume the equation = with odd integer coefficients a, b an c has the solution,
which is a rational fraction with integer p and q.
We can assume that all the common divisors of p and q are just canceled in the fraction ,
so that p and q are relatively primes integer numbers. In particular, p and q are not both multiples of 2 simultaneously.
Then substitute the fraction into the equation.
You will get = .
Multiply both sides by to rid off the denominators. You will get
= . (1)
Now, if p is odd, then q can not be multiple of 2, otherwise you easily get a contradiction due to equation (1).
Similarly, if q is odd, then p can not be multiple of 2, otherwise you easily get a contradiction due to equation (1).
Thus both p and q must be odd.
Then the equation (1) has three odd addends that sum up to zero, which is impossible.
This contradiction completes the proof.