Can we show a sum of symmetrical cosine values is zero by using roots of unity?Proving complex series $1 +...
Why did other houses not demand this?
Security vulnerabilities of POST over SSL
USPS Back Room - Trespassing?
How was Daenerys able to legitimise Gendry?
Why is the Eisenstein ideal paper so great?
How does the Earth's center produce heat?
“For nothing” = “pour rien”?
Why isn't 'chemically-strengthened glass' made with potassium carbonate? To begin with?
How to determine if a hyphen (-) exists inside a column
Final exams: What is the most common protocol for scheduling?
How would a developer who mostly fixed bugs for years at a company call out their contributions in their CV?
How to ethically utilize ability to transfer life from one human to another?
Why would a rational buyer offer to buy with no conditions precedent?
...And they were stumped for a long time
How to politely tell someone they did not hit reply all in email?
Testing using real data of the customer
Variable declaraton with extra in C
Why does the hash of infinity have the digits of π?
How did NASA Langley end up with the first 737?
Python program for fibonacci sequence using a recursive function
Must a warlock replace spells with new spells of exactly their Pact Magic spell slot level?
Why sampling a periodic signal doesn't yield a periodic discrete signal?
Does French have the English "short i" vowel?
Why is unzipped directory exactly 4.0k (much smaller than zipped file)?
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
$$cosfrac{pi}{7}+cosfrac{2pi}{7}+cosfrac{3pi}{7}+cosfrac{4pi}{7}+cosfrac{5pi}{7}+cosfrac{6pi}{7}=0$$
by considering the seventh roots of unity? If so how could we do it?
Also I have observed that
$$cosfrac{pi}{5}+cosfrac{2pi}{5}+cosfrac{3pi}{5}+cosfrac{4pi}{5}=0$$
as well, so just out of curiosity, is it true that $$sum_{k=1}^{n-1} cosfrac{kpi}{n} = 0$$
for all $n$ odd?
complex-numbers
$endgroup$
|
show 2 more comments
$begingroup$
Can we show that
$$cosfrac{pi}{7}+cosfrac{2pi}{7}+cosfrac{3pi}{7}+cosfrac{4pi}{7}+cosfrac{5pi}{7}+cosfrac{6pi}{7}=0$$
by considering the seventh roots of unity? If so how could we do it?
Also I have observed that
$$cosfrac{pi}{5}+cosfrac{2pi}{5}+cosfrac{3pi}{5}+cosfrac{4pi}{5}=0$$
as well, so just out of curiosity, is it true that $$sum_{k=1}^{n-1} cosfrac{kpi}{n} = 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
8 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
|
show 2 more comments
$begingroup$
Can we show that
$$cosfrac{pi}{7}+cosfrac{2pi}{7}+cosfrac{3pi}{7}+cosfrac{4pi}{7}+cosfrac{5pi}{7}+cosfrac{6pi}{7}=0$$
by considering the seventh roots of unity? If so how could we do it?
Also I have observed that
$$cosfrac{pi}{5}+cosfrac{2pi}{5}+cosfrac{3pi}{5}+cosfrac{4pi}{5}=0$$
as well, so just out of curiosity, is it true that $$sum_{k=1}^{n-1} cosfrac{kpi}{n} = 0$$
for all $n$ odd?
complex-numbers
$endgroup$
Can we show that
$$cosfrac{pi}{7}+cosfrac{2pi}{7}+cosfrac{3pi}{7}+cosfrac{4pi}{7}+cosfrac{5pi}{7}+cosfrac{6pi}{7}=0$$
by considering the seventh roots of unity? If so how could we do it?
Also I have observed that
$$cosfrac{pi}{5}+cosfrac{2pi}{5}+cosfrac{3pi}{5}+cosfrac{4pi}{5}=0$$
as well, so just out of curiosity, is it true that $$sum_{k=1}^{n-1} cosfrac{kpi}{n} = 0$$
for all $n$ odd?
complex-numbers
complex-numbers
edited 8 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
8 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
|
show 2 more comments
$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
8 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
8 hours ago
$begingroup$
Also, it works for all $n$'s, not just odd ones.
$endgroup$
– rtybase
8 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
|
show 2 more comments
3 Answers
3
active
oldest
votes
$begingroup$
Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})+cos(frac{4pi}{7})+cos(frac{5pi}{7})+cos(frac{6pi}{7})=$$
$$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})-cos(frac{3pi}{7})-cos(frac{2pi}{7})-cos(frac{pi}{7})=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}=frac{1cdot e^{(2pi i /N)N}-1}{e^{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
23 mins ago
add a comment |
$begingroup$
Pointing at the link I left in the comments
$$1 + costheta + cos2theta +... + cos ntheta = frac{1}{2} + frac{sin[(n+frac{1}{2})theta]}{2sin(frac{theta}{2})}$$
Then for $forall ninmathbb{N}, n>0$
$$cosfrac{pi}{n+1}+ cosfrac{2pi}{n+1} +... + cos frac{npi}{n+1} = frac{sinleft[(n+frac{1}{2})frac{pi}{n+1}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=\
frac{sinleft[frac{2n+1}{2(n+1)}piright]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=
frac{sinleft[pi-frac{pi}{2(n+1)}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=frac{1}{2}-frac{1}{2}=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(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})+cos(frac{4pi}{7})+cos(frac{5pi}{7})+cos(frac{6pi}{7})=$$
$$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})-cos(frac{3pi}{7})-cos(frac{2pi}{7})-cos(frac{pi}{7})=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(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})+cos(frac{4pi}{7})+cos(frac{5pi}{7})+cos(frac{6pi}{7})=$$
$$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})-cos(frac{3pi}{7})-cos(frac{2pi}{7})-cos(frac{pi}{7})=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(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})+cos(frac{4pi}{7})+cos(frac{5pi}{7})+cos(frac{6pi}{7})=$$
$$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})-cos(frac{3pi}{7})-cos(frac{2pi}{7})-cos(frac{pi}{7})=0$$
The same goes for other natural numbers $n$ instead of $7$.
$endgroup$
Note that $$cos(pi - alpha)= - cos(alpha)$$ Therefore $$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})+cos(frac{4pi}{7})+cos(frac{5pi}{7})+cos(frac{6pi}{7})=$$
$$cos(frac{pi}{7})+cos(frac{2pi}{7})+cos(frac{3pi}{7})-cos(frac{3pi}{7})-cos(frac{2pi}{7})-cos(frac{pi}{7})=0$$
The same goes for other natural numbers $n$ instead of $7$.
edited 2 hours 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}=frac{1cdot e^{(2pi i /N)N}-1}{e^{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
23 mins 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}=frac{1cdot e^{(2pi i /N)N}-1}{e^{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
23 mins 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}=frac{1cdot e^{(2pi i /N)N}-1}{e^{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}=frac{1cdot e^{(2pi i /N)N}-1}{e^{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 8 hours ago
TurlocTheRedTurlocTheRed
1,151412
1,151412
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
23 mins ago
add a comment |
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
23 mins ago
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
23 mins ago
$begingroup$
<pedant>This works only for integer N greater than 1</pedant>
$endgroup$
– Acccumulation
23 mins ago
add a comment |
$begingroup$
Pointing at the link I left in the comments
$$1 + costheta + cos2theta +... + cos ntheta = frac{1}{2} + frac{sin[(n+frac{1}{2})theta]}{2sin(frac{theta}{2})}$$
Then for $forall ninmathbb{N}, n>0$
$$cosfrac{pi}{n+1}+ cosfrac{2pi}{n+1} +... + cos frac{npi}{n+1} = frac{sinleft[(n+frac{1}{2})frac{pi}{n+1}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=\
frac{sinleft[frac{2n+1}{2(n+1)}piright]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=
frac{sinleft[pi-frac{pi}{2(n+1)}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=frac{1}{2}-frac{1}{2}=0$$
$endgroup$
add a comment |
$begingroup$
Pointing at the link I left in the comments
$$1 + costheta + cos2theta +... + cos ntheta = frac{1}{2} + frac{sin[(n+frac{1}{2})theta]}{2sin(frac{theta}{2})}$$
Then for $forall ninmathbb{N}, n>0$
$$cosfrac{pi}{n+1}+ cosfrac{2pi}{n+1} +... + cos frac{npi}{n+1} = frac{sinleft[(n+frac{1}{2})frac{pi}{n+1}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=\
frac{sinleft[frac{2n+1}{2(n+1)}piright]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=
frac{sinleft[pi-frac{pi}{2(n+1)}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=frac{1}{2}-frac{1}{2}=0$$
$endgroup$
add a comment |
$begingroup$
Pointing at the link I left in the comments
$$1 + costheta + cos2theta +... + cos ntheta = frac{1}{2} + frac{sin[(n+frac{1}{2})theta]}{2sin(frac{theta}{2})}$$
Then for $forall ninmathbb{N}, n>0$
$$cosfrac{pi}{n+1}+ cosfrac{2pi}{n+1} +... + cos frac{npi}{n+1} = frac{sinleft[(n+frac{1}{2})frac{pi}{n+1}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=\
frac{sinleft[frac{2n+1}{2(n+1)}piright]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=
frac{sinleft[pi-frac{pi}{2(n+1)}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=frac{1}{2}-frac{1}{2}=0$$
$endgroup$
Pointing at the link I left in the comments
$$1 + costheta + cos2theta +... + cos ntheta = frac{1}{2} + frac{sin[(n+frac{1}{2})theta]}{2sin(frac{theta}{2})}$$
Then for $forall ninmathbb{N}, n>0$
$$cosfrac{pi}{n+1}+ cosfrac{2pi}{n+1} +... + cos frac{npi}{n+1} = frac{sinleft[(n+frac{1}{2})frac{pi}{n+1}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=\
frac{sinleft[frac{2n+1}{2(n+1)}piright]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=
frac{sinleft[pi-frac{pi}{2(n+1)}right]}{2sinleft(frac{pi}{2(n+1)}right)}-frac{1}{2}=frac{1}{2}-frac{1}{2}=0$$
answered 8 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
8 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