Proof that the graph of a linear function and its inverse cannot be perpendicular.Is simple straight-edge and compass construction a substantial proof?proof that the three interior angles of a triangle is congruent to a straight line (without measurements)The graph of a function $y(x)$ is a straight line in a regular coordinate system if and only if $y(x) = ax + b$?How to explain the perpendicularity of two lines to a High School student?Continuous functions, its inverse (if exists) and intersections graphicallyIs there more to explain why a hypothesis doesn't hold, rather than that it arrives at a contradiction?$frac1x$ and its inverse breaking a rule of inverse functions?Function graph - meet an even number of times each horizontal lineFind the maximum length of line of ST and At what value of x will ST be at it's longest?Prove that any point on the perpendicular bisector of a line segment is equidistant from the endpoints of the line segment.

Reverse dictionary where values are lists

Solving a recurrence relation (poker chips)

Avoiding the "not like other girls" trope?

What does the expression "A Mann!" means

Plagiarism or not?

How did the Super Star Destroyer Executor get destroyed exactly?

Cursor Replacement for Newbies

Forgetting the musical notes while performing in concert

Is it possible to create a QR code using text?

What is a romance in Latin?

Do UK voters know if their MP will be the Speaker of the House?

Why didn't Boeing produce its own regional jet?

Why is it a bad idea to hire a hitman to eliminate most corrupt politicians?

How badly should I try to prevent a user from XSSing themselves?

Unlock My Phone! February 2018

Personal Teleportation: From Rags to Riches

How to Recreate this in LaTeX? (Unsure What the Notation is Called)

How do I handle a potential work/personal life conflict as the manager of one of my friends?

What reasons are there for a Capitalist to oppose a 100% inheritance tax?

Arrow those variables!

Could the museum Saturn V's be refitted for one more flight?

Can my sorcerer use a spellbook only to collect spells and scribe scrolls, not cast?

I would say: "You are another teacher", but she is a woman and I am a man

How does a predictive coding aid in lossless compression?



Proof that the graph of a linear function and its inverse cannot be perpendicular.


Is simple straight-edge and compass construction a substantial proof?proof that the three interior angles of a triangle is congruent to a straight line (without measurements)The graph of a function $y(x)$ is a straight line in a regular coordinate system if and only if $y(x) = ax + b$?How to explain the perpendicularity of two lines to a High School student?Continuous functions, its inverse (if exists) and intersections graphicallyIs there more to explain why a hypothesis doesn't hold, rather than that it arrives at a contradiction?$frac1x$ and its inverse breaking a rule of inverse functions?Function graph - meet an even number of times each horizontal lineFind the maximum length of line of ST and At what value of x will ST be at it's longest?Prove that any point on the perpendicular bisector of a line segment is equidistant from the endpoints of the line segment.













1












$begingroup$


I am refreshing my high school maths and got an exercise to proof that the graph of a linear function and its inverse cannot be perpendicular. Below is my proof.



  1. A linear function is a straight line.

  2. An inverse function is a reflection of the function of $x = y$ line. This means the function and its inverse must have the same angle when it meet, which is 45.

  3. From 2., $f(x)$ must be parallel with y axis and $f^-1(x)$ must be parallel with x axis (or vise-versa.)

  4. If $f(x)$ is parallel with $y$ axis, then it's not a function.

Is my proof correct? Are there any other ways of proving this?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
    $endgroup$
    – David Mitra
    Jan 31 '15 at 15:32















1












$begingroup$


I am refreshing my high school maths and got an exercise to proof that the graph of a linear function and its inverse cannot be perpendicular. Below is my proof.



  1. A linear function is a straight line.

  2. An inverse function is a reflection of the function of $x = y$ line. This means the function and its inverse must have the same angle when it meet, which is 45.

  3. From 2., $f(x)$ must be parallel with y axis and $f^-1(x)$ must be parallel with x axis (or vise-versa.)

  4. If $f(x)$ is parallel with $y$ axis, then it's not a function.

Is my proof correct? Are there any other ways of proving this?










share|cite|improve this question









$endgroup$







  • 1




    $begingroup$
    It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
    $endgroup$
    – David Mitra
    Jan 31 '15 at 15:32













1












1








1





$begingroup$


