Is there a simpler way to determine m, n, p, such that the following holds for all reals?

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











up vote
5
down vote

favorite












I am given the following equation and I am asked to find $m$, $n$ and $p$, so that the equation holds for all reals:



$$ sin^4x + cos^4x + m(sin^6x + cos^6x) + n(sin^8x + cos^8x) + p(sin^10x + cos^10x) = 1, space forall x in mathbb R $$



I have managed to solve it by, in advance, calculating the following power reduction formulas, and then applying them to the equation:



$$
sin^4x + cos^4x = 1 - frac12sin^22x \
sin^6x + cos^6x = 1 - frac34sin^22x \
sin^8x + cos^8x = 1 - sin^22x + frac18sin^42x \
sin^10x + cos^10x = 1 - frac54sin^22x + frac516sin^42x
$$



As a result, I managed to simplify it to the following, which is only in terms of powers of $sin2x$:



$$ left( 1+m+n+p right) - left( frac12 + frac3m4 + n + frac5p4 right) sin^22x + left( fracn8 + frac5p16 right) sin^42x = 1, space forall x in mathbb R $$



I then came to the conclusion that the only possible way for which this can be true is if:
$1+m+n+p=1$, $ frac12 + frac3m4 + n + frac5p4 = 0 $ and $ fracn8 + frac5p16 = 0 $.



By solving the system of equations below I arrive at the solutions $m=6$, $n=-10$, $p=4$.



