Why there should be a negative sign in the chain rule?












1












$begingroup$


Suppose I have a function $$f(x,y)=0$$ and suppose I want to find $frac{dx}{dy}$ then I think I can get it by doing $$frac{dx}{dy}=frac{df}{dy}frac{dx}{df}.$$ But I do not understand why do we need to put a negative sign in front of $frac{df}{dy}frac{dx}{df}$. Please explain. Thanks in advance.










share|cite|improve this question









$endgroup$












  • $begingroup$
    $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
    $endgroup$
    – user587192
    Jan 30 at 17:21










  • $begingroup$
    dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
    $endgroup$
    – Nathaniel Mayer
    Jan 30 at 17:26










  • $begingroup$
    I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
    $endgroup$
    – Jean Marie
    Jan 30 at 18:36
















1












$begingroup$


Suppose I have a function $$f(x,y)=0$$ and suppose I want to find $frac{dx}{dy}$ then I think I can get it by doing $$frac{dx}{dy}=frac{df}{dy}frac{dx}{df}.$$ But I do not understand why do we need to put a negative sign in front of $frac{df}{dy}frac{dx}{df}$. Please explain. Thanks in advance.










share|cite|improve this question









$endgroup$












  • $begingroup$
    $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
    $endgroup$
    – user587192
    Jan 30 at 17:21










  • $begingroup$
    dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
    $endgroup$
    – Nathaniel Mayer
    Jan 30 at 17:26










  • $begingroup$
    I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
    $endgroup$
    – Jean Marie
    Jan 30 at 18:36














1












1








1





$begingroup$


Suppose I have a function $$f(x,y)=0$$ and suppose I want to find $frac{dx}{dy}$ then I think I can get it by doing $$frac{dx}{dy}=frac{df}{dy}frac{dx}{df}.$$ But I do not understand why do we need to put a negative sign in front of $frac{df}{dy}frac{dx}{df}$. Please explain. Thanks in advance.










share|cite|improve this question









$endgroup$




Suppose I have a function $$f(x,y)=0$$ and suppose I want to find $frac{dx}{dy}$ then I think I can get it by doing $$frac{dx}{dy}=frac{df}{dy}frac{dx}{df}.$$ But I do not understand why do we need to put a negative sign in front of $frac{df}{dy}frac{dx}{df}$. Please explain. Thanks in advance.







calculus derivatives partial-derivative






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Jan 30 at 17:11









Frank MosesFrank Moses

1,199419




1,199419












  • $begingroup$
    $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
    $endgroup$
    – user587192
    Jan 30 at 17:21










  • $begingroup$
    dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
    $endgroup$
    – Nathaniel Mayer
    Jan 30 at 17:26










  • $begingroup$
    I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
    $endgroup$
    – Jean Marie
    Jan 30 at 18:36


















  • $begingroup$
    $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
    $endgroup$
    – user587192
    Jan 30 at 17:21










  • $begingroup$
    dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
    $endgroup$
    – Nathaniel Mayer
    Jan 30 at 17:26










  • $begingroup$
    I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
    $endgroup$
    – Jean Marie
    Jan 30 at 18:36
















$begingroup$
$f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
$endgroup$
– user587192
Jan 30 at 17:21




$begingroup$
$f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.
$endgroup$
– user587192
Jan 30 at 17:21












$begingroup$
dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
$endgroup$
– Nathaniel Mayer
Jan 30 at 17:26




$begingroup$
dx/df doesn't really make sense here, because x is not an implicit function of f. The sort of chain rule you wrote is really just for 1 variable. Yves' answer shows the correct, multivariable chain rule.
$endgroup$
– Nathaniel Mayer
Jan 30 at 17:26












$begingroup$
I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
$endgroup$
– Jean Marie
Jan 30 at 18:36




$begingroup$
I think that your surprise comes from a confusion between $f(x,y)=0$ (a plane curve) and $z=varphi(x,y)$ (a surface).
$endgroup$
– Jean Marie
Jan 30 at 18:36










2 Answers
2






active

oldest

votes


















1












$begingroup$

The exact rule is



$$frac{partial f(x,y)}{partial x}dx+frac{partial f(x,y)}{partial y}dy=0impliesfrac{dy}{dx}=-dfrac{dfrac{partial f(x,y)}{partial x}}{dfrac{partial f(x,y)}{partial y}}.$$





