Problem

Source: Philippine MO 2023/6

Tags: PMO, algebra, functional equation, function



Find all functions $f : \mathbb{R} \rightarrow \mathbb{R}$ such that $$f(2f(x)) = f(x - f(y)) + f(x) + y$$for all $x, y \in \mathbb{R}$.