MathDB

GCD

Source:

June 30, 2012

number theorygreatest common divisor

Problem Statement

The sequence

a_1, a_2, ...

of natural numbers satisfies

GCD(a_i, a_j)=GCD(i, j)

for all

i \neq j

. Prove that

a_i=i

for all

i