Show that two lines are perpendicular in the complex plane.

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












I want to show that




$overlineABperpoverlineCD$ if and only if $bf Redfraca-bc-d=0$, where $a, b, c, d$ are the complex numbers corresponding to the points $A$, $B$, $C$ and $D$.




I am yet to find a proof for this. Could someone give me some hints?







share|cite|improve this question

















  • 4




    Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
    – dxiv
    Jul 28 at 18:42






  • 1




    After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
    – imranfat
    Jul 28 at 18:51














up vote
1
down vote

favorite












I want to show that




$overlineABperpoverlineCD$ if and only if $bf Redfraca-bc-d=0$, where $a, b, c, d$ are the complex numbers corresponding to the points $A$, $B$, $C$ and $D$.




I am yet to find a proof for this. Could someone give me some hints?







share|cite|improve this question

















  • 4




    Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
    – dxiv
    Jul 28 at 18:42






  • 1




    After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
    – imranfat
    Jul 28 at 18:51












up vote
1
down vote

favorite









up vote
1
down vote

favorite











I want to show that




$overlineABperpoverlineCD$ if and only if $bf Redfraca-bc-d=0$, where $a, b, c, d$ are the complex numbers corresponding to the points $A$, $B$, $C$ and $D$.




I am yet to find a proof for this. Could someone give me some hints?







share|cite|improve this question













I want to show that




$overlineABperpoverlineCD$ if and only if $bf Redfraca-bc-d=0$, where $a, b, c, d$ are the complex numbers corresponding to the points $A$, $B$, $C$ and $D$.




I am yet to find a proof for this. Could someone give me some hints?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 29 at 18:14









Ted Shifrin

59.4k44386




59.4k44386









asked Jul 28 at 18:40









tapsomilian

304




304







  • 4




    Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
    – dxiv
    Jul 28 at 18:42






  • 1




    After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
    – imranfat
    Jul 28 at 18:51












  • 4




    Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
    – dxiv
    Jul 28 at 18:42






  • 1




    After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
    – imranfat
    Jul 28 at 18:51







4




4




Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
– dxiv
Jul 28 at 18:42




Hint: $argbig((a-b)/(c-d)big)$ is the angle between $AB$ and $CD$.
– dxiv
Jul 28 at 18:42




1




1




After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
– imranfat
Jul 28 at 18:51




After working out, a very long way is to assign complex numbers $a$=$a_1+a_2i$ etc for$A,B,C$ and $D$ and work out $Refraca-bc-d$ and multiply with its conjugate. Compare that expression to the expression by setting up slopes (rise over run) and using the fact that the product of two perpendicular lines is $-1$. It isn't the prettiest way to show, there has to be a quicker and more elegant way, perhaps the suggestion of dxiv
– imranfat
Jul 28 at 18:51










2 Answers
2






active

oldest

votes

















up vote
1
down vote



accepted










We know the angle of vector $a-b$ with $x$-axis is $arg(a-b)$ and also the angle of vector $c-d$ with $x$-axis is $arg(c-d)$, then they are perpendicular if
$$arg(a-b)-arg(c-d)=dfracpi2$$
or
$$argdfraca-bc-d=dfracpi2$$
this shows that the number $dfraca-bc-d$ is purely imaginary, therfore $bf Redfraca-bc-d=0$.






