A primitive tenth root has and , so division of by givesIt is irreducible over : replacing by gives , and then replacing by gives . Any nontrivial monic integer factorization would reduce modulo five to factors that are powers of , forcing both constant terms divisible by five and their product divisible by , contrary to the constant term five. Rational factorization reduces to integer factorization by Gauss lemma: products of primitive integer polynomials are primitive, since reduction modulo any prime preserves a nonzero product. ThusLet . Dividing by gives . Hence , so . Either sign of this square root suffices; for the positive one is .
Articles by others on the same topic
There are currently no matching articles.