Solution
Let (lowest terms) be one root and put , a monic polynomial with integer coefficients. Then is an integer, so is monic in , and its rational roots, which are times the roots of , are integers. So every root has denominator dividing ; running the argument from each root, the denominators all coincide.

No messages yet.