A sequence of integers a0,a1… is called kawaii if a0=0,a1=1, and (an+2−3an+1+2an)(an+2−4an+1+3an)=0 for all integers n≥0. An integer is called kawaii if it belongs to some kawaii sequence.
Suppose that two consecutive integers m and m+1 are both kawaii (not necessarily belonging to the same kawaii sequence). Prove that m is divisible by 3, and that m/3 is also kawaii.
number theoryIMO Shortlist