I am refreshing my high school maths and got an exercise to proof that the graph of a linear function and its inverse cannot be perpendicular. Below is my proof.



  1. A linear function is a straight line.

  2. An inverse function is a reflection of the function of $x = y$ line. This means the function and its inverse must have the same angle when it meet, which is 45.

  3. From 2., $f(x)$ must be parallel with y axis and $f^-1(x)$ must be parallel with x axis (or vise-versa.)

  4. If $f(x)$ is parallel with $y$ axis, then it's not a function.

Is my proof correct? Are there any other ways of proving this?










share|cite|improve this question









$endgroup$




I am refreshing my high school maths and got an exercise to proof that the graph of a linear function and its inverse cannot be perpendicular. Below is my proof.



  1. A linear function is a straight line.

  2. An inverse function is a reflection of the function of $x = y$ line. This means the function and its inverse must have the same angle when it meet, which is 45.

  3. From 2., $f(x)$ must be parallel with y axis and $f^-1(x)$ must be parallel with x axis (or vise-versa.)

  4. If $f(x)$ is parallel with $y$ axis, then it's not a function.

Is my proof correct? Are there any other ways of proving this?







functions proof-writing






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 31 '15 at 15:23









idonnoidonno

1,72282020




1,72282020







  • 1




    $begingroup$
    It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
    $endgroup$
    – David Mitra
    Jan 31 '15 at 15:32












  • 1




    $begingroup$
    It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
    $endgroup$
    – David Mitra
    Jan 31 '15 at 15:32







1




1




$begingroup$
It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
$endgroup$
– David Mitra
Jan 31 '15 at 15:32




$begingroup$
It looks fine; except you should state at the outset that you're assuming the two graphs are perpendicular.
$endgroup$
– David Mitra
Jan 31 '15 at 15:32










3 Answers
3






active

oldest

votes


















1












$begingroup$

The proof you give is more or less a sketch. It uses some not well-defined notions. A mathematical proof could run like this:



The linear function $f(x) = k x + d$ has direction vector $(1,k)$. The inverse $f^-1(x) = fracx-dk$ only exists for $k ne 0$ and has direction vector $(1,frac1k)$.



For the scalar product of the two direction vectors we get:



$(1,k) cdot (1,frac1k) = 1 + k frac1k = 1 + 1 = 2$



which is non-zero, therefore the graphs are not perpendicular.






share|cite|improve this answer









