Graphs of Functions
Learning goals
- Draw the graph as the relation
- Show why a finite table cannot pin a function down
- Find zeros from a factored form and read each sign interval
- Tell a crossing from a touch by the factor's parity
- Test even and odd as reflection and rotation symmetry
- Read end behavior by factoring out the highest power
The graph is the relation, drawn
In Relations and Functions you saw that a function’s rule and domain together are a set of ordered pairs, one pair for each input. The graph is nothing more than that set of pairs plotted as points: the graph of is the collection of all points as runs over the domain. There is no new object here, only the same set of pairs shown on paper.
Seeing the graph this way settles what the vertical line test really is. A vertical line collects every plotted point sharing the input . So the test “no vertical line meets the graph more than once” is just the picture of “no input has two outputs.” The vertical line test is therefore a fact about the picture of a relation, not the definition of a function. Relations and Functions proved that equivalence in full, so we take it as known and spend this lesson on the reverse direction. Given a rule, what can we prove about the picture before we ever plot a point?
A finite table cannot pin down a function
Start with the flaw in connect-the-dots, because everything else is a repair for it. Suppose you know a function only through a table: its values at finitely many inputs . The table looks like solid evidence, but it leaves the function almost completely open.
A finite table is matched by infinitely many different functions#
Let be any function and let be the sampled inputs. Pick any constant and build a new function
Evaluate at any sampled input . Among the factors of the product there sits , so the entire product is , and therefore
This holds at every sampled input and for every choice of , so reproduces the table exactly, no matter which you chose. Yet away from the samples the product is not zero, so for any input that was not sampled and any ,
which means and disagree there. Different values of give different functions, all sharing the one table, so infinitely many functions fit it. A finite table simply does not determine the function it came from.
Make it concrete with the friendliest function there is, the identity , sampled at . Its table is , , , three points marching up a straight line. Nothing about that table forces a line, though. Take and the three sampled inputs and build
At each of one factor vanishes, so agrees with there, yet is a cubic that leaves the line everywhere else. The next figure plots both functions through the identical three points.
Worked example 1 Two functions, one table
Show that and share the table at but part ways off it.
Check the three sampled inputs. At each one, a single factor of the product is zero, so the whole product drops out:
So matches at every row of the table. Now expand the product to see as a single rule:
Evaluate both functions at inputs the table never sampled:
The two functions sit units apart at and again at , yet their tables at are identical. A table is evidence about finitely many inputs; a graph is a claim about infinitely many, and only proof closes the gap between them.
Graph the structure you can prove
If plotting points cannot justify a curve, what can? Four features of a rule can be derived exactly, with algebra you already own. Each one pins the curve down at infinitely many inputs at once, which is what a table could never do.
Zeros: where the graph meets the horizontal axis
The zeros of are the inputs with . A point sits on the horizontal axis exactly when its height is . So the zeros are precisely the -coordinates where the graph crosses or touches that axis, the x-intercepts. Finding them is solving , and the fastest route is a factored form, because a product is zero exactly when one of its factors is zero. Our running example for the rest of the lesson is
whose zeros are , , and . Those three inputs are the only places the graph can meet the horizontal axis.
Sign: which side of the axis, from the factors
A function written as a product of linear factors keeps to one side of the axis on each interval between consecutive roots. The factors tell you which side, without any appeal to the shape of the curve. This is special to factored forms, not a fact about every function. A function can switch sign without passing through a zero, at a point where it is undefined, the way jumps from negative to positive across . Two facts settle the sign of a factored form, and both are pure algebra.
The sign of a factored function is the product of its factor signs#
A single linear factor is negative exactly when , zero exactly when , and positive exactly when . This is just the statement that means the same as , read three ways, so each factor changes sign only at its own root.
Now suppose is a product of a nonzero constant and linear factors. From pre-algebra, the sign of a product of nonzero numbers is the product of their signs: two negatives make a positive, and each extra negative flips the result. Pick any interval lying strictly between two consecutive roots. No factor has a root inside that interval, so no factor changes sign across it, so every factor holds one fixed sign there. The sign of on the interval is then the product of those fixed signs, a single computation with no reference to continuity or to the graph’s shape.
Multiplicity follows from the same rule. Group a repeated root as . If is even, then is a square raised to a power, so it is positive for every and never negative. It therefore contributes the same sign, , on both sides of , so keeps one sign across . Geometrically, the graph meets the axis at but stays on the same side of it, touching and turning back rather than crossing. If is odd, then has the same sign as the single factor . That factor is negative to the left of and positive to the right, so flips sign across and the graph crosses.
A factor that is never zero and never negative is easy to handle: it just contributes a everywhere. The quadratic is one, since for every real . It has no real root, so it never splits an interval and never changes the sign of the product. You can therefore drop that factor from the sign chart entirely, keeping only the linear factors that do cross zero.
Worked example 2 Zeros and sign of
Use the factored form . The roots split the number line into four intervals. On each one, read the sign of each factor and multiply.
For , all three of , , and are negative:
For , only has turned positive:
For , now is positive too but is still negative:
For , every factor is positive, so . Each root has power , an odd power, so the sign flips at all three and the graph crosses the axis at each. The sign pattern below the axis, above, below, above reads off directly.
Worked example 3 An even power that touches:
The zeros are from the factor and from . Read the sign on the three intervals, remembering that is a square, so it is positive everywhere except at and never contributes a negative.
For , the factor is negative while is positive:
For and again for , the factor is positive and is positive:
The sign is positive on both sides of . At the simple root (power , odd) the sign flips, so the graph crosses. At the double root (power , even) the sign is the same on both sides. So the graph touches the axis at and stays above it, turning back instead of crossing. The multiplicity of a root, not the fact that it is a root, decides crossing versus touching.
Check your understanding
For , what does the graph do at ?
The zero comes from the factor , an even power. A square is never negative, so it holds the same sign on both sides of .
With the sign the same on both sides, the graph meets the axis at but does not cross; it touches and turns back. Only an odd-power factor would flip the sign and cross.
Symmetry: proving half the graph determines the other half
Some graphs repeat themselves under a reflection or a rotation, and when they do you can prove one half of the curve from the other, halving the work. Two kinds of symmetry have names. A function is even when for every in its domain, and odd when for every .
Both definitions ask about , so both are meaningless unless is in the domain whenever is. Say the domain is symmetric about when is in it exactly when is. If it is not, for instance the domain of , then can be undefined and neither question can even be asked. Assume a symmetric domain from here on, and the two symmetries are exact.
Even means -axis symmetry; odd means symmetry#
Assume the domain is symmetric about . Reflection across the -axis sends a point to . Apply it to the graph to get the reflected set . Reindex with ; because is symmetric, ranges over all of , and the reflected set becomes , which is the graph of the rule . Two functions on the same domain are equal exactly when they agree at every input, the equality test from Function Notation. So this reflected graph equals the original graph exactly when for all in . That condition is the definition of even, and the “exactly when” runs in both directions. So is even if and only if its graph is unchanged by reflection across the -axis.
The odd case is the same argument with a rotation about the origin, which sends to . Rotating the graph gives , and the same reindex turns it into , the graph of . It equals the original graph exactly when for all , that is , the definition of odd. So is odd if and only if its graph is unchanged by a rotation about the origin.
Finally, suppose is both even and odd. Then and for every in , so , which gives and . Every value is , so is the zero function, and the zero function plainly satisfies both definitions. The only function that is both even and odd on a symmetric domain is the zero function.
One quick consequence is worth recording. If an odd function has in its domain, then setting in gives , so and . So whenever is in the domain, an odd function’s graph passes through the origin. An odd function whose domain omits , like , need not, and an even function carries no such forced value at all, since says nothing.
A warning about a tempting shortcut. It is often said that even powers give even functions and odd powers give odd functions. The claim is true for a single power , and it stays true for a polynomial whose terms all share the same exponent parity. It fails the moment the parities mix. The function has one even-degree term and one odd-degree term, and it is neither even nor odd:
which equals only at , and equals only at . A typical function is neither even nor odd; symmetry is the special case, and you confirm it by testing , not by glancing at exponents.
Worked example 4 Testing even, odd, or neither
Classify each function on its (symmetric) domain by computing .
First, the running cubic , with domain all real numbers:
Since , the cubic is odd, so its graph has symmetry about the origin.
Next, the rational function . The denominator is never , so the domain is all real numbers, which is symmetric. Substitute , squaring inside the denominator:
so this one is odd as well. Now the even partner :
so is even, with a graph symmetric across the -axis. The parity is decided by what happens to the sign under , and a rational rule is tested exactly the same way a polynomial is.
Check your understanding
On the domain of all real numbers, which describes ?
Test the parity by substituting and simplifying the even powers.
Every term has an even degree, so and the function is even; its graph is symmetric across the -axis. It is not odd (an odd function on a domain containing would need and would fail this equality). On a symmetric domain, the only function that is both even and odd is the zero function.
End behavior: what the far ends do, without limits
The last provable feature is what the graph does far from the origin, and you can settle it with a factoring trick and an explicit inequality, no limits required. Factor out the highest power. For the running cubic,
Look at the bracket. Whenever , we have , so and the bracket is a positive number less than . A positive bracket cannot change the sign of . So for the value has the same sign as : positive and large when , negative and large when . For the magnitude, take ; then , so the bracket is at least , giving
which grows past any bound as increases. So far to the right the graph climbs like , and far to the left it falls like . The middle wiggle near the origin is irrelevant to the ends. This is a complete argument with a stated threshold; a later course rephrases it with limits, but the algebra already decides it. The sign of the leading coefficient rides along untouched. Had the cubic been , the bracket would be negative for , and both ends would flip, falling on the right and rising on the left.
Worked example 5 End behavior of the quartic
Factor out the highest power, :
The leading factor is never negative, so the sign far out depends only on the bracket. The term is positive, so dropping it only lowers the bracket, giving the clean bound
For we have , so the bracket is at least . Therefore for ,
which is positive and grows without bound. Both ends of the quartic rise to large positive values, matching its leading term . A degree-four graph with a positive leading coefficient goes up on the left and up on the right, and this inequality is why.
The method survives an interior term of odd power, where the correction changes sign with . Take : the term is negative for and positive for , but only its size matters. Once we have , so the bracket stays between and , positive at both ends. The sign of the correction does not change the conclusion; the graph rises to large positive values on the far left as well as the far right.
Check your understanding
Far to the right, where is large and positive, how does behave?
Factor out the highest power to expose the far-right behavior.
For the bracket is positive, so has the same sign as , which is positive and growing. The graph climbs to large positive values on the right, tracking ; the term only bends the middle.
The domain is visible in the graph
A rule can look like a familiar curve yet be missing a single input, and that missing input shows up on the graph as a gap. This is the sharpest payoff of taking the domain seriously, a theme from Relations and Functions and Function Notation.
Consider . The denominator is at , so is not in the domain. For every other input the numerator factors and the common factor cancels:
So the graph agrees with the line at every allowed input. But is not allowed, and the point the line would occupy there, , is removed, leaving a hole. Function Notation proved that and are different functions precisely because their domains differ at , and the hole is where that difference becomes visible.
Worked example 6 Locating a hole
Find the hole in the graph of , and give its exact coordinates.
First find the excluded input. The denominator is at , so is not in the domain, and that is the only excluded input. Next simplify the rule for the inputs that remain, factoring the numerator as a difference of squares:
The graph is therefore the line with one point missing. To find the missing point’s height, evaluate the simplified rule at the excluded input:
The hole sits at . It is a genuine feature of the picture, not bookkeeping: the excluded input is invisible in the simplified formula but plainly visible as a gap in the graph.
Not every excluded input makes a hole. The rule also excludes . But there the factor causing trouble does not cancel, so instead of a single missing point the graph shoots off along a vertical line at , a vertical asymptote. Two rules can exclude the same input and look completely different near it. Which one you get depends on whether the offending factor cancels, and the full study of these graphs waits for a later chapter. The point for now is only that the domain is never invisible; it leaves a mark.
Putting it together
Collect what we proved about the running cubic : its zeros are , and its sign runs below, above, below, above the axis across those roots. The cubic is odd, so its graph has symmetry about the origin. Far out it climbs like on the right and falls like on the left. Every one of those is a proven statement about infinitely many inputs. The figure marks them, then draws a smooth curve to fit. That final smooth stroke is the one thing on the picture we did not prove. It is an interpolation between features we did prove, and its only job is to respect them.