Maths Olympiad Prep

Library / /1207 of 1394

, 2015

Algebra Difficulty 5.8 AIME, harder Prove it United States

Problem:
Let z=e2πi101z = e^{\frac{2\pi i}{101}} and let ω=e2πi10\omega = e^{\frac{2\pi i}{10}}. Prove that
a=09b=0100c=0100(ωa+zb+zc) \prod_{a=0}^{9} \prod_{b=0}^{100} \prod_{c=0}^{100} \left(\omega^{a} + z^{b} + z^{c}\right)
is an integer and find (with proof) its remainder upon division by 101101.

Solutions — 2

Solution 1

Solution:
Let p=101p = 101 and r=10r = 10. Note that prp \nmid r.

In the sequel, we will repeatedly use the polynomial identities k(modp)(xzk)=xp1\prod_{k (\bmod p)} (x - z^{k}) = x^{p} - 1, and j(modr)(xωj)=xr1\prod_{j (\bmod r)} (x - \omega^{j}) = x^{r} - 1.

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 ωj\omega^{j} (for the rr residues j(modr)j (\bmod r)), and also symmetric in the zkz^{k} (for the pp residues k(modp)k (\bmod p)). So by the fundamental theorem of symmetric sums, it can be written as an integer-coefficient polynomial in the symmetric sums of the ωj\omega^{j} together with the symmetric sums of the zkz^{k}. But these symmetric sums are integers themselves, so the original expression is indeed an integer.

To actually compute the remainder modulo pp, note by the Frobenius endomorphism (u+v)pup+vp(modp)(u + v)^{p} \equiv u^{p} + v^{p} \pmod{p} that
a,b,c(ωa+zb+zc)=a,b(1)p((ωazb)p1)a,b(ωpa+zpb(1)p)=a,b(ωpa+2)(modp) \begin{aligned} \prod_{a, b, c} (\omega^{a} + z^{b} + z^{c}) &= \prod_{a, b} (-1)^{p} \left( (-\omega^{a} - z^{b})^{p} - 1 \right) \\ &\equiv \prod_{a, b} (\omega^{p a} + z^{p b} - (-1)^{p}) = \prod_{a, b} (\omega^{p a} + 2) \quad (\bmod p) \end{aligned}
where we use p1(mod2)p \equiv 1 \pmod{2} in the last step. This simplifies further to
a(1)p(2ωpa)p=a(1)p(2ωa)p=(1)pr[(2)r1]p(1)pr[(2)r1](modp) \begin{aligned} \prod_{a} (-1)^{p} (-2 - \omega^{p a})^{p} &= \prod_{a} (-1)^{p} (-2 - \omega^{a})^{p} \\ &= (-1)^{p r} [(-2)^{r} - 1]^{p} \equiv (-1)^{p r} [(-2)^{r} - 1] \quad (\bmod p) \end{aligned}
where we've used the fact that {pamodr}={amodr}\{p a \bmod r\} = \{a \bmod r\} (since pp is invertible modr\bmod r), as well as Fermat's little theorem on (2)r1(-2)^{r} - 1.

Finally, we plug in the specific numbers:
(1)10110[(2)101]=102313(mod101) (-1)^{101 \cdot 10} [(-2)^{10} - 1] = 1023 \equiv 13 \pmod{101}

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 modp\bmod p).

For example, we can use the algebraic integer formulation from the previous solution. Indeed, note that D:=a,b,c(ωa+zb+zc)a,b,c(ωa+1b+1c)D := \prod_{a, b, c} (\omega^{a} + z^{b} + z^{c}) - \prod_{a, b, c} (\omega^{a} + 1^{b} + 1^{c}) is an algebraic integer divisible by z1z - 1. But DD is also a difference of integers, hence an integer itself. The only way Dz1\frac{D}{z - 1} can be an algebraic integer is if pDp \mid D (Why?), so it simply remains to compute the remainder when the integer a,b,c(ωa+1b+1c)\prod_{a, b, c} (\omega^{a} + 1^{b} + 1^{c}) is divided by pp, which is quite easy.

Alternatively (as some contestants/teams found), we can get rid of ω\omega first (rather than zz as in the previous solution), so (up to sign) we want to evaluate b,c(1+(zb+zc)r)(modp)\prod_{b, c} (1 + (z^{b} + z^{c})^{r}) \pmod{p}. But we have a polynomial identity b,c(1+(Tb+Tc)r)Φp(T)Z[x]+M\prod_{b, c} (1 + (T^{b} + T^{c})^{r}) \in \Phi_{p}(T) \cdot \mathbb{Z}[x] + M for some constant integer MM, where Φp(T)=Tp1++T+1\Phi_{p}(T) = T^{p-1} + \cdots + T + 1 denotes the ppth cyclotomic polynomial. But note that Φp(z)=0\Phi_{p}(z) = 0 is congruent to Φp(1)=p\Phi_{p}(1) = p modulo pp, so
b,c(1+(zb+zc)r)b,c(1+(1b+1c)r) \prod_{b, c} (1 + (z^{b} + z^{c})^{r}) - \prod_{b, c} (1 + (1^{b} + 1^{c})^{r})
is an integer divisible by pp. The rest is easy.

Finally, as before:
(1)10110[(2)101]=102313(mod101) (-1)^{101 \cdot 10} [(-2)^{10} - 1] = 1023 \equiv 13 \pmod{101}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.