Precalculus with Integrated CalculusXYZ Homework Edition

⇩ Download ▾

4.1 Root and Radical Functions

In Sections 1.2, 1.3 and 1.4, we studied constant, linear, absolute value,1 and quadratic functions. Constant, linear and quadratic functions were specific examples of polynomial functions, which we studied in generality in Chapter 2. Chapter 2 culminated with the Real Factorization Theorem, Theorem 2.18, which says that all polynomial functions with real coefficients can be thought of as products of linear and quadratic functions. Our next step was to enlarge our field2 of study to rational functions in Chapter 3. Being quotients of polynomials, we can ultimately view this family of functions as being built up of linear and quadratic functions as well. So in some sense, Sections 1.2, 1.3 and 1.4 along with Chapters 2 and 3 can be thought of as an exhaustive study of linear and quadratic3 functions. We now turn our attention to functions involving radicals which cannot be written in terms of linear functions. For a more detailed review of the basics of roots and radicals, we refer the reader to Sections A.2 and A.13.

Root Functions

As with polynomial functions and rational functions, we begin our study of functions involving radical with a special family of functions: the (principal) root functions.

The domain restriction for even indexed roots means that, once again, we are restricting our attention to real numbers.4 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 [ 0 , ) , the graphs of f ( x ) = x n for even indices n all share the points ( 0 , 0 ) and ( 1 , 1 ) . As n increases, the functions become `steeper' near the y -axis and `flatter' as x . To show f ( x ) as x , we show, more generally, the range of f is [ 0 , ) . Indeed, if c 0 is a real number, then f ( c n ) = c n n = c so c is in the range of f . Note that f is increasing: that is, if a < b , then f ( a ) = a n < b n = f ( b ) . This property is useful in solving certain types of polynomial inequalities.5

Coordinate-plane figure.
Figure 4.1 y = x
Coordinate-plane figure.
Figure 4.2 y = x 4
Coordinate-plane figure.
Figure 4.3 y = x 6

The functions f ( x ) = x n for odd natural numbers n 3 also follow a predictable trend - steepening near x = 0 and flattening as x and x . The range for these functions is ( , ) since if c is any real number, f ( c n ) = c n n = c , so c is in the range of f . 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 n is odd, f ( x ) = x n = x n = f ( x ) so f is an odd function.

Coordinate-plane figure.
Figure 4.4 y = x 3
Coordinate-plane figure.
Figure 4.5 y = x 5
Coordinate-plane figure.
Figure 4.6 y = x 7

At this point, you're probably expecting a theorem like Theorems 1.2, 1.3, 2.1, 3.1 - that is, a theorem which tells us how to obtain the graph of F ( x ) = a x h n + k from the graph of f ( x ) = x n - and you would not be wrong. Here, however, we need to add an extra parameter ` b ' to the recipe and discuss functions of the form F ( x ) = a b x h n + k . The reason is that, with all of the previous function families, we were always able to factor out the coefficient of x . We list some examples of this below, and invite the reader to revisit other examples in the text:

  • F ( x ) = | 6 2 x | = | 2 x + 6 | = | 2 ( x + 3 ) | = | 2 | | x + 3 | = 2 | x + 3 | .
  • F ( x ) = ( 2 x 1 ) 2 + 1 = [ 2 ( x 1 2 ) ] 2 + 1 = ( 2 ) 2 ( x 1 2 ) 2 + 1 = 4 ( x 1 2 ) 2 + 1
  • F ( x ) = 2 ( 1 x ) 3 5 = 2 [ ( 1 ) ( x 1 ) ] 3 5 = 2 ( 1 ) 3 ( x 1 ) 3 5 = 2 ( x 1 ) 3 5 = 2 ( x 1 ) 3 5 .

For a function like F ( x ) = 4 x 12 + 1 = 4 ( x 6 ) + 1 = 4 x 3 + 1 = 2 x 3 + 1 , this approach works fine. However, if the coefficient of x is negative, for example, F ( x ) = 1 x = ( 1 ) ( x 1 ) we get stuck the product rule for radicals doesn't extend to negative quantities when the index is even.6 Hence we add an extra parameter which means we have an extra step. We state Theorem 4.1 below.

