Symmetry and Function Families

The Central Idea

Two questions organize this lesson:

1. Does the graph repeat through symmetry?
2. Does the graph belong to a familiar function family?

Symmetry describes repeated geometric structure. Function families organize functions that share characteristic algebraic forms and graphical shapes.

Symmetry Means a Graph Repeats

A graph has symmetry when a reflection or rotation carries the entire graph onto itself. Symmetry is a property of the whole graph, not merely of a few matching points.

Three Coordinate Symmetries

The three symmetries used most often are:

• \(y\)-axis symmetry — reflection across the vertical axis;
• \(x\)-axis symmetry — reflection across the horizontal axis;
• origin symmetry — a \(180^\circ\) rotation about the origin.

Coordinate Rule for \(y\)-Axis Symmetry

Reflection across the \(y\)-axis sends

Thus a relation has \(y\)-axis symmetry when

Example: \(y\)-Axis Symmetry

The graph of

contains paired points such as \((2,4)\) and \((-2,4)\). The parabola is unchanged by reflection across the \(y\)-axis.

Coordinate Rule for \(x\)-Axis Symmetry

Reflection across the \(x\)-axis sends

So \(x\)-axis symmetry requires

Example: \(x\)-Axis Symmetry

The circle

contains \((3,4)\) and \((3,-4)\). Reflecting the entire circle across the \(x\)-axis leaves it unchanged.

\(x\)-Axis Symmetry Usually Prevents a Function

If a graph contains both \((x,y)\) and \((x,-y)\) for some \(y\ne0\), the same input has two outputs. Such a graph fails the vertical line test.

Therefore, a function graph can be symmetric about the \(x\)-axis only in the special case where every represented output is \(0\).

Coordinate Rule for Origin Symmetry

A half-turn about the origin sends

Origin symmetry therefore requires

Example: Origin Symmetry

The graph of

contains \((2,8)\) together with \((-2,-8)\). A \(180^\circ\) rotation about the origin carries the graph onto itself.

A Relation Can Have Several Symmetries

The circle centered at the origin,

has \(x\)-axis symmetry, \(y\)-axis symmetry, and origin symmetry. Symmetry types are not mutually exclusive.

Visual Symmetry and Algebraic Verification

A graph may suggest symmetry, but algebra can verify it exactly. This matters when the graphing window is small, the scale is distorted, or the curve is too complicated to judge reliably by eye.

Algebraic Test for \(y\)-Axis Symmetry

In an equation involving \(x\) and \(y\), replace \(x\) by \(-x\). If the resulting equation is equivalent to the original, the relation has \(y\)-axis symmetry.

For example,

simplifies to \(x^2+y^2=9\).

Algebraic Test for \(x\)-Axis Symmetry

Replace \(y\) by \(-y\). If the equation remains equivalent, the relation has \(x\)-axis symmetry.

Algebraic Test for Origin Symmetry

Replace both variables:

If the resulting equation is equivalent to the original, the relation has origin symmetry.

Functions Have Special Symmetry Language

• An even function has \(y\)-axis symmetry.
• An odd function has origin symmetry.

These names describe algebraic and graphical structure, not whether outputs happen to be even or odd integers.

Even Functions

A function \(f\) is even when

throughout its domain. Geometrically, the graph mirrors across the \(y\)-axis.

Example: \(f(x)=x^2\) Is Even

Therefore, \(f(x)=x^2\) is even.

Absolute Value Is Even

For \(f(x)=|x|\),

The V-shaped graph is symmetric about the \(y\)-axis.

Odd Functions

A function \(f\) is odd when

Geometrically, the graph has origin symmetry.

Example: \(f(x)=x^3\) Is Odd

Therefore, \(f(x)=x^3\) is odd.

The Reciprocal Function Is Odd

For

we have

A Function Can Be Neither

Consider

Then

which is neither \(f(x)\) nor \(-f(x)\). The function is neither even nor odd.

Even and Odd Are Not Opposites

A function that is not even is not automatically odd. Most functions are neither. Classification requires an actual test.

The Zero Function Is Both

For \(f(x)=0\),

and also

The zero function is both even and odd.

Odd Functions and the Origin

If an odd function is defined at \(x=0\), then

so

An odd function defined at zero must pass through the origin.

An Odd Function Need Not Contain the Origin

The reciprocal function \(f(x)=1/x\) is odd but is undefined at \(x=0\). Origin symmetry does not require the origin itself to belong to the graph.

Symmetric Domains Matter

Even and odd classifications require a domain that supports comparison of \(x\) with \(-x\). If \(x\) is in the domain but \(-x\) is not, the usual symmetry condition cannot hold across that domain.

Symmetry Can Reduce Plotting Work

Once symmetry is known, one part of a graph determines another. For an even function, the right half determines the left half by reflection. For an odd function, one side determines the other by a half-turn.

