# My Favorite One-Liners: Part 16

In this series, I’m compiling some of the quips and one-liners that I’ll use with my students to hopefully make my lessons more memorable for them.

One of the basic notions of functions that’s taught in Precalculus and in Discrete Mathematics is the notion of an inverse function: if $f: A \to B$ is a one-to-one and onto function, then there is an inverse function $f^{-1}: B \to A$ so that

$f^{-1}(f(a)) = a$ for all $a \in A$ and

$f(f^{-1}(b)) = b$ for all $b \in B$.

If $A = B = \mathbb{R}$, this is commonly taught in high school as a function that satisfies the horizontal line test.

In other words, if the function $f$ is applied to $a$, the result is $f(a)$. When the inverse function is applied to that, the answer is the original number $a$. Therefore, I’ll tell my class, “By applying the function $f^{-1}$, we uh-uh-uh-uh-uh-uh-uh-undo it.”

If I have a few country music fans in the class, this always generates a bit of a laugh.

See also the amazing duet with Carrie Underwood and Steven Tyler at the 2011 ACM awards:
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 12, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8387592434883118, "perplexity": 414.66657796808937}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-13/segments/1490218188623.98/warc/CC-MAIN-20170322212948-00097-ip-10-233-31-227.ec2.internal.warc.gz"}