Can we show a sum of symmetrical cosine values is zero by using roots of unity?Proving complex series $1 + costheta + cos2theta +… + cos ntheta $Zero sum of roots of unity decompositionMinimising a sum of roots of unityAlternating sum of roots of unity $sum_k=0^n-1(-1)^komega^k$A sum of powers of primitive roots of unityCan any triangle be generated using linear transformations of cubic roots of unity?sum of (some) $p$-th roots of unity, $p$ primeSolving $z^5=-16+16sqrt3i$ using the fifth roots of unityProving that $sum cos p theta = 0$ where $theta$ is argument of the primitive roots of unityUsing the fifth root of unity to show the cosine equationSum of nth roots of unity equal to Sqrt[n]

Sorting with IComparable design

Can a UK national work as a paid shop assistant in the USA?

Why did it take so long for Germany to allow electric scooters / e-rollers on the roads?

If I arrive in the UK, and then head to mainland Europe, does my Schengen visa 90 day limit start when I arrived in the UK, or mainland Europe?

Can you still travel to America on the ESTA waiver program if you have been to Iran in transit?

Why was this character made Grand Maester?

What weight should be given to writers groups critiques?

Who knighted this Game of Thrones character?

Is "vegetable base" a common term in English?

Cardio work for Muay Thai fighters

How did NASA Langley end up with the first 737?

How to melt snow without fire or using body heat?

I want to know what "marumaru" means

What could a self-sustaining lunar colony slowly lose that would ultimately prove fatal?

Why did Jon Snow do this immoral act if he is so honorable?

What is the recommended procedure to land a taildragger in a crosswind?

A burglar's sunglasses, a lady's odyssey

Need to read my home electrical Meter

Why is unzipped directory exactly 4.0k (much smaller than zipped file)?

Did this character show any indication of wanting to rule before S8E6?

Testing using real data of the customer

Do copyright notices need to be placed at the beginning of a file?

One word for 'the thing that attracts me'?

How to keep consistency across the application architecture as a team grows?



Can we show a sum of symmetrical cosine values is zero by using roots of unity?


Proving complex series $1 + costheta + cos2theta +… + cos ntheta $Zero sum of roots of unity decompositionMinimising a sum of roots of unityAlternating sum of roots of unity $sum_k=0^n-1(-1)^komega^k$A sum of powers of primitive roots of unityCan any triangle be generated using linear transformations of cubic roots of unity?sum of (some) $p$-th roots of unity, $p$ primeSolving $z^5=-16+16sqrt3i$ using the fifth roots of unityProving that $sum cos p theta = 0$ where $theta$ is argument of the primitive roots of unityUsing the fifth root of unity to show the cosine equationSum of nth roots of unity equal to Sqrt[n]













3












$begingroup$


Can we show that



$$cosfracpi7+cosfrac2pi7+cosfrac3pi7+cosfrac4pi7+cosfrac5pi7+cosfrac6pi7=0$$



by considering the seventh roots of unity? If so how could we do it?



Also I have observed that



$$cosfracpi5+cosfrac2pi5+cosfrac3pi5+cosfrac4pi5=0$$



as well, so just out of curiosity, is it true that $$sum_k=1^n-1 cosfrackpin = 0$$



for all $n$ odd?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Use complex numbers, something like this
    $endgroup$
    – rtybase
    8 hours ago







  • 3




    $begingroup$
    You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
    $endgroup$
    – Mark Bennet
    8 hours ago











  • $begingroup$
    Also, it works for all $n$'s, not just odd ones.
    $endgroup$
    – rtybase
    7 hours ago










  • $begingroup$
    because the unpaired one is $cos (pi /2)$
    $endgroup$
    – G Cab
    7 hours ago










  • $begingroup$
    You should research how complex numbers can also be represented as vectors
    $endgroup$
    – Chase Ryan Taylor
    6 hours ago















3












$begingroup$


Can we show that



