MathDB
Integer sequence and Coprimity

Source: Bulgaria National Olympiad 2020

June 30, 2020
number theoryInteger sequence

Problem Statement

Let a1Za_1\in\mathbb{Z}, a2=a12a11a_2=a_1^2-a_1-1, \dots ,an+1=an2an1a_{n+1}=a_n^2-a_n-1. Prove that an+1a_{n+1} and 2n+12n+1 are coprime.