Problem

Source: 2023 Serbia TST Problem 3

Tags: Serbia, TST, algebra, broken



The positive integers are partitioned into 2 sequences $a_1<a_2<\dots$ and $b_1<b_2<\dots$ such that $b_n=a_n+n$ for every positive integer $n$. Show that $a_n+b_n=a_{b_n}$.