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]
Why does splatting create a tuple on the rhs but a list on the lhs?
Are cells guaranteed to get at least one mitochondrion when they divide?
Why did it take so long for Germany to allow electric scooters / e-rollers on the roads?
Why A=2 and B=1 in the call signs for Spirit and Opportunity?
Are there any German nonsense poems (Jabberwocky)?
What tokens are in the end of line?
A burglar's sunglasses, a lady's odyssey
How would a developer who mostly fixed bugs for years at a company call out their contributions in their CV?
Why is 'additive' EQ more difficult to use than 'subtractive'?
Can a ring of spell storing and access to Find spells produce an endless menagerie?
Can we show a sum of symmetrical cosine values is zero by using roots of unity?
Security vulnerabilities of POST over SSL
Why isn't Tyrion mentioned in the in-universe book "A Song of Ice and Fire"?
Why does the hash of infinity have the digits of π?
How does the Earth's center produce heat?
Looping over charts and names simultaneously
Using too much dialogue?
Grade-school elementary algebra presented in an abstract-algebra style?
Need to read my home electrical Meter
What weight should be given to writers groups critiques?
What could a self-sustaining lunar colony slowly lose that would ultimately prove fatal?
Python program for fibonacci sequence using a recursive function
Is there a simple example that empirical evidence is misleading?
Why isn't 'chemically-strengthened glass' made with potassium carbonate? To begin with?
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]
$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?
complex-numbers
$endgroup$
add a comment |
$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?
complex-numbers
$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
add a comment |
$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?
complex-numbers
$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
complex-numbers
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
add a comment |
$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
add a comment |
3 Answers
3
active
oldest
votes
$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$.
$endgroup$
1
$begingroup$
and even number also
$endgroup$
– G Cab
7 hours ago
add a comment |
$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.
$endgroup$
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
add a comment |
$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$$
$endgroup$
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$.
$endgroup$
1
$begingroup$
and even number also
$endgroup$
– G Cab
7 hours ago
add a comment |
$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$.
$endgroup$
1
$begingroup$
and even number also
$endgroup$
– G Cab
7 hours ago
add a comment |
$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$.
$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$.
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
add a comment |
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
add a comment |
$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.
$endgroup$
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
add a comment |
$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.
$endgroup$
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
add a comment |
$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.
$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.
answered 7 hours ago
TurlocTheRedTurlocTheRed
1,151412
1,151412
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
add a comment |
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
24 secs ago
add a comment |
$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$$
$endgroup$
add a comment |
$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$$
$endgroup$
add a comment |
$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$$
$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$$
answered 7 hours ago
rtybasertybase
12k31534
12k31534
add a comment |
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$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