Consider
\(f(x)=\log_2(x)\), \(g(x)=\frac{2}{x^2}\), and \(h(x)=\sqrt{x+4}\).
a) Decide which functions are one-to-one on their natural domains. For any function that is not one-to-one, give a domain restriction that makes it one-to-one.
b) Find an inverse formula for \(f\), for \(g\) restricted to \(x>0\), and for \(h\). State the domain of each inverse.
c) The points \(A(8, 3)\), \(B(-2, 0.5)\), \(C(0, 2)\), and \(D(2, 0.5)\) are provided as checks. Use them to verify one inverse point for \(f\), explain directly why unrestricted \(g\) is not one-to-one, and verify one inverse point for \(h\).
Hints
- An inverse function requires the original function to be one-to-one on the chosen domain.
- To derive an inverse formula, interchange the roles of input and output and solve for the new output.
- When solving the restricted rational case, use the sign required by the chosen original domain.
- Use coordinate reversal to check an inverse formula against a known point.
Solution
1. The logarithmic function \(f\) is strictly increasing on \((0, \infty)\), so it is one-to-one. The square-root function \(h\) is strictly increasing on \([-4, \infty)\), so it is one-to-one.
2. The rational function \(g\) is not one-to-one on its natural domain because \(g(-2)=g(2)=0.5\). Restricting its domain to \((0, \infty)\) makes it one-to-one.
3. For \(f\), write \(y=\log_2(x)\), interchange \(x\) and \(y\), and solve: \(x=\log_2(y)\) gives \(y=2^x\). Thus \(f^{-1}(x)=2^x\), with domain \((-\infty, \infty)\).
4. For restricted \(g\), write \(y=\frac{2}{x^2}\) with \(x>0\). Interchanging variables gives \(x=\frac{2}{y^2}\), so \(y^2=\frac{2}{x}\). Because the inverse output must be positive, \(g^{-1}(x)=\sqrt{\frac{2}{x}}\), with domain \((0, \infty)\).
5. For \(h\), write \(y=\sqrt{x+4}\). Interchanging variables gives \(x=\sqrt{y+4}\). Squaring gives \(y=x^2-4\). Since the range of \(h\) is \([0, \infty)\), \(h^{-1}(x)=x^2-4\) has domain \([0, \infty)\).
6. Since \(A(8, 3)\) lies on \(f\), \((3, 8)\) lies on \(f^{-1}\), and indeed \(2^3=8\). The points \(B(-2, 0.5)\) and \(D(2, 0.5)\) show directly that unrestricted \(g\) has two inputs with the same output. Since \(C(0, 2)\) lies on \(h\), \((2, 0)\) lies on \(h^{-1}\), and indeed \(2^2-4=0\).
Answer
a) \(f\) and \(h\) are one-to-one on their natural domains. \(g\) is not; one valid restriction is \(x>0\).
b) \(f^{-1}(x)=2^x\), domain \((-\infty, \infty)\)
\(g^{-1}(x)=\sqrt{\frac{2}{x}}\) for the restriction \(x>0\), domain \((0, \infty)\)
\(h^{-1}(x)=x^2-4\), domain \([0, \infty)\)
c) \((3, 8)\) is on \(f^{-1}\); \(B\) and \(D\) show unrestricted \(g\) is not one-to-one; \((2, 0)\) is on \(h^{-1}\).