This discussion board is a place to discuss our Daily Challenges and the math and science
related to those challenges. Explanations are more than just a solution — they should
explain the steps and thinking strategies that you used to obtain the solution. Comments
should further the discussion of math and science.
When posting on Brilliant:
Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.
Markdown
Appears as
*italics* or _italics_
italics
**bold** or __bold__
bold
- bulleted - list
bulleted
list
1. numbered 2. list
numbered
list
Note: you must add a full line of space before and after lists for them to show up correctly
# I indented these lines
# 4 spaces, and now they show
# up as a code block.
print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.
print "hello world"
Math
Appears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3
2×3
2^{34}
234
a_{i-1}
ai−1
\frac{2}{3}
32
\sqrt{2}
2
\sum_{i=1}^3
∑i=13
\sin \theta
sinθ
\boxed{123}
123
Comments
I'm not certain what you mean by "even complex powers".
Demoivre's theorem states that (cosθ+isinθ)n=cos(nθ)+isin(nθ). This holds true for all real values of θ and integers n. If by "even complex powers", you mean n=2k for some integer k, then yes it does. It holds for all integer powers, regardless of parity.
The quick proof of it, assumes that you know Euler's formula which converts a complex number to it's trigonometric form. We have that Reiθ=R(cosθ+isinθ). This is sometimes denote as RCisθ. As such, we have
cosθ+isinθ)n=(eiθ)n=einθ=cos(nθ)+isin(nθ)
If you have not learnt Euler's formula for complex numbers (or do not know that eπi+1=0), you can still prove this by using the sum and product formulas for trigonometric functions. For example, for n=2, we have
Zi Song, that was my other interpretation. In order to make sense of that, there are other questions that should have raised first. I deal with them below.
First issue: Does the statement ab=X make sense if b is a rational number?
We find that it doesn't necessarily make sense, as square roots can take multiple values. For example, we say that 121=1 or −1. Hence, we can't say that ab=X directly, but that it takes on several values.
With this in mind, let's consider DeMoivres again. What we can say, is that (cosθ+isinθ)n has cosnθ+isinnθ) as one of its values. In the case of θ=0,n=21, we get the statement that one of the values of 121 is 1 (and the other is −1).
Second issue: Does the statement "ab takes on several values" make sense if b is an irrational real number?
What does 1π1 mean? How many values does it take on? Just 1? Or infinitely many? Certainly it can't take on π many values. I'm leaving this aside, and you can look it up if you're interested.
Third issue: If n is complex, it means that nθ is complex. Hence, we need to define cos,sin:C→C
One way to define cos,sin is through the MacLaurin Series expansion, which applies to a complex argument. For example, we have sinx=x−3!x3+5!x5−…, and can substitute x for any complex number. Technically, we say that this makes cos,sin:C→C an analytic continuation of cos,sin:R→R
Having dealt with these issues, what we can say is that (cosw+isinw)z has coszw+isinzw as one of its values, for z,w∈C. The easiest proof, is once again using Euler's formula, and checking that the trigonometric form holds even when θ is complex, and that exponentiation laws hold for complex numbers.
For example, e−1=cosi+isini. Note that since cosi,sini are no longer real values, we cannot compare real and imaginary parts and claim that cosi=e1 and that sini=0 (because that's not true). However, you can use the MacLaurin expansion to calculate these values.
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
I'm not certain what you mean by "even complex powers".
Demoivre's theorem states that (cosθ+isinθ)n=cos(nθ)+isin(nθ). This holds true for all real values of θ and integers n. If by "even complex powers", you mean n=2k for some integer k, then yes it does. It holds for all integer powers, regardless of parity.
The quick proof of it, assumes that you know Euler's formula which converts a complex number to it's trigonometric form. We have that Reiθ=R(cosθ+isinθ). This is sometimes denote as RCisθ. As such, we have
cosθ+isinθ)n=(eiθ)n=einθ=cos(nθ)+isin(nθ)
If you have not learnt Euler's formula for complex numbers (or do not know that eπi+1=0), you can still prove this by using the sum and product formulas for trigonometric functions. For example, for n=2, we have
(cosθ+isinθ)2=cos2θ+2icosθsinθ+i2sin2θ=(cos2θ−sin2θ)+i(2sinθcosθ)=cos(2θ)+isin(2θ).
For the complete proof, proceed by induction:
(cosθ+isinθ)k+1=(cosθ+isinθ)k×(cosθ+isinθ)1=[cos(kθ)+isin(kθ)]×(cosθ+isinθ)1=[cos(kθ)cosθ−sin(kθ)sinθ]+i[sin(kθ)cosθ+cos(kθ)sinθ]=cos(k+1)θ+isin(k+1)θ.
I think Pranav means (cosθ+isinθ)n where n is complex
Zi Song, that was my other interpretation. In order to make sense of that, there are other questions that should have raised first. I deal with them below.
First issue: Does the statement ab=X make sense if b is a rational number?
We find that it doesn't necessarily make sense, as square roots can take multiple values. For example, we say that 121=1 or −1. Hence, we can't say that ab=X directly, but that it takes on several values.
With this in mind, let's consider DeMoivres again. What we can say, is that (cosθ+isinθ)n has cosnθ+isinnθ) as one of its values. In the case of θ=0,n=21, we get the statement that one of the values of 121 is 1 (and the other is −1).
Second issue: Does the statement "ab takes on several values" make sense if b is an irrational real number?
What does 1π1 mean? How many values does it take on? Just 1? Or infinitely many? Certainly it can't take on π many values. I'm leaving this aside, and you can look it up if you're interested.
Third issue: If n is complex, it means that nθ is complex. Hence, we need to define cos,sin:C→C
One way to define cos,sin is through the MacLaurin Series expansion, which applies to a complex argument. For example, we have sinx=x−3!x3+5!x5−…, and can substitute x for any complex number. Technically, we say that this makes cos,sin:C→C an analytic continuation of cos,sin:R→R
Having dealt with these issues, what we can say is that (cosw+isinw)z has coszw+isinzw as one of its values, for z,w∈C. The easiest proof, is once again using Euler's formula, and checking that the trigonometric form holds even when θ is complex, and that exponentiation laws hold for complex numbers.
For example, e−1=cosi+isini. Note that since cosi,sini are no longer real values, we cannot compare real and imaginary parts and claim that cosi=e1 and that sini=0 (because that's not true). However, you can use the MacLaurin expansion to calculate these values.