Symmetry Can Verify a Graph

If algebra proves that a function is even but the plotted graph does not mirror across the \(y\)-axis, the plotting, scale, table, or formula entry should be checked.

Symmetry About Other Lines

The parabola

is symmetric about

not about the \(y\)-axis.

A Symmetric Function Need Not Be Even

The graph of \(y=(x-3)^2\) has reflection symmetry, but the function is not even because the symmetry line is \(x=3\), not \(x=0\).

What Is a Function Family?

A function family is a collection of functions sharing a characteristic algebraic structure and related graphical form.

Familiar examples include constant, linear, quadratic, cubic, absolute-value, radical, reciprocal, exponential, and logarithmic families.

What Is a Parent Function?

A parent function is a simple reference member of a family. For the quadratic family, the standard parent function is

Other quadratic functions retain the characteristic parabolic structure even when their position or dimensions differ.

Parent Functions Are Reference Models

A parent function is a convenient baseline, not the only important member of the family. It gives us a standard shape from which other family members can be compared.

The Constant Family

Constant functions have the form

Their graphs are horizontal lines.

The Linear Family

Linear functions have the form

Their graphs are straight lines. The parent model \(f(x)=x\) is the identity function and is odd.

The Quadratic Family

Quadratic functions have the general form

Their graphs are parabolas. The parent \(f(x)=x^2\) is even, but shifted quadratics need not be even.

Not Every Quadratic Is Even

The function \(f(x)=(x-2)^2\) is quadratic, but its symmetry line is \(x=2\). It is therefore not even with respect to the standard coordinate axes.

The Cubic Family

The basic cubic parent is

Its graph has a characteristic S-like shape and origin symmetry. General cubic functions can vary substantially while remaining cubic by algebraic degree.

The Absolute-Value Family

The parent function

has a V-shaped graph with a corner at the origin. The parent is even.

The Square-Root Family

The parent function

begins at the origin and extends to the right. Its standard real domain is \([0,\infty)\), so it is neither even nor odd.

The Cube-Root Family

The parent function

is defined for every real input and has origin symmetry. It is odd.

The Reciprocal Family

The parent reciprocal function is

It has two disconnected branches, excludes \(x=0\), and has origin symmetry.

The Reciprocal-Square Family

Compare \(1/x\) with

Since

the reciprocal-square parent is even rather than odd.

The Exponential Family

A basic exponential function has the form

Its parent graph is defined for all real inputs, passes through \((0,1)\), and remains positive.

The Logarithmic Family

A logarithmic function has the basic form

Its standard real domain is \(x>0\). Exponential and logarithmic parent functions are inverses, so their graphs reflect across \(y=x\).

Power Functions Form a Broad Family

Functions of the form

are power functions for fixed \(p\). Different exponents produce familiar quadratic, cubic, radical, and reciprocal shapes.

Polynomial Families and Degree

• degree \(0\): constant;
• degree \(1\): linear;
• degree \(2\): quadratic;
• degree \(3\): cubic;
• higher degrees: quartic, quintic, and beyond.

Degree is algebraic information that often corresponds to recognizable large-scale graphical structure.

Relations Also Have Families

Family language is not limited to functions. Circles, ellipses, parabolas, and hyperbolas are conic-section families of relations. Some fail the vertical line test while still possessing strong symmetry.

The Circle as a Symmetric Relation

The relation

is not a function of \(x\) for \(r>0\), but it is symmetric about both coordinate axes and the origin.

Symmetry of an Implicit Relation

Consider

Replacing \(x\) by \(-x\) or \(y\) by \(-y\) leaves the equation unchanged. The relation therefore has both axis symmetries and origin symmetry.

Coordinate Pairs as a Symmetry Check

• \(y\)-axis symmetry pairs \((a,b)\) with \((-a,b)\);
• \(x\)-axis symmetry pairs \((a,b)\) with \((a,-b)\);
• origin symmetry pairs \((a,b)\) with \((-a,-b)\).

Example: Use a Known Point

If \((4,-7)\) lies on a graph with \(y\)-axis symmetry, then the graph must also contain

With origin symmetry, the partner would instead be

Reflection across \(y=x\) Is Different

Reflection across the line \(y=x\) sends

This is the geometric relationship between a function and its inverse. It is different from even, odd, or \(x\)-axis symmetry.

Even and Odd Do Not Mean Output Parity

The words even and odd in function theory do not classify outputs as even or odd integers. They refer to the identities

and

Even-Power Polynomials

A polynomial containing only even powers of \(x\), including a constant term, is even. For example,

satisfies \(f(-x)=f(x)\).

Odd-Power Polynomials

A polynomial containing only odd powers of \(x\) and no nonzero constant term is odd. For example,

satisfies \(f(-x)=-f(x)\).

