In this section, we set about solving equations and inequalities involving power functions. Our first example demonstrates the usual sorts of strategies to employ when solving equations.

Note that Example powerequationex, there are several ways to correctly solve each equation, and we endeavored to demonstrate a variety of methods. For example, for number first, instead of converting \((7-x)^{\frac {3}{2}}\) to a radical equation, we could use Theorem exponentprops. Since the root here (\(2\)) is even, we know \(7-x \geq 0\) or \(x \leq 7\). Hence we may apply exponent properties:

\[ \begin{array}{rclr} (7-x)^{\frac {3}{2}} & = & 8 & \\ \left [(7-x)^{\frac {3}{2}}\right ]^{\frac {2}{3}} & = & 8^{\frac {2}{3}} & \text {raise both sides to the $\frac {2}{3}$ power} \\ (7-x)^{\frac {3}{2} \cdot \frac {2}{3}} & = & 4 & \text {we can multiply exponents since the root here, 3, is odd} \\ (7-x)^{1} & = & 4 \\ \end{array} \]

from which we get \(x = 3\). If we try this same approach to solve number second, however, we encounter difficulty. From \((2t-1)^{\frac {2}{3}} -4 = 0\), we get \((2t-1)^{\frac {2}{3}} =4\).

\[ \begin{array}{rclr} (2t-1)^{\frac {2}{3}} & = & 4 & \\ \left [(2t-1)^{\frac {2}{3}} \right ]^{\frac {3}{2}} & = & 4^{\frac {3}{2}}& \text {raise both sides to the $\frac {3}{2}$ power} \\ \end{array} \]

Since the root here (\(3\)) is odd, we have no restriction on \(2t-1\) but the exponent \(\frac {3}{2}\) has an even denominator. Hence, Theorem exponentprops does not apply. That is,

\[\left [(2t-1)^{\frac {2}{3}} \right ]^{\frac {3}{2}} \neq (2t-1)^{\frac {2}{3} \cdot \frac {3}{2}} = (2t-1)^{1} = (2t-1).\]

Note that if we weren’t careful, we’d have \(2t-1 = 4^{\frac {3}{2}} = 8\) which gives \(t= \frac {9}{2} = 4.5\) only. We’d have missed the solution \(t = -3.5\). Truth be told, you can simplify \(\left [(2t-1)^{\frac {2}{3}} \right ]^{\frac {3}{2}} \) - just not using Theorem exponentprops. We leave it as an exercise to show \(\left [(2t-1)^{\frac {2}{3}} \right ]^{\frac {3}{2}} = |2t-1|\) and, more generally, \(\left (x^{\frac {2}{3}}\right )^{\frac {3}{2}} = |x|\).

Our next example is an application of the Cobb Douglas production model of an economy. The Cobb-Douglas model states that the yearly total dollar value of the production output in an economy is a function of two variables: labor (the total number of hours worked in a year) and capital (the total dollar value of the physical goods required for manufacturing.) The equation relating the production output level \(P\), labor \(L\) and capital \(K\) takes the form \(P = a L^{b} K^{1-b}\) where \(0 < b < 1\); that is, the production level varies jointly with some power of the labor and capital.

Next, we move on to solving inequalities with power functions. As we’ve seen with other types of non-linear inequalities, an invaluable tool for us is the Sign Diagram.

Steps for Constructing a Sign Diagram for an Algebraic Function

  Suppose \(f\) is an algebraic function.

  1. Place any values excluded from the domain of \(f\) on the number line. You may wish to use a dashed line for a vertical asymptote and an open circle for a hole in the graph.
  2. Find the zeros of \(f\) and place them on the number line with the number \(0\) above them.
  3. Choose a test value in each of the intervals determined in steps 1 and 2.
  4. Determine and record the sign of \(f(x)\) for each test value in step 3.

As you may recall, since sign diagrams compare functions to \(0\), the first step in solving inequalities using a sign diagram is to gather all the nonzero terms one one side of the inequality. We demonstrate this technique in the following example.

Note that in Example powerineqex number third, since \((2-x)^{\frac {2}{3}}\) is always positive for \(x \neq 2\) (owing to the squared exponent), we could have short-cut the sign diagram, choosing to clear denominators instead:

\[ \begin{array}{rclr} 3 (2-x)^{\frac {1}{3}} & \leq & x (2-x)^{-\frac {2}{3}} & \\ 3 (2-x)^{\frac {1}{3}} & \leq & \frac {x}{(2-x)^{\frac {2}{3}}} & \\ \left [3 (2-x)^{\frac {1}{3}} \right ] \left [ (2-x)^{\frac {2}{3}}\right ]& \leq & \frac {x}{(2-x)^{\frac {2}{3}}} \left [ (2-x)^{\frac {2}{3}}\right ]& \text {provided $x \neq 2$} \\ 3 (2-x)^{\frac {1}{3}} (2-x)^{\frac {2}{3}} & \leq & x& \\ 3 (2-x)^{\frac {1}{3}+\frac {2}{3}} & \leq & x& \\ 3(2-x) & \leq & x & \\ \end{array} \]

Hence, we get \(6-3x \leq x\) or \(x \geq \frac {3}{2}\), provided \(x \neq 2\). This matches our solution \(\left [\frac {3}{2},2\right ) \cup (2, \infty )\). If, on the other hand, we tried this same manipulation with number fourth, we would clear denominators, assuming \(t \neq 4\) to obtain \(3(t-4) \geq -2t\) or \(t \geq \frac {12}{5}\) which is not the correct solution. The moral of the story is the more you understand, the less you need to rely on memorized processes and the more efficient your solution methodologies can become. The sign diagram algorithm is a fail-safe method, but, in some cases, may be far from the most efficient one. It’s always best to understand the why of a procedure as much as the how.