$$cosfracpi7+cosfrac2pi7+cosfrac3pi7+cosfrac4pi7+cosfrac5pi7+cosfrac6pi7=0$$



by considering the seventh roots of unity? If so how could we do it?



Also I have observed that



$$cosfracpi5+cosfrac2pi5+cosfrac3pi5+cosfrac4pi5=0$$



as well, so just out of curiosity, is it true that $$sum_k=1^n-1 cosfrackpin = 0$$



for all $n$ odd?










share|cite|improve this question











$endgroup$











  • $begingroup$
    Use complex numbers, something like this
    $endgroup$
    – rtybase
    8 hours ago







  • 3




    $begingroup$
    You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
    $endgroup$
    – Mark Bennet
    8 hours ago











  • $begingroup$
    Also, it works for all $n$'s, not just odd ones.
    $endgroup$
    – rtybase
    7 hours ago










  • $begingroup$
    because the unpaired one is $cos (pi /2)$
    $endgroup$
    – G Cab
    7 hours ago










  • $begingroup$
    You should research how complex numbers can also be represented as vectors
    $endgroup$
    – Chase Ryan Taylor
    6 hours ago













3












3








3





$begingroup$


Can we show that



$$cosfracpi7+cosfrac2pi7+cosfrac3pi7+cosfrac4pi7+cosfrac5pi7+cosfrac6pi7=0$$



by considering the seventh roots of unity? If so how could we do it?



Also I have observed that



$$cosfracpi5+cosfrac2pi5+cosfrac3pi5+cosfrac4pi5=0$$



as well, so just out of curiosity, is it true that $$sum_k=1^n-1 cosfrackpin = 0$$



for all $n$ odd?










share|cite|improve this question











$endgroup$




Can we show that



$$cosfracpi7+cosfrac2pi7+cosfrac3pi7+cosfrac4pi7+cosfrac5pi7+cosfrac6pi7=0$$



by considering the seventh roots of unity? If so how could we do it?



Also I have observed that



$$cosfracpi5+cosfrac2pi5+cosfrac3pi5+cosfrac4pi5=0$$



as well, so just out of curiosity, is it true that $$sum_k=1^n-1 cosfrackpin = 0$$



for all $n$ odd?







complex-numbers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 7 hours ago









Chase Ryan Taylor

4,51121531




4,51121531










asked 8 hours ago









JustWanderingJustWandering

1337




1337











  • $begingroup$
    Use complex numbers, something like this
    $endgroup$
    – rtybase
    8 hours ago







  • 3




    $begingroup$
    You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
    $endgroup$
    – Mark Bennet
    8 hours ago











  • $begingroup$
    Also, it works for all $n$'s, not just odd ones.
    $endgroup$
    – rtybase
    7 hours ago










  • $begingroup$
    because the unpaired one is $cos (pi /2)$
    $endgroup$
    – G Cab
    7 hours ago










  • $begingroup$
    You should research how complex numbers can also be represented as vectors
    $endgroup$
    – Chase Ryan Taylor
    6 hours ago
















  • $begingroup$
    Use complex numbers, something like this
    $endgroup$
    – rtybase
    8 hours ago







  • 3




    $begingroup$
    You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
    $endgroup$
    – Mark Bennet
    8 hours ago











  • $begingroup$
    Also, it works for all $n$'s, not just odd ones.
    $endgroup$
    – rtybase
    7 hours ago










  • $begingroup$
    because the unpaired one is $cos (pi /2)$
    $endgroup$
    – G Cab
    7 hours ago










  • $begingroup$
    You should research how complex numbers can also be represented as vectors
    $endgroup$
    – Chase Ryan Taylor
    6 hours ago















$begingroup$
Use complex numbers, something like this
$endgroup$
– rtybase
8 hours ago





$begingroup$
Use complex numbers, something like this
$endgroup$
– rtybase
8 hours ago





3




3




$begingroup$
You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
$endgroup$
– Mark Bennet
8 hours ago





