{"id":723,"date":"2025-07-14T21:32:38","date_gmt":"2025-07-14T21:32:38","guid":{"rendered":"https:\/\/content.one.lumenlearning.com\/precalculus\/?post_type=chapter&#038;p=723"},"modified":"2026-01-08T22:48:44","modified_gmt":"2026-01-08T22:48:44","slug":"inverse-functions-learn-it-4","status":"publish","type":"chapter","link":"https:\/\/content.one.lumenlearning.com\/precalculus\/chapter\/inverse-functions-learn-it-4\/","title":{"raw":"Inverse Functions: Learn It 4","rendered":"Inverse Functions: Learn It 4"},"content":{"raw":"<h2 data-type=\"title\">Finding Inverse Functions and Their Graphs<\/h2>\r\nNow 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 below.\r\n\r\n[caption id=\"attachment_4927\" align=\"aligncenter\" width=\"336\"]<img class=\"wp-image-4927 \" src=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-300x268.png\" alt=\"Graph of f(x).\" width=\"336\" height=\"300\" \/> Quadratic function with domain restricted to [0, \u221e).[\/caption]<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.\r\n\r\nWe 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]\r\n\r\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 below.\r\n\r\n[caption id=\"attachment_4925\" align=\"aligncenter\" width=\"331\"]<img class=\"wp-image-4925 \" src=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-297x300.png\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"331\" height=\"334\" \/> Square and square-root functions on the non-negative domain.[\/caption]\r\n\r\nThis 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.\r\n\r\n<section class=\"textbox example\" aria-label=\"Example\">Given the graph of [latex]f\\left(x\\right)[\/latex], sketch a graph of [latex]{f}^{-1}\\left(x\\right)[\/latex].<img class=\"aligncenter\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/896\/2016\/10\/18205527\/CNX_Precalc_Figure_01_07_0102.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"487\" height=\"363\" \/>\r\n[reveal-answer q=\"694066\"]Show Solution[\/reveal-answer]\r\n[hidden-answer a=\"694066\"]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].\r\n[latex]\\\\[\/latex]\r\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 the graph below.\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\/896\/2016\/10\/18205529\/CNX_Precalc_Figure_01_07_0112.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"363\" \/> The function and its inverse, showing reflection about the identity line[\/caption]\r\n\r\n[\/hidden-answer]\r\n\r\n<\/section><section class=\"textbox questionHelp\" aria-label=\"Question Help\"><strong>Is there any function that is equal to its own inverse?\r\n<\/strong>\r\n\r\n<hr \/>\r\n\r\nYes. 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\r\n<p style=\"text-align: center;\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/p>\r\nAny function [latex]f\\left(x\\right)=c-x[\/latex], where [latex]c[\/latex] is a constant, is also equal to its own inverse.\r\n\r\n<\/section><section class=\"textbox tryIt\" aria-label=\"Try It\">[ohm_question hide_question_numbers=1]293887[\/ohm_question]<\/section><section aria-label=\"Try It\"><section class=\"textbox tryIt\" aria-label=\"Try It\">[ohm_question hide_question_numbers=1]317949[\/ohm_question]<\/section><\/section>","rendered":"<h2 data-type=\"title\">Finding Inverse Functions and Their Graphs<\/h2>\n<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 below.<\/p>\n<figure id=\"attachment_4927\" aria-describedby=\"caption-attachment-4927\" style=\"width: 336px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-4927\" src=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-300x268.png\" alt=\"Graph of f(x).\" width=\"336\" height=\"300\" srcset=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-300x268.png 300w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-65x58.png 65w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-225x201.png 225w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2-350x312.png 350w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213440\/2.3.L.4.Diagram2.png 539w\" sizes=\"(max-width: 336px) 100vw, 336px\" \/><figcaption id=\"caption-attachment-4927\" class=\"wp-caption-text\">Quadratic function with domain restricted to [0, \u221e).<\/figcaption><\/figure>\n<p><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>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 below.<\/p>\n<figure id=\"attachment_4925\" aria-describedby=\"caption-attachment-4925\" style=\"width: 331px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-4925\" src=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-297x300.png\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"331\" height=\"334\" srcset=\"https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-297x300.png 297w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-150x150.png 150w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-65x66.png 65w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-225x227.png 225w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1-350x354.png 350w, https:\/\/content-cdn.one.lumenlearning.com\/wp-content\/uploads\/sites\/61\/2025\/07\/02213351\/2.3.L.4.Diagram1.png 462w\" sizes=\"(max-width: 331px) 100vw, 331px\" \/><figcaption id=\"caption-attachment-4925\" class=\"wp-caption-text\">Square and square-root functions on the non-negative domain.<\/figcaption><\/figure>\n<p>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<section class=\"textbox example\" aria-label=\"Example\">Given the graph of [latex]f\\left(x\\right)[\/latex], sketch a graph of [latex]{f}^{-1}\\left(x\\right)[\/latex].<img loading=\"lazy\" decoding=\"async\" class=\"aligncenter\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/896\/2016\/10\/18205527\/CNX_Precalc_Figure_01_07_0102.jpg\" alt=\"Graph of f^(-1)(x).\" width=\"487\" height=\"363\" \/><\/p>\n<div class=\"qa-wrapper\" style=\"display: block\"><button class=\"show-answer show-answer-button collapsed\" data-target=\"q694066\">Show Solution<\/button><\/p>\n<div id=\"q694066\" class=\"hidden-answer\" style=\"display: none\">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].<br \/>\n[latex]\\\\[\/latex]<br \/>\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 the graph below.<\/p>\n<figure style=\"width: 487px\" class=\"wp-caption aligncenter\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/s3-us-west-2.amazonaws.com\/courses-images\/wp-content\/uploads\/sites\/896\/2016\/10\/18205529\/CNX_Precalc_Figure_01_07_0112.jpg\" alt=\"Graph of f(x) and f^(-1)(x).\" width=\"487\" height=\"363\" \/><figcaption class=\"wp-caption-text\">The function and its inverse, showing reflection about the identity line<\/figcaption><\/figure>\n<\/div>\n<\/div>\n<\/section>\n<section class=\"textbox questionHelp\" aria-label=\"Question Help\"><strong>Is there any function that is equal to its own inverse?<br \/>\n<\/strong><\/p>\n<hr \/>\n<p>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<\/p>\n<p style=\"text-align: center;\">[latex]\\frac{1}{\\frac{1}{x}}=x[\/latex]<\/p>\n<p>Any function [latex]f\\left(x\\right)=c-x[\/latex], where [latex]c[\/latex] is a constant, is also equal to its own inverse.<\/p>\n<\/section>\n<section class=\"textbox tryIt\" aria-label=\"Try It\"><iframe loading=\"lazy\" id=\"ohm293887\" class=\"resizable\" src=\"https:\/\/ohm.lumenlearning.com\/multiembedq.php?id=293887&theme=lumen&iframe_resize_id=ohm293887&source=tnh\" width=\"100%\" height=\"150\"><\/iframe><\/section>\n<section aria-label=\"Try It\">\n<section class=\"textbox tryIt\" aria-label=\"Try It\"><iframe loading=\"lazy\" id=\"ohm317949\" class=\"resizable\" src=\"https:\/\/ohm.lumenlearning.com\/multiembedq.php?id=317949&theme=lumen&iframe_resize_id=ohm317949&source=tnh\" width=\"100%\" height=\"150\"><\/iframe><\/section>\n<\/section>\n","protected":false},"author":13,"menu_order":25,"template":"","meta":{"_candela_citation":"[]","pb_show_title":"on","pb_short_title":"","pb_subtitle":"","pb_authors":[],"pb_section_license":""},"chapter-type":[],"contributor":[],"license":[],"part":498,"module-header":"learn_it","content_attributions":[],"internal_book_links":[],"video_content":null,"cc_video_embed_content":{"cc_scripts":"","media_targets":[]},"try_it_collection":null,"_links":{"self":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapters\/723"}],"collection":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapters"}],"about":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/wp\/v2\/types\/chapter"}],"author":[{"embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/wp\/v2\/users\/13"}],"version-history":[{"count":4,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapters\/723\/revisions"}],"predecessor-version":[{"id":5257,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapters\/723\/revisions\/5257"}],"part":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/parts\/498"}],"metadata":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapters\/723\/metadata\/"}],"wp:attachment":[{"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/wp\/v2\/media?parent=723"}],"wp:term":[{"taxonomy":"chapter-type","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/pressbooks\/v2\/chapter-type?post=723"},{"taxonomy":"contributor","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/wp\/v2\/contributor?post=723"},{"taxonomy":"license","embeddable":true,"href":"https:\/\/content.one.lumenlearning.com\/precalculus\/wp-json\/wp\/v2\/license?post=723"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}