Graphical Representation and Transformations
When we graph , we plot all points on the Cartesian plane as ranges over the domain. The x-intercepts are where (the roots), and the y-intercept is (provided is in the domain).
Transformations
Every transformation of has a precise graphical effect. The following are confusing surprisingly systematic once you see the pattern.
Vertical shifts: For ,
- : shift up by
- : shift down by
Horizontal shifts: For ,
- : shift right by
- : shift left by
Warning: The direction of horizontal shifts is counterintuitive. shifts left by , not right. To see why: the output that used to occur at now occurs when , i.e., at which is two units to the left.
Reflections:
- : reflect over the x-axis (flip vertically)
- : reflect over the y-axis (flip horizontally)
Scalings: For ,
- : vertical stretch by (if ) or compression (if )
- : horizontal compression by factor (if ) or stretch (if )
Warning: compresses the graph toward the -axis by a factor of , shrinking widths by . This might be the exact opposite of what many would expect. So understand why this happens.
Example: Describe the transformation from to .
- : shift left by .
- : vertical stretch by factor .
- : reflect over -axis.
- : shift up by .
Vertex moves from to ; graph opens downward. Range: .
Composition of Functions
The composition means: first apply , then feed the output into . The notation and are interchangeable.
Order matters enormously. In general, .
Example: Let and .
.
.
These are completely different functions.
Iterated Composition
We write to mean applied times:
AIME trap: in a function context means iterated composition, not . Read by context.
Many AIME problems ask for for some cleverly chosen that becomes periodic under iteration. The strategy: compute until you spot a cycle of length , then reduce .
2001 AIME I Problem 11 (flavor)
Let . Compute .
, , .
Pattern: . So .
Domain of a Composite Function
The domain of is the set of all in the domain of such that is in the domain of . Concretely:
- Find the domain of . Call it .
- Compute and find additional restrictions from 's requirements.
- The domain of is the intersection: .
Example: Let and . Find the domain of .
. For , we need : .
Domain of : .
Inverse Functions
Definition
Functions and are inverses of each other if
We write . Note that is not ; it is a completely different object, the inverse function.
Intuitively, undoes whatever does: if takes to , then takes back to .
When Does an Inverse Exist?
A function has an inverse if and only if it is one-to-one (injective): no two different inputs produce the same output.
If for some , then would need to send that common output to both and simultaneously... impossible.
Graphical test (Horizontal Line Test): has an inverse if and only if no horizontal line intersects the graph of more than once.
Compare with the vertical line test: the VLT checks if is a valid function; the HLT checks if that function has an inverse.
Example: fails the HLT ( hits at and ), so it has no inverse on . However, restricting to makes it one-to-one, and then .
Finding the Inverse
Method: To find , solve the equation for in terms of .
The result is .
Example: Find the inverse of .
Set : .
So . Verify: . ✓
Example: Find the inverse of .
Set : .
Collect terms: .
So , defined for .
Competition shortcut: If you only need for a specific value, use the fact that . Instead of finding the full inverse, just solve for .
Example: If , find .
Solve : .
So .
Domains and Ranges of Inverses
The domain of is the range of , and the range of is the domain of . This is immediate from the definition: accepts as inputs exactly the outputs of .
Sometimes an inverse only exists after restricting the domain of . For example, on has inverse on . Trying to extend either to negative territory breaks the inverse relationship:
, but .
The warning: , not . When you square and then take a square root, you must account for the sign.
Graphical Relationship
If is on the graph of , then is on the graph of . Swapping coordinates is geometrically the same as reflecting over the line .
Therefore: the graph of is the mirror image of the graph of over the line .
Why? Let and . The slope of is , so the line . The midpoint of is , which lies on . So is the perpendicular bisector of , confirming and are reflections of each other.
Inverse of a Composition
If both and have inverses, then
The order reverses. Think of it like putting on socks then shoes: to undo it, you remove shoes first, then socks.
Proof: Let and . Then
and similarly . So .
Toolkit: When to Reach for Which Technique
| Situation | What to do |
|---|---|
| Find domain of | Solve , exclude those |
| Find domain of | Solve |
| Find domain of | Domain of , intersected with |
| Find range of any function | Set , solve for , find excluded |
| Check if inverse exists | Horizontal line test, or check if is strictly monotone |
| Find for a specific | Solve for directly |
| Find in general | Solve for |
| Identify transformations | Compare to parent form; shifts, flips, stretches |
| for large | Compute first few, find period , reduce |
Remarks
Functions in olympiad questions come up in two methods: explicit (a formula is given and you extract information) and implicit (a functional equation like is given and you must determine entirely from its properties). This module has focused on the explicit side. Functional equations deserve their own treatment, but the foundation built here of knowing what domains and ranges are, how compositions interact, and how inverses work are what makes functional equation problems solveable.
You should develop a habit of making sure that whenever you see a composed or transformed function, you trace one point through every step. Pick a convenient input, watch where it goes, and let that anchor your intuition before you do any algebra.
Practice Problems
| Status | Source | Problem Name | Difficulty | Tags | ||
|---|---|---|---|---|---|---|
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.
