Overview
Advanced functional equations often mix algebra and number theory. Expect to find hidden constraints via special inputs and symmetry.
Key Ideas
- If is defined on integers, parity and modular arguments can restrict it.
- Look for fixed points: solve or .
- Iteration (apply the equation repeatedly) can uncover structure.
Core Skills
Pin Down Constants
Use , , , or to extract and other constants.
Iterate the Functional Equation
Apply the equation multiple times to relate to or .
Use Injectivity/Surjectivity
Prove injectivity by showing , then use it to simplify equations.
Worked Example
If satisfies for all , then is additive. Many contest problems ask you to prove that linear functions are the only solutions.
Easy Warm-up Examples
Example 1: Fixed Point
If , show is bijective.
Apply to both sides to get , implying surjectivity and injectivity.
Example 2: Integer Restriction
If and , then .
Example 3: Symmetry
If , then setting gives .
Example 4: Injectivity Practice
If
for all real numbers , your goal is to show that is injective.
Suppose . Then
and
Since , we obtain .
Example 5: Surjectivity Practice
If
for all real numbers , your job is to show that is surjective.
As varies over , the right-hand side attains every real value. Hence attains every real value, so is surjective.
Example 6: What c makes the function 0?
Suppose
for all real numbers .
Since is surjective, choose such that . Then
so .
Example 7: Finding Solutions
Your job is to find all linear solutions to the following functional equation:
First, we let .Then, substituting gives
Comparing coefficients yields
Since , we get , so
Example 8: What is ?
Suppose that
for all real numbers .
Setting gives
hence
Example 9: Find the Functional Relation
Suppose
and .
Setting gives
so
Example 10: Iteration
If , show that .
Applying the given relation with replaced by gives
Using the original equation again,
Example 11: Constant Solutions
Your goal here is to find all constant solutions of
Let . Then
Thus
so the only constant solution is
Example 12: What is ?
If
for all real numbers , show that either or is constant.
Setting gives
Letting , we obtain
Thus either or
Medium-Level Examples
Strategy Checklist
- Plug in special values to find constants.
- Iterate the equation to uncover structure.
- Use injectivity or surjectivity when possible.
Practice Problems
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
| AIME | Very Hard | Show TagsFunctional Equations | ||||
| AIME | Very Hard | Show TagsFunctional Equations, Substitution | ||||
| Custom | Hard | Show TagsFunctional Equations, Substitution | ||||
| Custom | Hard | Show TagsCauchy Equation, Functional Equations | ||||
| Custom | Hard | Show TagsFunctional Equations, Iteration | ||||
| Custom | Hard | Show TagsFunctional Equations, Involutions | ||||
| Custom | Hard | Show TagsFunctional Equations, Logarithmic Transformation | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Induction / smoothing | ||||
| Berkeley Math Circle: Monthly Contest 7 | Hard | Show TagsFunctional Equations, Simple Equations | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Quadratic functions | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations, Polynomial operations | ||||
| Berkeley Math Circle Monthly Contest 3 | Hard | Show TagsExistential quantifiers, Functional Equations | ||||
| Berkeley Math Circle Monthly Contest 6 | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Berkeley Math Circle | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle Monthly Contest 1 | Hard | Show TagsFunctional Equations, Induction / smoothing, Injectivity / surjectivity | ||||
| Berkeley Math Circle: Monthly Contest 6 | Hard | Show TagsFunctional Equations, Polynomials, Recurrence relations | ||||
| Berkeley Math Circle Monthly Contest 4 | Hard | Show TagsFunctional Equations, Induction / smoothing | ||||
| Berkeley Math Circle Monthly Contest 8 | Hard | Show TagsFunctional Equations, Recurrence relations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations | ||||
| HMMT 1998 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsFunctional Equations | ||||
| Berkeley Math Circle Monthly Contest #1 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Math Tournament | Hard | Show TagsFunctional Equations | ||||
| USA IMO 2003 | Hard | Show TagsFunctional Equations | ||||
| Harvard-MIT Mathematics Tournament | Hard | Show TagsFunctional Equations, Linear and quadratic inequalities | ||||
Module Progress:
Join the Discord Community!
Stuck on a problem, or don't understand a module? Join the Discord and get help with your doubts while making more math friends.
