MathDB
Number of elements in a special set

Source: Turkey 2021 IMO TST Problem 9

May 23, 2021
Turkeynumber theoryGCD

Problem Statement

For which positive integer couples (k,n)(k,n), the equality
{aZ+:1a(nk)!,gcd((ak),n)=1}=(nk)!6\Bigg|\Bigg\{{a \in \mathbb{Z}^+: 1\leq a\leq(nk)!, gcd \left(\binom{a}{k},n\right)=1}\Bigg\}\Bigg|=\frac{(nk)!}{6}
holds?