Mixed Powers Often Give Neither

The polynomial

contains both odd- and even-power terms and is neither even nor odd.

Testing a Function Algebraically

1. Compute \(f(-x)\).
2. Simplify completely.
3. Compare the result with \(f(x)\).
4. Compare it with \(-f(x)\).

Equality with \(f(x)\) means even; equality with \(-f(x)\) means odd; otherwise the function is neither.

Example: Test an Even Polynomial

Let

Then

Therefore, \(f\) is even.

Example: Test an Odd Polynomial

Let

Then

Therefore, \(g\) is odd.

Example: Test a Function That Is Neither

Let

Then

which equals neither \(h(x)\) nor \(-h(x)\). Thus \(h\) is neither.

Family Recognition Uses Several Clues

• overall shape;
• domain and range;
• symmetry;
• corners, smoothness, and curvature;
• connected or disconnected branches;
• intercepts and anchor points;
• algebraic form when available.

Shape Is Evidence, Not Proof

A graph that looks parabolic inside a small window is not automatically a quadratic. Different functions can resemble one another over a limited interval. Classification is strongest when graphical and algebraic evidence agree.

The Viewing Window Can Hide Family Features

A narrow window can make a curve appear almost linear, hide a second branch, or crop away a key turning point. Always inspect the scale and window before classifying by appearance.

Domain Is a Family Clue

The parent square-root graph has domain \([0,\infty)\), while the parent cube-root graph has domain \(( -\infty,\infty )\). Domain information can distinguish graphs that otherwise look somewhat similar near the origin.

Range Is a Family Clue

The parent quadratic and parent absolute-value functions both have range \([0,\infty)\), but one is smoothly curved and the other has a sharp corner. Range is useful evidence, but rarely the only evidence needed.

Symmetry Is a Family Clue

• \(x^2\) and \(|x|\) are even;
• \(x\), \(x^3\), \(\sqrt[3]{x}\), and \(1/x\) are odd;
• \(\sqrt{x}\), \(b^x\), and \(\log_b x\) are generally neither.

These are parent patterns, not automatic properties of every transformed member.

Family and Symmetry Answer Different Questions

Family identifies broad algebraic and graphical structure. Symmetry describes how the actual graph repeats relative to specific axes or points. A graph can remain in the same family while losing the parent graph's coordinate-axis symmetry.

Recognizing a Linear Graph

A nonvertical straight line suggests the linear family. Equal horizontal changes produce equal vertical changes, so the rate of change is constant.

Recognizing a Quadratic Graph

A quadratic graph is a parabola with one axis of reflection symmetry and one vertex. It may open upward or downward. The mechanics of moving and scaling the parent parabola belong to the next lesson.

Recognizing an Absolute-Value Graph

An absolute-value graph has a characteristic V-shaped, piecewise-linear form with a corner. Its location and orientation can change without changing its family classification.

Recognizing Radical Graphs

Square-root graphs have a one-sided real domain and a finite starting point in their basic form. Cube-root graphs extend in both horizontal directions and have a central S-like form.

Recognizing Reciprocal-Type Graphs

Reciprocal-type graphs often have disconnected branches and excluded input values. Detailed asymptote analysis is reserved for a later lesson in this section.

Recognizing Exponential and Logarithmic Graphs

Exponential parent graphs are defined for all real inputs and stay on one side of the horizontal axis. Logarithmic parent graphs have a one-sided domain. Their inverse relationship explains their reflection across \(y=x\).

A Reliable Graphical Symmetry Procedure

1. Inspect the whole graph and its scale.
2. Choose the symmetry being tested.
3. Select representative points.
4. Apply the corresponding coordinate rule.
5. Check whether the partner points lie on the graph.
6. Search for counterexamples elsewhere.
7. Use algebraic substitution when an equation is available.

A Reliable Family-Recognition Procedure

1. Determine whether the graph is continuous, discrete, or piecewise.
2. Inspect domain and range.
3. Look for symmetry.
4. Notice corners, branches, curvature, and straight portions.
5. Check recognizable points and intercepts.
6. Inspect the graphing window and scale.
7. Compare with known parent-function patterns.
8. Confirm with the formula when one is available.

Common Error: Calling Every Symmetric Function Even

A function may be symmetric about a vertical line other than the \(y\)-axis. Evenness specifically requires \(f(-x)=f(x)\).

Common Error: Calling Every Origin-Crossing Function Odd

Passing through \((0,0)\) is only one point condition. Oddness requires \(f(-x)=-f(x)\) throughout the domain.

Common Error: Checking Only One Point Pair

One matching pair does not establish symmetry. The required coordinate pairing must hold for every point of the relation.

Common Error: Ignoring a Restricted Domain

If \(f(x)=x^2\) is restricted to \(x\ge0\), only the right half of the parabola remains. The restricted graph is no longer symmetric about the \(y\)-axis.

