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 of to . - 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 of to . - 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 of to . - 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 of to .
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, .
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.
- 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. ↵