Proof. As usual, we `build' the graph of F ( x ) = a b x h n + k starting with the graph of f ( x ) = x n one step at a time. First, we consider the graph of F 1 ( x ) = x h . A generic point on the graph of F 1 looks like ( x , x h n ) . Note that if n is odd, x can be any real number whereas if n is even x h 0 so x h . If we let c = x h , then x = c + h and we can change (dummy) variables7 and obtain a new representation of the point: ( c + h , c n ) . Note that if n is odd, x and c vary through all real numbers; if n is even, x h and, hence, c 0 . Since a generic point on the graph of f ( x ) = x n can be represented as ( c , c n ) for applicable values of c , we see that we can obtain every point on the graph of F 1 by adding h to each x -coordinate of the graph of f , establishing step 1 of the theorem.

Proceeding to (the new!) step 2, a point on the graph of F 2 ( x ) = b x h n has the form ( x , b x h n ) . If n is odd, as usual, x can vary through all real numbers. If n is even, we require b x h 0 or b x h . If b > 0 , this gives x h b . If, on the other hand, b < 0 , the we have x h b . Let c = b x and since by assumption b 0 , we have x = c b . Once again, we change dummy variables from x to c and describe a generic point on the graph of F 2 as ( c b , c h n ) . If n is odd, x and c can vary through all real numbers. If n is even and b > 0 , then x h b and, hence, c = b x h ; if b < 0 , then x h b also gives c = b x h . Since a generic point on the graph of F 1 can be represented as ( c , c h ) for applicable values of c , we see we can obtain every point on the graph of F 2 by dividing every x -coordinate on the graph of F 1 by b , 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.1 (just with n instead of ( ) n ) so we invite the reader to work through the details on their own.

We demonstrate Theorem 4.1 in the following example.

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 (and Intermediate Algebra) we will be using in the coming examples.

We end this section with a classic application of root functions.

Exercises

In Exercises -, given the pair of functions f and F , sketch the graph of y = F ( x ) by starting with the graph of y = f ( x ) and using Theorem 4.1. Track at least two points and state the domain and range using interval notation.

  1. f ( x ) = x , F ( x ) = x + 3 2
  2. f ( x ) = x , F ( x ) = 4 x 1
  3. f ( x ) = x 3 , F ( x ) = x 1 3 2
  4. f ( x ) = x 3 , F ( x ) = 8 x + 8 3 + 4
  5. f ( x ) = x 4 , F ( x ) = x 1 4 2
  6. f ( x ) = x 4 , F ( x ) = 3 x 7 4 + 1
  7. f ( x ) = x 5 , F ( x ) = x + 2 5 + 3
  8. f ( x ) = x 8 , F ( x ) = x 8 2

In Exercises -, find a formula for each function below in the form F ( x ) = a b x h + k .

NOTE: There may be more than one solution!

  1. y = F ( x )

    Figure: ,-intercept
    Figure 4.29 x , y -intercept ( 0 , 0 )
  2. y = F ( x )

    Figure: -intercept , -intercept
    Figure 4.30 x -intercept ( 1 , 0 ) , y -intercept ( 0 , 2 )

In Exercises -, find a formula for each function below in the form F ( x ) = a b x h 3 + k .

NOTE: There may be more than one solution!

  1. y = F ( x )

    Figure: -intercept ,-intercept
    Figure 4.31 x -intercept ( 1 2 , 0 ) , y -intercept ( 0 , 1 )
  2. y = F ( x )

    Figure: -intercept , -intercept
    Figure 4.32 x -intercept ( 2 , 0 ) , y -intercept ( 0 , 4 )
  3. Use the fact that the n th root functions are increasing to solve the following polynomial inequalities:

    1. x 3 64
    2. 2 t 5 < 34
    3. ( 2 z + 1 ) 3 4 2

    For the following inequalities, remember x n n = | x | if n is even:

    1. x 4 16
    2. 6 t 6 < 58
    3. ( 2 z + 1 ) 4 3 27

For each function in Exercises - below

  • Analytically:

    • find the domain.
    • find the axis intercepts.
    • analyze the end behavior.
  • Graph the function with help from a graphing utility and determine:

    • the range.
    • the local extrema, if they exist.
    • intervals of increase/decrease.
    • any `unusual steepness' or `local' verticality.
    • vertical asymptotes.
    • horizontal / slant asymptotes.
  • Construct a sign diagram for each function using the intercepts and graph.
  • Comment on any observed symmetry.
  • f ( x ) = 1 x 2
  • f ( x ) = x 2 1
  • g ( t ) = t 1 t 2
  • g ( t ) = t t 2 1
  • f ( x ) = 16 x x 2 9 4
  • f ( x ) = 5 x x 3 + 8 3
  • g ( t ) = t ( t + 5 ) ( t 4 )
  • g ( t ) = t 3 + 3 t 2 6 t 8 3
  • 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 V of a right cylindrical cone depends on the radius of its base r and its height h and is given by the formula V = 1 3 π r 2 h . The surface area S of a right cylindrical cone also depends on r and h according to the formula S = π r r 2 + h 2 . In the following problems, suppose a cone is to have a volume of 100 cubic centimeters.

    1. Use the formula for volume to find the height as a function of r , h ( r ) .
    2. Use the formula for surface area along with your answer to to find the surface area as a function of r , S ( r ) .
    3. Use your calculator to find the values of r and h 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

    T = 2 π L g

    (for small displacements) where L is the length of the pendulum in meters and g = 9.8 meters per second per second is the acceleration due to gravity. My Seth-Thomas antique schoolhouse clock needs T = 1 2 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 m r is the mass of the object at rest, v is the speed of the object and c is the speed of light, then the observed mass of the object m ( v ) is given by:

    m ( v ) = m r 1 v 2 c 2

    1. Find the applied domain of the function.
    2. Compute m ( .1 c ) , m ( .5 c ) , m ( .9 c ) and m ( .999 c ) .
    3. Find lim v c m ( v ) .
    4. 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 k ( x ) = 2 x x 2 1 .

