MathDB
Fibonacci sequence=>∀m; ∃ k: m|(a_k^4-a_k-2)

Source: Czech-Polish-Slovak Match 2007-P2

September 14, 2011
number theory proposednumber theory

Problem Statement

The Fibonacci sequence is defined by a1=a2=1a_1=a_2=1 and ak+2=ak+1+aka_{k+2}=a_{k+1}+a_k for kN.k\in\mathbb N. Prove that for any natural number m,m, there exists an index kk such that ak4ak2a_k^4-a_k-2 is divisible by m.m.