Common Error: Confusing Family with Exact Formula

Recognizing a graph as quadratic does not identify its exact equation. Many different formulas belong to the quadratic family.

Common Error: Trusting a Distorted Window

Unequal scales can distort steepness and apparent shape. A cropped window can also hide decisive family features. Read the axes before making visual conclusions.

Common Error: Assuming Every Family Member Keeps Parent Symmetry

The parent \(x^2\) is even, but a horizontally shifted parabola usually is not. The parent \(1/x\) is odd, but a translation can move its center of symmetry away from the origin.

Common Error: Confusing \(x\)-Axis Symmetry with Evenness

Common Error: Confusing Even Degree with an Even Function

The function

has even degree \(2\), but it is not an even function because \(f(-x)\ne f(x)\).

Symmetry Connects Algebra and Geometry

The identities \(f(-x)=f(x)\) and \(f(-x)=-f(x)\) are algebraic statements that describe visible geometric behavior. This bridge between symbolic and graphical representations is one of the central ideas of algebra.

Function Families Organize the Graphing Toolbox

Familiar parent families let us interpret new graphs as variations of known structures instead of treating every graph as an unrelated picture. This becomes increasingly valuable in precalculus and calculus.

Family Recognition Supports Prediction

Recognizing a family suggests what to investigate next: likely domain restrictions, possible symmetry, corners, branches, inverse relationships, or other characteristic behavior. These are informed expectations that must still be verified.

From Families to Transformations

Once two graphs are recognized as members of the same family, the next task is to describe how one is repositioned or resized relative to the parent. That requires a systematic language of transformations.

Practice 1: Identify the Symmetry

A graph contains \((5,2)\) whenever it contains \((-5,2)\), and this pairing holds for every point. Which symmetry is described?

Practice 2: Origin Symmetry

If a graph with origin symmetry contains \((3,-8)\), what other point must it contain?

Practice 3: Test for Evenness

Determine whether

is even, odd, or neither.

Practice 4: Test for Oddness

Determine whether

is even, odd, or neither.

Practice 5: Neither

Classify

as even, odd, or neither.

Practice 6: Identify the Parent Family

A graph is V-shaped with a single corner. Which common parent-function family does this most strongly suggest?

Practice 7: Domain Clue

A parent graph begins at \((0,0)\), exists only for \(x\ge0\), and rises to the right. Which common family does this describe?

Practice 8: Relation Symmetry

Test the relation

for \(x\)-axis, \(y\)-axis, and origin symmetry.

Practice 9: Identify the Error

A student says, “The graph passes through the origin, so the function is odd.” Explain why the conclusion does not follow.

Practice 10: Family versus Symmetry

The function

belongs to what common family, and is it even with respect to the standard coordinate axes?

Practice Answers

Practice 1

The rule \((x,y)\mapsto(-x,y)\) describes \(y\)-axis symmetry.

Practice 2

Practice 3

Therefore, \(f\) is even.

Practice 4

Therefore, \(g\) is odd.

Practice 5

This equals neither \(h(x)\) nor \(-h(x)\), so \(h\) is neither.

Practice 6

The graph most strongly suggests the absolute-value family:

Practice 7

The description matches the square-root family:

Practice 8

Replacing \(x\) by \(-x\) leaves the equation unchanged, as does replacing \(y\) by \(-y\). Replacing both also leaves it unchanged. The ellipse has \(y\)-axis symmetry, \(x\)-axis symmetry, and origin symmetry.

Practice 9

Passing through the origin is only one point condition. Oddness requires the global identity \(f(-x)=-f(x)\) throughout the domain.

Practice 10

The function is quadratic. Its symmetry line is \(x=4\), not the \(y\)-axis, so it is not even with respect to the standard axes.

What to Remember

• \(y\)-axis symmetry pairs \((x,y)\) with \((-x,y)\);
• \(x\)-axis symmetry pairs \((x,y)\) with \((x,-y)\);
• origin symmetry pairs \((x,y)\) with \((-x,-y)\);
• even functions satisfy \(f(-x)=f(x)\);
• odd functions satisfy \(f(-x)=-f(x)\);
• most functions are neither even nor odd;
• a parent function is a reference model for a function family;
• family recognition uses shape, domain, range, symmetry, and algebraic form;
• family membership does not guarantee the parent's coordinate-axis symmetry;
• graph scale and window can disguise structural features.

Where We Go Next

Recognizing a function family identifies a familiar structural pattern. The next step is to describe precisely how one graph is repositioned or resized relative to another.

The next lesson, Translations, Reflections, Stretches, and Compressions, develops a systematic graphical and algebraic language for moving parent graphs horizontally or vertically, flipping them across axes, and changing their horizontal or vertical scale.