Problem

Source: Brazil EGMO/Cono sur TST 2020

Tags: algebra



Let $a_0,a_1,a_2,\dots$ be a periodic sequence of real numbers(that is, there is a fixed positive integer $k$ such that $a_n=a_{n+k}$ for every integer $n\geq 0$). The following equality is true, for all $n\geq 0$: $a_{n+2}=\frac{1}{n+2} (a_n - \frac{n+1}{a_{n+1}})$ if $a_0=2020$, determine the value of $a_1$.