$begingroup$
You could use that $cos (pi-theta)=-cos theta$ instead, and just pair each cosine with its negative.
$endgroup$
– Mark Bennet
8 hours ago













$begingroup$
Also, it works for all $n$'s, not just odd ones.
$endgroup$
– rtybase
7 hours ago




$begingroup$
Also, it works for all $n$'s, not just odd ones.
$endgroup$
– rtybase
7 hours ago












$begingroup$
because the unpaired one is $cos (pi /2)$
$endgroup$
– G Cab
7 hours ago




$begingroup$
because the unpaired one is $cos (pi /2)$
$endgroup$
– G Cab
7 hours ago












$begingroup$
You should research how complex numbers can also be represented as vectors
$endgroup$
– Chase Ryan Taylor
6 hours ago




$begingroup$
You should research how complex numbers can also be represented as vectors
$endgroup$
– Chase Ryan Taylor
6 hours ago










3 Answers
3






active

oldest

votes


















6












$begingroup$

Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)+cos(frac4pi7)+cos(frac5pi7)+cos(frac6pi7)=$$



$$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)-cos(frac3pi7)-cos(frac2pi7)-cos(fracpi7)=0$$



The same goes for other natural numbers $n$ instead of $7$.






share|cite|improve this answer











$endgroup$








  • 1




    $begingroup$
    and even number also
    $endgroup$
    – G Cab
    7 hours ago


















4












$begingroup$

I think you can use Euler's Formula.



The Nth roots of unity = $e^2pi k i/N$ for values of k between $0$ and $N-1$ inclusive.



There sum from k to $N-1$ is a geometric series.



$S= sum_k=0^N-1 e^2pi i k/N=frac1cdot e^(2pi i /N)N-1e^2pi i /N-1$



The numerator is zero for any N.



But the real part of $S$ is the real part of the individual terms of the sum, i.e. the cosines. The real part of the sum is zero so the sum of the real parts of the roots of unity is 0.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    <pedant>This works only for integer N greater than 1</pedant>
    $endgroup$
    – Acccumulation
    1 min ago


















1












$begingroup$

Pointing at the link I left in the comments




$$1 + costheta + cos2theta +... + cos ntheta = frac12 + fracsin[(n+frac12)theta]2sin(fractheta2)$$




Then for $forall ninmathbbN, n>0$
$$cosfracpin+1+ cosfrac2pin+1 +... + cos fracnpin+1 = fracsinleft[(n+frac12)fracpin+1right]2sinleft(fracpi2(n+1)right)-frac12=\
fracsinleft[frac2n+12(n+1)piright]2sinleft(fracpi2(n+1)right)-frac12=
fracsinleft[pi-fracpi2(n+1)right]2sinleft(fracpi2(n+1)right)-frac12=frac12-frac12=0$$






share|cite|improve this answer









