Maths Olympiad Prep

Library / /10 of 39

Algebra Difficulty 5.6 AIME, harder Prove it Romania

Determine all functions f:CCf: \mathbb{C} \to \mathbb{C} such that wf(z)+zf(w)=2zw|wf(z) + zf(w)| = 2|zw|, for any z,wCz, w \in \mathbb{C}.

Solution

For z=1z = 1 and w=0w = 0 we obtain f(0)=0f(0) = 0. For w=zCw = z \in \mathbb{C}^* we obtain f(z)=z|f(z)| = |z|; this equality is also verified for z=0z = 0, so f(z)=z|f(z)| = |z|, for any zCz \in \mathbb{C}. We have f(1)=1|f(1)| = 1 and, for w=1w = 1, we obtain 2z=f(z)+zf(1)f(z)+zf(1)=2z2|z| = |f(z) + zf(1)| \le |f(z)| + |zf(1)| = 2|z| for any zCz \in \mathbb{C}. It follows that we have equality in the triangle inequality. Therefore, for every zCz \in \mathbb{C}, there exists tzRt_z \in \mathbb{R}, tz0t_z \ge 0, such that f(z)=tzf(1)zf(z) = t_z \cdot f(1) \cdot z. We apply the modulus to both members and, after simplification, we have f(z)=tz1z1=tz|f(z)| = t_z \cdot 1 \cdot |z| \Leftrightarrow 1 = t_z, for any zCz \in \mathbb{C}^*.

We can conclude that f(z)=czf(z) = cz for any zCz \in \mathbb{C}, where c=f(1)c = f(1) is a complex number with modulus equal to 1. It is immediately verified that any function of the form f(z)=czf(z) = cz, where cCc \in \mathbb{C}, c=1|c| = 1, is a solution of the functional equation in the statement.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.