$endgroup$




















    0












    $begingroup$

    You are right. For clarity, you should explain were the $45°$ is coming from. Also beware that you should discuss the case of negative coefficients.






    share|cite|improve this answer









    $endgroup$




















      0












      $begingroup$

      If $f$ is a linear function, then $f(x) = ax + b$, with $a neq 0$. The graph of $f$ has slope $a$. Since $a neq 0$, the graph of $f$ is not horizontal. The graph of $f$ is not vertical since a function of $x$ has a unique $y$ value for each $x$ value.



      We solve the inverse by interchanging $x$ and $y$, then solving for $y$.
      beginalign*
      y & = ax + b\
      x & = ay + b && textinterchange variables\
      x - b & = ay\
      fracx - ba & = y && textdivision by $a neq 0$ is defined\
      frac1ax - fracba & = y
      endalign*
      Hence, the inverse of $f$ is
      $$g(x) = frac1ax - fracba$$
      which you can verify by showing that $(g circ f)(x) = x$ and $(f circ g)(x) = x$ for each real number $x$. The product of the slopes of the graphs of $f$ and $g$ is
      $$a cdot frac1a = 1$$
      However, the product of the slopes of non-vertical perpendicular lines is $-1$. Hence, the graph of a linear function and its inverse cannot be perpendicular.



      Note that if $a = 0$, then $f(x) = b$ is a constant function rather than a linear function. A constant function does not have an inverse since there is more than one value of $x$ for each value of $y$. If a function does have an inverse, then a horizontal line will cross its graph at most once (so we can write $x$ as a function of $y$), which is known as the Horizontal Line Test. A constant function fails the Horizontal Line Test.






      share|cite|improve this answer









      $endgroup$













        Your Answer





        StackExchange.ifUsing("editor", function ()
        return StackExchange.using("mathjaxEditing", function ()
        StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
        StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
        );
        );
        , "mathjax-editing");

        StackExchange.ready(function()
        var channelOptions =
        tags: "".split(" "),
        id: "69"
        ;
        initTagRenderer("".split(" "), "".split(" "), channelOptions);

        StackExchange.using("externalEditor", function()
        // Have to fire editor after snippets, if snippets enabled
        if (StackExchange.settings.snippets.snippetsEnabled)
        StackExchange.using("snippets", function()
        createEditor();
        );

        else
        createEditor();

        );

        function createEditor()
        StackExchange.prepareEditor(
        heartbeatType: 'answer',
        autoActivateHeartbeat: false,
        convertImagesToLinks: true,
        noModals: true,
        showLowRepImageUploadWarning: true,
        reputationToPostImages: 10,
        bindNavPrevention: true,
        postfix: "",
        imageUploader:
        brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
        contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
        allowUrls: true
        ,
        noCode: true, onDemand: true,
        discardSelector: ".discard-answer"
        ,immediatelyShowMarkdownHelp:true
        );



        );













        draft saved

        draft discarded


















        StackExchange.ready(
        function ()
        StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1127781%2fproof-that-the-graph-of-a-linear-function-and-its-inverse-cannot-be-perpendicula%23new-answer', 'question_page');

        );

        Post as a guest















        Required, but never shown

























        3 Answers
        3






        active

        oldest

        votes








        3 Answers
        3






        active

        oldest

        votes









        active

        oldest

        votes






        active

        oldest

        votes









        1












        $begingroup$

        The proof you give is more or less a sketch. It uses some not well-defined notions. A mathematical proof could run like this:



        The linear function $f(x) = k x + d$ has direction vector $(1,k)$. The inverse $f^-1(x) = fracx-dk$ only exists for $k ne 0$ and has direction vector $(1,frac1k)$.



        For the scalar product of the two direction vectors we get:



        $(1,k) cdot (1,frac1k) = 1 + k frac1k = 1 + 1 = 2$



        which is non-zero, therefore the graphs are not perpendicular.






        share|cite|improve this answer









        $endgroup$

















          1












          $begingroup$

          The proof you give is more or less a sketch. It uses some not well-defined notions. A mathematical proof could run like this:



          The linear function $f(x) = k x + d$ has direction vector $(1,k)$. The inverse $f^-1(x) = fracx-dk$ only exists for $k ne 0$ and has direction vector $(1,frac1k)$.



          For the scalar product of the two direction vectors we get:



          $(1,k) cdot (1,frac1k) = 1 + k frac1k = 1 + 1 = 2$



          which is non-zero, therefore the graphs are not perpendicular.






          share|cite|improve this answer









          $endgroup$















            1












            1








            1





            $begingroup$

            The proof you give is more or less a sketch. It uses some not well-defined notions. A mathematical proof could run like this:



            The linear function $f(x) = k x + d$ has direction vector $(1,k)$. The inverse $f^-1(x) = fracx-dk$ only exists for $k ne 0$ and has direction vector $(1,frac1k)$.



            For the scalar product of the two direction vectors we get:



            $(1,k) cdot (1,frac1k) = 1 + k frac1k = 1 + 1 = 2$



            which is non-zero, therefore the graphs are not perpendicular.






            share|cite|improve this answer









            $endgroup$



            The proof you give is more or less a sketch. It uses some not well-defined notions. A mathematical proof could run like this:



            The linear function $f(x) = k x + d$ has direction vector $(1,k)$. The inverse $f^-1(x) = fracx-dk$ only exists for $k ne 0$ and has direction vector $(1,frac1k)$.



            For the scalar product of the two direction vectors we get:



            $(1,k) cdot (1,frac1k) = 1 + k frac1k = 1 + 1 = 2$



            which is non-zero, therefore the graphs are not perpendicular.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Jan 31 '15 at 15:37









            coproccoproc

            977514




            977514





















                0












                $begingroup$

                You are right. For clarity, you should explain were the $45°$ is coming from. Also beware that you should discuss the case of negative coefficients.






                share|cite|improve this answer









                $endgroup$

















                  0












                  $begingroup$

                  You are right. For clarity, you should explain were the $45°$ is coming from. Also beware that you should discuss the case of negative coefficients.






                  share|cite|improve this answer









                  $endgroup$















                    0












                    0








                    0





                    $begingroup$

                    You are right. For clarity, you should explain were the $45°$ is coming from. Also beware that you should discuss the case of negative coefficients.






                    share|cite|improve this answer









                    $endgroup$



                    You are right. For clarity, you should explain were the $45°$ is coming from. Also beware that you should discuss the case of negative coefficients.







                    share|cite|improve this answer












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered Jan 31 '15 at 15:32









                    Yves DaoustYves Daoust

                    132k676229




                    132k676229





















                        0












                        $begingroup$

                        If $f$ is a linear function, then $f(x) = ax + b$, with $a neq 0$. The graph of $f$ has slope $a$. Since $a neq 0$, the graph of $f$ is not horizontal. The graph of $f$ is not vertical since a function of $x$ has a unique $y$ value for each $x$ value.



                        We solve the inverse by interchanging $x$ and $y$, then solving for $y$.
                        beginalign*
                        y & = ax + b\
                        x & = ay + b && textinterchange variables\
                        x - b & = ay\
                        fracx - ba & = y && textdivision by $a neq 0$ is defined\
                        frac1ax - fracba & = y
                        endalign*
                        Hence, the inverse of $f$ is
                        $$g(x) = frac1ax - fracba$$
                        which you can verify by showing that $(g circ f)(x) = x$ and $(f circ g)(x) = x$ for each real number $x$. The product of the slopes of the graphs of $f$ and $g$ is
                        $$a cdot frac1a = 1$$
                        However, the product of the slopes of non-vertical perpendicular lines is $-1$. Hence, the graph of a linear function and its inverse cannot be perpendicular.



                        Note that if $a = 0$, then $f(x) = b$ is a constant function rather than a linear function. A constant function does not have an inverse since there is more than one value of $x$ for each value of $y$. If a function does have an inverse, then a horizontal line will cross its graph at most once (so we can write $x$ as a function of $y$), which is known as the Horizontal Line Test. A constant function fails the Horizontal Line Test.






                        share|cite|improve this answer









                        $endgroup$

















                          0












                          $begingroup$

                          If $f$ is a linear function, then $f(x) = ax + b$, with $a neq 0$. The graph of $f$ has slope $a$. Since $a neq 0$, the graph of $f$ is not horizontal. The graph of $f$ is not vertical since a function of $x$ has a unique $y$ value for each $x$ value.



                          We solve the inverse by interchanging $x$ and $y$, then solving for $y$.
                          beginalign*
                          y & = ax + b\
                          x & = ay + b && textinterchange variables\
                          x - b & = ay\
                          fracx - ba & = y && textdivision by $a neq 0$ is defined\
                          frac1ax - fracba & = y
                          endalign*
                          Hence, the inverse of $f$ is
                          $$g(x) = frac1ax - fracba$$
                          which you can verify by showing that $(g circ f)(x) = x$ and $(f circ g)(x) = x$ for each real number $x$. The product of the slopes of the graphs of $f$ and $g$ is
                          $$a cdot frac1a = 1$$
                          However, the product of the slopes of non-vertical perpendicular lines is $-1$. Hence, the graph of a linear function and its inverse cannot be perpendicular.



                          Note that if $a = 0$, then $f(x) = b$ is a constant function rather than a linear function. A constant function does not have an inverse since there is more than one value of $x$ for each value of $y$. If a function does have an inverse, then a horizontal line will cross its graph at most once (so we can write $x$ as a function of $y$), which is known as the Horizontal Line Test. A constant function fails the Horizontal Line Test.






                          share|cite|improve this answer









                          $endgroup$















                            0












                            0








                            0





                            $begingroup$

                            If $f$ is a linear function, then $f(x) = ax + b$, with $a neq 0$. The graph of $f$ has slope $a$. Since $a neq 0$, the graph of $f$ is not horizontal. The graph of $f$ is not vertical since a function of $x$ has a unique $y$ value for each $x$ value.



                            We solve the inverse by interchanging $x$ and $y$, then solving for $y$.
                            beginalign*
                            y & = ax + b\
                            x & = ay + b && textinterchange variables\
                            x - b & = ay\
                            fracx - ba & = y && textdivision by $a neq 0$ is defined\
                            frac1ax - fracba & = y
                            endalign*
                            Hence, the inverse of $f$ is
                            $$g(x) = frac1ax - fracba$$
                            which you can verify by showing that $(g circ f)(x) = x$ and $(f circ g)(x) = x$ for each real number $x$. The product of the slopes of the graphs of $f$ and $g$ is
                            $$a cdot frac1a = 1$$
                            However, the product of the slopes of non-vertical perpendicular lines is $-1$. Hence, the graph of a linear function and its inverse cannot be perpendicular.



                            Note that if $a = 0$, then $f(x) = b$ is a constant function rather than a linear function. A constant function does not have an inverse since there is more than one value of $x$ for each value of $y$. If a function does have an inverse, then a horizontal line will cross its graph at most once (so we can write $x$ as a function of $y$), which is known as the Horizontal Line Test. A constant function fails the Horizontal Line Test.






                            share|cite|improve this answer









                            $endgroup$



                            If $f$ is a linear function, then $f(x) = ax + b$, with $a neq 0$. The graph of $f$ has slope $a$. Since $a neq 0$, the graph of $f$ is not horizontal. The graph of $f$ is not vertical since a function of $x$ has a unique $y$ value for each $x$ value.



                            We solve the inverse by interchanging $x$ and $y$, then solving for $y$.
                            beginalign*
                            y & = ax + b\
                            x & = ay + b && textinterchange variables\
                            x - b & = ay\
                            fracx - ba & = y && textdivision by $a neq 0$ is defined\
                            frac1ax - fracba & = y
                            endalign*
                            Hence, the inverse of $f$ is
                            $$g(x) = frac1ax - fracba$$
                            which you can verify by showing that $(g circ f)(x) = x$ and $(f circ g)(x) = x$ for each real number $x$. The product of the slopes of the graphs of $f$ and $g$ is
                            $$a cdot frac1a = 1$$
                            However, the product of the slopes of non-vertical perpendicular lines is $-1$. Hence, the graph of a linear function and its inverse cannot be perpendicular.



                            Note that if $a = 0$, then $f(x) = b$ is a constant function rather than a linear function. A constant function does not have an inverse since there is more than one value of $x$ for each value of $y$. If a function does have an inverse, then a horizontal line will cross its graph at most once (so we can write $x$ as a function of $y$), which is known as the Horizontal Line Test. A constant function fails the Horizontal Line Test.







                            share|cite|improve this answer












                            share|cite|improve this answer



                            share|cite|improve this answer










                            answered Jan 31 '15 at 18:27









                            N. F. TaussigN. F. Taussig

                            45k103358




                            45k103358



























                                draft saved

                                draft discarded
















































                                Thanks for contributing an answer to Mathematics Stack Exchange!


                                • Please be sure to answer the question. Provide details and share your research!

                                But avoid


                                • Asking for help, clarification, or responding to other answers.

                                • Making statements based on opinion; back them up with references or personal experience.

                                Use MathJax to format equations. MathJax reference.


                                To learn more, see our tips on writing great answers.




                                draft saved


                                draft discarded














                                StackExchange.ready(
                                function ()
                                StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f1127781%2fproof-that-the-graph-of-a-linear-function-and-its-inverse-cannot-be-perpendicula%23new-answer', 'question_page');

                                );

                                Post as a guest















                                Required, but never shown





















































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown

































                                Required, but never shown














                                Required, but never shown












                                Required, but never shown







                                Required, but never shown







                                Popular posts from this blog

                                Triangular numbers and gcdProving sum of a set is $0 pmod n$ if $n$ is odd, or $fracn2 pmod n$ if $n$ is even?Is greatest common divisor of two numbers really their smallest linear combination?GCD, LCM RelationshipProve a set of nonnegative integers with greatest common divisor 1 and closed under addition has all but finite many nonnegative integers.all pairs of a and b in an equation containing gcdTriangular Numbers Modulo $k$ - Hit All Values?Understanding the Existence and Uniqueness of the GCDGCD and LCM with logical symbolsThe greatest common divisor of two positive integers less than 100 is equal to 3. Their least common multiple is twelve times one of the integers.Suppose that for all integers $x$, $x|a$ and $x|b$ if and only if $x|c$. Then $c = gcd(a,b)$Which is the gcd of 2 numbers which are multiplied and the result is 600000?

                                Ingelân Ynhâld Etymology | Geografy | Skiednis | Polityk en bestjoer | Ekonomy | Demografy | Kultuer | Klimaat | Sjoch ek | Keppelings om utens | Boarnen, noaten en referinsjes Navigaasjemenuwww.gov.ukOffisjele webside fan it regear fan it Feriene KeninkrykOffisjele webside fan it Britske FerkearsburoNederlânsktalige ynformaasje fan it Britske FerkearsburoOffisjele webside fan English Heritage, de organisaasje dy't him ynset foar it behâld fan it Ingelske kultuergoedYnwennertallen fan alle Britske stêden út 'e folkstelling fan 2011Notes en References, op dizze sideEngland

                                Հադիս Բովանդակություն Անվանում և նշանակություն | Դասակարգում | Աղբյուրներ | Նավարկման ցանկ