Maths Olympiad Prep

Library / /4 of 72

Number theory Difficulty 5.4 AIME, harder Prove it Vietnam

Let be given a positive integer nn and two coprime integers a,ba, b greater than 11. Let p,qp, q be two odd divisors greater than 11 of a6n+b6na^{6n} + b^{6n}. Find the remainder of the division of p6n+q6np^{6n} + q^{6n} by 6(12)n6 \cdot (12)^n.

Solution

The answer follows easily from the following remarks:

a) If a,ba, b are coprime integers greater than 11 and pp is an odd prime divisor of a6n+b6na^{6n} + b^{6n} then p1(mod2n+1)p \equiv 1 \pmod{2^{n+1}}.

b) If x1(modck)x \equiv 1 \pmod{c^k} then xcm1(mod2m+k)x^{c^m} \equiv 1 \pmod{2^{m+k}}.

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.