MathDB
Sequence with GCD involved

Source: 2021 Simon Marais, A2

November 2, 2021
Sequencenumber theorygreatest common divisor

Problem Statement

Define the sequence of integers a1,a2,a3,a_1, a_2, a_3, \ldots by a1=1a_1 = 1, and an+1=(n+1gcd(an,n))×an a_{n+1} = \left(n+1-\gcd(a_n,n) \right) \times a_n for all integers n1n \ge 1. Prove that an+1an=n\frac{a_{n+1}}{a_n}=n if and only if nn is prime or n=1n=1. Here gcd(s,t)\gcd(s,t) denotes the greatest common divisor of ss and tt.