MathDB
Fibonacci Diophantine

Source: 2019 Baltic Way P2

November 18, 2019
algebra

Problem Statement

Let (Fn)(F_n) be the sequence defined recursively by F1=F2=1F_1=F_2=1 and Fn+1=Fn+Fn1F_{n+1}=F_n+F_{n-1} for n2n\geq 2. Find all pairs of positive integers (x,y)(x,y) such that 5Fx3Fy=1.5F_x-3F_y=1.