gcd(n^a + 1, n^b + 1) <= n^{gcd(a,b)} + 1
Source: 2008 Indonesia TST stage 2 test 3 p3
December 15, 2020
GCDgreatest common divisornumber theory
Problem Statement
Let be an arbitrary positive integer.
(a) For every positive integers and , show that .
(b) Show that there exist infinitely many composite pairs (, such that each of them is not a multiply of the other number and equality holds in (a).