MathDB
a_1 = b_1 = 1 and a_{n+1} = a_n +b_n, b_{n+1} = a_nb_n, coprime terms

Source: 1999 German Federal - Bundeswettbewerb Mathematik - BWM - Round 1 p2

January 27, 2020
number theorynumber theory with sequencesSequencesSequencecoprime

Problem Statement

The sequences (an)(a_n) and (bn)(b_n) are defined by a1=b1=1a_1 = b_1 = 1 and an+1=an+bn,bn+1=anbna_{n+1} = a_n +b_n, b_{n+1} = a_nb_n for n=1,2,...n = 1,2,... Show that every two distinct terms of the sequence (an)(a_n) are coprime