$endgroup$













    Your Answer








    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%2f3234931%2fcan-we-show-a-sum-of-symmetrical-cosine-values-is-zero-by-using-roots-of-unity%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









    6












    $begingroup$

    Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)+cos(frac4pi7)+cos(frac5pi7)+cos(frac6pi7)=$$



    $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)-cos(frac3pi7)-cos(frac2pi7)-cos(fracpi7)=0$$



    The same goes for other natural numbers $n$ instead of $7$.






    share|cite|improve this answer











    $endgroup$








    • 1




      $begingroup$
      and even number also
      $endgroup$
      – G Cab
      7 hours ago















    6












    $begingroup$

    Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)+cos(frac4pi7)+cos(frac5pi7)+cos(frac6pi7)=$$



    $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)-cos(frac3pi7)-cos(frac2pi7)-cos(fracpi7)=0$$



    The same goes for other natural numbers $n$ instead of $7$.






    share|cite|improve this answer











    $endgroup$








    • 1




      $begingroup$
      and even number also
      $endgroup$
      – G Cab
      7 hours ago













    6












    6








    6





    $begingroup$

    Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)+cos(frac4pi7)+cos(frac5pi7)+cos(frac6pi7)=$$



    $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)-cos(frac3pi7)-cos(frac2pi7)-cos(fracpi7)=0$$



    The same goes for other natural numbers $n$ instead of $7$.






    share|cite|improve this answer











    $endgroup$



    Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)+cos(frac4pi7)+cos(frac5pi7)+cos(frac6pi7)=$$



    $$cos(fracpi7)+cos(frac2pi7)+cos(frac3pi7)-cos(frac3pi7)-cos(frac2pi7)-cos(fracpi7)=0$$



    The same goes for other natural numbers $n$ instead of $7$.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 1 hour ago

























    answered 8 hours ago









    Mohammad Riazi-KermaniMohammad Riazi-Kermani

    43.8k42061




    43.8k42061







    • 1




      $begingroup$
      and even number also
      $endgroup$
      – G Cab
      7 hours ago












    • 1




      $begingroup$
      and even number also
      $endgroup$
      – G Cab
      7 hours ago







    1




    1




    $begingroup$
    and even number also
    $endgroup$
    – G Cab
    7 hours ago




    $begingroup$
    and even number also
    $endgroup$
    – G Cab
    7 hours ago











    4












    $begingroup$

    I think you can use Euler's Formula.



    The Nth roots of unity = $e^2pi k i/N$ for values of k between $0$ and $N-1$ inclusive.



    There sum from k to $N-1$ is a geometric series.



    $S= sum_k=0^N-1 e^2pi i k/N=frac1cdot e^(2pi i /N)N-1e^2pi i /N-1$



    The numerator is zero for any N.



    But the real part of $S$ is the real part of the individual terms of the sum, i.e. the cosines. The real part of the sum is zero so the sum of the real parts of the roots of unity is 0.






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      <pedant>This works only for integer N greater than 1</pedant>
      $endgroup$
      – Acccumulation
      1 min ago















    4












    $begingroup$

    I think you can use Euler's Formula.



    The Nth roots of unity = $e^2pi k i/N$ for values of k between $0$ and $N-1$ inclusive.



    There sum from k to $N-1$ is a geometric series.



    $S= sum_k=0^N-1 e^2pi i k/N=frac1cdot e^(2pi i /N)N-1e^2pi i /N-1$



    The numerator is zero for any N.



    But the real part of $S$ is the real part of the individual terms of the sum, i.e. the cosines. The real part of the sum is zero so the sum of the real parts of the roots of unity is 0.






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      <pedant>This works only for integer N greater than 1</pedant>
      $endgroup$
      – Acccumulation
      1 min ago













    4












    4








    4





    $begingroup$

    I think you can use Euler's Formula.



    The Nth roots of unity = $e^2pi k i/N$ for values of k between $0$ and $N-1$ inclusive.



    There sum from k to $N-1$ is a geometric series.



    $S= sum_k=0^N-1 e^2pi i k/N=frac1cdot e^(2pi i /N)N-1e^2pi i /N-1$



    The numerator is zero for any N.



    But the real part of $S$ is the real part of the individual terms of the sum, i.e. the cosines. The real part of the sum is zero so the sum of the real parts of the roots of unity is 0.






    share|cite|improve this answer









    $endgroup$



    I think you can use Euler's Formula.



    The Nth roots of unity = $e^2pi k i/N$ for values of k between $0$ and $N-1$ inclusive.



    There sum from k to $N-1$ is a geometric series.



    $S= sum_k=0^N-1 e^2pi i k/N=frac1cdot e^(2pi i /N)N-1e^2pi i /N-1$



    The numerator is zero for any N.



    But the real part of $S$ is the real part of the individual terms of the sum, i.e. the cosines. The real part of the sum is zero so the sum of the real parts of the roots of unity is 0.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 7 hours ago









    TurlocTheRedTurlocTheRed

    1,151412




    1,151412











    • $begingroup$
      <pedant>This works only for integer N greater than 1</pedant>
      $endgroup$
      – Acccumulation
      1 min ago
















    • $begingroup$
      <pedant>This works only for integer N greater than 1</pedant>
      $endgroup$
      – Acccumulation
      1 min ago















    $begingroup$
    <pedant>This works only for integer N greater than 1</pedant>
    $endgroup$
    – Acccumulation
    1 min ago




    $begingroup$
    <pedant>This works only for integer N greater than 1</pedant>
    $endgroup$
    – Acccumulation
    1 min ago











    1












    $begingroup$

    Pointing at the link I left in the comments




    $$1 + costheta + cos2theta +... + cos ntheta = frac12 + fracsin[(n+frac12)theta]2sin(fractheta2)$$




    Then for $forall ninmathbbN, n>0$
    $$cosfracpin+1+ cosfrac2pin+1 +... + cos fracnpin+1 = fracsinleft[(n+frac12)fracpin+1right]2sinleft(fracpi2(n+1)right)-frac12=\
    fracsinleft[frac2n+12(n+1)piright]2sinleft(fracpi2(n+1)right)-frac12=
    fracsinleft[pi-fracpi2(n+1)right]2sinleft(fracpi2(n+1)right)-frac12=frac12-frac12=0$$






    share|cite|improve this answer









    $endgroup$

















      1












      $begingroup$

      Pointing at the link I left in the comments




      $$1 + costheta + cos2theta +... + cos ntheta = frac12 + fracsin[(n+frac12)theta]2sin(fractheta2)$$




      Then for $forall ninmathbbN, n>0$
      $$cosfracpin+1+ cosfrac2pin+1 +... + cos fracnpin+1 = fracsinleft[(n+frac12)fracpin+1right]2sinleft(fracpi2(n+1)right)-frac12=\
      fracsinleft[frac2n+12(n+1)piright]2sinleft(fracpi2(n+1)right)-frac12=
      fracsinleft[pi-fracpi2(n+1)right]2sinleft(fracpi2(n+1)right)-frac12=frac12-frac12=0$$






      share|cite|improve this answer









      $endgroup$















        1












        1








        1





        $begingroup$

        Pointing at the link I left in the comments




        $$1 + costheta + cos2theta +... + cos ntheta = frac12 + fracsin[(n+frac12)theta]2sin(fractheta2)$$




        Then for $forall ninmathbbN, n>0$
        $$cosfracpin+1+ cosfrac2pin+1 +... + cos fracnpin+1 = fracsinleft[(n+frac12)fracpin+1right]2sinleft(fracpi2(n+1)right)-frac12=\
        fracsinleft[frac2n+12(n+1)piright]2sinleft(fracpi2(n+1)right)-frac12=
        fracsinleft[pi-fracpi2(n+1)right]2sinleft(fracpi2(n+1)right)-frac12=frac12-frac12=0$$






        share|cite|improve this answer









        $endgroup$



        Pointing at the link I left in the comments




        $$1 + costheta + cos2theta +... + cos ntheta = frac12 + fracsin[(n+frac12)theta]2sin(fractheta2)$$




        Then for $forall ninmathbbN, n>0$
        $$cosfracpin+1+ cosfrac2pin+1 +... + cos fracnpin+1 = fracsinleft[(n+frac12)fracpin+1right]2sinleft(fracpi2(n+1)right)-frac12=\
        fracsinleft[frac2n+12(n+1)piright]2sinleft(fracpi2(n+1)right)-frac12=
        fracsinleft[pi-fracpi2(n+1)right]2sinleft(fracpi2(n+1)right)-frac12=frac12-frac12=0$$







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 7 hours ago









        rtybasertybase

        12k31534




        12k31534



























            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%2f3234931%2fcan-we-show-a-sum-of-symmetrical-cosine-values-is-zero-by-using-roots-of-unity%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

            Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

            Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

            199年 目錄 大件事 到箇年出世嗰人 到箇年死嗰人 節慶、風俗習慣 導覽選單