4.1 Properties of Root Functions and Their Graphs
4.1.1 Root Functions
As with polynomial functions and rational functions, we begin our study of functions involving radicals with a special family of functions: the (principal) root functions.
Definition 4.1
Let with
. The
th (principal) root function is the function
.
NOTE: If is even, the domain of
is
; if
is odd, the domain of
is
.
The domain restriction for even indexed roots means that, once again, we are restricting our attention to real numbers.[1] We graph a few members of the root function family below, and quickly notice that, as with the monomial, and, more generally, the Laurent monomial functions, the behavior of the root functions depends primarily on whether the root is even or odd.
In addition to having the common domain of , the graphs of
for even indices,
, all share the points
and
. As
increases, the functions become `steeper’ near the
-axis and `flatter’ as
. To show
as
, we show, more generally, the range of
is
. Indeed, if
is a real number, then
so
is in the range of
. Note that
is increasing: that is, if
, then
. This property is useful in solving certain types of polynomial inequalities.[2]

The functions for odd natural numbers,
, also follow a predictable trend – steepening near
and flattening as
. The range for these functions is
because if
is any real number,
, so
is in the range of
. Like the even indexed roots, the odd indexed roots are also increasing. Moreover, these graphs appear to be symmetric about the origin. Sure enough, when
is odd,
so
is an odd function.

At this point, you’re probably expecting a theorem like Theorems 1.4, 2.1, 2.2, 3.1 – that is, a theorem which tells us how to obtain the graph of from the graph of
– and you would not be wrong. Here, however, we need to add an extra parameter `
‘ to the recipe and discuss functions of the form
. The reason is that, with all of the previous function families, we were always able to factor out the coefficient of
. We list some examples of this below, and invite the reader to revisit other examples in the text:
For a function like , this approach works fine. However, if the coefficient of
is negative, for example,
we get stuck the product rule for radicals doesn’t extend to negative quantities when the index is even.[3] Hence we add an extra parameter which means we have an extra step. We state Theorem 4.1 below.
Theorem 4.1
For real numbers ,
,
, and
with
, the graph of
can be obtained from the graph of
by performing the following operations, in sequence:
- add
to each of the
-coordinates of the points on the graph of
. This results in a horizontal shift to the right if
or left if
.
NOTE: This transforms the graph ofto
.
- divide the
-coordinates of the points on the graph obtained in Step 1 by
. This results in a horizontal scaling, but may also include a reflection about the
-axis if
.
NOTE: This transforms the graph ofto
.
- multiply the
-coordinates of the points on the graph obtained in Step 2 by
. This results in a vertical scaling, but may also include a reflection about the
-axis if
.
NOTE: This transforms the graph ofto
.
- add
to each of the
-coordinates of the points on the graph obtained in Step 3. This results in a vertical shift up if
or down if
.
NOTE: This transforms the graph ofto
.
Proof. As usual, we `build’ the graph of starting with the graph of
one step at a time. First, we consider the graph of
. A generic point on the graph of
looks like
. Note that if
is odd,
can be any real number whereas if
is even
so
. If we let
, then
and we can change (dummy) variables[4] and obtain a new representation of the point:
. Note that if
is odd,
and
vary through all real numbers; if
is even,
and, hence,
. As a generic point on the graph of
can be represented as
for applicable values of
, we see that we can obtain every point on the graph of
by adding
to each
-coordinate of the graph of
, establishing step 1 of the theorem.
Proceeding to (the new!) step 2, a point on the graph of has the form
. If
is odd, as usual,
can vary through all real numbers. If
is even, we require
or
. If
, this gives
. If, on the other hand,
, then we have
. Let
and thus by assuming
, we have
. Once again, we change dummy variables from
to
and describe a generic point on the graph of
as
. If
is odd,
and
can vary through all real numbers. If
is even and
, then
and, hence,
; if
, then
also gives
. A generic point on the graph of
can be represented as
for applicable values of
, so we see we can obtain every point on the graph of
by dividing every
-coordinate on the graph of
by
, as per step 2 of the theorem.
The proof of steps 3 and 4 of Theorem 4.1} are identical to the proof of Theorem 2.2 (just with instead of
) so we invite the reader to work through the details on their own.
We demonstrate Theorem 4.1 in the following example.
Example 4.1.1
Example 4.1.1.1
Use Theorem 4.1 to graph the following. Label at least three points and the asymptotes. State the domain and range using interval notation.
Solution:
Graph .
We begin by rewriting the expression for in the form prescribed Theorem 4.1:
. We identify
,
,
,
and
.
Step 1: add to each of the
-coordinates of each of the points on the graph of
:
As , we can proceed to Step 3 (dividing a real number by
results in the same real number.)
Step 3: multiply each of the -coordinates of each point on the graph of
by
:
Step 4: add to
-coordinates of each point on the graph of
:
We get the domain and range of are both
.
Example 4.1.1.2
Use Theorem 4.1 to graph the following. Label at least three points and the asymptotes. State the domain and range using interval notation.
Solution:
Graph .
For , we identify
,
,
,
and
.
We are asked to label three points on the graph, so we track along with
and
.[5]
Step 1: add to each of the
-coordinates of each of the points on the graph of
:
Step 2: divide each of the -coordinates of each of the points on the graph of
by
:
Step 3: multiply each of the -coordinates of each of the points on the graph of
by
:
We get the domain is and the range is
.
4.1.2 Other Functions involving Radicals
Now that we have some practice with basic root functions, we turn our attention to more general functions involving radicals. In general, Calculus is the best tool with which to study these functions. Nevertheless, we will use what algebra we know in combination with a graphing utility to help us visualize these functions and preview concepts which are studied in greater depth in later courses. In the table below, we summarize some of the properties of radicals from elsewhere in this text we will be using in the coming examples.
Example 4.1.2
Example 4.1.2.1
For the following function:
- Analytically:
- State the domain
- Identify the axis intercepts
- Analyze the end behavior
- Construct a sign diagram for each function using the intercepts and sketch a graph
- Using technology determine:
- The range
- The local extrema, if they exist
- Intervals where the function is increasing
- Intervals where the function is decreasing
Solution:
Analyze and graph .
When looking for the domain, we have two thing to watch out for: denominators (which we must make sure aren’t ) and even indexed radicals (whose radicands we must ensure are nonnegative.)
Looking at the expression for , we have no denominators nor do we have an even indexed radical, so we are confident the domain is all real numbers,
.