$$
left{
beginaligned
1 + m + n + p = 1 \
frac12 + frac3m4 + n + frac5p4 = 0 \
fracn8 + frac5p16 = 0
endaligned
right.
$$



My question is if my reasoning is correct and if there exists any simpler way to solve the problem.







share|cite|improve this question















  • 1




    Your reasoning is correct. My method is less complicated, but not by much.
    – Batominovski
    Jul 21 at 17:41














up vote
5
down vote

favorite












I am given the following equation and I am asked to find $m$, $n$ and $p$, so that the equation holds for all reals:



$$ sin^4x + cos^4x + m(sin^6x + cos^6x) + n(sin^8x + cos^8x) + p(sin^10x + cos^10x) = 1, space forall x in mathbb R $$



I have managed to solve it by, in advance, calculating the following power reduction formulas, and then applying them to the equation:



$$
sin^4x + cos^4x = 1 - frac12sin^22x \
sin^6x + cos^6x = 1 - frac34sin^22x \
sin^8x + cos^8x = 1 - sin^22x + frac18sin^42x \
sin^10x + cos^10x = 1 - frac54sin^22x + frac516sin^42x
$$



As a result, I managed to simplify it to the following, which is only in terms of powers of $sin2x$:



$$ left( 1+m+n+p right) - left( frac12 + frac3m4 + n + frac5p4 right) sin^22x + left( fracn8 + frac5p16 right) sin^42x = 1, space forall x in mathbb R $$



I then came to the conclusion that the only possible way for which this can be true is if:
$1+m+n+p=1$, $ frac12 + frac3m4 + n + frac5p4 = 0 $ and $ fracn8 + frac5p16 = 0 $.



By solving the system of equations below I arrive at the solutions $m=6$, $n=-10$, $p=4$.



$$
left{
beginaligned
1 + m + n + p = 1 \
frac12 + frac3m4 + n + frac5p4 = 0 \
fracn8 + frac5p16 = 0
endaligned
right.
$$



My question is if my reasoning is correct and if there exists any simpler way to solve the problem.







share|cite|improve this question















  • 1




    Your reasoning is correct. My method is less complicated, but not by much.
    – Batominovski
    Jul 21 at 17:41












up vote
5
down vote

favorite









up vote
5
down vote

favorite











I am given the following equation and I am asked to find $m$, $n$ and $p$, so that the equation holds for all reals:



$$ sin^4x + cos^4x + m(sin^6x + cos^6x) + n(sin^8x + cos^8x) + p(sin^10x + cos^10x) = 1, space forall x in mathbb R $$



I have managed to solve it by, in advance, calculating the following power reduction formulas, and then applying them to the equation:



$$
sin^4x + cos^4x = 1 - frac12sin^22x \
sin^6x + cos^6x = 1 - frac34sin^22x \
sin^8x + cos^8x = 1 - sin^22x + frac18sin^42x \
sin^10x + cos^10x = 1 - frac54sin^22x + frac516sin^42x
$$



As a result, I managed to simplify it to the following, which is only in terms of powers of $sin2x$:



$$ left( 1+m+n+p right) - left( frac12 + frac3m4 + n + frac5p4 right) sin^22x + left( fracn8 + frac5p16 right) sin^42x = 1, space forall x in mathbb R $$



I then came to the conclusion that the only possible way for which this can be true is if:
$1+m+n+p=1$, $ frac12 + frac3m4 + n + frac5p4 = 0 $ and $ fracn8 + frac5p16 = 0 $.



By solving the system of equations below I arrive at the solutions $m=6$, $n=-10$, $p=4$.



$$
left{
beginaligned
1 + m + n + p = 1 \
frac12 + frac3m4 + n + frac5p4 = 0 \
fracn8 + frac5p16 = 0
endaligned
right.
$$



My question is if my reasoning is correct and if there exists any simpler way to solve the problem.







share|cite|improve this question











I am given the following equation and I am asked to find $m$, $n$ and $p$, so that the equation holds for all reals:



$$ sin^4x + cos^4x + m(sin^6x + cos^6x) + n(sin^8x + cos^8x) + p(sin^10x + cos^10x) = 1, space forall x in mathbb R $$



I have managed to solve it by, in advance, calculating the following power reduction formulas, and then applying them to the equation:



$$
sin^4x + cos^4x = 1 - frac12sin^22x \
sin^6x + cos^6x = 1 - frac34sin^22x \
sin^8x + cos^8x = 1 - sin^22x + frac18sin^42x \
sin^10x + cos^10x = 1 - frac54sin^22x + frac516sin^42x
$$



As a result, I managed to simplify it to the following, which is only in terms of powers of $sin2x$:



$$ left( 1+m+n+p right) - left( frac12 + frac3m4 + n + frac5p4 right) sin^22x + left( fracn8 + frac5p16 right) sin^42x = 1, space forall x in mathbb R $$



I then came to the conclusion that the only possible way for which this can be true is if:
$1+m+n+p=1$, $ frac12 + frac3m4 + n + frac5p4 = 0 $ and $ fracn8 + frac5p16 = 0 $.



By solving the system of equations below I arrive at the solutions $m=6$, $n=-10$, $p=4$.



$$
left{
beginaligned
1 + m + n + p = 1 \
frac12 + frac3m4 + n + frac5p4 = 0 \
fracn8 + frac5p16 = 0
endaligned
right.
$$



My question is if my reasoning is correct and if there exists any simpler way to solve the problem.









share|cite|improve this question










share|cite|improve this question




share|cite|improve this question









asked Jul 21 at 16:58









Cheez

283




283







  • 1




    Your reasoning is correct. My method is less complicated, but not by much.
    – Batominovski
    Jul 21 at 17:41












  • 1




    Your reasoning is correct. My method is less complicated, but not by much.
    – Batominovski
    Jul 21 at 17:41







1




1




Your reasoning is correct. My method is less complicated, but not by much.
– Batominovski
Jul 21 at 17:41




Your reasoning is correct. My method is less complicated, but not by much.
– Batominovski
Jul 21 at 17:41










2 Answers
2






active

oldest

votes

















up vote
3
down vote



accepted










Consider the polynomial
$$P(t):=-1+t^2+(1-t)^2+mt^3+m(1-t)^3+nt^4+n(1-t)^4+pt^5+p(1-t)^5,.$$
If $t=sin^2(x)$ is a root for every $xinmathbbR$, then $Pequiv 0$ identically. In particular,
$$0=[t^4],P(t)=2n+5p,,$$
$$0=[t^2],P(t)=2+3m+6n+10p,,$$
and
$$0=[t^0],P(t)=P(0)=m+n+p,,$$
where $[t^k],P(t)$ denotes the coefficient of the term $t^k$ in $P(t)$ for every $k=0,1,2,ldots$. (Here, the coefficients are found via the Binomial Theorem.) It follows immediately that $m=6$, $n=-10$, and $p=4$.



We still need to show that $Pequiv 0$ is indeed the case. First, $deg(P)le4$ can be easily seen. Therefore, we need to check that $[t],P(t)=0$ and $[t^3],P(t)=0$, but
$$[t],P(t)=-2-3m-4n-5p=-big([t^2],P(t)big)+big([t^4],P(t)big)=0$$
and
$$[t^3],P(t)=-4n-10p=-2,big([t^4],P(t)big)=0,.$$
Thus, $P$ is indeed the zero polynomial.






share|cite|improve this answer






























    up vote
    0
    down vote













    Your reasoning is correct. You may save a little algebraa by formulating it as follows. Define $, f(t) := t^2 + m t^3 + n t^4 + p t^5. ,$ We want the equation
    $, f(t) + f(1-t) - 1 = 0,$ to be true for all $, t = sin^2(x). ,$ If you expand the left side, it is a fourth degreee polynomial in $,t.,$ All of its coefficients must be zero. This gives five linear equations in the four unknowns and the solution is as you found. The advantage of this approach is that it avoids the need to express $, sin^2n(x) + cos^2n(x) ,$ in terms of even powers of $, sin(2x). ,$ All that is needed is to know the identity $, sin^2 x + cos^2 x = 1. $






    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%2f2858672%2fis-there-a-simpler-way-to-determine-m-n-p-such-that-the-following-holds-for-a%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
      3
      down vote



      accepted










      Consider the polynomial
      $$P(t):=-1+t^2+(1-t)^2+mt^3+m(1-t)^3+nt^4+n(1-t)^4+pt^5+p(1-t)^5,.$$
      If $t=sin^2(x)$ is a root for every $xinmathbbR$, then $Pequiv 0$ identically. In particular,
      $$0=[t^4],P(t)=2n+5p,,$$
      $$0=[t^2],P(t)=2+3m+6n+10p,,$$
      and
      $$0=[t^0],P(t)=P(0)=m+n+p,,$$
      where $[t^k],P(t)$ denotes the coefficient of the term $t^k$ in $P(t)$ for every $k=0,1,2,ldots$. (Here, the coefficients are found via the Binomial Theorem.) It follows immediately that $m=6$, $n=-10$, and $p=4$.



      We still need to show that $Pequiv 0$ is indeed the case. First, $deg(P)le4$ can be easily seen. Therefore, we need to check that $[t],P(t)=0$ and $[t^3],P(t)=0$, but
      $$[t],P(t)=-2-3m-4n-5p=-big([t^2],P(t)big)+big([t^4],P(t)big)=0$$
      and
      $$[t^3],P(t)=-4n-10p=-2,big([t^4],P(t)big)=0,.$$
      Thus, $P$ is indeed the zero polynomial.






      share|cite|improve this answer



























        up vote
        3
        down vote



        accepted










        Consider the polynomial
        $$P(t):=-1+t^2+(1-t)^2+mt^3+m(1-t)^3+nt^4+n(1-t)^4+pt^5+p(1-t)^5,.$$
        If $t=sin^2(x)$ is a root for every $xinmathbbR$, then $Pequiv 0$ identically. In particular,
        $$0=[t^4],P(t)=2n+5p,,$$
        $$0=[t^2],P(t)=2+3m+6n+10p,,$$
        and
        $$0=[t^0],P(t)=P(0)=m+n+p,,$$
        where $[t^k],P(t)$ denotes the coefficient of the term $t^k$ in $P(t)$ for every $k=0,1,2,ldots$. (Here, the coefficients are found via the Binomial Theorem.) It follows immediately that $m=6$, $n=-10$, and $p=4$.



        We still need to show that $Pequiv 0$ is indeed the case. First, $deg(P)le4$ can be easily seen. Therefore, we need to check that $[t],P(t)=0$ and $[t^3],P(t)=0$, but
        $$[t],P(t)=-2-3m-4n-5p=-big([t^2],P(t)big)+big([t^4],P(t)big)=0$$
        and
        $$[t^3],P(t)=-4n-10p=-2,big([t^4],P(t)big)=0,.$$
        Thus, $P$ is indeed the zero polynomial.






        share|cite|improve this answer

























          up vote
          3
          down vote



          accepted







          up vote
          3
          down vote



          accepted






          Consider the polynomial
          $$P(t):=-1+t^2+(1-t)^2+mt^3+m(1-t)^3+nt^4+n(1-t)^4+pt^5+p(1-t)^5,.$$
          If $t=sin^2(x)$ is a root for every $xinmathbbR$, then $Pequiv 0$ identically. In particular,
          $$0=[t^4],P(t)=2n+5p,,$$
          $$0=[t^2],P(t)=2+3m+6n+10p,,$$
          and
          $$0=[t^0],P(t)=P(0)=m+n+p,,$$
          where $[t^k],P(t)$ denotes the coefficient of the term $t^k$ in $P(t)$ for every $k=0,1,2,ldots$. (Here, the coefficients are found via the Binomial Theorem.) It follows immediately that $m=6$, $n=-10$, and $p=4$.



          We still need to show that $Pequiv 0$ is indeed the case. First, $deg(P)le4$ can be easily seen. Therefore, we need to check that $[t],P(t)=0$ and $[t^3],P(t)=0$, but
          $$[t],P(t)=-2-3m-4n-5p=-big([t^2],P(t)big)+big([t^4],P(t)big)=0$$
          and
          $$[t^3],P(t)=-4n-10p=-2,big([t^4],P(t)big)=0,.$$
          Thus, $P$ is indeed the zero polynomial.






          share|cite|improve this answer















          Consider the polynomial
          $$P(t):=-1+t^2+(1-t)^2+mt^3+m(1-t)^3+nt^4+n(1-t)^4+pt^5+p(1-t)^5,.$$
          If $t=sin^2(x)$ is a root for every $xinmathbbR$, then $Pequiv 0$ identically. In particular,
          $$0=[t^4],P(t)=2n+5p,,$$
          $$0=[t^2],P(t)=2+3m+6n+10p,,$$
          and
          $$0=[t^0],P(t)=P(0)=m+n+p,,$$
          where $[t^k],P(t)$ denotes the coefficient of the term $t^k$ in $P(t)$ for every $k=0,1,2,ldots$. (Here, the coefficients are found via the Binomial Theorem.) It follows immediately that $m=6$, $n=-10$, and $p=4$.



          We still need to show that $Pequiv 0$ is indeed the case. First, $deg(P)le4$ can be easily seen. Therefore, we need to check that $[t],P(t)=0$ and $[t^3],P(t)=0$, but
          $$[t],P(t)=-2-3m-4n-5p=-big([t^2],P(t)big)+big([t^4],P(t)big)=0$$
          and
          $$[t^3],P(t)=-4n-10p=-2,big([t^4],P(t)big)=0,.$$
          Thus, $P$ is indeed the zero polynomial.







          share|cite|improve this answer















          share|cite|improve this answer



          share|cite|improve this answer








          edited Jul 22 at 6:04


























          answered Jul 21 at 17:38









          Batominovski

          23.3k22777




          23.3k22777




















              up vote
              0
              down vote













              Your reasoning is correct. You may save a little algebraa by formulating it as follows. Define $, f(t) := t^2 + m t^3 + n t^4 + p t^5. ,$ We want the equation
              $, f(t) + f(1-t) - 1 = 0,$ to be true for all $, t = sin^2(x). ,$ If you expand the left side, it is a fourth degreee polynomial in $,t.,$ All of its coefficients must be zero. This gives five linear equations in the four unknowns and the solution is as you found. The advantage of this approach is that it avoids the need to express $, sin^2n(x) + cos^2n(x) ,$ in terms of even powers of $, sin(2x). ,$ All that is needed is to know the identity $, sin^2 x + cos^2 x = 1. $






              share|cite|improve this answer



























                up vote
                0
                down vote













                Your reasoning is correct. You may save a little algebraa by formulating it as follows. Define $, f(t) := t^2 + m t^3 + n t^4 + p t^5. ,$ We want the equation
                $, f(t) + f(1-t) - 1 = 0,$ to be true for all $, t = sin^2(x). ,$ If you expand the left side, it is a fourth degreee polynomial in $,t.,$ All of its coefficients must be zero. This gives five linear equations in the four unknowns and the solution is as you found. The advantage of this approach is that it avoids the need to express $, sin^2n(x) + cos^2n(x) ,$ in terms of even powers of $, sin(2x). ,$ All that is needed is to know the identity $, sin^2 x + cos^2 x = 1. $






                share|cite|improve this answer

























                  up vote
                  0
                  down vote










                  up vote
                  0
                  down vote









                  Your reasoning is correct. You may save a little algebraa by formulating it as follows. Define $, f(t) := t^2 + m t^3 + n t^4 + p t^5. ,$ We want the equation
                  $, f(t) + f(1-t) - 1 = 0,$ to be true for all $, t = sin^2(x). ,$ If you expand the left side, it is a fourth degreee polynomial in $,t.,$ All of its coefficients must be zero. This gives five linear equations in the four unknowns and the solution is as you found. The advantage of this approach is that it avoids the need to express $, sin^2n(x) + cos^2n(x) ,$ in terms of even powers of $, sin(2x). ,$ All that is needed is to know the identity $, sin^2 x + cos^2 x = 1. $






                  share|cite|improve this answer















                  Your reasoning is correct. You may save a little algebraa by formulating it as follows. Define $, f(t) := t^2 + m t^3 + n t^4 + p t^5. ,$ We want the equation
                  $, f(t) + f(1-t) - 1 = 0,$ to be true for all $, t = sin^2(x). ,$ If you expand the left side, it is a fourth degreee polynomial in $,t.,$ All of its coefficients must be zero. This gives five linear equations in the four unknowns and the solution is as you found. The advantage of this approach is that it avoids the need to express $, sin^2n(x) + cos^2n(x) ,$ in terms of even powers of $, sin(2x). ,$ All that is needed is to know the identity $, sin^2 x + cos^2 x = 1. $







                  share|cite|improve this answer















                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Jul 23 at 20:46


























                  answered Jul 21 at 17:56









                  Somos

                  11.5k1933




                  11.5k1933






















                       

                      draft saved


                      draft discarded


























                       


                      draft saved


                      draft discarded














                      StackExchange.ready(
                      function ()
                      StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2858672%2fis-there-a-simpler-way-to-determine-m-n-p-such-that-the-following-holds-for-a%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?