Problem

Source: Iran MO Third Round 2021 F3

Tags: function, algebra



Find all functions $f: \mathbb{Q}[x] \to \mathbb{R}$ such that: (a) for all $P, Q \in \mathbb{Q}[x]$, $f(P \circ Q) = f(Q \circ P);$ (b) for all $P, Q \in \mathbb{Q}[x]$ with $PQ \neq 0$, $f(P\cdot Q) = f(P) + f(Q).$ ($P \circ Q$ indicates $P(Q(x))$.)