Let \mathbb{R}^\plus{} be the set of all non-negative real numbers. Given two positive real numbers a and b, suppose that a mapping f: \mathbb{R}^\plus{} \mapsto \mathbb{R}^\plus{} satisfies the functional equation:
f(f(x)) \plus{} af(x) \equal{} b(a \plus{} b)x.
Prove that there exists a unique solution of this equation. quadraticsalgebrafunctional equationrecurrence relationIMO Shortlist