E.g., with $$x^2+y^2-1=0$$



$$frac{dy}{dx}=-frac{2x}{2y}.$$



Compare to



$$y=sqrt{1-x^2}$$ then



$$frac{dy}{dx}=-frac{2x}{2sqrt{1-x^2}}$$ (and similarly with the negative branch).






share|cite|improve this answer











$endgroup$





















    1












    $begingroup$

    $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.



    If $f(x,y)=0$, the derivative of the implicit function $x(y)$ is given by:



    $${displaystyle {frac {dx}{dy}}=-{frac {partial f/partial y}{partial f/partial x}}=-{frac {f_{y}}{f_{x}}},}
    $$

    where $f_x$ and $f_y$ indicate the partial derivatives of $f$ with respect to $x$ and $y$.



    The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to $y$—of both sides of $f(x, y) = 0$:



    $${displaystyle {frac {partial f}{partial x}}{frac {dx}{dy}}+{frac {partial f}{partial y}}{frac {dy}{dy}}=0,}
    $$

    hence
    $$
    {displaystyle {frac {partial f}{partial y}}
    +{frac {partial f}{partial x}}{frac {dx}{dy}}=0,} $$

    which, when solved for $dx/dy$, gives the expression above.






    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%2f3093811%2fwhy-there-should-be-a-negative-sign-in-the-chain-rule%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      1












      $begingroup$

      The exact rule is



      $$frac{partial f(x,y)}{partial x}dx+frac{partial f(x,y)}{partial y}dy=0impliesfrac{dy}{dx}=-dfrac{dfrac{partial f(x,y)}{partial x}}{dfrac{partial f(x,y)}{partial y}}.$$





      E.g., with $$x^2+y^2-1=0$$



      $$frac{dy}{dx}=-frac{2x}{2y}.$$



      Compare to



      $$y=sqrt{1-x^2}$$ then



      $$frac{dy}{dx}=-frac{2x}{2sqrt{1-x^2}}$$ (and similarly with the negative branch).






      share|cite|improve this answer











      $endgroup$


















        1












        $begingroup$

        The exact rule is



        $$frac{partial f(x,y)}{partial x}dx+frac{partial f(x,y)}{partial y}dy=0impliesfrac{dy}{dx}=-dfrac{dfrac{partial f(x,y)}{partial x}}{dfrac{partial f(x,y)}{partial y}}.$$





        E.g., with $$x^2+y^2-1=0$$



        $$frac{dy}{dx}=-frac{2x}{2y}.$$



        Compare to



        $$y=sqrt{1-x^2}$$ then



        $$frac{dy}{dx}=-frac{2x}{2sqrt{1-x^2}}$$ (and similarly with the negative branch).






        share|cite|improve this answer











        $endgroup$
















          1












          1








          1





          $begingroup$

          The exact rule is



          $$frac{partial f(x,y)}{partial x}dx+frac{partial f(x,y)}{partial y}dy=0impliesfrac{dy}{dx}=-dfrac{dfrac{partial f(x,y)}{partial x}}{dfrac{partial f(x,y)}{partial y}}.$$





          E.g., with $$x^2+y^2-1=0$$



          $$frac{dy}{dx}=-frac{2x}{2y}.$$



          Compare to



          $$y=sqrt{1-x^2}$$ then



          $$frac{dy}{dx}=-frac{2x}{2sqrt{1-x^2}}$$ (and similarly with the negative branch).






          share|cite|improve this answer











          $endgroup$



          The exact rule is



          $$frac{partial f(x,y)}{partial x}dx+frac{partial f(x,y)}{partial y}dy=0impliesfrac{dy}{dx}=-dfrac{dfrac{partial f(x,y)}{partial x}}{dfrac{partial f(x,y)}{partial y}}.$$





          E.g., with $$x^2+y^2-1=0$$



          $$frac{dy}{dx}=-frac{2x}{2y}.$$



          Compare to



          $$y=sqrt{1-x^2}$$ then



          $$frac{dy}{dx}=-frac{2x}{2sqrt{1-x^2}}$$ (and similarly with the negative branch).







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 30 at 17:20

























          answered Jan 30 at 17:15









          Yves DaoustYves Daoust

          132k676230




          132k676230























              1












              $begingroup$

              $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.



              If $f(x,y)=0$, the derivative of the implicit function $x(y)$ is given by:



              $${displaystyle {frac {dx}{dy}}=-{frac {partial f/partial y}{partial f/partial x}}=-{frac {f_{y}}{f_{x}}},}
              $$

              where $f_x$ and $f_y$ indicate the partial derivatives of $f$ with respect to $x$ and $y$.



              The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to $y$—of both sides of $f(x, y) = 0$:



              $${displaystyle {frac {partial f}{partial x}}{frac {dx}{dy}}+{frac {partial f}{partial y}}{frac {dy}{dy}}=0,}
              $$

              hence
              $$
              {displaystyle {frac {partial f}{partial y}}
              +{frac {partial f}{partial x}}{frac {dx}{dy}}=0,} $$

              which, when solved for $dx/dy$, gives the expression above.






              share|cite|improve this answer









              $endgroup$


















                1












                $begingroup$

                $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.



                If $f(x,y)=0$, the derivative of the implicit function $x(y)$ is given by:



                $${displaystyle {frac {dx}{dy}}=-{frac {partial f/partial y}{partial f/partial x}}=-{frac {f_{y}}{f_{x}}},}
                $$

                where $f_x$ and $f_y$ indicate the partial derivatives of $f$ with respect to $x$ and $y$.



                The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to $y$—of both sides of $f(x, y) = 0$:



                $${displaystyle {frac {partial f}{partial x}}{frac {dx}{dy}}+{frac {partial f}{partial y}}{frac {dy}{dy}}=0,}
                $$

                hence
                $$
                {displaystyle {frac {partial f}{partial y}}
                +{frac {partial f}{partial x}}{frac {dx}{dy}}=0,} $$

                which, when solved for $dx/dy$, gives the expression above.






                share|cite|improve this answer









                $endgroup$
















                  1












                  1








                  1





                  $begingroup$

                  $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.



                  If $f(x,y)=0$, the derivative of the implicit function $x(y)$ is given by:



                  $${displaystyle {frac {dx}{dy}}=-{frac {partial f/partial y}{partial f/partial x}}=-{frac {f_{y}}{f_{x}}},}
                  $$

                  where $f_x$ and $f_y$ indicate the partial derivatives of $f$ with respect to $x$ and $y$.



                  The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to $y$—of both sides of $f(x, y) = 0$:



                  $${displaystyle {frac {partial f}{partial x}}{frac {dx}{dy}}+{frac {partial f}{partial y}}{frac {dy}{dy}}=0,}
                  $$

                  hence
                  $$
                  {displaystyle {frac {partial f}{partial y}}
                  +{frac {partial f}{partial x}}{frac {dx}{dy}}=0,} $$

                  which, when solved for $dx/dy$, gives the expression above.






                  share|cite|improve this answer









                  $endgroup$



                  $f$ is a function of two variables. It does not make sense to write $frac{df}{dy}$.



                  If $f(x,y)=0$, the derivative of the implicit function $x(y)$ is given by:



                  $${displaystyle {frac {dx}{dy}}=-{frac {partial f/partial y}{partial f/partial x}}=-{frac {f_{y}}{f_{x}}},}
                  $$

                  where $f_x$ and $f_y$ indicate the partial derivatives of $f$ with respect to $x$ and $y$.



                  The above formula comes from using the generalized chain rule to obtain the total derivative—with respect to $y$—of both sides of $f(x, y) = 0$:



                  $${displaystyle {frac {partial f}{partial x}}{frac {dx}{dy}}+{frac {partial f}{partial y}}{frac {dy}{dy}}=0,}
                  $$

                  hence
                  $$
                  {displaystyle {frac {partial f}{partial y}}
                  +{frac {partial f}{partial x}}{frac {dx}{dy}}=0,} $$

                  which, when solved for $dx/dy$, gives the expression above.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jan 30 at 17:30







                  user587192





































                      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%2f3093811%2fwhy-there-should-be-a-negative-sign-in-the-chain-rule%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

                      Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

                      ts Property 'filter' does not exist on type '{}'

                      mat-slide-toggle shouldn't change it's state when I click cancel in confirmation window