Answers

  1. F ( x ) = x + 3 2

    Figure: Domain: , Range:
    Figure 4.33 Domain: [ 3 , ) , Range: [ 2 , )
  2. F ( x ) = 4 x 1 = x + 4 1

    Figure: Domain: , Range:
    Figure 4.34 Domain: ( , 4 ] , Range: [ 1 , )
  3. F ( x ) = x 1 3 2

    Figure: Domain: , Range:
    Figure 4.35 Domain: ( , ) , Range: ( , )
  4. F ( x ) = 8 x + 8 3 + 4

    Figure: Domain: , Range:
    Figure 4.36 Domain: ( , ) , Range: ( , )
  5. F ( x ) = x 1 4 2

    Figure: Domain: , Range:
    Figure 4.37 Domain: [ 1 , ) , Range: [ 2 , )
  6. F ( x ) = 3 x 7 4 + 1

    Figure: Domain: , Range:
    Figure 4.38 Domain: [ 7 , ) , Range: ( , 1 ]
  7. F ( x ) = x + 2 5 + 3

    Figure: Domain: , Range:
    Figure 4.39 Domain: ( , ) , Range: ( , )
  8. F ( x ) = x 8 2

    Figure: Domain: , Range:
    Figure 4.40 Domain: ( , 0 ] , Range: [ 2 , )
  9. One solution is: F ( x ) = x + 4 + 2
  10. One solution is: F ( x ) = 2 x + 1
  11. One solution is: F ( x ) = 2 x + 1 3
  12. One solution is: F ( x ) = 2 x 1 3 2
    1. ( , 4 ]
    2. ( 2 , )
    3. [ 1 2 , )
    1. [ 2 , 2 ]
    2. ( , 2 ) ( 2 , )
    3. ( , 2 ] [ 1 , )
  13. f ( x ) = 1 x 2 Domain: [ 1 , 1 ] Intercepts: ( 1 , 0 ) , ( 1 , 0 ) Range: [ 0 , 1 ] Local maximum: ( 0 , 1 ) Increasing: [ 1 , 0 ] , Decreasing: [ 0 , 1 ] Unusual steepness20 at x = 1 and x = 1 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.41

    Graph:

    Coordinate-plane figure.
    Figure 4.42

    Note: f is even.

  14. f ( x ) = x 2 1 Domain: ( , 1 ] [ 1 , ) Intercepts: ( 1 , 0 ) , ( 1 , 0 ) lim x f ( x ) = 21 lim x f ( x ) = Range: [ 0 , ) Increasing: [ 1 , ) , Decreasing: ( , 1 ] Unusual steepness22at x = 1 and x = 1 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.43

    Graph:

    Coordinate-plane figure.
    Figure 4.44

    Note: f is even.

  15. g ( t ) = t 1 t 2 Domain: [ 1 , 1 ] Intercepts: ( 1 , 0 ) , ( 0 , 0 ) , ( 1 , 0 ) Range: [ 0.5 , 0.5 ] Local minimum ( 0.707 , 0.5 ) Local maximum: ( 0.707 , 0.5 ) Increasing: [ 0.707 , 0.707 ] Decreasing: [ 1 , 0.707 ] , [ 0.707 , 1 ] Unusual steepness at t = 1 and t = 1 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.45

    Graph:

    Coordinate-plane figure.
    Figure 4.46

    Note: g is odd.

  16. g ( t ) = t t 2 1 Domain: ( , 1 ] [ 1 , ) Intercepts: ( 1 , 0 ) , ( 1 , 0 ) lim t g ( t ) = lim t g ( t ) = Range: ( , ) Increasing: ( , 1 ] , [ 1 , ) Unusual steepness at t = 1 and t = 1 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.47

    Graph:

    Coordinate-plane figure.
    Figure 4.48

    Note: g is odd.

  17. f ( x ) = 16 x x 2 9 4 Domain: ( 3 , 0 ] ( 3 , ) Intercept: ( 0 , 0 ) Range: [ 0 , ) Decreasing: ( 3 , 0 ] , ( 3 , ) Unusual steepness at x = 0 Vertical asymptotes: x = 3 and x = 3 Horizontal asymptote: y = 0 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.49

    Graph:

    Coordinate-plane figure.
    Figure 4.50
  18. f ( x ) = 5 x x 3 + 8 3 Domain: ( , 2 ) ( 2 , ) Intercept: ( 0 , 0 ) Range: ( , 5 ) ( 5 , ) Increasing: ( , 2 ) , ( 2 , ) Vertical asymptote x = 2 Horizontal asymptote y = 5 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.51

    Graph:

    Coordinate-plane figure.
    Figure 4.52
  19. g ( t ) = t ( t + 5 ) ( t 4 ) Domain: [ 5 , 0 ] [ 4 , ) Intercepts ( 5 , 0 ) , ( 0 , 0 ) , ( 4 , 0 ) lim t g ( t ) = Range: [ 0 , ) Local maximum ( 2.937 , 6.483 ) Increasing: [ 5 , 2.937 ] , [ 4 , ) Decreasing: [ 2.937 , 0 ] Unusual steepness at t = 5 , t = 0 and t = 4 Sign Diagram:

    Coordinate-plane figure.
    Figure 4.53

    Graph:

    Coordinate-plane figure.
    Figure 4.54
  20. g ( t ) = t 3 + 3 t 2 6 t 8 3 Domain: ( , ) Intercepts: ( 4 , 0 ) , ( 1 , 0 ) , ( 0 , 2 ) , ( 2 , 0 ) 23 lim t g ( t ) = lim t g ( t ) = Range: ( , ) Local maximum: ( 2.732 , 2.182 ) Local minimum: ( 0.732 , 2.182 ) Increasing: ( , 2.732 ] , [ 0.732 , ) Decreasing: [ 2.732 , 0.732 ] Unusual steepness at t = 4 , t = 1 and t = 2

    Sign Diagram:

    Coordinate-plane figure.
    Figure 4.55

    Graph:

    Coordinate-plane figure.
    Figure 4.56
  21. C ( x ) = 15 x + 20 100 + ( 30 x ) 2 , 0 x 30 . The calculator gives the absolute minimum at approximately ( 18.66 , 582.29 ) . This means to minimize the cost, approximately 18.66 miles of cable should be run along Route 117 before turning off the road and heading towards the outpost. The minimum cost to run the cable is approximately $ 582.29 .
    1. h ( r ) = 300 π r 2 , r > 0 .
    2. S ( r ) = π r r 2 + ( 300 π r 2 ) 2 = π 2 r 6 + 90000 r , r > 0
    3. The calculator gives the absolute minimum at the point ( 4.07 , 90.23 ) . This means the radius should be (approximately) 4.07 centimeters and the height should be 5.76 centimeters to give a minimum surface area of 90.23 square centimeters.
  22. 9.8 ( 1 4 π ) 2 0.062 meters or 6.2 centimeters
    1. [ 0 , c )
    2. m ( .1 c ) = m r .99 1.005 m r , m ( .5 c ) = m r .75 1.155 m r , m ( .9 c ) = m r .19 2.294 m r , m ( .999 c ) = m r .0.001999 22.366 m r .
    3. lim v c m ( x ) ; as the object's velocity approaches the speed of light, mass becomes infinite.
    4. If the object is traveling no faster than approximately 0.99995 times the speed of light, then its observed mass will be no greater than 100 m r .
  23. k 1 ( x ) = x x 2 4

Adapted from Precalculus, Preliminary 4th Edition (integrated calculus), by Carl Stitz and Jeff Zeager (stitz-zeager.com), licensed under CC BY-NC-SA 3.0. Changes were made: reformatted as an accessible XYZ web edition. License: CC-BY-NC-SA-3.0.

These eBooks are a prerelease and are not yet certified conformant with WCAG 2.1 AA or ADA Title II. Every page is built against an automated accessibility gate, and the published editions will meet ADA Title II requirements when they release in late September 2026. If something is unusable, please tell us.