Maths Olympiad Prep

Library / /367 of 520

Number theory Difficulty 6.4 National olympiad Prove it

15. Let am11(modm)a^{m-1} \equiv 1(\bmod m), and for any divisor nn of m1m-1, when 0<n<m10<n<m-1, an1(modm)a^{n} \neq 1(\bmod m), then mm is a prime.

Solution

15. Proof: From am11(modm)a^{m-1} \equiv 1(\bmod m), we know that (a,m)=1(a, m)=1. By Theorem 1 of Chapter 5, we have
aφ(m)1(modm)a^{\varphi(m)} \equiv 1(\bmod m)

Let dd be the smallest positive integer solution to the congruence ax1(modm)a^{x} \equiv 1(\bmod m), then it must be that dφ(m)d \mid \varphi(m), because otherwise it can be written as φ(m)=dq+r,01\varphi(m)=d q+r, 01, then pi<mp_{i}<m, 1in1 \leqslant i \leqslant n. Therefore,
φ(m)=m(11p1)(11p2)(11pn)<m(11m)n<m(11m)=m1\begin{aligned} \varphi(m)= & m\left(1-\frac{1}{p_{1}}\right)\left(1-\frac{1}{p_{2}}\right) \cdots\left(1-\frac{1}{p_{n}}\right) \\ & <m\left(1-\frac{1}{m}\right)^{n}<m\left(1-\frac{1}{m}\right)=m-1 \end{aligned}

This contradicts (m1)φ(m)(m-1) \mid \varphi(m). Therefore, mm must be a prime number.

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.