MathDB
Raving recurrence relation

Source: Philippine Mathematical Olympiad 2020/3

January 19, 2020
PMOnumber theory

Problem Statement

Define the sequence {ai}\{a_i\} by a0=1a_0=1, a1=4a_1=4, and an+1=5anan1a_{n+1}=5a_n-a_{n-1} for all n1n\geq 1. Show that all terms of the sequence are of the form c2+3d2c^2+3d^2 for some integers cc and dd.