Problem:
Let and let . Prove that
is an integer and find (with proof) its remainder upon division by .
, 2015
Solutions — 2
Solution 1
Solution:
Let and . Note that .
In the sequel, we will repeatedly use the polynomial identities , and .
The product is an integer by standard symmetric sum theory (concrete precursor to Galois theory, though one doesn't need the full language). More precisely, it expands into an integer-coefficient polynomial symmetric in the (for the residues ), and also symmetric in the (for the residues ). So by the fundamental theorem of symmetric sums, it can be written as an integer-coefficient polynomial in the symmetric sums of the together with the symmetric sums of the . But these symmetric sums are integers themselves, so the original expression is indeed an integer.
To actually compute the remainder modulo , note by the Frobenius endomorphism that
where we use in the last step. This simplifies further to
where we've used the fact that (since is invertible ), as well as Fermat's little theorem on .
Finally, we plug in the specific numbers:
Solution 2
Solution:
Here we sketch a better solution found by several teams, but missed by the author (primarily due to blindness from having first found the first solution). The proof of the first part (that the product is an integer) is the same, so we only sketch different proofs of the second part (computation of the remainder ).
For example, we can use the algebraic integer formulation from the previous solution. Indeed, note that is an algebraic integer divisible by . But is also a difference of integers, hence an integer itself. The only way can be an algebraic integer is if (Why?), so it simply remains to compute the remainder when the integer is divided by , which is quite easy.
Alternatively (as some contestants/teams found), we can get rid of first (rather than as in the previous solution), so (up to sign) we want to evaluate . But we have a polynomial identity for some constant integer , where denotes the th cyclotomic polynomial. But note that is congruent to modulo , so
is an integer divisible by . The rest is easy.
Finally, as before: