Find all functions such thatfor all rational numbers that form an arithmetic progression. ( is the set of all rational numbers.)
Solution
We are asked to find all functions such that for all rational numbers that form an arithmetic progression, the following relation holds:
To begin, consider that an arithmetic progression with four terms must have a common difference, say . Therefore, we can express the terms as:
Substituting these into the functional equation, we have:
This is a functional equation often satisfied by linear functions. To verify, assume for some . Then:
Substituting into the functional equation, we check:
Simplifying both sides, we get:
The equation holds true, confirming that any linear function of the form satisfies the given condition.
To ensure this is the only solution, consider the nature of an arithmetic progression and the structure of linear functions. The symmetry and structure imposed by the condition, combined with the density of rational numbers, indicate that deviations from linearity would involve adding non-linear terms that disrupt the equality for all rational progressions.
Hence, the solution is:
Finally, the form of all such functions is: