prime power criterion with a @ b = \frac{a - b}{gcd(a, b)}
Source: Dutch IMO TST2 2012 p1
January 10, 2020
number theoryPerfect powerprimeGCDgreatest common divisor
Problem Statement
For all positive integers and , we dene .
Show that for every integer , the following holds:
is a prime power if and only if for all positive integers such that , it holds that .