{"id":221,"date":"2019-02-08T21:02:27","date_gmt":"2019-02-08T21:02:27","guid":{"rendered":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/chapter\/inverse-functions\/"},"modified":"2020-02-11T20:05:39","modified_gmt":"2020-02-11T20:05:39","slug":"inverse-functions","status":"publish","type":"chapter","link":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/chapter\/inverse-functions\/","title":{"raw":"2.1 Inverse Functions","rendered":"2.1 Inverse Functions"},"content":{"raw":"<div class=\"textbox learning-objectives\">\r\n<h3>Learning Objectives<\/h3>\r\nIn this section, you will:\r\n<ul>\r\n \t<li>Verify inverse functions.<\/li>\r\n \t<li>Determine the domain and range of an inverse function, and restrict the domain of a function to make it one-to-one.<\/li>\r\n \t<li>Find or evaluate the inverse of a function.<\/li>\r\n \t<li>Use the graph of a one-to-one function to graph its inverse function on the same axes.<\/li>\r\n<\/ul>\r\n<\/div>\r\n<p id=\"fs-id1165135358875\">A reversible heat pump is a climate-control system that is an air conditioner and a heater in a single device. Operated in one direction, it pumps heat out of a house to provide cooling. Operating in reverse, it pumps heat into the building from the outside, even in cool weather, to provide heating. As a heater, a heat pump is several times more efficient than conventional electrical resistance heating.<\/p>\r\n<p id=\"fs-id1165135701544\">If some physical machines can run in two directions, we might ask whether some of the function \u201cmachines\u201d we have been studying can also run backwards. <a class=\"autogenerated-content\" href=\"#Figure_01_07_001\">Figure 1<\/a>\u00a0provides a visual representation of this question. In this section, we will consider the reverse nature of functions.<\/p>\r\n\r\n<div id=\"Figure_01_07_001\" class=\"medium\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"731\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210022\/CNX_Precalc_Figure_01_07_001.jpg\" alt=\"Diagram of a function and would be its inverse.\" width=\"731\" height=\"305\" \/> <strong>Figure 1.\u00a0<\/strong>Can a function \u201cmachine\u201d operate in reverse?[\/caption]\r\n\r\n<\/div>\r\n<div class=\"wp-caption-text\"><\/div>\r\n<div id=\"fs-id1165137725994\" class=\"bc-section section\">\r\n<h3>Verifying That Two Functions Are Inverse Functions<\/h3>\r\n<p id=\"fs-id1165135705795\">Suppose a fashion designer traveling to Milan for a fashion show wants to know what the temperature will be. He is not familiar with the <span class=\"no-emphasis\">Celsius<\/span> scale. To get an idea of how temperature measurements are related, he asks his assistant, Betty, to convert 75 degrees <span class=\"no-emphasis\">Fahrenheit<\/span> to degrees Celsius. She finds the formula<\/p>\r\n\r\n<div id=\"fs-id1165137807176\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=\\frac{5}{9}\\left(F-32\\right)[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165135433486\" style=\"text-align: left\">and substitutes 75 for[latex]\\text{ }F\\text{ }[\/latex]to calculate<\/p>\r\n\r\n<div id=\"fs-id1165137911210\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\frac{5}{9}\\left(75-32\\right)\\approx 24\\text{\u00b0C}.[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137409312\">Knowing that a comfortable 75 degrees Fahrenheit is about 24 degrees Celsius, he sends his assistant the week\u2019s weather forecast for Milan (<a class=\"autogenerated-content\" href=\"#Figure_01_07_002\">Figure 2<\/a>), and asks her to convert all of the temperatures to degrees Fahrenheit.<\/p>\r\n\r\n<div id=\"Figure_01_07_002\" class=\"medium\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"731\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210024\/CNX_Precalc_Figure_01_07_002.jpg\" alt=\"A forecast of Monday\u2019s through Thursday\u2019s weather.\" width=\"731\" height=\"226\" \/> <strong>Figure 2.<\/strong>[\/caption]\r\n\r\n<\/div>\r\nAt first, Betty considers using the formula she has already found to complete the conversions. After all, she knows her algebra, and can easily solve the equation for [latex]F[\/latex] after substituting a value for [latex]C.[\/latex] For example, to convert 26 degrees Celsius, she could write\r\n<div id=\"fs-id1165135548255\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}26&amp;=\\frac{5}{9}\\left(F-32\\right) \\\\ 26\\cdot \\frac{9}{5}&amp;=F-32\\\\F&amp;=26\\cdot \\frac{9}{5}+32\\approx 79 \\end{align*}[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137540705\">After considering this option for a moment, however, she realizes that solving the equation for each of the temperatures will be awfully tedious. She realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one that takes the Celsius temperature as input and outputs the Fahrenheit temperature.<\/p>\r\n<p id=\"fs-id1165137827441\">The formula for which Betty is searching corresponds to the idea of an <strong>inverse function<\/strong>, which is a function for which the input of the original function becomes the output of the inverse function and the output of the original function becomes the input of the inverse function.<\/p>\r\n<p id=\"fs-id1165135528385\">Given a function [latex]f\\left(x\\right),[\/latex] we represent its inverse as [latex]{f}^{-1}\\left(x\\right),[\/latex] read as [latex]\u201cf\\text{ }[\/latex] inverse of [latex]x.\\text{\u201d}[\/latex] The raised [latex]-1[\/latex] is part of the notation. It is not an exponent; it does not imply a power of [latex]-1[\/latex]. In other words, [latex]{f}^{-1}\\left(x\\right)[\/latex] does <em>not<\/em> mean [latex]\\frac{1}{f\\left(x\\right)}[\/latex] because [latex]\\frac{1}{f\\left(x\\right)}[\/latex] is the reciprocal of [latex]f[\/latex] and not the inverse.<\/p>\r\n<p id=\"fs-id1165137724926\">The \u201cexponent-like\u201d notation comes from an analogy between function composition and multiplication: just as for multiplicative inverses, or reciprocals, [latex]{a}^{-1}a=1[\/latex] (1 is the identity element for multiplication) for any nonzero number [latex]a,[\/latex] so for composition of inverse functions, [latex]{f}^{-1}\\circ f[\/latex] equals the identity function, that is,<\/p>\r\n\r\n<div id=\"fs-id1165134302408\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{-1}\\circ f\\right)\\left(x\\right)={f}^{-1}\\left(f\\left(x\\right)\\right)={f}^{-1}\\left(y\\right)=x[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165135667832\">This holds for all [latex]x[\/latex] in the domain of [latex]f.[\/latex] Informally, this means that inverse functions \u201cundo\u201d each other. However, just as the real number zero does not have a <strong><span class=\"no-emphasis\">reciprocal<\/span><\/strong>, some functions do not have inverses.<\/p>\r\n<p id=\"fs-id1165137655153\">Given a function [latex]f\\left(x\\right),[\/latex] we can verify whether some other function [latex]g\\left(x\\right)[\/latex] is the inverse of [latex]f\\left(x\\right)[\/latex] by checking whether either [latex]g\\left(f\\left(x\\right)\\right)=x[\/latex] or [latex]f\\left(g\\left(x\\right)\\right)=x[\/latex] is true. We can test whichever equation is more convenient to work with because they are logically equivalent (that is, if one is true, then so is the other.)<\/p>\r\n<p id=\"fs-id1165135397975\" style=\"text-align: left\">For example, [latex]y=4x[\/latex] and [latex]y=\\frac{1}{4}x[\/latex] are inverse functions.<\/p>\r\n\r\n<div id=\"fs-id1165137756798\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{-1}\\circ f\\right)\\left(x\\right)={f}^{-1}\\left(4x\\right)=\\frac{1}{4}\\left(4x\\right)=x[\/latex]<\/div>\r\n<p id=\"fs-id1165137767233\" style=\"text-align: center\">and<\/p>\r\n\r\n<div id=\"fs-id1165137755853\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{}\\circ {f}^{-1}\\right)\\left(x\\right)=f\\left(\\frac{1}{4}x\\right)=4\\left(\\frac{1}{4}x\\right)=x[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137438777\" style=\"text-align: left\">A few coordinate pairs from the graph of the function [latex]y=4x[\/latex] are (\u22122, \u22128), (0, 0), and (2, 8). A few coordinate pairs from the graph of the function [latex]y=\\frac{1}{4}x[\/latex] are (\u22128, \u22122), (0, 0), and (8, 2). If we interchange the input and output of each coordinate pair of a function, the interchanged coordinate pairs would appear on the graph of the inverse function.<\/p>\r\n\r\n<div class=\"textbox definitions\">\r\n<h3>Definition<\/h3>\r\n<p id=\"fs-id1165137473076\">For any <strong><span class=\"no-emphasis\">one-to-one function\u00a0<\/span><\/strong>[latex]f\\left(x\\right)=y,[\/latex] a function [latex]{f}^{-1}\\left(x\\right)[\/latex] is an<strong> inverse function<\/strong> of [latex]f[\/latex] if [latex]{f}^{-1}\\left(y\\right)=x.[\/latex] This can also be written as [latex]{f}^{-1}\\left(f\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]f.[\/latex] It also follows that [latex]f\\left({f}^{-1}\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]{f}^{-1}[\/latex] if [latex]{f}^{-1}[\/latex] is the inverse of [latex]f.[\/latex]<\/p>\r\n<p id=\"fs-id1165137444821\">The notation [latex]{f}^{-1}[\/latex] is read [latex]\\text{\u201c}f[\/latex] inverse.\u201d Like any other function, we can use any variable name as the input for [latex]{f}^{-1},[\/latex] so we will often write [latex]{f}^{-1}\\left(x\\right),[\/latex] which we read as [latex]\u201cf[\/latex] inverse of [latex]x.\u201d[\/latex] Keep in mind that<\/p>\r\n\r\n<div id=\"fs-id1165137581324\" class=\"unnumbered\" style=\"text-align: center\">[latex]{f}^{-1}\\left(x\\right)\\ne \\frac{1}{f\\left(x\\right)}[\/latex]<\/div>\r\n<p id=\"fs-id1165135194095\">and not all functions have inverses.<\/p>\r\n\r\n<\/div>\r\n<div id=\"Example_01_07_01\" class=\"textbox examples\">\r\n<div id=\"fs-id1165137656641\">\r\n<div id=\"fs-id1165137922642\">\r\n<h3>Example 1:\u00a0 Identifying an Inverse Function for a Given Input-Output Pair<\/h3>\r\n<p id=\"fs-id1165137659325\">If for a particular one-to-one function [latex]f\\left(2\\right)=4[\/latex] and [latex]f\\left(5\\right)=12,[\/latex] what are the corresponding input and output values for the inverse function?<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137768306\">[reveal-answer q=\"fs-id1165137768306\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137768306\"]\r\n<p id=\"fs-id1165137737081\">The inverse function reverses the input and output quantities, so if<\/p>\r\n\r\n<div id=\"fs-id1165137462459\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{array}{c}f\\left(2\\right)=4,\\text{ then }{f}^{-1}\\left(4\\right)=2;\\\\ f\\left(5\\right)=12,{\\text{ then f}}^{-1}\\left(12\\right)=5.\\end{array}[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1165137659464\">Alternatively, if we want to name the inverse function [latex]g,[\/latex] then [latex]g\\left(4\\right)=2[\/latex] and [latex]g\\left(12\\right)=5.[\/latex]<\/p>\r\n\r\n<h3>Analysis<\/h3>\r\n<p id=\"fs-id1165135508518\">Notice that if we show the coordinate pairs in a table form, the input and output are clearly reversed. See <a class=\"autogenerated-content\" href=\"#Table_01_07_01\">Table 1<\/a>.<\/p>\r\n\r\n<table id=\"Table_01_07_01\" style=\"height: 33px\" summary=\"For (x,f(x)) we have the values (2, 4) and (5, 12); for (x, g(x)), we have the values (4, 2) and (12, 5).\"><caption>Table 1<\/caption>\r\n<thead>\r\n<tr style=\"height: 11px\">\r\n<th class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(x,f\\left(x\\right)\\right)[\/latex]<\/th>\r\n<th class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(x,g\\left(x\\right)\\right)[\/latex]<\/th>\r\n<\/tr>\r\n<\/thead>\r\n<tbody>\r\n<tr style=\"height: 11px\">\r\n<td class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(2,4\\right)[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(4,2\\right)[\/latex]<\/td>\r\n<\/tr>\r\n<tr style=\"height: 11px\">\r\n<td class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(5,12\\right)[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(12,5\\right)[\/latex]<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<div id=\"fs-id1165135245520\"><\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137635377\" class=\"precalculus tryit\">\r\n<h3>Try it #1<\/h3>\r\n<div id=\"ti_01_07_01\">\r\n<div id=\"fs-id1165137659088\">\r\n<p id=\"fs-id1165137659089\">Given that [latex]{h}^{-1}\\left(6\\right)=2,[\/latex] what are the corresponding input and output values of the original function [latex]h?[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137645907\">[reveal-answer q=\"fs-id1165137645907\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137645907\"]\r\n<p id=\"fs-id1165137645908\">[latex]h\\left(2\\right)=6[\/latex]<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165134357354\" class=\"precalculus howto examples\">\r\n<h3>How To<\/h3>\r\n<p id=\"fs-id1165135434077\"><strong>Given two functions [latex]f\\left(x\\right)[\/latex] and [latex] g\\left(x\\right), [\/latex] test whether the functions are inverses of each other.<\/strong><\/p>\r\n\r\n<ol id=\"fs-id1165137452358\" type=\"1\">\r\n \t<li>Determine whether [latex]f\\left(g\\left(x\\right)\\right)=x.[\/latex]\u00a0 If so, continue to step 2.\u00a0 If not, then\u00a0[latex]f\\left(x\\right)[\/latex] and [latex] g\\left(x\\right), [\/latex] are not inverse functions.<\/li>\r\n \t<li>Next, determine whether [latex]g\\left(f\\left(x\\right)\\right)=x.[\/latex]\u00a0\u00a0If so, then since both orders of composition resulted in x,\u00a0 [latex]f\\left(x\\right)[\/latex] and [latex] g\\left(x\\right), [\/latex] are inverses. If not, then\u00a0[latex]f\\left(x\\right)[\/latex] and [latex] g\\left(x\\right), [\/latex] are not inverse functions.<\/li>\r\n<\/ol>\r\nNote:\u00a0 If both statements are true, then [latex]g={f}^{-1}[\/latex] and [latex]f={g}^{-1}.[\/latex] If either statement is false, then the functions are not inverse functions of each other.\r\n\r\n<\/div>\r\n<div id=\"Example_01_07_02\" class=\"textbox examples\">\r\n<div id=\"fs-id1165137557051\">\r\n<div id=\"fs-id1165137679032\">\r\n<h3>Example 2:\u00a0 Testing Inverse Relationships Algebraically<\/h3>\r\n<p id=\"fs-id1165135519417\">If [latex]f\\left(x\\right)=\\frac{1}{x+2}[\/latex] and [latex]g\\left(x\\right)=\\frac{1}{x}-2,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137627632\">[reveal-answer q=\"fs-id1165137627632\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137627632\"]\r\n<div id=\"fs-id1165137675509\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}g\\left(f\\left(x\\right)\\right)&amp;=\\frac{1}{\\left(\\frac{1}{x+2}\\right)}-2\\\\ &amp;=x+2-2\\\\&amp;=x \\end{align*}[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137611481\">so<\/p>\r\n\r\n<div id=\"fs-id1165135678636\" class=\"unnumbered\" style=\"text-align: center\">[latex]g={f}^{-1}[\/latex] and [latex]f={g}^{-1}[\/latex]<\/div>\r\n&nbsp;\r\n<p id=\"fs-id1165135436648\">This is enough to answer yes to the question, but we can also verify the other formula.<\/p>\r\n\r\n<div id=\"fs-id1165137784350\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}f\\left(g\\left(x\\right)\\right)&amp;=\\frac{1}{\\frac{1}{x}-2+2}\\\\ &amp;=\\frac{1}{\\frac{1}{x}}\\\\ &amp;=x\\end{align*}[\/latex]<\/div>\r\n<h3>Analysis<\/h3>\r\n<div class=\"unnumbered\" style=\"text-align: left\">Notice the inverse operations are in reverse order of the operations of the original function.<\/div>\r\n<\/div>\r\n<div><\/div>\r\n<div id=\"fs-id1165137557051\">\r\n<div id=\"fs-id1165137627632\">\r\n<div class=\"unnumbered\" style=\"text-align: left\">[\/hidden-answer]<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137911663\" class=\"precalculus tryit\">\r\n<h3>Try it #2<\/h3>\r\n<div id=\"ti_01_07_02\">\r\n<div id=\"fs-id1165135160549\">\r\n<p id=\"fs-id1165135160550\">If [latex]f\\left(x\\right)={x}^{3}-4[\/latex] and [latex]g\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x+4}, [\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137456449\">[reveal-answer q=\"fs-id1165137456449\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137456449\"]\r\n<p id=\"fs-id1165137600434\">Yes<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"Example_01_07_03\" class=\"textbox examples\">\r\n<div id=\"fs-id1165135259560\">\r\n<div id=\"fs-id1165134042918\">\r\n<h3>Example 3:\u00a0 Determining Inverse Relationships for Power Functions<\/h3>\r\n<p id=\"fs-id1165137441834\">If [latex]f\\left(x\\right)={x}^{3}[\/latex] (the cube function) and [latex]g\\left(x\\right)=\\frac{1}{3}x,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137442603\">[reveal-answer q=\"fs-id1165137442603\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137442603\"]\r\n<div id=\"fs-id1165137591632\" class=\"unnumbered\">[latex]f\\left(g\\left(x\\right)\\right)=\\frac{{x}^{3}}{27}\\ne x.[\/latex] No, the functions are not inverses.<\/div>\r\n<h3>Analysis<\/h3>\r\nThe correct inverse to the cube is, of course, the cube root [latex]\\sqrt[\\leftroot{1}\\uproot{2}3]{x}={x}^{\\frac{1}{3}},[\/latex] that is, the one-third is an exponent, not a multiplier.\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137806084\" class=\"precalculus tryit\">\r\n<h3>Try it #3<\/h3>\r\n<div id=\"ti_01_07_03\">\r\n<div id=\"fs-id1165135195489\">\r\n<p id=\"fs-id1165137573532\">If [latex]f\\left(x\\right)={\\left(x-1\\right)}^{3}[\/latex] and [latex]g\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x}+1,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137501356\">[reveal-answer q=\"fs-id1165137501356\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137501356\"]\r\n<p id=\"fs-id1165137662080\">Yes<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137660004\" class=\"bc-section section\">\r\n<h3>Finding Domain and Range of Inverse Functions<\/h3>\r\n<p id=\"fs-id1165137591020\">The outputs of the function [latex]f[\/latex] are the inputs to [latex]{f}^{-1},[\/latex] so the range of [latex]f[\/latex] is also the domain of [latex]{f}^{-1}.[\/latex] Likewise, because the inputs to [latex]f[\/latex] are the outputs of [latex]{f}^{-1},[\/latex] the domain of [latex]f[\/latex] is the range of [latex]{f}^{-1}.[\/latex] We can visualize the situation as in <a class=\"autogenerated-content\" href=\"#Figure_01_07_003\">Figure 3<\/a>.<\/p>\r\n\r\n<div id=\"Figure_01_07_003\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210027\/CNX_Precalc_Figure_01_07_003.jpg\" alt=\"Domain and range of a function and its inverse.\" width=\"487\" height=\"143\" \/> <strong>Figure 3.\u00a0<\/strong>Domain and range of a function and its inverse.[\/caption]\r\n\r\n<\/div>\r\n<h4>Functions Whose Inverses Are Not Functions and Domain Restrictions<\/h4>\r\n<p id=\"fs-id1165135557891\">If a function is not one-to -one on its domain, then it does not have an inverse which is a function.\u00a0 When a function has no inverse function, it is possible to create a new function where that new function on a limited domain does have an inverse function.<\/p>\r\nFor example, the inverse of [latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}[\/latex] is [latex]{f}^{-1}\\left(x\\right)={x}^{2},[\/latex] because a square \u201cundoes\u201d a square root; but the square is only the inverse of the square root on the domain [latex]\\left[0,\\infty \\right),[\/latex] since that is the range of [latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}.[\/latex]\r\n<p id=\"fs-id1165137730185\">We can look at this problem from the other side, starting with the square (toolkit quadratic) function [latex]f\\left(x\\right)={x}^{2}.[\/latex] If we want to construct an inverse to this function, we run into a problem, because for every given output of the quadratic function, there are two corresponding inputs (except when the input is 0). For example, the output 9 from the quadratic function corresponds to the inputs 3 and \u20133. But an output from a function is an input to its inverse; if this inverse input corresponds to more than one inverse output (input of the original function), then the \u201cinverse\u201d is not a function at all! To put it differently, the quadratic function is not a one-to-one function; it fails the horizontal line test, so it does not have an inverse function.<\/p>\r\n<p id=\"fs-id1165137823552\">In many cases, if a function is not one-to-one, we can still restrict the function to a part of its domain on which it is one-to-one. For example, we can make a restricted version of the square function [latex]f\\left(x\\right)={x}^{2}[\/latex] with its domain limited to [latex]\\left[0,\\infty \\right),[\/latex] which is a one-to-one function (it passes the horizontal line test meaning that each output is paired with exactly one input) and which has an inverse (the square-root function).<\/p>\r\n<p id=\"fs-id1165132037000\">If [latex]f\\left(x\\right)={\\left(x-1\\right)}^{2}[\/latex] on [latex]\\left[1,\\infty \\right),[\/latex] then the inverse function is [latex]{f}^{-1}\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}+1.[\/latex]<\/p>\r\n\r\n<ul id=\"fs-id1165137851227\">\r\n \t<li>The domain of [latex]f[\/latex] equals the range of [latex]{f}^{-1}:[\/latex]\u00a0 [latex]\\left[1,\\infty \\right).[\/latex]<\/li>\r\n \t<li>The domain of [latex]{f}^{-1}[\/latex] equals the range of [latex]f:[\/latex]\u00a0 \u00a0[latex]\\left[0,\\infty \\right).[\/latex]<\/li>\r\n<\/ul>\r\n<div id=\"fs-id1165137733804\" class=\"precalculus qa key-takeaways\">\r\n<h3>Q&amp;A<\/h3>\r\n<p id=\"fs-id1165137723526\"><strong>Is it possible for a function to have more than one inverse?<\/strong><\/p>\r\n<p id=\"fs-id1165137456608\"><em>No. If two supposedly different functions, say, [latex]g[\/latex] and [latex]h,[\/latex] both meet the definition of being inverses of another function [latex]f,[\/latex] then you can prove that [latex]g=h.[\/latex] We have just seen that some functions only have inverses if we restrict the domain of the original function. In these cases, there may be more than one way to restrict the domain, leading to different inverses. However, on any one domain, the original function still has only one unique inverse.<\/em><\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137704938\">\r\n<div class=\"textbox shaded\">\r\n<h3>Domain and Range of Inverse Functions<\/h3>\r\n<p id=\"fs-id1165135319550\">The range of a function [latex]f\\left(x\\right)[\/latex] is the domain of the inverse function [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\r\n<p id=\"fs-id1165137673886\">The domain of [latex]f\\left(x\\right)[\/latex] is the range of [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\r\n\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165135308785\" class=\"precalculus howto examples\">\r\n<h3>How To<\/h3>\r\n<p id=\"fs-id1165137605040\"><strong>Given a function, find the domain and range of its inverse. <\/strong><\/p>\r\n\r\n<ol id=\"fs-id1165137530434\" type=\"1\">\r\n \t<li>If the function is one-to-one, write the range of the original function as the domain of the inverse, and write the domain of the original function as the range of the inverse.<\/li>\r\n \t<li>If the domain of the original function needs to be restricted to make it one-to-one, then this restricted domain becomes the range of the inverse function.<\/li>\r\n<\/ol>\r\n<\/div>\r\n<div id=\"Example_01_07_05\" class=\"textbox examples\">\r\n<div id=\"fs-id1165137667922\">\r\n<div id=\"fs-id1165135511321\">\r\n<h3>Example 4:\u00a0 Finding the Inverses of Toolkit Functions<\/h3>\r\n<p id=\"fs-id1165137448020\">Identify which of the toolkit functions besides the quadratic function are not one-to-one, and find a restricted domain on which each function is one-to-one, if any. The toolkit functions are reviewed in <a class=\"autogenerated-content\" href=\"#Table_01_07_02\">Table 2<\/a>. We restrict the domain in such a fashion that the function assumes all <em>y<\/em>-values exactly once.<\/p>\r\n\r\n<table id=\"Table_01_07_02\" style=\"height: 68px\" summary=\"A list of the toolkit function. The constant function is f(x) = c where c is the constant; the identity function is f(x) = x; the absolute function is f(x)=|x|; the quadratic function is f(x) = x^2; the cubic function is f(x)=x^3; the reciprocal function is f(x)=1\/x; the reciprocal squared function is f(x)=1\/x^2; the square root function is f(x)=sqrt(x); the cube root function is f(x) = x^(1\/3).\"><caption>Table 2<\/caption><colgroup> <col \/> <col \/> <col \/> <col \/> <col \/><\/colgroup>\r\n<tbody>\r\n<tr style=\"height: 11px\">\r\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Constant<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Identity<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 134.656px;text-align: center\">Quadratic<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 110.656px;text-align: center\">Cubic<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 135.656px;text-align: center\">Reciprocal<\/td>\r\n<\/tr>\r\n<tr style=\"height: 23px\">\r\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=c[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=x[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 134.656px;text-align: center\">[latex]f\\left(x\\right)={x}^{2}[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 110.656px;text-align: center\">[latex]f\\left(x\\right)={x}^{3}[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 135.656px;text-align: center\">[latex]f\\left(x\\right)=\\frac{1}{x}[\/latex]<\/td>\r\n<\/tr>\r\n<tr style=\"height: 11px\">\r\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Reciprocal squared<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Cube root<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 134.656px;text-align: center\">Square root<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 110.656px;text-align: center\">Absolute value<\/td>\r\n<td class=\"border\" style=\"height: 11px;width: 135.656px\"><\/td>\r\n<\/tr>\r\n<tr style=\"height: 23px\">\r\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=\\frac{1}{{x}^{2}}[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x}[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 134.656px;text-align: center\">[latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 110.656px;text-align: center\">[latex]f\\left(x\\right)=|x|[\/latex]<\/td>\r\n<td class=\"border\" style=\"height: 23px;width: 135.656px\"><\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<\/div>\r\n<div id=\"fs-id1165137767030\">[reveal-answer q=\"fs-id1165137767030\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137767030\"]\r\n<p id=\"fs-id1165132988445\">The constant function is not one-to-one, and there is no domain (except a single point) on which it could be one-to-one, so the constant function has no meaningful inverse.<\/p>\r\nThe absolute value function can be restricted to the domain [latex]\\left[0,\\infty \\right),[\/latex] where it is equal to the identity function.\r\n<p id=\"fs-id1165137642849\">The reciprocal-squared function can be restricted to the domain [latex]\\left(0,\\infty \\right).[\/latex]<\/p>\r\n\r\n<h3>Analysis<\/h3>\r\n<p id=\"fs-id1165137742302\">We can see that these functions (if unrestricted) are not one-to-one by looking at their graphs, shown in <a class=\"autogenerated-content\" href=\"#Figure_01_07_004\">Figure 4<\/a>. They both would fail the horizontal line test. However, if a function is restricted to a certain domain so that it passes the horizontal line test, then in that restricted domain, it can have an inverse.<\/p>\r\n\r\n<div id=\"Figure_01_07_004\" class=\"wp-caption aligncenter\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"918\"]<img class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210030\/CNX_Precalc_Figure_01_07_004ab.jpg\" alt=\"Graph of an absolute function.\" width=\"918\" height=\"380\" \/> <strong>Figure 4.\u00a0<\/strong>(a) Absolute value (b) Reciprocal squared[\/caption]\r\n\r\n<\/div>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137544599\" class=\"precalculus tryit\">\r\n<h3>Try it #4<\/h3>\r\n<div id=\"ti_01_07_09\">\r\n<div id=\"fs-id1165135406939\">\r\n<p id=\"fs-id1165137507853\">The domain of function [latex]f[\/latex] is [latex]\\left(1,\\infty \\right)[\/latex] and the range of function [latex]f[\/latex] is [latex]\\left(\\mathrm{-\\infty },-2\\right).[\/latex] Find the domain and range of the inverse function.<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137431277\">[reveal-answer q=\"fs-id1165137431277\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137431277\"]\r\n<p id=\"fs-id1165137451713\">The domain of function [latex]{f}^{-1}[\/latex] is [latex]\\left(-\\infty \\text{,}-2\\right)[\/latex] and the range of function [latex]{f}^{-1}[\/latex] is [latex]\\left(1,\\infty \\right).[\/latex]<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137619159\" class=\"bc-section section\">\r\n<h3>Finding and Evaluating Inverse Functions<\/h3>\r\n<p id=\"fs-id1165137761017\">Once we have a one-to-one function, we can evaluate its inverse at specific inverse function inputs or construct a complete representation of the inverse function in many cases.<\/p>\r\n\r\n<div id=\"fs-id1165135466392\" class=\"bc-section section\">\r\n<h4>Inverting Tabular Functions<\/h4>\r\n<p id=\"fs-id1165135190714\">Suppose we want to find the inverse of a function represented in table form. Remember that the domain of a function is the range of the inverse and the range of the function is the domain of the inverse. So we need to interchange the domain and range.<\/p>\r\n<p id=\"fs-id1165137422578\">Each row (or column) of inputs becomes the row (or column) of outputs for the inverse function. Similarly, each row (or column) of outputs becomes the row (or column) of inputs for the inverse function.<\/p>\r\n\r\n<div id=\"Example_01_07_06\" class=\"textbox examples\">\r\n<div id=\"fs-id1165135544995\">\r\n<div id=\"fs-id1165137698262\">\r\n<h3>Example 5:\u00a0 Interpreting the Inverse of a Tabular Function<\/h3>\r\n<p id=\"fs-id1165135435474\">A function [latex]f\\left(t\\right)[\/latex] is given in <a class=\"autogenerated-content\" href=\"#Table_01_07_03\">Table 3<\/a>, showing distance in miles that a car has traveled in [latex]t[\/latex] minutes. Find and interpret [latex]{f}^{-1}\\left(70\\right).[\/latex]<\/p>\r\n\r\n<table id=\"Table_01_07_03\" summary=\"Two rows and five columns. The first row is labeled \u201ct (minutes)\u201d, and the second row is labeled \u201cf(x) (miles)\u201d. Reading the columns as ordered pairs, we have the following values (30, 20), (50, 40), (70, 60), and (90, 70).\"><caption>Table 3<\/caption><colgroup> <col \/> <col \/> <col \/> <col \/> <col \/><\/colgroup>\r\n<tbody>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]t\\text{ (minutes)}[\/latex]<\/strong><\/td>\r\n<td class=\"border\" style=\"text-align: center\">30<\/td>\r\n<td class=\"border\" style=\"text-align: center\">50<\/td>\r\n<td class=\"border\" style=\"text-align: center\">70<\/td>\r\n<td class=\"border\" style=\"text-align: center\">90<\/td>\r\n<\/tr>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]f\\left(t\\right)\\text{ (miles)}[\/latex]<\/strong><\/td>\r\n<td class=\"border\" style=\"text-align: center\">20<\/td>\r\n<td class=\"border\" style=\"text-align: center\">40<\/td>\r\n<td class=\"border\" style=\"text-align: center\">60<\/td>\r\n<td class=\"border\" style=\"text-align: center\">70<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<\/div>\r\n<div id=\"fs-id1165137407569\">[reveal-answer q=\"fs-id1165137407569\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137407569\"]\r\n<p id=\"fs-id1165137640334\">The inverse function takes an output of [latex]f[\/latex] and returns an input for [latex]f.[\/latex] So in the expression [latex]{f}^{-1}\\left(70\\right),[\/latex] 70 is an output value of the original function, representing 70 miles. The inverse will return the corresponding input of the original function [latex]f,[\/latex] 90 minutes, so [latex]{f}^{-1}\\left(70\\right)=90.[\/latex] The interpretation of this is that, to drive 70 miles, it took 90 minutes.<\/p>\r\n<p id=\"fs-id1165135181841\">Alternatively, recall that the definition of the inverse was that if [latex]f\\left(a\\right)=b,[\/latex] then [latex]{f}^{-1}\\left(b\\right)=a.[\/latex] By this definition, if we are given [latex]{f}^{-1}\\left(70\\right)=a,[\/latex] then we are looking for a value [latex]a[\/latex] so that [latex]f\\left(a\\right)=70.[\/latex] In this case, we are looking for a [latex]t[\/latex] so that [latex]f\\left(t\\right)=70,[\/latex] which is when [latex]t=90.[\/latex]<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165135169494\" class=\"precalculus tryit\">\r\n<h3>Try it #5<\/h3>\r\n<div id=\"ti_01_07_04\">\r\n<div id=\"fs-id1165135443767\">\r\n<p id=\"fs-id1165134108483\">Using <a class=\"autogenerated-content\" href=\"#Table_01_07_04\">Table 4<\/a>, find and interpret (a)[latex]f\\left(60\\right),[\/latex] and (b)[latex]{f}^{-1}\\left(60\\right).[\/latex]<\/p>\r\n\r\n<table id=\"Table_01_07_04\" summary=\"Two rows and five columns. The first row is labeled \u201ct (minutes)\u201d, and the second row is labeled \u201cf(t)\u201d. Reading the columns as ordered pairs, we have the following values (30, 20), (50, 40), (70, 60), and (90, 70).\"><caption>Table 4<\/caption><colgroup> <col \/> <col \/> <col \/> <col \/> <col \/> <col \/><\/colgroup>\r\n<tbody>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\">[latex]t\\text{ (minutes)}[\/latex]<\/td>\r\n<td class=\"border\" style=\"text-align: center\">30<\/td>\r\n<td class=\"border\" style=\"text-align: center\">50<\/td>\r\n<td class=\"border\" style=\"text-align: center\">60<\/td>\r\n<td class=\"border\" style=\"text-align: center\">70<\/td>\r\n<td class=\"border\" style=\"text-align: center\">90<\/td>\r\n<\/tr>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\">[latex]f\\left(t\\right)\\text{ (miles)}[\/latex]<\/td>\r\n<td class=\"border\" style=\"text-align: center\">20<\/td>\r\n<td class=\"border\" style=\"text-align: center\">40<\/td>\r\n<td class=\"border\" style=\"text-align: center\">50<\/td>\r\n<td class=\"border\" style=\"text-align: center\">60<\/td>\r\n<td class=\"border\" style=\"text-align: center\">70<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n<\/div>\r\n<div id=\"fs-id1165137862841\">[reveal-answer q=\"fs-id1165137862841\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137862841\"]\r\n<div><\/div>\r\n<div style=\"padding-left: 30px\"><span style=\"font-size: 1rem;text-align: initial\">a.\u00a0 [latex]f\\left(60\\right)=50.[\/latex] In 60 minutes, 50 miles are traveled.<\/span><\/div>\r\n<div style=\"padding-left: 30px\">\r\n\r\n<span style=\"font-size: 1rem;text-align: initial\">b.\u00a0 [latex]{f}^{-1}\\left(60\\right)=70.[\/latex] To travel 60 miles, it will take 70 minutes.<\/span>[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137418615\" class=\"bc-section section\">\r\n<h4>Evaluating the Inverse of a Function, Given a Graph of the Original Function<\/h4>\r\n<p id=\"fs-id1165137400045\">We saw in <a class=\"target-chapter\" href=\"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/chapter\/functions-and-function-notation\/\">Section 1.1, Functions and Function Notation,<\/a> that the domain of a function can be read by observing the horizontal extent of its graph. We find the domain of the inverse function by observing the <em>vertical<\/em> extent of the graph of the original function, because this corresponds to the horizontal extent of the inverse function. Similarly, we find the range of the inverse function by observing the <em>horizontal<\/em> extent of the graph of the original function, as this is the vertical extent of the inverse function. If we want to evaluate an inverse function, we find its input within its domain, which is all or part of the vertical axis of the original function\u2019s graph.<\/p>\r\n\r\n<div id=\"fs-id1165133045388\" class=\"precalculus howto examples\">\r\n<h3>How To<\/h3>\r\n<p id=\"fs-id1165135333128\"><strong>Given the graph of a function, evaluate its inverse at specific points.<\/strong><\/p>\r\n\r\n<ol id=\"fs-id1165137464840\" type=\"1\">\r\n \t<li>Find the desired input on the <em>y<\/em>-axis of the given graph.<\/li>\r\n \t<li>Read the inverse function\u2019s output from the <em>x<\/em>-axis of the given graph.<\/li>\r\n<\/ol>\r\n<\/div>\r\n<div id=\"Example_01_07_07\" class=\"textbox examples\">\r\n<div id=\"fs-id1165135434803\">\r\n<div id=\"fs-id1165135434805\">\r\n<h3>Example 6:\u00a0 Evaluating a Function and Its Inverse from a Graph at Specific Points<\/h3>\r\n<p id=\"fs-id1165134108622\">A function [latex]g\\left(x\\right)[\/latex] is given in <a class=\"autogenerated-content\" href=\"#Figure_01_07_006\">Figure 5<\/a>. Find [latex]g\\left(3\\right)[\/latex] and [latex]{g}^{-1}\\left(3\\right).[\/latex]<\/p>\r\n\r\n<div id=\"Figure_01_07_006\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210033\/CNX_Precalc_Figure_01_07_006.jpg\" alt=\"Graph of g(x).\" width=\"487\" height=\"254\" \/> <strong>Figure 5.<\/strong>[\/caption]\r\n\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137468840\">[reveal-answer q=\"fs-id1165137468840\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137468840\"]\r\n<p id=\"fs-id1165137468842\">To evaluate [latex]g\\left(3\\right),[\/latex] we find 3 on the <em>x<\/em>-axis and find the corresponding output value on the <em>y<\/em>-axis. The point [latex]\\left(3,1\\right)[\/latex] tells us that [latex]g\\left(3\\right)=1.[\/latex]<\/p>\r\n<p id=\"fs-id1165137405078\">To evaluate [latex]{g}^{-1}\\left(3\\right),[\/latex] recall that by definition [latex]{g}^{-1}\\left(3\\right)[\/latex] means the value of <em>x<\/em> for which [latex]g\\left(x\\right)=3.[\/latex] By looking for the output value 3 on the vertical axis, we find the point [latex]\\left(5,3\\right)[\/latex] on the graph, which means [latex]g\\left(5\\right)=3,[\/latex] so by definition, [latex]{g}^{-1}\\left(3\\right)=5.[\/latex] See <a class=\"autogenerated-content\" href=\"#Figure_01_07_007\">Figure 6<\/a>.<\/p>\r\n\r\n<div id=\"Figure_01_07_007\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210035\/CNX_Precalc_Figure_01_07_007.jpg\" alt=\"Graph of g(x).\" width=\"487\" height=\"254\" \/> <strong>Figure 6.<\/strong>[\/caption]\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137667918\" class=\"precalculus tryit\">\r\n<h3>Try it #6<\/h3>\r\n<div id=\"ti_01_07_05\">\r\n<div id=\"fs-id1165137812559\">\r\n<p id=\"fs-id1165137812560\">Using the graph in <a class=\"autogenerated-content\" href=\"#Figure_01_07_007\">Figure 6<\/a>, (a) find [latex]{g}^{-1}\\left(1\\right),[\/latex] and (b) estimate [latex]{g}^{-1}\\left(4\\right).[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165135528890\">[reveal-answer q=\"fs-id1165135528890\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165135528890\"]\r\n<p id=\"fs-id1165135528891\">a. 3; b. 5.6<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137605437\" class=\"bc-section section\">\r\n<h4>Finding Inverses of Functions Represented by Formulas<\/h4>\r\n<p id=\"fs-id1165137433184\">Sometimes we will need to know an inverse function for all elements of its domain, not just a few. If the original function is given as a formula\u2014 for example, [latex]y[\/latex] as a function of [latex]x\\text{\u2014 }[\/latex] we can often find the inverse function by solving to obtain [latex]x[\/latex] as a function of [latex]{ }y.[\/latex]<\/p>\r\n\r\n<div id=\"fs-id1165137652548\" class=\"precalculus howto examples\">\r\n<h3>How To<\/h3>\r\n<p id=\"fs-id1165135195849\"><strong>Given a function represented by a formula, find the inverse.<\/strong><\/p>\r\n\r\n<ol id=\"fs-id1165135443898\" type=\"1\">\r\n \t<li>Make sure [latex]f[\/latex] is a one-to-one function.<\/li>\r\n \t<li>Solve for the input variable.<\/li>\r\n \t<li>Write using the appropriate function notation.<\/li>\r\n<\/ol>\r\n<\/div>\r\n<div id=\"Example_01_07_08\" class=\"textbox examples\">\r\n<div id=\"fs-id1165135186316\">\r\n<div id=\"fs-id1165135186318\">\r\n<h3>Example 7:\u00a0 Inverting the Fahrenheit-to-Celsius Function<\/h3>\r\n<p id=\"fs-id1165137596585\">Find a formula for the inverse function that gives Fahrenheit temperature as a function of Celsius temperature.<\/p>\r\n\r\n<div id=\"fs-id1165133306998\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=\\frac{5}{9}\\left(F-32\\right)[\/latex]<\/div>\r\n<div><\/div>\r\n<\/div>\r\n<div id=\"fs-id1165135417800\">[reveal-answer q=\"fs-id1165135417800\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165135417800\"]\r\n<div><\/div>\r\n<div id=\"fs-id1165135193737\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}C&amp;=\\frac{5}{9}\\left(F-32\\right)\\\\ C\\cdot \\frac{9}{5}&amp;=F-32\\\\ F&amp;=\\frac{9}{5}C+32\\end{align*}[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137819987\">By solving in general, we have uncovered the inverse function. If<\/p>\r\n\r\n<div id=\"fs-id1165135173380\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=h\\left(F\\right)=\\frac{5}{9}\\left(F-32\\right),[\/latex]<\/div>\r\n<p id=\"fs-id1165135435603\" style=\"text-align: left\">then<\/p>\r\n\r\n<div id=\"fs-id1165137772327\" class=\"unnumbered\" style=\"text-align: center\">[latex]F={h}^{-1}\\left(C\\right)=\\frac{9}{5}C+32.[\/latex][latex]\\\\[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137573279\">In this case, we introduced a function [latex]h[\/latex] to represent the conversion because the input and output variables are descriptive, and writing [latex]{C}^{-1}[\/latex] could get confusing.<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div class=\"precalculus tryit\">\r\n<h3>Try it #7<\/h3>\r\n<div id=\"ti_01_07_06\">\r\n<div id=\"fs-id1165135563330\">\r\n<p id=\"fs-id1165135563331\">Solve for [latex]x[\/latex] in terms of [latex]y[\/latex] given [latex]y=\\frac{1}{3}\\left(x-5\\right).[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165134049417\">[reveal-answer q=\"fs-id1165134049417\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165134049417\"]\r\n<p id=\"fs-id1165134049418\">[latex]x=3y+5[\/latex]<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"Example_01_07_09\" class=\"textbox examples\">\r\n<div id=\"fs-id1165134065146\">\r\n<div id=\"fs-id1165137409366\">\r\n<h3>Example 8:\u00a0 Solving to Find an Inverse Function<\/h3>\r\n<p id=\"fs-id1165137891504\">Find the inverse of the function [latex]f\\left(x\\right)=\\frac{2}{x-3}+4.[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137482074\">[reveal-answer q=\"fs-id1165137482074\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137482074\"]\r\n<div id=\"fs-id1165135189953\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}y&amp;=\\frac{2}{x-3}+4&amp;&amp;\\text{Set up an equation}.\\hfill \\\\ y-4&amp;=\\frac{2}{x-3}&amp;&amp; \\text{Subtract 4 from both sides}.\\hfill \\\\ x-3&amp;=\\frac{2}{y-4}&amp;&amp; \\text{Multiply both sides by }x-3\\text{ and divide by }y-4.\\hfill \\\\ x&amp;=\\frac{2}{y-4}+3&amp;&amp; \\text{Add 3 to both sides}.\\hfill \\end{align*}[\/latex]<\/div>\r\n<div><\/div>\r\n<p id=\"fs-id1165137678168\">So [latex]{f}^{-1}\\left(y\\right)=\\frac{2}{y-4}+3.[\/latex]<\/p>\r\n\r\n<h3>Analysis<\/h3>\r\n<p id=\"fs-id1165135394231\">The domain and range of [latex]f[\/latex] exclude the values 3 and 4, respectively. [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] are equal at two points but are not the same function, as we can see by creating <a class=\"autogenerated-content\" href=\"#Table_01_07_05\">Table 5<\/a>.<\/p>\r\n\r\n<table id=\"Table_01_07_05\" summary=\"The values of f(x) are: f(1)=3, f(2)=2, and f(5)=5. So f^(-1)(y)=y.\"><caption>Table 5<\/caption>\r\n<tbody>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]x[\/latex]<\/strong><\/td>\r\n<td class=\"border\" style=\"text-align: center\">1<\/td>\r\n<td class=\"border\" style=\"text-align: center\">2<\/td>\r\n<td class=\"border\" style=\"text-align: center\">5<\/td>\r\n<td class=\"border\" style=\"text-align: center\">[latex]{f}^{-1}\\left(y\\right)[\/latex]<\/td>\r\n<\/tr>\r\n<tr>\r\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]f\\left(x\\right)[\/latex]<\/strong><\/td>\r\n<td class=\"border\" style=\"text-align: center\">3<\/td>\r\n<td class=\"border\" style=\"text-align: center\">2<\/td>\r\n<td class=\"border\" style=\"text-align: center\">5<\/td>\r\n<td class=\"border\" style=\"text-align: center\">[latex]y[\/latex]<\/td>\r\n<\/tr>\r\n<\/tbody>\r\n<\/table>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137864156\"><\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"Example_01_07_10\" class=\"textbox examples\">\r\n<div id=\"fs-id1165137603677\">\r\n<div id=\"fs-id1165137547656\">\r\n<h3>Example 9:\u00a0 Solving to Find an Inverse with Radicals<\/h3>\r\nFind the inverse of the function [latex]f\\left(x\\right)=2+\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}.[\/latex]\r\n\r\n<\/div>\r\n<div id=\"fs-id1165135193684\">[reveal-answer q=\"fs-id1165135193684\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165135193684\"]\r\n<div><\/div>\r\n<div id=\"fs-id1165137828173\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}y&amp;=2+\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}&amp;&amp;\\text{Replace }f\\left(x\\right) \\text{ with }y.\\\\y-2&amp;=\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}&amp;&amp;\\text{Subtract 2 from both sides.}\\\\ {\\left(y-2\\right)}^{2}&amp;=x-4&amp;&amp;\\text{Square both sides.}\\\\ x&amp;={\\left(y-2\\right)}^{2}+4&amp;&amp;\\text{Add 4 to both sides.}\\end{align*}[\/latex]<\/div>\r\n&nbsp;\r\n\r\nSo [latex]{f}^{-1}\\left(y\\right)={\\left(y-2\\right)}^{2}+4.[\/latex]\r\n<p id=\"fs-id1165137900392\">The domain of [latex]f[\/latex] is [latex]\\left[4,\\infty \\right)[\/latex] so the range of\u00a0 [latex]{f}^{-1}[\/latex] is [latex]\\left[4,\\infty \\right).[\/latex] Notice that the range of [latex]f[\/latex] is [latex]\\left[2,\\infty \\right),[\/latex] so this means that the domain of the inverse function [latex]{f}^{-1}[\/latex] is also [latex]\\left[2,\\infty \\right).[\/latex]<\/p>\r\n\r\n<h3>Analysis<\/h3>\r\nThe formula we found for [latex]{f}^{-1}\\left(y\\right)[\/latex] looks like it would be valid for all real [latex]y.[\/latex] However, [latex]{f}^{-1}[\/latex] itself must have an inverse (namely, [latex]f[\/latex]) so we have to restrict the domain of [latex]{f}^{-1}[\/latex] to [latex]\\left[2,\\infty \\right)[\/latex] in order to make [latex]{f}^{-1}[\/latex] a one-to-one function. This domain of [latex]{f}^{-1}[\/latex] is exactly the range of [latex]f.[\/latex]\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137640068\" class=\"precalculus tryit\">\r\n<h3>Try it #8<\/h3>\r\n<div id=\"ti_01_07_07\">\r\n<div id=\"fs-id1165137756073\">\r\n<p id=\"fs-id1165137756074\">What is the inverse of the function [latex]f\\left(x\\right)=2-\\sqrt[\\leftroot{1}\\uproot{2} ]{x}?[\/latex] State the domains of both the function and the inverse function.<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137937549\">[reveal-answer q=\"fs-id1165137937549\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137937549\"]\r\n<p id=\"fs-id1165137937550\" style=\"text-align: center\">[latex]{f}^{-1}\\left(y\\right)={\\left(2-y\\right)}^{2};\\text{ }\\text{ }\\text{domain}\\text{ }\\text{ }\\text{of}\\text{ }\\text{ }f:\\text{ }\\text{ }\\left[0,\\infty \\right);\\text{ }\\text{ }\\text{domain}\\text{ }\\text{ }\\text{of}\\text{ }\\text{ }{f}^{-1}:\\text{ }\\text{ }\\left(-\\infty ,2\\right][\/latex]<\/p>\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137473011\" class=\"bc-section section\">\r\n<h3>Finding Inverse Functions and Their Graphs<\/h3>\r\n<p id=\"fs-id1165137463843\">Now that we can find the inverse of a function, we will explore the graphs of functions and their inverses. Let us return to the quadratic function [latex]f\\left(x\\right)={x}^{2}[\/latex] restricted to the domain [latex]\\left[0,\\infty \\right)\\text{,}[\/latex] on which this function is one-to-one, and graph it as in <a class=\"autogenerated-content\" href=\"#Figure_01_07_008\">Figure 7<\/a>.<\/p>\r\n\r\n<div id=\"Figure_01_07_008\" class=\"small\">[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210039\/CNX_Precalc_Figure_01_07_008.jpg\" alt=\"Graph of f(x).\" width=\"487\" height=\"254\" \/> <strong>Figure 7.\u00a0<\/strong>Quadratic function with domain restricted to [0, \u221e).[\/caption]<\/div>\r\n<p id=\"fs-id1165137419977\"><strong><span class=\"no-emphasis\">Restricting the domain<\/span><\/strong> to [latex]\\left[0,\\infty \\right)[\/latex] makes the function one-to-one (it will obviously pass the horizontal line test), so it has an inverse on this restricted domain.<\/p>\r\n<p id=\"fs-id1165137656093\">We already know that the inverse of the toolkit quadratic function is the square root function, that is, [latex]{f}^{-1}\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}.[\/latex] What happens if we graph both [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] on the same set of axes, using the [latex]x\\text{-}[\/latex]axis for the input to both [latex]f[\/latex] and [latex]{f}^{-1}?[\/latex]<\/p>\r\n<p id=\"fs-id1165131968090\">We notice a distinct relationship: The graph of [latex]{f}^{-1}\\left(x\\right)[\/latex] is the graph of [latex]f\\left(x\\right)[\/latex] reflected about the diagonal line [latex]y=x,[\/latex] which we will call the identity line, shown in <a class=\"autogenerated-content\" href=\"#Figure_01_07_009\">Figure 8<\/a>.<\/p>\r\n\r\n<div id=\"Figure_01_07_009\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210042\/CNX_Precalc_Figure_01_07_009.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"251\" \/> <strong>Figure 8.\u00a0<\/strong>Square and square-root functions on the non-negative domain.[\/caption]\r\n\r\n<\/div>\r\n<p id=\"fs-id1165137393212\">This relationship will be observed for all one-to-one functions, because it is a result of the function and its inverse swapping inputs and outputs. This is equivalent to interchanging the roles of the vertical and horizontal axes.<\/p>\r\n\r\n<div id=\"Example_01_07_11\" class=\"textbox examples\">\r\n<div id=\"fs-id1165134430460\">\r\n<div id=\"fs-id1165134430463\">\r\n<h3>Example 10:\u00a0 Finding the Inverse of a Function Using Reflection about the Identity Line<\/h3>\r\n<p id=\"fs-id1165134342627\">Given the graph of [latex]f\\left(x\\right)[\/latex] in <a class=\"autogenerated-content\" href=\"#Figure_01_07_010\">Figure 9<\/a>, sketch a graph of [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\r\n\r\n<div id=\"Figure_01_07_010\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"345\"]<img class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210044\/CNX_Precalc_Figure_01_07_010.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"345\" height=\"257\" \/> <strong>Figure 9.<\/strong>[\/caption]\r\n\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137407658\">[reveal-answer q=\"fs-id1165137407658\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137407658\"]\r\n<p id=\"fs-id1165137407660\">This is a one-to-one function, so we will be able to sketch an inverse. Note that the graph shown has an apparent domain of [latex]\\left(0,\\infty \\right)[\/latex] and range of [latex]\\left(-\\infty ,\\infty \\right),[\/latex] so the inverse will have a domain of [latex]\\left(-\\infty ,\\infty \\right)[\/latex] and range of [latex]\\left(0,\\infty \\right).[\/latex]<\/p>\r\n<p id=\"fs-id1165137416305\">If we reflect this graph over the line [latex]y=x,[\/latex] the point [latex]\\left(1,0\\right)[\/latex] reflects to [latex]\\left(0,1\\right)[\/latex] and the point [latex]\\left(4,2\\right)[\/latex] reflects to [latex]\\left(2,4\\right).[\/latex] Sketching the inverse on the same axes as the original graph gives <a class=\"autogenerated-content\" href=\"#Figure_01_07_011\">Figure 10<\/a>.<\/p>\r\n\r\n<div id=\"Figure_01_07_011\" class=\"small\">\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"345\"]<img class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210048\/CNX_Precalc_Figure_01_07_011.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"345\" height=\"257\" \/> <strong>Figure 10.\u00a0<\/strong>The function and its inverse, showing reflection about the identity line[\/caption]\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div class=\"precalculus tryit\">\r\n<h3>Try it #9<\/h3>\r\n<div id=\"ti_01_07_08\">\r\n<div id=\"fs-id1165137619929\">\r\n<p id=\"fs-id1165137619930\">Draw graphs of the functions [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] from <a class=\"autogenerated-content\" href=\"#Example_01_07_09\">Example 8<\/a>\u00a0where\u00a0[latex]f\\left(x\\right)=\\frac{2}{x-3}+4.[\/latex]<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137911739\">[reveal-answer q=\"fs-id1165137911739\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"fs-id1165137911739\"]\r\n\r\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210051\/CNX_Precalc_Figure_01_07_012.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"326\" \/> Figure 11[\/caption]\r\n\r\n[\/hidden-answer]\r\n\r\n<\/div>\r\n<\/div>\r\n<\/div>\r\n<div id=\"fs-id1165137627081\" class=\"precalculus qa key-takeaways\">\r\n<h3>Q&amp;A<\/h3>\r\n<p id=\"fs-id1165134388228\"><strong>Is there any function that is equal to its own inverse?<\/strong><\/p>\r\n<p id=\"fs-id1165137602656\"><em>Yes. If [latex]f={f}^{-1},[\/latex] then [latex]f\\left(f\\left(x\\right)\\right)=x,[\/latex] and we can think of several functions that have this property. The identity function does, and so does the reciprocal function, because<\/em><\/p>\r\n\r\n<div id=\"fs-id1165135205827\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/div>\r\n<p id=\"fs-id1165137897050\"><em>Any function [latex]f\\left(x\\right)=c-x,[\/latex] where [latex]c[\/latex] is a constant, is also equal to its own inverse.<\/em><\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137410410\" class=\"precalculus media\">\r\n<div class=\"textbox shaded\">\r\n<h4>Media<\/h4>\r\n<p id=\"fs-id1165137410501\">Access these online resources for additional instruction and practice with inverse functions.<\/p>\r\n\r\n<ul id=\"fs-id1165137582034\">\r\n \t<li><a href=\"http:\/\/openstax.org\/l\/inversefunction\">Inverse Functions<\/a><\/li>\r\n \t<li><a href=\"http:\/\/openstax.org\/l\/inversfuncgraph\">Inverse Function Values Using Graph<\/a><\/li>\r\n \t<li><a href=\"http:\/\/openstax.org\/l\/restrictdomain\">Restricting the Domain and Finding the Inverse<\/a><\/li>\r\n<\/ul>\r\n<\/div>\r\n<\/div>\r\n<p id=\"eip-10\">Visit <a href=\"http:\/\/openstax.org\/l\/PreCalcLPC01\">this website<\/a> for additional practice questions from Learningpod.<\/p>\r\n\r\n<\/div>\r\n<div id=\"fs-id1165137591826\" class=\"textbox key-takeaways\">\r\n<h3>Key Concepts<\/h3>\r\n<ul id=\"fs-id1165135536334\">\r\n \t<li>If [latex]g\\left(x\\right)[\/latex] is the inverse of [latex]f\\left(x\\right),[\/latex] then [latex]g\\left(f\\left(x\\right)\\right)=f\\left(g\\left(x\\right)\\right)=x.[\/latex]<\/li>\r\n \t<li>Some of the toolkit functions have an inverse function.<\/li>\r\n \t<li>For a function to have an inverse, it must be one-to-one (pass the horizontal line test).<\/li>\r\n \t<li>A function that is not one-to-one over its entire domain may be one-to-one on part of its domain.<\/li>\r\n \t<li>For a tabular function, exchange the input and output rows to obtain the inverse.<\/li>\r\n \t<li>The inverse of a function can be determined at specific points on its graph.<\/li>\r\n \t<li>To find the inverse of a formula, solve the equation [latex]y=f\\left(x\\right)[\/latex] for [latex]x[\/latex] as a function of [latex]y.[\/latex]<\/li>\r\n \t<li>The graph of an inverse function is the reflection of the graph of the original function across the line [latex]y=x.[\/latex]<\/li>\r\n<\/ul>\r\n<\/div>\r\n<div id=\"fs-id1165135177582\" class=\"review-exercises\"><\/div>\r\n<div class=\"textbox shaded\">\r\n<h3>Glossary<\/h3>\r\n<dl id=\"fs-id1165137441703\">\r\n \t<dt>inverse function<\/dt>\r\n \t<dd id=\"fs-id1165137441708\">for any one-to-one function [latex]f\\left(x\\right),[\/latex] the inverse is a function [latex]{f}^{-1}\\left(x\\right)[\/latex] such that [latex]{f}^{-1}\\left(f\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]f;[\/latex] this also implies that [latex]f\\left({f}^{-1}\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]{f}^{-1}[\/latex]<\/dd>\r\n<\/dl>\r\n<\/div>\r\n<\/div>","rendered":"<div class=\"textbox learning-objectives\">\n<h3>Learning Objectives<\/h3>\n<p>In this section, you will:<\/p>\n<ul>\n<li>Verify inverse functions.<\/li>\n<li>Determine the domain and range of an inverse function, and restrict the domain of a function to make it one-to-one.<\/li>\n<li>Find or evaluate the inverse of a function.<\/li>\n<li>Use the graph of a one-to-one function to graph its inverse function on the same axes.<\/li>\n<\/ul>\n<\/div>\n<p id=\"fs-id1165135358875\">A reversible heat pump is a climate-control system that is an air conditioner and a heater in a single device. Operated in one direction, it pumps heat out of a house to provide cooling. Operating in reverse, it pumps heat into the building from the outside, even in cool weather, to provide heating. As a heater, a heat pump is several times more efficient than conventional electrical resistance heating.<\/p>\n<p id=\"fs-id1165135701544\">If some physical machines can run in two directions, we might ask whether some of the function \u201cmachines\u201d we have been studying can also run backwards. <a class=\"autogenerated-content\" href=\"#Figure_01_07_001\">Figure 1<\/a>\u00a0provides a visual representation of this question. In this section, we will consider the reverse nature of functions.<\/p>\n<div id=\"Figure_01_07_001\" class=\"medium\">\n<div style=\"width: 741px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210022\/CNX_Precalc_Figure_01_07_001.jpg\" alt=\"Diagram of a function and would be its inverse.\" width=\"731\" height=\"305\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 1.\u00a0<\/strong>Can a function \u201cmachine\u201d operate in reverse?<\/p>\n<\/div>\n<\/div>\n<div class=\"wp-caption-text\"><\/div>\n<div id=\"fs-id1165137725994\" class=\"bc-section section\">\n<h3>Verifying That Two Functions Are Inverse Functions<\/h3>\n<p id=\"fs-id1165135705795\">Suppose a fashion designer traveling to Milan for a fashion show wants to know what the temperature will be. He is not familiar with the <span class=\"no-emphasis\">Celsius<\/span> scale. To get an idea of how temperature measurements are related, he asks his assistant, Betty, to convert 75 degrees <span class=\"no-emphasis\">Fahrenheit<\/span> to degrees Celsius. She finds the formula<\/p>\n<div id=\"fs-id1165137807176\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=\\frac{5}{9}\\left(F-32\\right)[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165135433486\" style=\"text-align: left\">and substitutes 75 for[latex]\\text{ }F\\text{ }[\/latex]to calculate<\/p>\n<div id=\"fs-id1165137911210\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\frac{5}{9}\\left(75-32\\right)\\approx 24\\text{\u00b0C}.[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137409312\">Knowing that a comfortable 75 degrees Fahrenheit is about 24 degrees Celsius, he sends his assistant the week\u2019s weather forecast for Milan (<a class=\"autogenerated-content\" href=\"#Figure_01_07_002\">Figure 2<\/a>), and asks her to convert all of the temperatures to degrees Fahrenheit.<\/p>\n<div id=\"Figure_01_07_002\" class=\"medium\">\n<div style=\"width: 741px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210024\/CNX_Precalc_Figure_01_07_002.jpg\" alt=\"A forecast of Monday\u2019s through Thursday\u2019s weather.\" width=\"731\" height=\"226\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 2.<\/strong><\/p>\n<\/div>\n<\/div>\n<p>At first, Betty considers using the formula she has already found to complete the conversions. After all, she knows her algebra, and can easily solve the equation for [latex]F[\/latex] after substituting a value for [latex]C.[\/latex] For example, to convert 26 degrees Celsius, she could write<\/p>\n<div id=\"fs-id1165135548255\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}26&=\\frac{5}{9}\\left(F-32\\right) \\\\ 26\\cdot \\frac{9}{5}&=F-32\\\\F&=26\\cdot \\frac{9}{5}+32\\approx 79 \\end{align*}[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137540705\">After considering this option for a moment, however, she realizes that solving the equation for each of the temperatures will be awfully tedious. She realizes that since evaluation is easier than solving, it would be much more convenient to have a different formula, one that takes the Celsius temperature as input and outputs the Fahrenheit temperature.<\/p>\n<p id=\"fs-id1165137827441\">The formula for which Betty is searching corresponds to the idea of an <strong>inverse function<\/strong>, which is a function for which the input of the original function becomes the output of the inverse function and the output of the original function becomes the input of the inverse function.<\/p>\n<p id=\"fs-id1165135528385\">Given a function [latex]f\\left(x\\right),[\/latex] we represent its inverse as [latex]{f}^{-1}\\left(x\\right),[\/latex] read as [latex]\u201cf\\text{ }[\/latex] inverse of [latex]x.\\text{\u201d}[\/latex] The raised [latex]-1[\/latex] is part of the notation. It is not an exponent; it does not imply a power of [latex]-1[\/latex]. In other words, [latex]{f}^{-1}\\left(x\\right)[\/latex] does <em>not<\/em> mean [latex]\\frac{1}{f\\left(x\\right)}[\/latex] because [latex]\\frac{1}{f\\left(x\\right)}[\/latex] is the reciprocal of [latex]f[\/latex] and not the inverse.<\/p>\n<p id=\"fs-id1165137724926\">The \u201cexponent-like\u201d notation comes from an analogy between function composition and multiplication: just as for multiplicative inverses, or reciprocals, [latex]{a}^{-1}a=1[\/latex] (1 is the identity element for multiplication) for any nonzero number [latex]a,[\/latex] so for composition of inverse functions, [latex]{f}^{-1}\\circ f[\/latex] equals the identity function, that is,<\/p>\n<div id=\"fs-id1165134302408\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{-1}\\circ f\\right)\\left(x\\right)={f}^{-1}\\left(f\\left(x\\right)\\right)={f}^{-1}\\left(y\\right)=x[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<div><\/div>\n<p id=\"fs-id1165135667832\">This holds for all [latex]x[\/latex] in the domain of [latex]f.[\/latex] Informally, this means that inverse functions \u201cundo\u201d each other. However, just as the real number zero does not have a <strong><span class=\"no-emphasis\">reciprocal<\/span><\/strong>, some functions do not have inverses.<\/p>\n<p id=\"fs-id1165137655153\">Given a function [latex]f\\left(x\\right),[\/latex] we can verify whether some other function [latex]g\\left(x\\right)[\/latex] is the inverse of [latex]f\\left(x\\right)[\/latex] by checking whether either [latex]g\\left(f\\left(x\\right)\\right)=x[\/latex] or [latex]f\\left(g\\left(x\\right)\\right)=x[\/latex] is true. We can test whichever equation is more convenient to work with because they are logically equivalent (that is, if one is true, then so is the other.)<\/p>\n<p id=\"fs-id1165135397975\" style=\"text-align: left\">For example, [latex]y=4x[\/latex] and [latex]y=\\frac{1}{4}x[\/latex] are inverse functions.<\/p>\n<div id=\"fs-id1165137756798\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{-1}\\circ f\\right)\\left(x\\right)={f}^{-1}\\left(4x\\right)=\\frac{1}{4}\\left(4x\\right)=x[\/latex]<\/div>\n<p id=\"fs-id1165137767233\" style=\"text-align: center\">and<\/p>\n<div id=\"fs-id1165137755853\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\left({f}^{}\\circ {f}^{-1}\\right)\\left(x\\right)=f\\left(\\frac{1}{4}x\\right)=4\\left(\\frac{1}{4}x\\right)=x[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137438777\" style=\"text-align: left\">A few coordinate pairs from the graph of the function [latex]y=4x[\/latex] are (\u22122, \u22128), (0, 0), and (2, 8). A few coordinate pairs from the graph of the function [latex]y=\\frac{1}{4}x[\/latex] are (\u22128, \u22122), (0, 0), and (8, 2). If we interchange the input and output of each coordinate pair of a function, the interchanged coordinate pairs would appear on the graph of the inverse function.<\/p>\n<div class=\"textbox definitions\">\n<h3>Definition<\/h3>\n<p id=\"fs-id1165137473076\">For any <strong><span class=\"no-emphasis\">one-to-one function\u00a0<\/span><\/strong>[latex]f\\left(x\\right)=y,[\/latex] a function [latex]{f}^{-1}\\left(x\\right)[\/latex] is an<strong> inverse function<\/strong> of [latex]f[\/latex] if [latex]{f}^{-1}\\left(y\\right)=x.[\/latex] This can also be written as [latex]{f}^{-1}\\left(f\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]f.[\/latex] It also follows that [latex]f\\left({f}^{-1}\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]{f}^{-1}[\/latex] if [latex]{f}^{-1}[\/latex] is the inverse of [latex]f.[\/latex]<\/p>\n<p id=\"fs-id1165137444821\">The notation [latex]{f}^{-1}[\/latex] is read [latex]\\text{\u201c}f[\/latex] inverse.\u201d Like any other function, we can use any variable name as the input for [latex]{f}^{-1},[\/latex] so we will often write [latex]{f}^{-1}\\left(x\\right),[\/latex] which we read as [latex]\u201cf[\/latex] inverse of [latex]x.\u201d[\/latex] Keep in mind that<\/p>\n<div id=\"fs-id1165137581324\" class=\"unnumbered\" style=\"text-align: center\">[latex]{f}^{-1}\\left(x\\right)\\ne \\frac{1}{f\\left(x\\right)}[\/latex]<\/div>\n<p id=\"fs-id1165135194095\">and not all functions have inverses.<\/p>\n<\/div>\n<div id=\"Example_01_07_01\" class=\"textbox examples\">\n<div id=\"fs-id1165137656641\">\n<div id=\"fs-id1165137922642\">\n<h3>Example 1:\u00a0 Identifying an Inverse Function for a Given Input-Output Pair<\/h3>\n<p id=\"fs-id1165137659325\">If for a particular one-to-one function [latex]f\\left(2\\right)=4[\/latex] and [latex]f\\left(5\\right)=12,[\/latex] what are the corresponding input and output values for the inverse function?<\/p>\n<\/div>\n<div id=\"fs-id1165137768306\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137768306\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137768306\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137737081\">The inverse function reverses the input and output quantities, so if<\/p>\n<div id=\"fs-id1165137462459\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{array}{c}f\\left(2\\right)=4,\\text{ then }{f}^{-1}\\left(4\\right)=2;\\\\ f\\left(5\\right)=12,{\\text{ then f}}^{-1}\\left(12\\right)=5.\\end{array}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1165137659464\">Alternatively, if we want to name the inverse function [latex]g,[\/latex] then [latex]g\\left(4\\right)=2[\/latex] and [latex]g\\left(12\\right)=5.[\/latex]<\/p>\n<h3>Analysis<\/h3>\n<p id=\"fs-id1165135508518\">Notice that if we show the coordinate pairs in a table form, the input and output are clearly reversed. See <a class=\"autogenerated-content\" href=\"#Table_01_07_01\">Table 1<\/a>.<\/p>\n<table id=\"Table_01_07_01\" style=\"height: 33px\" summary=\"For (x,f(x)) we have the values (2, 4) and (5, 12); for (x, g(x)), we have the values (4, 2) and (12, 5).\">\n<caption>Table 1<\/caption>\n<thead>\n<tr style=\"height: 11px\">\n<th class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(x,f\\left(x\\right)\\right)[\/latex]<\/th>\n<th class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(x,g\\left(x\\right)\\right)[\/latex]<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 11px\">\n<td class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(2,4\\right)[\/latex]<\/td>\n<td class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(4,2\\right)[\/latex]<\/td>\n<\/tr>\n<tr style=\"height: 11px\">\n<td class=\"border\" style=\"height: 11px;width: 204.656px;text-align: center\">[latex]\\left(5,12\\right)[\/latex]<\/td>\n<td class=\"border\" style=\"height: 11px;width: 209.656px;text-align: center\">[latex]\\left(12,5\\right)[\/latex]<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165135245520\"><\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137635377\" class=\"precalculus tryit\">\n<h3>Try it #1<\/h3>\n<div id=\"ti_01_07_01\">\n<div id=\"fs-id1165137659088\">\n<p id=\"fs-id1165137659089\">Given that [latex]{h}^{-1}\\left(6\\right)=2,[\/latex] what are the corresponding input and output values of the original function [latex]h?[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137645907\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137645907\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137645907\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137645908\">[latex]h\\left(2\\right)=6[\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165134357354\" class=\"precalculus howto examples\">\n<h3>How To<\/h3>\n<p id=\"fs-id1165135434077\"><strong>Given two functions [latex]f\\left(x\\right)[\/latex] and [latex]g\\left(x\\right),[\/latex] test whether the functions are inverses of each other.<\/strong><\/p>\n<ol id=\"fs-id1165137452358\" type=\"1\">\n<li>Determine whether [latex]f\\left(g\\left(x\\right)\\right)=x.[\/latex]\u00a0 If so, continue to step 2.\u00a0 If not, then\u00a0[latex]f\\left(x\\right)[\/latex] and [latex]g\\left(x\\right),[\/latex] are not inverse functions.<\/li>\n<li>Next, determine whether [latex]g\\left(f\\left(x\\right)\\right)=x.[\/latex]\u00a0\u00a0If so, then since both orders of composition resulted in x,\u00a0 [latex]f\\left(x\\right)[\/latex] and [latex]g\\left(x\\right),[\/latex] are inverses. If not, then\u00a0[latex]f\\left(x\\right)[\/latex] and [latex]g\\left(x\\right),[\/latex] are not inverse functions.<\/li>\n<\/ol>\n<p>Note:\u00a0 If both statements are true, then [latex]g={f}^{-1}[\/latex] and [latex]f={g}^{-1}.[\/latex] If either statement is false, then the functions are not inverse functions of each other.<\/p>\n<\/div>\n<div id=\"Example_01_07_02\" class=\"textbox examples\">\n<div id=\"fs-id1165137557051\">\n<div id=\"fs-id1165137679032\">\n<h3>Example 2:\u00a0 Testing Inverse Relationships Algebraically<\/h3>\n<p id=\"fs-id1165135519417\">If [latex]f\\left(x\\right)=\\frac{1}{x+2}[\/latex] and [latex]g\\left(x\\right)=\\frac{1}{x}-2,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137627632\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137627632\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137627632\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1165137675509\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}g\\left(f\\left(x\\right)\\right)&=\\frac{1}{\\left(\\frac{1}{x+2}\\right)}-2\\\\ &=x+2-2\\\\&=x \\end{align*}[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137611481\">so<\/p>\n<div id=\"fs-id1165135678636\" class=\"unnumbered\" style=\"text-align: center\">[latex]g={f}^{-1}[\/latex] and [latex]f={g}^{-1}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p id=\"fs-id1165135436648\">This is enough to answer yes to the question, but we can also verify the other formula.<\/p>\n<div id=\"fs-id1165137784350\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}f\\left(g\\left(x\\right)\\right)&=\\frac{1}{\\frac{1}{x}-2+2}\\\\ &=\\frac{1}{\\frac{1}{x}}\\\\ &=x\\end{align*}[\/latex]<\/div>\n<h3>Analysis<\/h3>\n<div class=\"unnumbered\" style=\"text-align: left\">Notice the inverse operations are in reverse order of the operations of the original function.<\/div>\n<\/div>\n<div><\/div>\n<div id=\"fs-id1165137557051\">\n<div id=\"fs-id1165137627632\">\n<div class=\"unnumbered\" style=\"text-align: left\"><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137911663\" class=\"precalculus tryit\">\n<h3>Try it #2<\/h3>\n<div id=\"ti_01_07_02\">\n<div id=\"fs-id1165135160549\">\n<p id=\"fs-id1165135160550\">If [latex]f\\left(x\\right)={x}^{3}-4[\/latex] and [latex]g\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x+4},[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137456449\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137456449\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137456449\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137600434\">Yes<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"Example_01_07_03\" class=\"textbox examples\">\n<div id=\"fs-id1165135259560\">\n<div id=\"fs-id1165134042918\">\n<h3>Example 3:\u00a0 Determining Inverse Relationships for Power Functions<\/h3>\n<p id=\"fs-id1165137441834\">If [latex]f\\left(x\\right)={x}^{3}[\/latex] (the cube function) and [latex]g\\left(x\\right)=\\frac{1}{3}x,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137442603\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137442603\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137442603\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1165137591632\" class=\"unnumbered\">[latex]f\\left(g\\left(x\\right)\\right)=\\frac{{x}^{3}}{27}\\ne x.[\/latex] No, the functions are not inverses.<\/div>\n<h3>Analysis<\/h3>\n<p>The correct inverse to the cube is, of course, the cube root [latex]\\sqrt[\\leftroot{1}\\uproot{2}3]{x}={x}^{\\frac{1}{3}},[\/latex] that is, the one-third is an exponent, not a multiplier.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137806084\" class=\"precalculus tryit\">\n<h3>Try it #3<\/h3>\n<div id=\"ti_01_07_03\">\n<div id=\"fs-id1165135195489\">\n<p id=\"fs-id1165137573532\">If [latex]f\\left(x\\right)={\\left(x-1\\right)}^{3}[\/latex] and [latex]g\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x}+1,[\/latex] is [latex]g={f}^{-1}?[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137501356\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137501356\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137501356\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137662080\">Yes<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137660004\" class=\"bc-section section\">\n<h3>Finding Domain and Range of Inverse Functions<\/h3>\n<p id=\"fs-id1165137591020\">The outputs of the function [latex]f[\/latex] are the inputs to [latex]{f}^{-1},[\/latex] so the range of [latex]f[\/latex] is also the domain of [latex]{f}^{-1}.[\/latex] Likewise, because the inputs to [latex]f[\/latex] are the outputs of [latex]{f}^{-1},[\/latex] the domain of [latex]f[\/latex] is the range of [latex]{f}^{-1}.[\/latex] We can visualize the situation as in <a class=\"autogenerated-content\" href=\"#Figure_01_07_003\">Figure 3<\/a>.<\/p>\n<div id=\"Figure_01_07_003\" class=\"small\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210027\/CNX_Precalc_Figure_01_07_003.jpg\" alt=\"Domain and range of a function and its inverse.\" width=\"487\" height=\"143\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 3.\u00a0<\/strong>Domain and range of a function and its inverse.<\/p>\n<\/div>\n<\/div>\n<h4>Functions Whose Inverses Are Not Functions and Domain Restrictions<\/h4>\n<p id=\"fs-id1165135557891\">If a function is not one-to -one on its domain, then it does not have an inverse which is a function.\u00a0 When a function has no inverse function, it is possible to create a new function where that new function on a limited domain does have an inverse function.<\/p>\n<p>For example, the inverse of [latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}[\/latex] is [latex]{f}^{-1}\\left(x\\right)={x}^{2},[\/latex] because a square \u201cundoes\u201d a square root; but the square is only the inverse of the square root on the domain [latex]\\left[0,\\infty \\right),[\/latex] since that is the range of [latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}.[\/latex]<\/p>\n<p id=\"fs-id1165137730185\">We can look at this problem from the other side, starting with the square (toolkit quadratic) function [latex]f\\left(x\\right)={x}^{2}.[\/latex] If we want to construct an inverse to this function, we run into a problem, because for every given output of the quadratic function, there are two corresponding inputs (except when the input is 0). For example, the output 9 from the quadratic function corresponds to the inputs 3 and \u20133. But an output from a function is an input to its inverse; if this inverse input corresponds to more than one inverse output (input of the original function), then the \u201cinverse\u201d is not a function at all! To put it differently, the quadratic function is not a one-to-one function; it fails the horizontal line test, so it does not have an inverse function.<\/p>\n<p id=\"fs-id1165137823552\">In many cases, if a function is not one-to-one, we can still restrict the function to a part of its domain on which it is one-to-one. For example, we can make a restricted version of the square function [latex]f\\left(x\\right)={x}^{2}[\/latex] with its domain limited to [latex]\\left[0,\\infty \\right),[\/latex] which is a one-to-one function (it passes the horizontal line test meaning that each output is paired with exactly one input) and which has an inverse (the square-root function).<\/p>\n<p id=\"fs-id1165132037000\">If [latex]f\\left(x\\right)={\\left(x-1\\right)}^{2}[\/latex] on [latex]\\left[1,\\infty \\right),[\/latex] then the inverse function is [latex]{f}^{-1}\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}+1.[\/latex]<\/p>\n<ul id=\"fs-id1165137851227\">\n<li>The domain of [latex]f[\/latex] equals the range of [latex]{f}^{-1}:[\/latex]\u00a0 [latex]\\left[1,\\infty \\right).[\/latex]<\/li>\n<li>The domain of [latex]{f}^{-1}[\/latex] equals the range of [latex]f:[\/latex]\u00a0 \u00a0[latex]\\left[0,\\infty \\right).[\/latex]<\/li>\n<\/ul>\n<div id=\"fs-id1165137733804\" class=\"precalculus qa key-takeaways\">\n<h3>Q&amp;A<\/h3>\n<p id=\"fs-id1165137723526\"><strong>Is it possible for a function to have more than one inverse?<\/strong><\/p>\n<p id=\"fs-id1165137456608\"><em>No. If two supposedly different functions, say, [latex]g[\/latex] and [latex]h,[\/latex] both meet the definition of being inverses of another function [latex]f,[\/latex] then you can prove that [latex]g=h.[\/latex] We have just seen that some functions only have inverses if we restrict the domain of the original function. In these cases, there may be more than one way to restrict the domain, leading to different inverses. However, on any one domain, the original function still has only one unique inverse.<\/em><\/p>\n<\/div>\n<div id=\"fs-id1165137704938\">\n<div class=\"textbox shaded\">\n<h3>Domain and Range of Inverse Functions<\/h3>\n<p id=\"fs-id1165135319550\">The range of a function [latex]f\\left(x\\right)[\/latex] is the domain of the inverse function [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\n<p id=\"fs-id1165137673886\">The domain of [latex]f\\left(x\\right)[\/latex] is the range of [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\n<\/div>\n<\/div>\n<div id=\"fs-id1165135308785\" class=\"precalculus howto examples\">\n<h3>How To<\/h3>\n<p id=\"fs-id1165137605040\"><strong>Given a function, find the domain and range of its inverse. <\/strong><\/p>\n<ol id=\"fs-id1165137530434\" type=\"1\">\n<li>If the function is one-to-one, write the range of the original function as the domain of the inverse, and write the domain of the original function as the range of the inverse.<\/li>\n<li>If the domain of the original function needs to be restricted to make it one-to-one, then this restricted domain becomes the range of the inverse function.<\/li>\n<\/ol>\n<\/div>\n<div id=\"Example_01_07_05\" class=\"textbox examples\">\n<div id=\"fs-id1165137667922\">\n<div id=\"fs-id1165135511321\">\n<h3>Example 4:\u00a0 Finding the Inverses of Toolkit Functions<\/h3>\n<p id=\"fs-id1165137448020\">Identify which of the toolkit functions besides the quadratic function are not one-to-one, and find a restricted domain on which each function is one-to-one, if any. The toolkit functions are reviewed in <a class=\"autogenerated-content\" href=\"#Table_01_07_02\">Table 2<\/a>. We restrict the domain in such a fashion that the function assumes all <em>y<\/em>-values exactly once.<\/p>\n<table id=\"Table_01_07_02\" style=\"height: 68px\" summary=\"A list of the toolkit function. The constant function is f(x) = c where c is the constant; the identity function is f(x) = x; the absolute function is f(x)=|x|; the quadratic function is f(x) = x^2; the cubic function is f(x)=x^3; the reciprocal function is f(x)=1\/x; the reciprocal squared function is f(x)=1\/x^2; the square root function is f(x)=sqrt(x); the cube root function is f(x) = x^(1\/3).\">\n<caption>Table 2<\/caption>\n<colgroup>\n<col \/>\n<col \/>\n<col \/>\n<col \/>\n<col \/><\/colgroup>\n<tbody>\n<tr style=\"height: 11px\">\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Constant<\/td>\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Identity<\/td>\n<td class=\"border\" style=\"height: 11px;width: 134.656px;text-align: center\">Quadratic<\/td>\n<td class=\"border\" style=\"height: 11px;width: 110.656px;text-align: center\">Cubic<\/td>\n<td class=\"border\" style=\"height: 11px;width: 135.656px;text-align: center\">Reciprocal<\/td>\n<\/tr>\n<tr style=\"height: 23px\">\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=c[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=x[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 134.656px;text-align: center\">[latex]f\\left(x\\right)={x}^{2}[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 110.656px;text-align: center\">[latex]f\\left(x\\right)={x}^{3}[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 135.656px;text-align: center\">[latex]f\\left(x\\right)=\\frac{1}{x}[\/latex]<\/td>\n<\/tr>\n<tr style=\"height: 11px\">\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Reciprocal squared<\/td>\n<td class=\"border\" style=\"height: 11px;width: 138.656px;text-align: center\">Cube root<\/td>\n<td class=\"border\" style=\"height: 11px;width: 134.656px;text-align: center\">Square root<\/td>\n<td class=\"border\" style=\"height: 11px;width: 110.656px;text-align: center\">Absolute value<\/td>\n<td class=\"border\" style=\"height: 11px;width: 135.656px\"><\/td>\n<\/tr>\n<tr style=\"height: 23px\">\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=\\frac{1}{{x}^{2}}[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 138.656px;text-align: center\">[latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2}3]{x}[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 134.656px;text-align: center\">[latex]f\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 110.656px;text-align: center\">[latex]f\\left(x\\right)=|x|[\/latex]<\/td>\n<td class=\"border\" style=\"height: 23px;width: 135.656px\"><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div id=\"fs-id1165137767030\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137767030\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137767030\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165132988445\">The constant function is not one-to-one, and there is no domain (except a single point) on which it could be one-to-one, so the constant function has no meaningful inverse.<\/p>\n<p>The absolute value function can be restricted to the domain [latex]\\left[0,\\infty \\right),[\/latex] where it is equal to the identity function.<\/p>\n<p id=\"fs-id1165137642849\">The reciprocal-squared function can be restricted to the domain [latex]\\left(0,\\infty \\right).[\/latex]<\/p>\n<h3>Analysis<\/h3>\n<p id=\"fs-id1165137742302\">We can see that these functions (if unrestricted) are not one-to-one by looking at their graphs, shown in <a class=\"autogenerated-content\" href=\"#Figure_01_07_004\">Figure 4<\/a>. They both would fail the horizontal line test. However, if a function is restricted to a certain domain so that it passes the horizontal line test, then in that restricted domain, it can have an inverse.<\/p>\n<div id=\"Figure_01_07_004\" class=\"wp-caption aligncenter\">\n<div style=\"width: 928px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210030\/CNX_Precalc_Figure_01_07_004ab.jpg\" alt=\"Graph of an absolute function.\" width=\"918\" height=\"380\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 4.\u00a0<\/strong>(a) Absolute value (b) Reciprocal squared<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137544599\" class=\"precalculus tryit\">\n<h3>Try it #4<\/h3>\n<div id=\"ti_01_07_09\">\n<div id=\"fs-id1165135406939\">\n<p id=\"fs-id1165137507853\">The domain of function [latex]f[\/latex] is [latex]\\left(1,\\infty \\right)[\/latex] and the range of function [latex]f[\/latex] is [latex]\\left(\\mathrm{-\\infty },-2\\right).[\/latex] Find the domain and range of the inverse function.<\/p>\n<\/div>\n<div id=\"fs-id1165137431277\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137431277\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137431277\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137451713\">The domain of function [latex]{f}^{-1}[\/latex] is [latex]\\left(-\\infty \\text{,}-2\\right)[\/latex] and the range of function [latex]{f}^{-1}[\/latex] is [latex]\\left(1,\\infty \\right).[\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137619159\" class=\"bc-section section\">\n<h3>Finding and Evaluating Inverse Functions<\/h3>\n<p id=\"fs-id1165137761017\">Once we have a one-to-one function, we can evaluate its inverse at specific inverse function inputs or construct a complete representation of the inverse function in many cases.<\/p>\n<div id=\"fs-id1165135466392\" class=\"bc-section section\">\n<h4>Inverting Tabular Functions<\/h4>\n<p id=\"fs-id1165135190714\">Suppose we want to find the inverse of a function represented in table form. Remember that the domain of a function is the range of the inverse and the range of the function is the domain of the inverse. So we need to interchange the domain and range.<\/p>\n<p id=\"fs-id1165137422578\">Each row (or column) of inputs becomes the row (or column) of outputs for the inverse function. Similarly, each row (or column) of outputs becomes the row (or column) of inputs for the inverse function.<\/p>\n<div id=\"Example_01_07_06\" class=\"textbox examples\">\n<div id=\"fs-id1165135544995\">\n<div id=\"fs-id1165137698262\">\n<h3>Example 5:\u00a0 Interpreting the Inverse of a Tabular Function<\/h3>\n<p id=\"fs-id1165135435474\">A function [latex]f\\left(t\\right)[\/latex] is given in <a class=\"autogenerated-content\" href=\"#Table_01_07_03\">Table 3<\/a>, showing distance in miles that a car has traveled in [latex]t[\/latex] minutes. Find and interpret [latex]{f}^{-1}\\left(70\\right).[\/latex]<\/p>\n<table id=\"Table_01_07_03\" summary=\"Two rows and five columns. The first row is labeled \u201ct (minutes)\u201d, and the second row is labeled \u201cf(x) (miles)\u201d. Reading the columns as ordered pairs, we have the following values (30, 20), (50, 40), (70, 60), and (90, 70).\">\n<caption>Table 3<\/caption>\n<colgroup>\n<col \/>\n<col \/>\n<col \/>\n<col \/>\n<col \/><\/colgroup>\n<tbody>\n<tr>\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]t\\text{ (minutes)}[\/latex]<\/strong><\/td>\n<td class=\"border\" style=\"text-align: center\">30<\/td>\n<td class=\"border\" style=\"text-align: center\">50<\/td>\n<td class=\"border\" style=\"text-align: center\">70<\/td>\n<td class=\"border\" style=\"text-align: center\">90<\/td>\n<\/tr>\n<tr>\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]f\\left(t\\right)\\text{ (miles)}[\/latex]<\/strong><\/td>\n<td class=\"border\" style=\"text-align: center\">20<\/td>\n<td class=\"border\" style=\"text-align: center\">40<\/td>\n<td class=\"border\" style=\"text-align: center\">60<\/td>\n<td class=\"border\" style=\"text-align: center\">70<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div id=\"fs-id1165137407569\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137407569\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137407569\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137640334\">The inverse function takes an output of [latex]f[\/latex] and returns an input for [latex]f.[\/latex] So in the expression [latex]{f}^{-1}\\left(70\\right),[\/latex] 70 is an output value of the original function, representing 70 miles. The inverse will return the corresponding input of the original function [latex]f,[\/latex] 90 minutes, so [latex]{f}^{-1}\\left(70\\right)=90.[\/latex] The interpretation of this is that, to drive 70 miles, it took 90 minutes.<\/p>\n<p id=\"fs-id1165135181841\">Alternatively, recall that the definition of the inverse was that if [latex]f\\left(a\\right)=b,[\/latex] then [latex]{f}^{-1}\\left(b\\right)=a.[\/latex] By this definition, if we are given [latex]{f}^{-1}\\left(70\\right)=a,[\/latex] then we are looking for a value [latex]a[\/latex] so that [latex]f\\left(a\\right)=70.[\/latex] In this case, we are looking for a [latex]t[\/latex] so that [latex]f\\left(t\\right)=70,[\/latex] which is when [latex]t=90.[\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165135169494\" class=\"precalculus tryit\">\n<h3>Try it #5<\/h3>\n<div id=\"ti_01_07_04\">\n<div id=\"fs-id1165135443767\">\n<p id=\"fs-id1165134108483\">Using <a class=\"autogenerated-content\" href=\"#Table_01_07_04\">Table 4<\/a>, find and interpret (a)[latex]f\\left(60\\right),[\/latex] and (b)[latex]{f}^{-1}\\left(60\\right).[\/latex]<\/p>\n<table id=\"Table_01_07_04\" summary=\"Two rows and five columns. The first row is labeled \u201ct (minutes)\u201d, and the second row is labeled \u201cf(t)\u201d. Reading the columns as ordered pairs, we have the following values (30, 20), (50, 40), (70, 60), and (90, 70).\">\n<caption>Table 4<\/caption>\n<colgroup>\n<col \/>\n<col \/>\n<col \/>\n<col \/>\n<col \/>\n<col \/><\/colgroup>\n<tbody>\n<tr>\n<td class=\"border\" style=\"text-align: center\">[latex]t\\text{ (minutes)}[\/latex]<\/td>\n<td class=\"border\" style=\"text-align: center\">30<\/td>\n<td class=\"border\" style=\"text-align: center\">50<\/td>\n<td class=\"border\" style=\"text-align: center\">60<\/td>\n<td class=\"border\" style=\"text-align: center\">70<\/td>\n<td class=\"border\" style=\"text-align: center\">90<\/td>\n<\/tr>\n<tr>\n<td class=\"border\" style=\"text-align: center\">[latex]f\\left(t\\right)\\text{ (miles)}[\/latex]<\/td>\n<td class=\"border\" style=\"text-align: center\">20<\/td>\n<td class=\"border\" style=\"text-align: center\">40<\/td>\n<td class=\"border\" style=\"text-align: center\">50<\/td>\n<td class=\"border\" style=\"text-align: center\">60<\/td>\n<td class=\"border\" style=\"text-align: center\">70<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<div id=\"fs-id1165137862841\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137862841\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137862841\" class=\"hidden-answer\" style=\"display: none\">\n<div><\/div>\n<div style=\"padding-left: 30px\"><span style=\"font-size: 1rem;text-align: initial\">a.\u00a0 [latex]f\\left(60\\right)=50.[\/latex] In 60 minutes, 50 miles are traveled.<\/span><\/div>\n<div style=\"padding-left: 30px\">\n<p><span style=\"font-size: 1rem;text-align: initial\">b.\u00a0 [latex]{f}^{-1}\\left(60\\right)=70.[\/latex] To travel 60 miles, it will take 70 minutes.<\/span><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137418615\" class=\"bc-section section\">\n<h4>Evaluating the Inverse of a Function, Given a Graph of the Original Function<\/h4>\n<p id=\"fs-id1165137400045\">We saw in <a class=\"target-chapter\" href=\"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/chapter\/functions-and-function-notation\/\">Section 1.1, Functions and Function Notation,<\/a> that the domain of a function can be read by observing the horizontal extent of its graph. We find the domain of the inverse function by observing the <em>vertical<\/em> extent of the graph of the original function, because this corresponds to the horizontal extent of the inverse function. Similarly, we find the range of the inverse function by observing the <em>horizontal<\/em> extent of the graph of the original function, as this is the vertical extent of the inverse function. If we want to evaluate an inverse function, we find its input within its domain, which is all or part of the vertical axis of the original function\u2019s graph.<\/p>\n<div id=\"fs-id1165133045388\" class=\"precalculus howto examples\">\n<h3>How To<\/h3>\n<p id=\"fs-id1165135333128\"><strong>Given the graph of a function, evaluate its inverse at specific points.<\/strong><\/p>\n<ol id=\"fs-id1165137464840\" type=\"1\">\n<li>Find the desired input on the <em>y<\/em>-axis of the given graph.<\/li>\n<li>Read the inverse function\u2019s output from the <em>x<\/em>-axis of the given graph.<\/li>\n<\/ol>\n<\/div>\n<div id=\"Example_01_07_07\" class=\"textbox examples\">\n<div id=\"fs-id1165135434803\">\n<div id=\"fs-id1165135434805\">\n<h3>Example 6:\u00a0 Evaluating a Function and Its Inverse from a Graph at Specific Points<\/h3>\n<p id=\"fs-id1165134108622\">A function [latex]g\\left(x\\right)[\/latex] is given in <a class=\"autogenerated-content\" href=\"#Figure_01_07_006\">Figure 5<\/a>. Find [latex]g\\left(3\\right)[\/latex] and [latex]{g}^{-1}\\left(3\\right).[\/latex]<\/p>\n<div id=\"Figure_01_07_006\" class=\"small\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210033\/CNX_Precalc_Figure_01_07_006.jpg\" alt=\"Graph of g(x).\" width=\"487\" height=\"254\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 5.<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137468840\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137468840\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137468840\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137468842\">To evaluate [latex]g\\left(3\\right),[\/latex] we find 3 on the <em>x<\/em>-axis and find the corresponding output value on the <em>y<\/em>-axis. The point [latex]\\left(3,1\\right)[\/latex] tells us that [latex]g\\left(3\\right)=1.[\/latex]<\/p>\n<p id=\"fs-id1165137405078\">To evaluate [latex]{g}^{-1}\\left(3\\right),[\/latex] recall that by definition [latex]{g}^{-1}\\left(3\\right)[\/latex] means the value of <em>x<\/em> for which [latex]g\\left(x\\right)=3.[\/latex] By looking for the output value 3 on the vertical axis, we find the point [latex]\\left(5,3\\right)[\/latex] on the graph, which means [latex]g\\left(5\\right)=3,[\/latex] so by definition, [latex]{g}^{-1}\\left(3\\right)=5.[\/latex] See <a class=\"autogenerated-content\" href=\"#Figure_01_07_007\">Figure 6<\/a>.<\/p>\n<div id=\"Figure_01_07_007\" class=\"small\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210035\/CNX_Precalc_Figure_01_07_007.jpg\" alt=\"Graph of g(x).\" width=\"487\" height=\"254\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 6.<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137667918\" class=\"precalculus tryit\">\n<h3>Try it #6<\/h3>\n<div id=\"ti_01_07_05\">\n<div id=\"fs-id1165137812559\">\n<p id=\"fs-id1165137812560\">Using the graph in <a class=\"autogenerated-content\" href=\"#Figure_01_07_007\">Figure 6<\/a>, (a) find [latex]{g}^{-1}\\left(1\\right),[\/latex] and (b) estimate [latex]{g}^{-1}\\left(4\\right).[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165135528890\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165135528890\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165135528890\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165135528891\">a. 3; b. 5.6<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137605437\" class=\"bc-section section\">\n<h4>Finding Inverses of Functions Represented by Formulas<\/h4>\n<p id=\"fs-id1165137433184\">Sometimes we will need to know an inverse function for all elements of its domain, not just a few. If the original function is given as a formula\u2014 for example, [latex]y[\/latex] as a function of [latex]x\\text{\u2014 }[\/latex] we can often find the inverse function by solving to obtain [latex]x[\/latex] as a function of [latex]{ }y.[\/latex]<\/p>\n<div id=\"fs-id1165137652548\" class=\"precalculus howto examples\">\n<h3>How To<\/h3>\n<p id=\"fs-id1165135195849\"><strong>Given a function represented by a formula, find the inverse.<\/strong><\/p>\n<ol id=\"fs-id1165135443898\" type=\"1\">\n<li>Make sure [latex]f[\/latex] is a one-to-one function.<\/li>\n<li>Solve for the input variable.<\/li>\n<li>Write using the appropriate function notation.<\/li>\n<\/ol>\n<\/div>\n<div id=\"Example_01_07_08\" class=\"textbox examples\">\n<div id=\"fs-id1165135186316\">\n<div id=\"fs-id1165135186318\">\n<h3>Example 7:\u00a0 Inverting the Fahrenheit-to-Celsius Function<\/h3>\n<p id=\"fs-id1165137596585\">Find a formula for the inverse function that gives Fahrenheit temperature as a function of Celsius temperature.<\/p>\n<div id=\"fs-id1165133306998\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=\\frac{5}{9}\\left(F-32\\right)[\/latex]<\/div>\n<div><\/div>\n<\/div>\n<div id=\"fs-id1165135417800\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165135417800\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165135417800\" class=\"hidden-answer\" style=\"display: none\">\n<div><\/div>\n<div id=\"fs-id1165135193737\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}C&=\\frac{5}{9}\\left(F-32\\right)\\\\ C\\cdot \\frac{9}{5}&=F-32\\\\ F&=\\frac{9}{5}C+32\\end{align*}[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137819987\">By solving in general, we have uncovered the inverse function. If<\/p>\n<div id=\"fs-id1165135173380\" class=\"unnumbered\" style=\"text-align: center\">[latex]C=h\\left(F\\right)=\\frac{5}{9}\\left(F-32\\right),[\/latex]<\/div>\n<p id=\"fs-id1165135435603\" style=\"text-align: left\">then<\/p>\n<div id=\"fs-id1165137772327\" class=\"unnumbered\" style=\"text-align: center\">[latex]F={h}^{-1}\\left(C\\right)=\\frac{9}{5}C+32.[\/latex][latex]\\\\[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137573279\">In this case, we introduced a function [latex]h[\/latex] to represent the conversion because the input and output variables are descriptive, and writing [latex]{C}^{-1}[\/latex] could get confusing.<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"precalculus tryit\">\n<h3>Try it #7<\/h3>\n<div id=\"ti_01_07_06\">\n<div id=\"fs-id1165135563330\">\n<p id=\"fs-id1165135563331\">Solve for [latex]x[\/latex] in terms of [latex]y[\/latex] given [latex]y=\\frac{1}{3}\\left(x-5\\right).[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165134049417\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165134049417\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165134049417\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165134049418\">[latex]x=3y+5[\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"Example_01_07_09\" class=\"textbox examples\">\n<div id=\"fs-id1165134065146\">\n<div id=\"fs-id1165137409366\">\n<h3>Example 8:\u00a0 Solving to Find an Inverse Function<\/h3>\n<p id=\"fs-id1165137891504\">Find the inverse of the function [latex]f\\left(x\\right)=\\frac{2}{x-3}+4.[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137482074\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137482074\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137482074\" class=\"hidden-answer\" style=\"display: none\">\n<div id=\"fs-id1165135189953\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}y&=\\frac{2}{x-3}+4&&\\text{Set up an equation}.\\hfill \\\\ y-4&=\\frac{2}{x-3}&& \\text{Subtract 4 from both sides}.\\hfill \\\\ x-3&=\\frac{2}{y-4}&& \\text{Multiply both sides by }x-3\\text{ and divide by }y-4.\\hfill \\\\ x&=\\frac{2}{y-4}+3&& \\text{Add 3 to both sides}.\\hfill \\end{align*}[\/latex]<\/div>\n<div><\/div>\n<p id=\"fs-id1165137678168\">So [latex]{f}^{-1}\\left(y\\right)=\\frac{2}{y-4}+3.[\/latex]<\/p>\n<h3>Analysis<\/h3>\n<p id=\"fs-id1165135394231\">The domain and range of [latex]f[\/latex] exclude the values 3 and 4, respectively. [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] are equal at two points but are not the same function, as we can see by creating <a class=\"autogenerated-content\" href=\"#Table_01_07_05\">Table 5<\/a>.<\/p>\n<table id=\"Table_01_07_05\" summary=\"The values of f(x) are: f(1)=3, f(2)=2, and f(5)=5. So f^(-1)(y)=y.\">\n<caption>Table 5<\/caption>\n<tbody>\n<tr>\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]x[\/latex]<\/strong><\/td>\n<td class=\"border\" style=\"text-align: center\">1<\/td>\n<td class=\"border\" style=\"text-align: center\">2<\/td>\n<td class=\"border\" style=\"text-align: center\">5<\/td>\n<td class=\"border\" style=\"text-align: center\">[latex]{f}^{-1}\\left(y\\right)[\/latex]<\/td>\n<\/tr>\n<tr>\n<td class=\"border\" style=\"text-align: center\"><strong>[latex]f\\left(x\\right)[\/latex]<\/strong><\/td>\n<td class=\"border\" style=\"text-align: center\">3<\/td>\n<td class=\"border\" style=\"text-align: center\">2<\/td>\n<td class=\"border\" style=\"text-align: center\">5<\/td>\n<td class=\"border\" style=\"text-align: center\">[latex]y[\/latex]<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137864156\"><\/div>\n<\/div>\n<\/div>\n<div id=\"Example_01_07_10\" class=\"textbox examples\">\n<div id=\"fs-id1165137603677\">\n<div id=\"fs-id1165137547656\">\n<h3>Example 9:\u00a0 Solving to Find an Inverse with Radicals<\/h3>\n<p>Find the inverse of the function [latex]f\\left(x\\right)=2+\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}.[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165135193684\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165135193684\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165135193684\" class=\"hidden-answer\" style=\"display: none\">\n<div><\/div>\n<div id=\"fs-id1165137828173\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\begin{align*}y&=2+\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}&&\\text{Replace }f\\left(x\\right) \\text{ with }y.\\\\y-2&=\\sqrt[\\leftroot{1}\\uproot{2} ]{x-4}&&\\text{Subtract 2 from both sides.}\\\\ {\\left(y-2\\right)}^{2}&=x-4&&\\text{Square both sides.}\\\\ x&={\\left(y-2\\right)}^{2}+4&&\\text{Add 4 to both sides.}\\end{align*}[\/latex]<\/div>\n<p>&nbsp;<\/p>\n<p>So [latex]{f}^{-1}\\left(y\\right)={\\left(y-2\\right)}^{2}+4.[\/latex]<\/p>\n<p id=\"fs-id1165137900392\">The domain of [latex]f[\/latex] is [latex]\\left[4,\\infty \\right)[\/latex] so the range of\u00a0 [latex]{f}^{-1}[\/latex] is [latex]\\left[4,\\infty \\right).[\/latex] Notice that the range of [latex]f[\/latex] is [latex]\\left[2,\\infty \\right),[\/latex] so this means that the domain of the inverse function [latex]{f}^{-1}[\/latex] is also [latex]\\left[2,\\infty \\right).[\/latex]<\/p>\n<h3>Analysis<\/h3>\n<p>The formula we found for [latex]{f}^{-1}\\left(y\\right)[\/latex] looks like it would be valid for all real [latex]y.[\/latex] However, [latex]{f}^{-1}[\/latex] itself must have an inverse (namely, [latex]f[\/latex]) so we have to restrict the domain of [latex]{f}^{-1}[\/latex] to [latex]\\left[2,\\infty \\right)[\/latex] in order to make [latex]{f}^{-1}[\/latex] a one-to-one function. This domain of [latex]{f}^{-1}[\/latex] is exactly the range of [latex]f.[\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137640068\" class=\"precalculus tryit\">\n<h3>Try it #8<\/h3>\n<div id=\"ti_01_07_07\">\n<div id=\"fs-id1165137756073\">\n<p id=\"fs-id1165137756074\">What is the inverse of the function [latex]f\\left(x\\right)=2-\\sqrt[\\leftroot{1}\\uproot{2} ]{x}?[\/latex] State the domains of both the function and the inverse function.<\/p>\n<\/div>\n<div id=\"fs-id1165137937549\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137937549\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137937549\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137937550\" style=\"text-align: center\">[latex]{f}^{-1}\\left(y\\right)={\\left(2-y\\right)}^{2};\\text{ }\\text{ }\\text{domain}\\text{ }\\text{ }\\text{of}\\text{ }\\text{ }f:\\text{ }\\text{ }\\left[0,\\infty \\right);\\text{ }\\text{ }\\text{domain}\\text{ }\\text{ }\\text{of}\\text{ }\\text{ }{f}^{-1}:\\text{ }\\text{ }\\left(-\\infty ,2\\right][\/latex]<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137473011\" class=\"bc-section section\">\n<h3>Finding Inverse Functions and Their Graphs<\/h3>\n<p id=\"fs-id1165137463843\">Now that we can find the inverse of a function, we will explore the graphs of functions and their inverses. Let us return to the quadratic function [latex]f\\left(x\\right)={x}^{2}[\/latex] restricted to the domain [latex]\\left[0,\\infty \\right)\\text{,}[\/latex] on which this function is one-to-one, and graph it as in <a class=\"autogenerated-content\" href=\"#Figure_01_07_008\">Figure 7<\/a>.<\/p>\n<div id=\"Figure_01_07_008\" class=\"small\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210039\/CNX_Precalc_Figure_01_07_008.jpg\" alt=\"Graph of f(x).\" width=\"487\" height=\"254\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 7.\u00a0<\/strong>Quadratic function with domain restricted to [0, \u221e).<\/p>\n<\/div>\n<\/div>\n<p id=\"fs-id1165137419977\"><strong><span class=\"no-emphasis\">Restricting the domain<\/span><\/strong> to [latex]\\left[0,\\infty \\right)[\/latex] makes the function one-to-one (it will obviously pass the horizontal line test), so it has an inverse on this restricted domain.<\/p>\n<p id=\"fs-id1165137656093\">We already know that the inverse of the toolkit quadratic function is the square root function, that is, [latex]{f}^{-1}\\left(x\\right)=\\sqrt[\\leftroot{1}\\uproot{2} ]{x}.[\/latex] What happens if we graph both [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] on the same set of axes, using the [latex]x\\text{-}[\/latex]axis for the input to both [latex]f[\/latex] and [latex]{f}^{-1}?[\/latex]<\/p>\n<p id=\"fs-id1165131968090\">We notice a distinct relationship: The graph of [latex]{f}^{-1}\\left(x\\right)[\/latex] is the graph of [latex]f\\left(x\\right)[\/latex] reflected about the diagonal line [latex]y=x,[\/latex] which we will call the identity line, shown in <a class=\"autogenerated-content\" href=\"#Figure_01_07_009\">Figure 8<\/a>.<\/p>\n<div id=\"Figure_01_07_009\" class=\"small\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210042\/CNX_Precalc_Figure_01_07_009.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"251\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 8.\u00a0<\/strong>Square and square-root functions on the non-negative domain.<\/p>\n<\/div>\n<\/div>\n<p id=\"fs-id1165137393212\">This relationship will be observed for all one-to-one functions, because it is a result of the function and its inverse swapping inputs and outputs. This is equivalent to interchanging the roles of the vertical and horizontal axes.<\/p>\n<div id=\"Example_01_07_11\" class=\"textbox examples\">\n<div id=\"fs-id1165134430460\">\n<div id=\"fs-id1165134430463\">\n<h3>Example 10:\u00a0 Finding the Inverse of a Function Using Reflection about the Identity Line<\/h3>\n<p id=\"fs-id1165134342627\">Given the graph of [latex]f\\left(x\\right)[\/latex] in <a class=\"autogenerated-content\" href=\"#Figure_01_07_010\">Figure 9<\/a>, sketch a graph of [latex]{f}^{-1}\\left(x\\right).[\/latex]<\/p>\n<div id=\"Figure_01_07_010\" class=\"small\">\n<div style=\"width: 355px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210044\/CNX_Precalc_Figure_01_07_010.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"345\" height=\"257\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 9.<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137407658\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137407658\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137407658\" class=\"hidden-answer\" style=\"display: none\">\n<p id=\"fs-id1165137407660\">This is a one-to-one function, so we will be able to sketch an inverse. Note that the graph shown has an apparent domain of [latex]\\left(0,\\infty \\right)[\/latex] and range of [latex]\\left(-\\infty ,\\infty \\right),[\/latex] so the inverse will have a domain of [latex]\\left(-\\infty ,\\infty \\right)[\/latex] and range of [latex]\\left(0,\\infty \\right).[\/latex]<\/p>\n<p id=\"fs-id1165137416305\">If we reflect this graph over the line [latex]y=x,[\/latex] the point [latex]\\left(1,0\\right)[\/latex] reflects to [latex]\\left(0,1\\right)[\/latex] and the point [latex]\\left(4,2\\right)[\/latex] reflects to [latex]\\left(2,4\\right).[\/latex] Sketching the inverse on the same axes as the original graph gives <a class=\"autogenerated-content\" href=\"#Figure_01_07_011\">Figure 10<\/a>.<\/p>\n<div id=\"Figure_01_07_011\" class=\"small\">\n<div style=\"width: 355px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210048\/CNX_Precalc_Figure_01_07_011.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"345\" height=\"257\" \/><\/p>\n<p class=\"wp-caption-text\"><strong>Figure 10.\u00a0<\/strong>The function and its inverse, showing reflection about the identity line<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"precalculus tryit\">\n<h3>Try it #9<\/h3>\n<div id=\"ti_01_07_08\">\n<div id=\"fs-id1165137619929\">\n<p id=\"fs-id1165137619930\">Draw graphs of the functions [latex]f[\/latex] and [latex]{f}^{-1}[\/latex] from <a class=\"autogenerated-content\" href=\"#Example_01_07_09\">Example 8<\/a>\u00a0where\u00a0[latex]f\\left(x\\right)=\\frac{2}{x-3}+4.[\/latex]<\/p>\n<\/div>\n<div id=\"fs-id1165137911739\">\n<div class=\"qa-wrapper\" style=\"display: block\"><span class=\"show-answer collapsed\" style=\"cursor: pointer\" data-target=\"qfs-id1165137911739\">Show Solution<\/span><\/p>\n<div id=\"qfs-id1165137911739\" class=\"hidden-answer\" style=\"display: none\">\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/3896\/2019\/02\/08210051\/CNX_Precalc_Figure_01_07_012.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"326\" \/><\/p>\n<p class=\"wp-caption-text\">Figure 11<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137627081\" class=\"precalculus qa key-takeaways\">\n<h3>Q&amp;A<\/h3>\n<p id=\"fs-id1165134388228\"><strong>Is there any function that is equal to its own inverse?<\/strong><\/p>\n<p id=\"fs-id1165137602656\"><em>Yes. If [latex]f={f}^{-1},[\/latex] then [latex]f\\left(f\\left(x\\right)\\right)=x,[\/latex] and we can think of several functions that have this property. The identity function does, and so does the reciprocal function, because<\/em><\/p>\n<div id=\"fs-id1165135205827\" class=\"unnumbered\" style=\"text-align: center\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/div>\n<p id=\"fs-id1165137897050\"><em>Any function [latex]f\\left(x\\right)=c-x,[\/latex] where [latex]c[\/latex] is a constant, is also equal to its own inverse.<\/em><\/p>\n<\/div>\n<div id=\"fs-id1165137410410\" class=\"precalculus media\">\n<div class=\"textbox shaded\">\n<h4>Media<\/h4>\n<p id=\"fs-id1165137410501\">Access these online resources for additional instruction and practice with inverse functions.<\/p>\n<ul id=\"fs-id1165137582034\">\n<li><a href=\"http:\/\/openstax.org\/l\/inversefunction\">Inverse Functions<\/a><\/li>\n<li><a href=\"http:\/\/openstax.org\/l\/inversfuncgraph\">Inverse Function Values Using Graph<\/a><\/li>\n<li><a href=\"http:\/\/openstax.org\/l\/restrictdomain\">Restricting the Domain and Finding the Inverse<\/a><\/li>\n<\/ul>\n<\/div>\n<\/div>\n<p id=\"eip-10\">Visit <a href=\"http:\/\/openstax.org\/l\/PreCalcLPC01\">this website<\/a> for additional practice questions from Learningpod.<\/p>\n<\/div>\n<div id=\"fs-id1165137591826\" class=\"textbox key-takeaways\">\n<h3>Key Concepts<\/h3>\n<ul id=\"fs-id1165135536334\">\n<li>If [latex]g\\left(x\\right)[\/latex] is the inverse of [latex]f\\left(x\\right),[\/latex] then [latex]g\\left(f\\left(x\\right)\\right)=f\\left(g\\left(x\\right)\\right)=x.[\/latex]<\/li>\n<li>Some of the toolkit functions have an inverse function.<\/li>\n<li>For a function to have an inverse, it must be one-to-one (pass the horizontal line test).<\/li>\n<li>A function that is not one-to-one over its entire domain may be one-to-one on part of its domain.<\/li>\n<li>For a tabular function, exchange the input and output rows to obtain the inverse.<\/li>\n<li>The inverse of a function can be determined at specific points on its graph.<\/li>\n<li>To find the inverse of a formula, solve the equation [latex]y=f\\left(x\\right)[\/latex] for [latex]x[\/latex] as a function of [latex]y.[\/latex]<\/li>\n<li>The graph of an inverse function is the reflection of the graph of the original function across the line [latex]y=x.[\/latex]<\/li>\n<\/ul>\n<\/div>\n<div id=\"fs-id1165135177582\" class=\"review-exercises\"><\/div>\n<div class=\"textbox shaded\">\n<h3>Glossary<\/h3>\n<dl id=\"fs-id1165137441703\">\n<dt>inverse function<\/dt>\n<dd id=\"fs-id1165137441708\">for any one-to-one function [latex]f\\left(x\\right),[\/latex] the inverse is a function [latex]{f}^{-1}\\left(x\\right)[\/latex] such that [latex]{f}^{-1}\\left(f\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]f;[\/latex] this also implies that [latex]f\\left({f}^{-1}\\left(x\\right)\\right)=x[\/latex] for all [latex]x[\/latex] in the domain of [latex]{f}^{-1}[\/latex]<\/dd>\n<\/dl>\n<\/div>\n<\/div>\n\n\t\t\t <section class=\"citations-section\" role=\"contentinfo\">\n\t\t\t <h3>Candela Citations<\/h3>\n\t\t\t\t\t <div>\n\t\t\t\t\t\t <div id=\"citation-list-221\">\n\t\t\t\t\t\t\t <div class=\"licensing\"><div class=\"license-attribution-dropdown-subheading\">CC licensed content, Shared previously<\/div><ul class=\"citation-list\"><li>Inverse Functions. <strong>Authored by<\/strong>: Douglas Hoffman. <strong>Provided by<\/strong>: Openstax. <strong>Located at<\/strong>: <a target=\"_blank\" href=\"https:\/\/cnx.org\/contents\/l3_8ZlRi@1.94:nCvL7oSZ@11\/Inverse-Functions\">https:\/\/cnx.org\/contents\/l3_8ZlRi@1.94:nCvL7oSZ@11\/Inverse-Functions<\/a>. <strong>Project<\/strong>: Essential Precalcus, Part 1. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by\/4.0\/\">CC BY: Attribution<\/a><\/em><\/li><\/ul><\/div>\n\t\t\t\t\t\t <\/div>\n\t\t\t\t\t <\/div>\n\t\t\t <\/section>","protected":false},"author":311,"menu_order":1,"template":"","meta":{"_candela_citation":"[{\"type\":\"cc\",\"description\":\"Inverse Functions\",\"author\":\"Douglas Hoffman\",\"organization\":\"Openstax\",\"url\":\"https:\/\/cnx.org\/contents\/l3_8ZlRi@1.94:nCvL7oSZ@11\/Inverse-Functions\",\"project\":\"Essential Precalcus, Part 1\",\"license\":\"cc-by\",\"license_terms\":\"\"}]","CANDELA_OUTCOMES_GUID":"","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-221","chapter","type-chapter","status-publish","hentry"],"part":223,"_links":{"self":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapters\/221","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/wp\/v2\/users\/311"}],"version-history":[{"count":53,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapters\/221\/revisions"}],"predecessor-version":[{"id":2665,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapters\/221\/revisions\/2665"}],"part":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/parts\/223"}],"metadata":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapters\/221\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/wp\/v2\/media?parent=221"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/pressbooks\/v2\/chapter-type?post=221"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/wp\/v2\/contributor?post=221"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/suny-dutchess-precalculus\/wp-json\/wp\/v2\/license?post=221"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}