Characteristic polynomial roots of $ 3times 3$ orthogonal matrix.

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











up vote
2
down vote

favorite












How would you approach this problem?



Let $A$ be an orthogonal $3$ by $3$ matrix. That is, $A^TA = AA^T=I_3$. Prove that the characteristic polynomial $textitp_A$ has a real root.



I am not familiar with how to prove a third degree polynomial has a real root. I started the problem by noticing that $det(A-tI) = det(A-tAA^T)=det(A)det(I-tA^T)$, but this isn't getting me anywhere.










share|cite|improve this question























  • Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
    – Bernard
    Aug 30 at 0:06











  • @Bernard: then the claim holds for all 3x3 matrices?
    – b_chao
    Aug 30 at 0:09










  • Over the field $mathbf R$, yes.
    – Bernard
    Aug 30 at 0:10










  • @Bernard: I see, thanks!
    – b_chao
    Aug 30 at 0:12






  • 1




    @TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
    – Bernard
    Aug 30 at 8:23














up vote
2
down vote

favorite












How would you approach this problem?



Let $A$ be an orthogonal $3$ by $3$ matrix. That is, $A^TA = AA^T=I_3$. Prove that the characteristic polynomial $textitp_A$ has a real root.



I am not familiar with how to prove a third degree polynomial has a real root. I started the problem by noticing that $det(A-tI) = det(A-tAA^T)=det(A)det(I-tA^T)$, but this isn't getting me anywhere.










share|cite|improve this question























  • Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
    – Bernard
    Aug 30 at 0:06











  • @Bernard: then the claim holds for all 3x3 matrices?
    – b_chao
    Aug 30 at 0:09










  • Over the field $mathbf R$, yes.
    – Bernard
    Aug 30 at 0:10










  • @Bernard: I see, thanks!
    – b_chao
    Aug 30 at 0:12






  • 1




    @TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
    – Bernard
    Aug 30 at 8:23












up vote
2
down vote

favorite









up vote
2
down vote

favorite











How would you approach this problem?



Let $A$ be an orthogonal $3$ by $3$ matrix. That is, $A^TA = AA^T=I_3$. Prove that the characteristic polynomial $textitp_A$ has a real root.



I am not familiar with how to prove a third degree polynomial has a real root. I started the problem by noticing that $det(A-tI) = det(A-tAA^T)=det(A)det(I-tA^T)$, but this isn't getting me anywhere.










share|cite|improve this question















How would you approach this problem?



Let $A$ be an orthogonal $3$ by $3$ matrix. That is, $A^TA = AA^T=I_3$. Prove that the characteristic polynomial $textitp_A$ has a real root.



I am not familiar with how to prove a third degree polynomial has a real root. I started the problem by noticing that $det(A-tI) = det(A-tAA^T)=det(A)det(I-tA^T)$, but this isn't getting me anywhere.







linear-algebra eigenvalues-eigenvectors orthogonal-matrices






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 30 at 0:04









Bernard

112k635102




112k635102










asked Aug 30 at 0:03









b_chao

111




111











  • Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
    – Bernard
    Aug 30 at 0:06











  • @Bernard: then the claim holds for all 3x3 matrices?
    – b_chao
    Aug 30 at 0:09










  • Over the field $mathbf R$, yes.
    – Bernard
    Aug 30 at 0:10










  • @Bernard: I see, thanks!
    – b_chao
    Aug 30 at 0:12






  • 1




    @TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
    – Bernard
    Aug 30 at 8:23
















  • Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
    – Bernard
    Aug 30 at 0:06











  • @Bernard: then the claim holds for all 3x3 matrices?
    – b_chao
    Aug 30 at 0:09










  • Over the field $mathbf R$, yes.
    – Bernard
    Aug 30 at 0:10










  • @Bernard: I see, thanks!
    – b_chao
    Aug 30 at 0:12






  • 1




    @TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
    – Bernard
    Aug 30 at 8:23















Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
– Bernard
Aug 30 at 0:06





Welcome to Maths SX! All cubic polynomials have (at least) one real root, and this has nothing to do with orthogonal matrices: it relies on the Intermediate value theorem.
– Bernard
Aug 30 at 0:06













@Bernard: then the claim holds for all 3x3 matrices?
– b_chao
Aug 30 at 0:09




@Bernard: then the claim holds for all 3x3 matrices?
– b_chao
Aug 30 at 0:09












Over the field $mathbf R$, yes.
– Bernard
Aug 30 at 0:10




Over the field $mathbf R$, yes.
– Bernard
Aug 30 at 0:10












@Bernard: I see, thanks!
– b_chao
Aug 30 at 0:12




@Bernard: I see, thanks!
– b_chao
Aug 30 at 0:12




1




1




@TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
– Bernard
Aug 30 at 8:23




@TheoreticalEconomist: That's a nicer, but more sophisticated argument: it supposes you've proved $mathbf C$ is algebraically closed – which isn't exactly trivial.
– Bernard
Aug 30 at 8:23










1 Answer
1






active

oldest

votes

















up vote
1
down vote













As you mentioned the characteristic polynomial of your matrix is a third degree polynomial and every third degree polynomial has a real root.



You do not have to prove that every third degree polynomial has a real root to solve your problem because it is a well-known fact by just looking at the end behavior of the polynomial.






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%2f2898955%2fcharacteristic-polynomial-roots-of-3-times-3-orthogonal-matrix%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    1
    down vote













    As you mentioned the characteristic polynomial of your matrix is a third degree polynomial and every third degree polynomial has a real root.



    You do not have to prove that every third degree polynomial has a real root to solve your problem because it is a well-known fact by just looking at the end behavior of the polynomial.






    share|cite|improve this answer
























      up vote
      1
      down vote













      As you mentioned the characteristic polynomial of your matrix is a third degree polynomial and every third degree polynomial has a real root.



      You do not have to prove that every third degree polynomial has a real root to solve your problem because it is a well-known fact by just looking at the end behavior of the polynomial.






      share|cite|improve this answer






















        up vote
        1
        down vote










        up vote
        1
        down vote









        As you mentioned the characteristic polynomial of your matrix is a third degree polynomial and every third degree polynomial has a real root.



        You do not have to prove that every third degree polynomial has a real root to solve your problem because it is a well-known fact by just looking at the end behavior of the polynomial.






        share|cite|improve this answer












        As you mentioned the characteristic polynomial of your matrix is a third degree polynomial and every third degree polynomial has a real root.



        You do not have to prove that every third degree polynomial has a real root to solve your problem because it is a well-known fact by just looking at the end behavior of the polynomial.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Aug 30 at 0:22









        Mohammad Riazi-Kermani

        31k41853




        31k41853



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2898955%2fcharacteristic-polynomial-roots-of-3-times-3-orthogonal-matrix%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards