MathDB
sequence and coprime elements

Source:

December 9, 2005
inductionnumber theory proposednumber theorystrong induction

Problem Statement

kk is a positive integer. The sequence a1,a2,a3,...a_1, a_2, a_3, ... is defined by a1=k+1a_1 = k+1, an+1=an2kan+ka_{n+1} = a_n ^2 - ka_n + k. Show that ama_m and ana_n are coprime (for mnm \not = n).