Browse · MathNet
PrintBaltic Way 2019
Baltic Way 2019 algebra
Problem
Find all functions such that for every two real numbers and .
Solution
Answer: and .
Substituting into the original equation, we obtain which implies Substituting into the original equation and applying (Eq-1), we get Replacing the first term of the r.h.s. of the original equation by (Eq-2), we find Swapping the variables and in (Eq-3), we find By collecting similar terms in (Eq-4) and factorizing, we get Suppose that for some . Then as cubing is injective, whence . By (Eq-5), we get , which implies by the choice of and . Consequently, cannot take non-zero values more than once.
Suppose now that for some . Substituting into the original equation, we obtain for all . Now if for some then taking in the last equality contradicts the previous paragraph since . Hence for all . This function satisfies the original equation.
It remains to consider the case where implies . Substituting into (Eq-5), we obtain for all non-zero . In other words, for all where . After substituting into (Eq-2), simplifying now gives which is possible only if . Hence for all . This function also satisfies the original equation.
Substituting into the original equation, we obtain which implies Substituting into the original equation and applying (Eq-1), we get Replacing the first term of the r.h.s. of the original equation by (Eq-2), we find Swapping the variables and in (Eq-3), we find By collecting similar terms in (Eq-4) and factorizing, we get Suppose that for some . Then as cubing is injective, whence . By (Eq-5), we get , which implies by the choice of and . Consequently, cannot take non-zero values more than once.
Suppose now that for some . Substituting into the original equation, we obtain for all . Now if for some then taking in the last equality contradicts the previous paragraph since . Hence for all . This function satisfies the original equation.
It remains to consider the case where implies . Substituting into (Eq-5), we obtain for all non-zero . In other words, for all where . After substituting into (Eq-2), simplifying now gives which is possible only if . Hence for all . This function also satisfies the original equation.
Final answer
f(x) = 0 for all real x; f(x) = x^3 for all real x
Techniques
Injectivity / surjectivity