share|cite|improve this answer




























    up vote
    0
    down vote













    The lines have direction vectors
    $$
    AB = b-a quad CD = d-c
    $$
    We have
    $$
    DeclareMathOperatorReRe
    Re fracb-ad-c
    = Re fracr_1 e^i phi_1r_2 e^i phi_2
    = Re fracr_1r_2 e^i(phi_1 - phi_2)
    = fracr_1r_2 cos(phi_1 - phi_2)
    $$
    where we switched to polar coordinates.






    share|cite|improve this answer























      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',
      convertImagesToLinks: true,
      noModals: false,
      showLowRepImageUploadWarning: true,
      reputationToPostImages: 10,
      bindNavPrevention: true,
      postfix: "",
      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%2f2865490%2fshow-that-two-lines-are-perpendicular-in-the-complex-plane%23new-answer', 'question_page');

      );

      Post as a guest






























      2 Answers
      2






      active

      oldest

      votes








      2 Answers
      2






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes








      up vote
      1
      down vote



      accepted










      We know the angle of vector $a-b$ with $x$-axis is $arg(a-b)$ and also the angle of vector $c-d$ with $x$-axis is $arg(c-d)$, then they are perpendicular if
      $$arg(a-b)-arg(c-d)=dfracpi2$$
      or
      $$argdfraca-bc-d=dfracpi2$$
      this shows that the number $dfraca-bc-d$ is purely imaginary, therfore $bf Redfraca-bc-d=0$.






      share|cite|improve this answer

























        up vote
        1
        down vote



        accepted










        We know the angle of vector $a-b$ with $x$-axis is $arg(a-b)$ and also the angle of vector $c-d$ with $x$-axis is $arg(c-d)$, then they are perpendicular if
        $$arg(a-b)-arg(c-d)=dfracpi2$$
        or
        $$argdfraca-bc-d=dfracpi2$$
        this shows that the number $dfraca-bc-d$ is purely imaginary, therfore $bf Redfraca-bc-d=0$.






        share|cite|improve this answer























          up vote
          1
          down vote



          accepted







          up vote
          1
          down vote



          accepted






          We know the angle of vector $a-b$ with $x$-axis is $arg(a-b)$ and also the angle of vector $c-d$ with $x$-axis is $arg(c-d)$, then they are perpendicular if
          $$arg(a-b)-arg(c-d)=dfracpi2$$
          or
          $$argdfraca-bc-d=dfracpi2$$
          this shows that the number $dfraca-bc-d$ is purely imaginary, therfore $bf Redfraca-bc-d=0$.






          share|cite|improve this answer













          We know the angle of vector $a-b$ with $x$-axis is $arg(a-b)$ and also the angle of vector $c-d$ with $x$-axis is $arg(c-d)$, then they are perpendicular if
          $$arg(a-b)-arg(c-d)=dfracpi2$$
          or
          $$argdfraca-bc-d=dfracpi2$$
          this shows that the number $dfraca-bc-d$ is purely imaginary, therfore $bf Redfraca-bc-d=0$.







          share|cite|improve this answer













          share|cite|improve this answer



          share|cite|improve this answer











          answered Jul 29 at 1:09









          user 108128

          19k41544




          19k41544




















              up vote
              0
              down vote













              The lines have direction vectors
              $$
              AB = b-a quad CD = d-c
              $$
              We have
              $$
              DeclareMathOperatorReRe
              Re fracb-ad-c
              = Re fracr_1 e^i phi_1r_2 e^i phi_2
              = Re fracr_1r_2 e^i(phi_1 - phi_2)
              = fracr_1r_2 cos(phi_1 - phi_2)
              $$
              where we switched to polar coordinates.






              share|cite|improve this answer



























                up vote
                0
                down vote













                The lines have direction vectors
                $$
                AB = b-a quad CD = d-c
                $$
                We have
                $$
                DeclareMathOperatorReRe
                Re fracb-ad-c
                = Re fracr_1 e^i phi_1r_2 e^i phi_2
                = Re fracr_1r_2 e^i(phi_1 - phi_2)
                = fracr_1r_2 cos(phi_1 - phi_2)
                $$
                where we switched to polar coordinates.






                share|cite|improve this answer

























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  The lines have direction vectors
                  $$
                  AB = b-a quad CD = d-c
                  $$
                  We have
                  $$
                  DeclareMathOperatorReRe
                  Re fracb-ad-c
                  = Re fracr_1 e^i phi_1r_2 e^i phi_2
                  = Re fracr_1r_2 e^i(phi_1 - phi_2)
                  = fracr_1r_2 cos(phi_1 - phi_2)
                  $$
                  where we switched to polar coordinates.






                  share|cite|improve this answer















                  The lines have direction vectors
                  $$
                  AB = b-a quad CD = d-c
                  $$
                  We have
                  $$
                  DeclareMathOperatorReRe
                  Re fracb-ad-c
                  = Re fracr_1 e^i phi_1r_2 e^i phi_2
                  = Re fracr_1r_2 e^i(phi_1 - phi_2)
                  = fracr_1r_2 cos(phi_1 - phi_2)
                  $$
                  where we switched to polar coordinates.







                  share|cite|improve this answer















                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jul 28 at 21:46


























                  answered Jul 28 at 21:14









                  mvw

                  30.2k22250




                  30.2k22250






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2865490%2fshow-that-two-lines-are-perpendicular-in-the-complex-plane%23new-answer', 'question_page');

                      );

                      Post as a guest













































































                      Comments

                      Popular posts from this blog

                      What is the equation of a 3D cone with generalised tilt?

                      Color the edges and diagonals of a regular polygon

                      Relationship between determinant of matrix and determinant of adjoint?