Problem

Source: USAMO 2022/3

Tags: AMC, USA(J)MO, USAMO, algebra



Let $\mathbb{R}_{>0}$ be the set of all positive real numbers. Find all functions $f:\mathbb{R}_{>0} \to \mathbb{R}_{>0}$ such that for all $x,y\in \mathbb{R}_{>0}$ we have \[f(x) = f(f(f(x)) + y) + f(xf(y)) f(x+y).\]