![Rendered by QuickLaTeX.com f(x) = 3x \sqrt[3]{2-x} = 0](https://odp.library.tamu.edu/app/uploads/quicklatex/quicklatex.com-8021c80050dc44b6f56d75d29eda0e68_l3.png)

![Rendered by QuickLaTeX.com \sqrt[3]{2-x} = 0](https://odp.library.tamu.edu/app/uploads/quicklatex/quicklatex.com-5f165fbca41fecdc5fef23781344f2a0_l3.png)






As is also on the
-axis and functions can have at most one
-intercept, we know
is the only
-intercept.[9] That being said, we can quickly verify
.
To determine the end behavior, we consider as
. Using `number sense,’ [10] we have
so .
As we get
so here, too.
To create a sign diagram for , we note that the function has zeros
and
For ,
or
, for
,
or
, and for
,
or
The sign diagram for is on the left. The graph of
is on the right.
From the graph and our use of technology, the range is approximately with a local maximum (which also happens to be the maximum) at
. We also see
appears to be increasing on
and decreasing on
.
It is also worth noting that there appears to be `unusual steepness’ near the -intercept
. We invite the reader to zoom in on the graph near
to see that the function appears `locally vertical.’[11]
Example 4.1.2.2
For the following function:
- Analytically:
- State the domain
- Identify the axis intercepts
- Analyze the end behavior
- Construct a sign diagram for each function using the intercepts and sketch a graph
- Using technology determine:
- The range
- The local extrema, if they exist
- Intervals where the function is increasing
- Intervals where the function is decreasing
Solution:
Analyze and graph .
The index of the radical in the expression for is odd, so our only concern is the denominator. Setting
gives
, which we exclude, so our domain is
or using interval notation,
.
If we take the time to analyze the behavior of near
, we find that as
That is, as ,
.
Likewise, as
This suggests as ,
. This behavior points to a vertical asymptote,
To find the -intercepts of the graph of
, we find the zeros of
by setting
. Cubing both sides and clearing denominators gives
or
. Hence our
-, and in this case,
– intercept is
To determine the end behavior, we note that as
Hence, it stands to reason that as
This suggests the graph of has a horizontal asymptote at
To create a sign diagram for , we note that the function is undefined when
(so we place a dashed line above it) and has a zero
When ,
or
, for
,
or
, and for
,
or
On the left is a sign diagram for . The graph of
is on the right.
The graph confirms our suspicions about the asymptotes and
Moreover, the range appears to be .
We could check if the graph ever crosses its horizontal asymptote by attempting to solve . Cubing both sides and clearing denominators gives
which results in
, a contradiction. This proves
is not in the range, as we had suspected.
Scanning the graph, there appears to be no local extrema, and, moreover, the graph suggests is increasing on
and again on
. As with the previous example, the graph appears locally vertical near its intercept
.
Example 4.1.2.3
For the following function:
- Analytically:
- State the domain
- Identify the axis intercepts
- Analyze the end behavior
- Construct a sign diagram for each function using the intercepts and sketch a graph
- Using technology determine:
- The range
- The local extrema, if they exist
- Intervals where the function is increasing
- Intervals where the function is decreasing
Solution:
Analyze and graph .
The expression for has both a denominator and an even-indexed radical, so we have to be extra cautious here.
Fortunately for us, the quantity for al real numbers
. Not only does this mean
is always defined, it also tells us
for all
, too. This means the domain of
is all real numbers,
Solving for the zeros of gives only
, and we find, once again,
is both our lone
– and
-intercept.
Moving on to end behavior, as , the term
is the dominant term in the radicand in the denominator. As such,
As ,
(because
), so
so .
Likewise, as ,
(because
) and hence,
so .
This analysis suggests the graph of has not one, but two horizontal asymptotes.[12] The graph of
below on the right bears this out.
The domain of is all real number and the only zero of
is
, so the sign diagram for
is fairly straight forward. For
,
or
and for
,
or
From the graph, we see the range of appears to be
Attempting to solve gives, in either case,
which reduces to
, a contradiction. Hence, the graph of
never reaches its horizontal asymptotes.
Moreover, appears to be always increasing, with no local extrema or `unusual’ steepness.
One last remark: it appears as if the graph of is symmetric about the origin. We check
which verifies
is odd.
Example 4.1.2.4
For the following function:
- Analytically:
- State the domain
- Identify the axis intercepts
- Analyze the end behavior
- Construct a sign diagram for each function using the intercepts and sketch a graph
- Using technology determine:
- The range
- The local extrema, if they exist
- Intervals where the function is increasing
- Intervals where the function is decreasing
Solution:
Analyze and graph .
The first thing to note about the expression is that
.
Hence, we must exclude from the domain straight away.
Next, we have an even-indexed radical expression: . In order for this to return a real number, we require
. Instead of using a sign diagram to solve this, we opt instead to carefully use properties of radicals. Isolating
, we have
. As the root functions are increasing, we can apply the fourth root to both sides and preserve the inequality:
which gives[13]
. Note that
does not satisfy this inequality, thus restricting
in this manner takes care of both domain issues, so the domain is
.
Next, we look for zeros. Setting gives
. After squaring both sides, we get
or
. Extracting fourth roots, we get
. Both of these are (barely!) in the domain of
, so our
intercepts are
and
Note, the graph of has no
-intercept, because
is undefined (
is not in the domain of
).
Concerning end behavior, we note the term dominates the radicand
as
, hence,
This suggests the graph of has a slant asymptote with slope
.[14]
To construct the sign diagram for we note
has two zeros,
.
For ,
or
and when
,
or
. When
,
is undefined so we have removed that segment from the diagram, as seen below on the left. The graph of
is on the right.
We see the range appears to be all real numbers, .
It appears as if is increasing on
and again on
.
The graph does appear to be asymptotic to , and it also appears to be symmetric about the origin. Sure enough, we find
, proving
is an odd function.
We end this section with a classic application of root functions.
Example 4.1.3
Example 4.1.3.1
Carl wishes to get high speed internet service installed in his remote Sasquatch observation post located miles from Route
. The nearest junction box is located
miles down the road from the post, as indicated in the diagram below. Suppose it costs
per mile to run cable along the road and
per mile to run cable off of the road.
Write an expression, , which computes the cost of connecting the Junction Box to the Outpost as a function of
, the number of miles the cable is run along Route
before heading off road directly towards the Outpost. Determine a reasonable applied domain for the problem.
Solution:
Write an expression .
The cost is broken into two parts: the cost to run cable along Route at
per mile, and the cost to run it off road at
per mile.
represents the miles of cable run along Route
, thus the cost for that portion is
.
From the diagram, we see that the number of miles the cable is run off road is , so the cost of that portion is
.
Hence, the total cost is .
Our next goal is to determine in terms of
. The diagram suggests we can use the Pythagorean Theorem to get
.
But we also see so that
.
Substituting in for
we obtain
.
Solving for , we obtain
.
Because represents a distance, we choose
.
Hence, the cost as a function of is given by
. From the context of the problem, we have
.
Example 4.1.3.1
Carl wishes to get high speed internet service installed in his remote Sasquatch observation post located miles from Route
. The nearest junction box is located
miles down the road from the post, as indicated in the diagram below. Suppose it costs
per mile to run cable along the road and
per mile to run cable off of the road.
Graph on its domain. What is the minimum cost? How far along Route
should the cable be run before turning off of the road?
Solution:
Graph .
We graph below and find our (local) minimum to be at the point
, using technology.
Here the -coordinate tells us that in order to minimize cost, we should run
miles of cable along Route 117 and then turn off of the road and head towards the outpost. The
-coordinate tells us that the minimum cost, in dollars, to do so is 1146.86 dollars. The ability to stream live SasquatchCasts? Priceless.
4.1.3 Section Exercises
In Exercises 1 – 8, given the pair of functions and
, sketch the graph of
by starting with the graph of
and using Theorem 4.1. Track at least two points and state the domain and range using interval notation.
and
and
and
and
and
and
and
and
In Exercises 9 – 10, find a formula for each function below in the form .
NOTE: There may be more than one solution!
In Exercises 11 – 12, find a formula for each function below in the form .
NOTE: There may be more than one solution!
-
-
- Use the fact that the
th root functions are increasing to solve the following polynomial inequalities:
For the following inequalities, remember
if
is even:
For each function in Exercises 14 – 21 below
- Analytically:
- State the domain
- Determine the axis intercepts
- Analyze the end behavior
- Construct a sign diagram for each function using the intercepts and sketch a graph.
- Using technology determine:
- The range
- The local extrema, if they exist
- Intervals where the function is increasing/decreasing
- Any `unusual steepness’ or `local’ verticality
- Vertical asymptotes
- Horizontal/slant asymptotes
- Comment on any observed symmetry
- Rework Example 4.1.3 so that the outpost is 10 miles from Route 117 and the nearest junction box is 30 miles down the road for the post.
- The volume
of a right cylindrical cone depends on the radius of its base
and its height
and is given by the formula
. The surface area
of a right cylindrical cone also depends on
and
according to the formula
. In the following problems, suppose a cone is to have a volume of 100 cubic centimeters.
- Use the formula for volume to find the height as a function of
,
.
- Use the formula for surface area along with your answer to 23a to find the surface area as a function of
,
.
- Use your calculator to find the values of
and
which minimize the surface area. What is the minimum surface area? Round your answers to two decimal places.
- Use the formula for volume to find the height as a function of
- The period of a pendulum in seconds is given by
(for small displacements) where
is the length of the pendulum in meters and
meters per second per second is the acceleration due to gravity. My Seth-Thomas antique schoolhouse clock needs
second and I can adjust the length of the pendulum via a small dial on the bottom of the bob. At what length should I set the pendulum?
- According to Einstein’s Theory of Special Relativity, the observed mass of an object is a function of how fast the object is traveling. Specifically, if
is the mass of the object at rest,
is the speed of the object and
is the speed of light, then the observed mass of the object
is given by:
- State the applied domain of the function.
- Compute
and
.
- As
, what happens to
?
- How slowly must the object be traveling so that the observed mass is no greater than 100 times its mass at rest?
- Find the inverse of
.
Section 4.1 Exercise Answers can be found in the Appendix … Coming soon
- Although we discussed imaginary numbers in Section 1.5, we restrict our attention to real numbers in this section. ↵
- See Exercise 13. ↵
- Because, otherwise,
, a contradiction. ↵
- again this is because every real number can be represented as both
for some value
and as
for some value
. ↵
- As
, we know
is on the graph of
. ↵
- i.e., if
is odd,
,
, and
can be any real numbers; if, on the other hand
is even,
,
, and
. ↵
- a.k.a., `Inverse Properties.' See Section 5.1. ↵
- i.e., root functions are increasing. ↵
- Why is this, again? ↵
- remember this means we use the adjective `big' here to mean large in absolute value ↵
- Of course, the Vertical Line Test prohibits the graph from actually being a vertical line. This behavior is more precisely defined and more closely studied in Calculus. ↵
- We warned you this was coming
see the discussion following Theorem 3.3 in Section 3.2. ↵
- Recall:
, not
, if
is even. ↵
- Note: this analysis suggests the slant asymptote is
, but from this analysis, we cannot determine the value of
. As with slant asymptotes in Section 3.2, we'd need to perform a more detailed analysis which we omit in this case owing to the complexity of the function. ↵