MathDB
IMO LongList 1985 CAN3 - Prove the divisibility

Source:

September 10, 2010
number theory unsolvednumber theory

Problem Statement

Let kk be a positive integer. Define u0=0,u1=1u_0 = 0, u_1 = 1, and un=kun1un2,n2.u_n=ku_{n-1}-u_{n-2} , n \geq 2. Show that for each integer nn, the number u13+u23++un3u_1^3 + u_2^3 +\cdots+ u_n^3 is a multiple of u1+u2++un.u_1 + u_2 +\cdots+ u_n.