MathDB
product of k<n such that gcd(k,n)=1

Source: Mongolian MO 2007 Grade 11 P2

April 8, 2021
number theory

Problem Statement

For all n2n\ge2, let ana_n be the product of all coprime natural numbers less than nn. Prove that
(a) nan+1n=2,4,pα,2pαn\mid a_n+1\Leftrightarrow n=2,4,p^\alpha,2p^\alpha (b) nan1n2,4,pα,2pαn\mid a_n-1\Leftrightarrow n\ne2,4,p^\alpha,2p^\alpha
Here pp is an odd prime number and αN\alpha\in\mathbb N.