MathDB
Lucas divisibility

Source: Moldova TST 2006, Test II problem 1

March 25, 2006
number theory solvednumber theory

Problem Statement

Let (an)(a_n) be the Lucas sequence: a0=2,a1=1,an+1=an+an1a_0=2,a_1=1, a_{n+1}=a_n+a_{n-1} for n1n\geq 1. Show that a59a_{59} divides (a30)591(a_{30})^{59}-1.