{"id":1037,"date":"2015-11-12T18:35:32","date_gmt":"2015-11-12T18:35:32","guid":{"rendered":"https:\/\/courses.candelalearning.com\/collegealgebra1xmaster\/?post_type=chapter&#038;p=1037"},"modified":"2015-11-12T18:35:32","modified_gmt":"2015-11-12T18:35:32","slug":"use-the-graph-of-a-function-to-graph-its-inverse","status":"publish","type":"chapter","link":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/chapter\/use-the-graph-of-a-function-to-graph-its-inverse\/","title":{"raw":"Use the graph of a function to graph its inverse","rendered":"Use the graph of a function to graph its inverse"},"content":{"raw":"<p>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)[\/latex], on which this function is one-to-one, and graph it as in Figure 7.\n\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25200959\/CNX_Precalc_Figure_01_07_0082.jpg\" alt=\"Graph of f(x).\" width=\"487\" height=\"254\" data-media-type=\"image\/jpg\"\/><b>Figure 7.<\/b> Quadratic function with domain restricted to [0, \u221e).[\/caption]\n<\/p><p id=\"fs-id1165137419977\"><strong>Restricting the domain<\/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{x}[\/latex]. What happens if we graph both [latex]f\\text{ }[\/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\\text{ and }{f}^{-1}?[\/latex]<\/p>\nWe 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 Figure 8.\n\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201001\/CNX_Precalc_Figure_01_07_0092.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"251\" data-media-type=\"image\/jpg\"\/><b>Figure 8.<\/b> Square and square-root functions on the non-negative domain[\/caption]\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\n<div id=\"Example_01_07_11\" class=\"example\" data-type=\"example\">\n<div id=\"fs-id1165134430460\" class=\"exercise\" data-type=\"exercise\">\n<div id=\"fs-id1165134430463\" class=\"problem textbox shaded\" data-type=\"problem\">\n<h3 data-type=\"title\">Example 10: Finding the Inverse of a Function Using Reflection about the Identity Line<\/h3>\nGiven the graph of [latex]f\\left(x\\right)[\/latex], sketch a graph of [latex]{f}^{-1}\\left(x\\right)[\/latex].<span data-type=\"media\" data-alt=\"Graph of f^(-1)(x).\">\n<\/span>\n\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201002\/CNX_Precalc_Figure_01_07_0102.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"487\" height=\"363\" data-media-type=\"image\/jpg\"\/><b>Figure 9<\/b>[\/caption]\n\n<\/div>\n<div id=\"fs-id1165137407658\" class=\"solution textbox shaded\" data-type=\"solution\">\n<h3>Solution<\/h3>\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>\nIf 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 us\u00a0the result in Figure 10.\n\n[caption id=\"\" align=\"aligncenter\" width=\"487\"]<img src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201003\/CNX_Precalc_Figure_01_07_0112.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"363\" data-media-type=\"image\/jpg\"\/><b>Figure 10.<\/b> The function and its inverse, showing reflection about the identity line[\/caption]\n\n<\/div>\n<\/div>\n<\/div>\n<div class=\"bcc-box bcc-success\">\n<h3>Try It 9<\/h3>\n<p id=\"fs-id1165137619930\">Draw graphs of the functions [latex]f\\text{ }[\/latex] and [latex]\\text{ }{f}^{-1}[\/latex].<\/p>\n<a href=\"https:\/\/courses.candelalearning.com\/osprecalc\/chapter\/solutions-6\/\" target=\"_blank\">Solution<\/a>\n\n<\/div>\n<div id=\"fs-id1165137911739\" class=\"solution\" data-type=\"solution\">\n<div id=\"fs-id1165137627081\" class=\"note precalculus qa textbox\" data-type=\"note\" data-has-label=\"true\" data-label=\"Q&amp;A\">\n<p id=\"fs-id1165134388228\"><strong>Q &amp; A <\/strong><\/p>\n<strong>Is there any function that is equal to its own inverse?<\/strong>\n<p id=\"fs-id1165137602656\"><em data-effect=\"italics\">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\n<div id=\"fs-id1165135205827\" class=\"equation unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/div>\n<p id=\"fs-id1165137897050\"><em data-effect=\"italics\">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\n<\/div>\n<\/div>","rendered":"<p>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)[\/latex], on which this function is one-to-one, and graph it as in Figure 7.<\/p>\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25200959\/CNX_Precalc_Figure_01_07_0082.jpg\" alt=\"Graph of f(x).\" width=\"487\" height=\"254\" data-media-type=\"image\/jpg\" \/><\/p>\n<p class=\"wp-caption-text\"><b>Figure 7.<\/b> Quadratic function with domain restricted to [0, \u221e).<\/p>\n<\/div>\n<p id=\"fs-id1165137419977\"><strong>Restricting the domain<\/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{x}[\/latex]. What happens if we graph both [latex]f\\text{ }[\/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\\text{ and }{f}^{-1}?[\/latex]<\/p>\n<p>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 Figure 8.<\/p>\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201001\/CNX_Precalc_Figure_01_07_0092.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"251\" data-media-type=\"image\/jpg\" \/><\/p>\n<p class=\"wp-caption-text\"><b>Figure 8.<\/b> Square and square-root functions on the non-negative domain<\/p>\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=\"example\" data-type=\"example\">\n<div id=\"fs-id1165134430460\" class=\"exercise\" data-type=\"exercise\">\n<div id=\"fs-id1165134430463\" class=\"problem textbox shaded\" data-type=\"problem\">\n<h3 data-type=\"title\">Example 10: Finding the Inverse of a Function Using Reflection about the Identity Line<\/h3>\n<p>Given the graph of [latex]f\\left(x\\right)[\/latex], sketch a graph of [latex]{f}^{-1}\\left(x\\right)[\/latex].<span data-type=\"media\" data-alt=\"Graph of f^(-1)(x).\"><br \/>\n<\/span><\/p>\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201002\/CNX_Precalc_Figure_01_07_0102.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"487\" height=\"363\" data-media-type=\"image\/jpg\" \/><\/p>\n<p class=\"wp-caption-text\"><b>Figure 9<\/b><\/p>\n<\/div>\n<\/div>\n<div id=\"fs-id1165137407658\" class=\"solution textbox shaded\" data-type=\"solution\">\n<h3>Solution<\/h3>\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>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 us\u00a0the result in Figure 10.<\/p>\n<div style=\"width: 497px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images-archive-read-only\/wp-content\/uploads\/sites\/924\/2015\/11\/25201003\/CNX_Precalc_Figure_01_07_0112.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"363\" data-media-type=\"image\/jpg\" \/><\/p>\n<p class=\"wp-caption-text\"><b>Figure 10.<\/b> The function and its inverse, showing reflection about the identity line<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"bcc-box bcc-success\">\n<h3>Try It 9<\/h3>\n<p id=\"fs-id1165137619930\">Draw graphs of the functions [latex]f\\text{ }[\/latex] and [latex]\\text{ }{f}^{-1}[\/latex].<\/p>\n<p><a href=\"https:\/\/courses.candelalearning.com\/osprecalc\/chapter\/solutions-6\/\" target=\"_blank\">Solution<\/a><\/p>\n<\/div>\n<div id=\"fs-id1165137911739\" class=\"solution\" data-type=\"solution\">\n<div id=\"fs-id1165137627081\" class=\"note precalculus qa textbox\" data-type=\"note\" data-has-label=\"true\" data-label=\"Q&amp;A\">\n<p id=\"fs-id1165134388228\"><strong>Q &amp; A <\/strong><\/p>\n<p><strong>Is there any function that is equal to its own inverse?<\/strong><\/p>\n<p id=\"fs-id1165137602656\"><em data-effect=\"italics\">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=\"equation unnumbered\" style=\"text-align: center;\" data-type=\"equation\" data-label=\"\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/div>\n<p id=\"fs-id1165137897050\"><em data-effect=\"italics\">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>\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-1037\">\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>Precalculus. <strong>Authored by<\/strong>: Jay Abramson, et al.. <strong>Provided by<\/strong>: OpenStax. <strong>Located at<\/strong>: <a target=\"_blank\" href=\"http:\/\/cnx.org\/contents\/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175\">http:\/\/cnx.org\/contents\/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175<\/a>. <strong>License<\/strong>: <em><a target=\"_blank\" rel=\"license\" href=\"https:\/\/creativecommons.org\/licenses\/by\/4.0\/\">CC BY: Attribution<\/a><\/em>. <strong>License Terms<\/strong>: Download For Free at : http:\/\/cnx.org\/contents\/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175.<\/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":276,"menu_order":5,"template":"","meta":{"_candela_citation":"[{\"type\":\"cc\",\"description\":\"Precalculus\",\"author\":\"Jay Abramson, et al.\",\"organization\":\"OpenStax\",\"url\":\"http:\/\/cnx.org\/contents\/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175\",\"project\":\"\",\"license\":\"cc-by\",\"license_terms\":\"Download For Free at : http:\/\/cnx.org\/contents\/fd53eae1-fa23-47c7-bb1b-972349835c3c@5.175.\"}]","CANDELA_OUTCOMES_GUID":"","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"class_list":["post-1037","chapter","type-chapter","status-publish","hentry"],"part":1022,"_links":{"self":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapters\/1037","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/wp\/v2\/users\/276"}],"version-history":[{"count":1,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapters\/1037\/revisions"}],"predecessor-version":[{"id":2468,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapters\/1037\/revisions\/2468"}],"part":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/parts\/1022"}],"metadata":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapters\/1037\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/wp\/v2\/media?parent=1037"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/pressbooks\/v2\/chapter-type?post=1037"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/wp\/v2\/contributor?post=1037"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/courses.lumenlearning.com\/ivytech-collegealgebra\/wp-json\/wp\/v2\/license?post=1037"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}