How to find the exact value of $ cos(36^circ) $? [duplicate]Exact value for $cos 36°$Is there a closed form for $cos(fracpi5)$?Trigonometry with multiple angle and exact value of $tanpi/5$calculate a trigonometric expression related to $sin(pi/5)$Exact value of $tan 50^circ$Proving the closed form of $sin48^circ$Diameter of a circle inscribing a regular pentagonSolve $sin(fracpi5)$ analyticallyExact value for $cos 36°$Exact value of $tan 50^circ$If $ cos(theta) = - frac23 $ and $ 450^circ < theta < 540^circ $, find…find exact value of $sin(10^circ)$Solve: $cos(theta + 25^circ) + sin(theta +65^circ) = 1$Find the numerical value of $sin 10^circ sin 50^circ sin 70^circ$.$cos^2 70^circ + cos 25^circ.sin 25^circ$Prove that $frac(sin 20^circ + cos 20^circ)^2cos 40^circ = cot 25^circ$Trigonometry Exact Value using Half Angle IdentityWhat tiresome procedure can I follow to find the exact value of inverse trigonometric functions?
GPS Rollover on Android Smartphones
Why did the Germans forbid the possession of pet pigeons in Rostov-on-Don in 1941?
How can bays and straits be determined in a procedurally generated map?
How to get the available space of $HOME as a variable in shell scripting?
How old can references or sources in a thesis be?
Is it tax fraud for an individual to declare non-taxable revenue as taxable income? (US tax laws)
A Journey Through Space and Time
What would the Romans have called "sorcery"?
Question about Goedel's incompleteness Proof
Why are only specific transaction types accepted into the mempool?
How can the DM most effectively choose 1 out of an odd number of players to be targeted by an attack or effect?
Motorized valve interfering with button?
DOS, create pipe for stdin/stdout of command.com(or 4dos.com) in C or Batch?
How did the USSR manage to innovate in an environment characterized by government censorship and high bureaucracy?
Validation accuracy vs Testing accuracy
Download, install and reboot computer at night if needed
When blogging recipes, how can I support both readers who want the narrative/journey and ones who want the printer-friendly recipe?
Can a German sentence have two subjects?
Is there a familial term for apples and pears?
How to make payment on the internet without leaving a money trail?
How long does it take to type this?
Why don't electromagnetic waves interact with each other?
Is there really no realistic way for a skeleton monster to move around without magic?
Email Account under attack (really) - anything I can do?
How to find the exact value of $ cos(36^circ) $? [duplicate]
Exact value for $cos 36°$Is there a closed form for $cos(fracpi5)$?Trigonometry with multiple angle and exact value of $tanpi/5$calculate a trigonometric expression related to $sin(pi/5)$Exact value of $tan 50^circ$Proving the closed form of $sin48^circ$Diameter of a circle inscribing a regular pentagonSolve $sin(fracpi5)$ analyticallyExact value for $cos 36°$Exact value of $tan 50^circ$If $ cos(theta) = - frac23 $ and $ 450^circ < theta < 540^circ $, find…find exact value of $sin(10^circ)$Solve: $cos(theta + 25^circ) + sin(theta +65^circ) = 1$Find the numerical value of $sin 10^circ sin 50^circ sin 70^circ$.$cos^2 70^circ + cos 25^circ.sin 25^circ$Prove that $frac(sin 20^circ + cos 20^circ)^2cos 40^circ = cot 25^circ$Trigonometry Exact Value using Half Angle IdentityWhat tiresome procedure can I follow to find the exact value of inverse trigonometric functions?
$begingroup$
This question already has an answer here:
Exact value for $cos 36°$
8 answers
The problem reads as follows:
Noting that $t=fracpi5$ satisfies $3t=pi-2t$, find the exact value of
$$cos(36^circ)$$
it says that you may find useful the following identities:
$$cos^2 t+sin^2 t = 1,\
sin 2t = 2sin tcos t,\
sin 3t = 3sin t - 4sin^3 t.
$$
Do I have to do a system of linear equations in function of ..what? $t$? $cos$?
Thanks in advance :)
trigonometry
$endgroup$
marked as duplicate by Xander Henderson, José Carlos Santos, Cesareo, YiFan, Eevee Trainer Mar 30 at 1:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
add a comment |
$begingroup$
This question already has an answer here:
Exact value for $cos 36°$
8 answers
The problem reads as follows:
Noting that $t=fracpi5$ satisfies $3t=pi-2t$, find the exact value of
$$cos(36^circ)$$
it says that you may find useful the following identities:
$$cos^2 t+sin^2 t = 1,\
sin 2t = 2sin tcos t,\
sin 3t = 3sin t - 4sin^3 t.
$$
Do I have to do a system of linear equations in function of ..what? $t$? $cos$?
Thanks in advance :)
trigonometry
$endgroup$
marked as duplicate by Xander Henderson, José Carlos Santos, Cesareo, YiFan, Eevee Trainer Mar 30 at 1:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
1
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30
add a comment |
$begingroup$
This question already has an answer here:
Exact value for $cos 36°$
8 answers
The problem reads as follows:
Noting that $t=fracpi5$ satisfies $3t=pi-2t$, find the exact value of
$$cos(36^circ)$$
it says that you may find useful the following identities:
$$cos^2 t+sin^2 t = 1,\
sin 2t = 2sin tcos t,\
sin 3t = 3sin t - 4sin^3 t.
$$
Do I have to do a system of linear equations in function of ..what? $t$? $cos$?
Thanks in advance :)
trigonometry
$endgroup$
This question already has an answer here:
Exact value for $cos 36°$
8 answers
The problem reads as follows:
Noting that $t=fracpi5$ satisfies $3t=pi-2t$, find the exact value of
$$cos(36^circ)$$
it says that you may find useful the following identities:
$$cos^2 t+sin^2 t = 1,\
sin 2t = 2sin tcos t,\
sin 3t = 3sin t - 4sin^3 t.
$$
Do I have to do a system of linear equations in function of ..what? $t$? $cos$?
Thanks in advance :)
This question already has an answer here:
Exact value for $cos 36°$
8 answers
trigonometry
trigonometry
edited Mar 29 at 19:40
Xander Henderson
15.1k103556
15.1k103556
asked Feb 11 '13 at 8:05
Maximilian1988Maximilian1988
5634820
5634820
marked as duplicate by Xander Henderson, José Carlos Santos, Cesareo, YiFan, Eevee Trainer Mar 30 at 1:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
marked as duplicate by Xander Henderson, José Carlos Santos, Cesareo, YiFan, Eevee Trainer Mar 30 at 1:15
This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.
1
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30
add a comment |
1
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30
1
1
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30
add a comment |
7 Answers
7
active
oldest
votes
$begingroup$
Let $t=fracpi5$ (so $t$ is $36^circ$). Since $108=180-72$, we have $3t=pi-2t$ and therefore
$$sin(3t)=sin(pi-2t).$$
But $sin(pi-2t)=sin(2t)=2sin tcos t$.
Also, by the identity you were given, $sin(3t)=3sin t-4sin^3 t$. Thus
$$3sin t-4sin^3 t=2sin tcos t.$$
But $sin tne 0$, so we can cancel a $sin t$ and obtain
$$3-4sin^2 t=2cos t.$$
Substitute $1-cos^2 t$ for $sin^2 t$ and simplify a bit. We get
$$4cos^2 t-2cos t-1=0.$$
Use the Quadratic Formula to solve this quadratic equation for $cos t$, rejecting the negative root. We get
$$cos t=frac2+sqrt208.$$
We can simplify this to $dfrac1+sqrt54.$
$endgroup$
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
add a comment |
$begingroup$
To find $cospi/5$, note that
$$sin(3 pi/5) = sin(2 pi/5)$$
and
$$sin(3 pi/5) = 3 sin(pi/5) - 4 sin^3(pi/5) = 2 sin(pi/5) cos(pi/5)$$
Thus
$$2 cos(pi/5) = 3 - 4 sin^2(pi/5) = 4 cos^2(pi/5) - 1$$
Let $y=cos(pi/5)$. Then
$$4 y^2-2 y-1=0 implies y = frac1 + sqrt54$$
because $y>0$. Thus, $cos(pi/5) = (1+sqrt5)/4$.
$endgroup$
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
add a comment |
$begingroup$
Since rlgordonma has given the answer suggested by the supplied hint, here is another method of computing $cos(pi/5)$.
In this answer, it is shown that
$$
tan(5theta)=frac5tan(theta)-10tan^3(theta)+tan^5(theta)1-10tan^2(theta)+5tan^4(theta)
$$
which, since $tan(pi/2)=infty$, implies that
$$
5tan^4(pi/10)-10tan^2(pi/10)+1=0
$$
which, by the quadratic formula, yields
$$
tan^2(pi/10)=frac5-2sqrt55
$$
Adding $1$ and taking the reciprocal yields
$$
frac1+cos(pi/5)2=cos^2(pi/10)=frac5+sqrt58
$$
Therefore,
$$
cos(pi/5)=frac1+sqrt54=phi/2
$$
where $phi$ is the Golden Ratio.
$endgroup$
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
add a comment |
$begingroup$
Here is a way using roots of unity.
We have $cos 36 = fracomega + omega^-12$ where $omega = textexp left ( frac2 pi10 right )$. We have $-w$ is a primitive $5^th$ root of unity, so it follows $omega^4 - omega^3 + omega^2 - omega + 1 = 0$. Now, $x^4 - x^3 + x^2 - x + 1 = x^2(x^2 - x + 1 - frac1x + frac1x^2) = x^2left ( left (x + frac1x right )^2 - left (x + frac1x right ) -1 right )$. Thus $0 = omega^2 cdot ((2 cos 36)^2 - (2 cos 36) - 1)$. Therefore $4 cos^3 36 - 2 cos 36 - 1 = 0$. Using the quadratic formula we then arrive at $$cos 36 = frac1 + sqrt54$$
$endgroup$
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
add a comment |
$begingroup$
http://mathuprising.comlu.com/images/pentagon.png
This is a graphic that I created for my website about 2 days ago. Using $Delta ABC$ invoke the Law of Cosines ($angle BAC = angle BCA = 36^circ$).
$endgroup$
add a comment |
$begingroup$
BEGIN QUOTE: Ptolemy used geometric reasoning based on Proposition 10 of Book XIII of Euclid's Elements to find the chords of $72^circ$ and $36^circ$. That Proposition states that if an equilateral pentagon is inscribed in a circle, then the area of the square on the side of the pentagon equals the sum of the areas of the squares on the sides of the hexagon and the decagon inscribed in the same circle. END QUOTE
http://en.wikipedia.org/wiki/Ptolemy%27s_table_of_chords#How_Ptolemy_computed_chords
Finding the chord of $72^circ$ amounts to finding the sine of $36^circ$.
Here is Proposition 10 of Book VIII.
$endgroup$
add a comment |
$begingroup$
Another with roots of unity ...
Let $omega:=expleft(fracpi i5right)$ and $phi$ is the golden ratio defined via relation $$phi^2:=phi+1qquad|quadphi>0taga$$i.e., explicitly : $phi=frac1+sqrt52$ (but only (a) is sufficient to proceed further through this text, without radicals of 5's at start), then following holds true :
Via Euler's formula: $$Reomega=Rebigg expleft(fracpi i5right) bigg = cos left(fracpi5right)$$
Similarly
$$Imomega=sin left(fracpi5right)$$
Moreover, it's clear, by properities of the function cosine (resp. sine) on the interval $(0,fracpi2)$, that $$Reomega>0qquadmathrmresp.qquadImomega>0tag0$$ By Moivre's formula also $$omega^5 = e^ipi=-1$$
I.e.:
$$omega^5+1=0$$
Since $omeganeq -1$ we divide this by factor $omega+1$, hence
$$omega^4-omega^3+omega^2-omega+1=0tag1$$
This could be wieved as a polynomial degree 4 in $omega$, so we may guess, it can be factorised more suggesting :
$$omega^4-omega^3+omega^2-omega+1 = (omega^2-alphaomega+1)(omega^2-betaomega+1)tag2$$
Expanding out we get a system for $alpha$ and $beta$ :
$$alpha+beta=1$$
$$alphabeta=-1$$
Subctracting $phi$ in the equation for golden ratio and dividing through $phi$ we get an equivalent relation $$phi-frac1phi=1tagb$$
So the conditions for $alpha$ and $beta$ are met when :
$$alpha=phi$$ $$beta=-frac1phi$$
Now we have from $(1)$ and $(2)$ two quadratic equations for $omega$ :
$$omega=fracalpha2pmfrac12sqrtalpha^2-4qquad mathrmorqquad omega=fracbeta2pmfrac12sqrtbeta^2-4tag3$$
Dividing $(b)$ by $phi$ and rearanging we get
$$frac1phi=1-frac1phi^2tagc$$
So then $$alpha^2-4=phi^2-4overset(a)=phi-3overset(b)=frac1phi-2overset(c)=-frac1phi^2-1<0 quadmathrmsincequad phi>0$$
... and also ... $$beta^2-4=frac1phi^2-4overset(c)=-frac1phi-3<0 quadmathrmsincequad phi>0$$
Taking square roots make us some imaginary numbers, from (3) then, taking real part
$$Reomega=fracalpha2qquad mathrmorqquad Reomega=fracbeta2$$
However, since $beta=-frac1phi<0$ is by $(0)$ and $(3)$ nessesarily and uniquely :
$$omega=fracalpha2+fraci2sqrt4-alpha^2=fracphi2+fraci2sqrt3-phi$$
Ergo
$$cosleft(fracpi5right)=Reomega=fracphi2=frac1+sqrt54$$
and, as a bonus :
$$sinleft(fracpi5right)=Imomega=frac12sqrt3-phi=fracsqrt5-sqrt54$$
$endgroup$
add a comment |
7 Answers
7
active
oldest
votes
7 Answers
7
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let $t=fracpi5$ (so $t$ is $36^circ$). Since $108=180-72$, we have $3t=pi-2t$ and therefore
$$sin(3t)=sin(pi-2t).$$
But $sin(pi-2t)=sin(2t)=2sin tcos t$.
Also, by the identity you were given, $sin(3t)=3sin t-4sin^3 t$. Thus
$$3sin t-4sin^3 t=2sin tcos t.$$
But $sin tne 0$, so we can cancel a $sin t$ and obtain
$$3-4sin^2 t=2cos t.$$
Substitute $1-cos^2 t$ for $sin^2 t$ and simplify a bit. We get
$$4cos^2 t-2cos t-1=0.$$
Use the Quadratic Formula to solve this quadratic equation for $cos t$, rejecting the negative root. We get
$$cos t=frac2+sqrt208.$$
We can simplify this to $dfrac1+sqrt54.$
$endgroup$
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
add a comment |
$begingroup$
Let $t=fracpi5$ (so $t$ is $36^circ$). Since $108=180-72$, we have $3t=pi-2t$ and therefore
$$sin(3t)=sin(pi-2t).$$
But $sin(pi-2t)=sin(2t)=2sin tcos t$.
Also, by the identity you were given, $sin(3t)=3sin t-4sin^3 t$. Thus
$$3sin t-4sin^3 t=2sin tcos t.$$
But $sin tne 0$, so we can cancel a $sin t$ and obtain
$$3-4sin^2 t=2cos t.$$
Substitute $1-cos^2 t$ for $sin^2 t$ and simplify a bit. We get
$$4cos^2 t-2cos t-1=0.$$
Use the Quadratic Formula to solve this quadratic equation for $cos t$, rejecting the negative root. We get
$$cos t=frac2+sqrt208.$$
We can simplify this to $dfrac1+sqrt54.$
$endgroup$
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
add a comment |
$begingroup$
Let $t=fracpi5$ (so $t$ is $36^circ$). Since $108=180-72$, we have $3t=pi-2t$ and therefore
$$sin(3t)=sin(pi-2t).$$
But $sin(pi-2t)=sin(2t)=2sin tcos t$.
Also, by the identity you were given, $sin(3t)=3sin t-4sin^3 t$. Thus
$$3sin t-4sin^3 t=2sin tcos t.$$
But $sin tne 0$, so we can cancel a $sin t$ and obtain
$$3-4sin^2 t=2cos t.$$
Substitute $1-cos^2 t$ for $sin^2 t$ and simplify a bit. We get
$$4cos^2 t-2cos t-1=0.$$
Use the Quadratic Formula to solve this quadratic equation for $cos t$, rejecting the negative root. We get
$$cos t=frac2+sqrt208.$$
We can simplify this to $dfrac1+sqrt54.$
$endgroup$
Let $t=fracpi5$ (so $t$ is $36^circ$). Since $108=180-72$, we have $3t=pi-2t$ and therefore
$$sin(3t)=sin(pi-2t).$$
But $sin(pi-2t)=sin(2t)=2sin tcos t$.
Also, by the identity you were given, $sin(3t)=3sin t-4sin^3 t$. Thus
$$3sin t-4sin^3 t=2sin tcos t.$$
But $sin tne 0$, so we can cancel a $sin t$ and obtain
$$3-4sin^2 t=2cos t.$$
Substitute $1-cos^2 t$ for $sin^2 t$ and simplify a bit. We get
$$4cos^2 t-2cos t-1=0.$$
Use the Quadratic Formula to solve this quadratic equation for $cos t$, rejecting the negative root. We get
$$cos t=frac2+sqrt208.$$
We can simplify this to $dfrac1+sqrt54.$
answered Feb 11 '13 at 8:26
André NicolasAndré Nicolas
455k36432820
455k36432820
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
add a comment |
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
Very well explained, thanks very much :) deeply appreciated
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
add a comment |
$begingroup$
To find $cospi/5$, note that
$$sin(3 pi/5) = sin(2 pi/5)$$
and
$$sin(3 pi/5) = 3 sin(pi/5) - 4 sin^3(pi/5) = 2 sin(pi/5) cos(pi/5)$$
Thus
$$2 cos(pi/5) = 3 - 4 sin^2(pi/5) = 4 cos^2(pi/5) - 1$$
Let $y=cos(pi/5)$. Then
$$4 y^2-2 y-1=0 implies y = frac1 + sqrt54$$
because $y>0$. Thus, $cos(pi/5) = (1+sqrt5)/4$.
$endgroup$
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
add a comment |
$begingroup$
To find $cospi/5$, note that
$$sin(3 pi/5) = sin(2 pi/5)$$
and
$$sin(3 pi/5) = 3 sin(pi/5) - 4 sin^3(pi/5) = 2 sin(pi/5) cos(pi/5)$$
Thus
$$2 cos(pi/5) = 3 - 4 sin^2(pi/5) = 4 cos^2(pi/5) - 1$$
Let $y=cos(pi/5)$. Then
$$4 y^2-2 y-1=0 implies y = frac1 + sqrt54$$
because $y>0$. Thus, $cos(pi/5) = (1+sqrt5)/4$.
$endgroup$
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
add a comment |
$begingroup$
To find $cospi/5$, note that
$$sin(3 pi/5) = sin(2 pi/5)$$
and
$$sin(3 pi/5) = 3 sin(pi/5) - 4 sin^3(pi/5) = 2 sin(pi/5) cos(pi/5)$$
Thus
$$2 cos(pi/5) = 3 - 4 sin^2(pi/5) = 4 cos^2(pi/5) - 1$$
Let $y=cos(pi/5)$. Then
$$4 y^2-2 y-1=0 implies y = frac1 + sqrt54$$
because $y>0$. Thus, $cos(pi/5) = (1+sqrt5)/4$.
$endgroup$
To find $cospi/5$, note that
$$sin(3 pi/5) = sin(2 pi/5)$$
and
$$sin(3 pi/5) = 3 sin(pi/5) - 4 sin^3(pi/5) = 2 sin(pi/5) cos(pi/5)$$
Thus
$$2 cos(pi/5) = 3 - 4 sin^2(pi/5) = 4 cos^2(pi/5) - 1$$
Let $y=cos(pi/5)$. Then
$$4 y^2-2 y-1=0 implies y = frac1 + sqrt54$$
because $y>0$. Thus, $cos(pi/5) = (1+sqrt5)/4$.
edited Feb 11 '13 at 8:28
answered Feb 11 '13 at 8:19
Ron GordonRon Gordon
123k14156267
123k14156267
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
add a comment |
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
Thanks very much Rlgordonma :)
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:31
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
$begingroup$
This is definitely the route the hints were indicating (+1).
$endgroup$
– robjohn♦
Feb 11 '13 at 9:02
add a comment |
$begingroup$
Since rlgordonma has given the answer suggested by the supplied hint, here is another method of computing $cos(pi/5)$.
In this answer, it is shown that
$$
tan(5theta)=frac5tan(theta)-10tan^3(theta)+tan^5(theta)1-10tan^2(theta)+5tan^4(theta)
$$
which, since $tan(pi/2)=infty$, implies that
$$
5tan^4(pi/10)-10tan^2(pi/10)+1=0
$$
which, by the quadratic formula, yields
$$
tan^2(pi/10)=frac5-2sqrt55
$$
Adding $1$ and taking the reciprocal yields
$$
frac1+cos(pi/5)2=cos^2(pi/10)=frac5+sqrt58
$$
Therefore,
$$
cos(pi/5)=frac1+sqrt54=phi/2
$$
where $phi$ is the Golden Ratio.
$endgroup$
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
add a comment |
$begingroup$
Since rlgordonma has given the answer suggested by the supplied hint, here is another method of computing $cos(pi/5)$.
In this answer, it is shown that
$$
tan(5theta)=frac5tan(theta)-10tan^3(theta)+tan^5(theta)1-10tan^2(theta)+5tan^4(theta)
$$
which, since $tan(pi/2)=infty$, implies that
$$
5tan^4(pi/10)-10tan^2(pi/10)+1=0
$$
which, by the quadratic formula, yields
$$
tan^2(pi/10)=frac5-2sqrt55
$$
Adding $1$ and taking the reciprocal yields
$$
frac1+cos(pi/5)2=cos^2(pi/10)=frac5+sqrt58
$$
Therefore,
$$
cos(pi/5)=frac1+sqrt54=phi/2
$$
where $phi$ is the Golden Ratio.
$endgroup$
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
add a comment |
$begingroup$
Since rlgordonma has given the answer suggested by the supplied hint, here is another method of computing $cos(pi/5)$.
In this answer, it is shown that
$$
tan(5theta)=frac5tan(theta)-10tan^3(theta)+tan^5(theta)1-10tan^2(theta)+5tan^4(theta)
$$
which, since $tan(pi/2)=infty$, implies that
$$
5tan^4(pi/10)-10tan^2(pi/10)+1=0
$$
which, by the quadratic formula, yields
$$
tan^2(pi/10)=frac5-2sqrt55
$$
Adding $1$ and taking the reciprocal yields
$$
frac1+cos(pi/5)2=cos^2(pi/10)=frac5+sqrt58
$$
Therefore,
$$
cos(pi/5)=frac1+sqrt54=phi/2
$$
where $phi$ is the Golden Ratio.
$endgroup$
Since rlgordonma has given the answer suggested by the supplied hint, here is another method of computing $cos(pi/5)$.
In this answer, it is shown that
$$
tan(5theta)=frac5tan(theta)-10tan^3(theta)+tan^5(theta)1-10tan^2(theta)+5tan^4(theta)
$$
which, since $tan(pi/2)=infty$, implies that
$$
5tan^4(pi/10)-10tan^2(pi/10)+1=0
$$
which, by the quadratic formula, yields
$$
tan^2(pi/10)=frac5-2sqrt55
$$
Adding $1$ and taking the reciprocal yields
$$
frac1+cos(pi/5)2=cos^2(pi/10)=frac5+sqrt58
$$
Therefore,
$$
cos(pi/5)=frac1+sqrt54=phi/2
$$
where $phi$ is the Golden Ratio.
edited Apr 13 '17 at 12:21
Community♦
1
1
answered Feb 11 '13 at 8:52
robjohn♦robjohn
270k27313642
270k27313642
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
add a comment |
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
$begingroup$
I love solutions invoking the golden ratio. It'd be even better with a pentagram. (+1)
$endgroup$
– Ron Gordon
Feb 11 '13 at 9:05
add a comment |
$begingroup$
Here is a way using roots of unity.
We have $cos 36 = fracomega + omega^-12$ where $omega = textexp left ( frac2 pi10 right )$. We have $-w$ is a primitive $5^th$ root of unity, so it follows $omega^4 - omega^3 + omega^2 - omega + 1 = 0$. Now, $x^4 - x^3 + x^2 - x + 1 = x^2(x^2 - x + 1 - frac1x + frac1x^2) = x^2left ( left (x + frac1x right )^2 - left (x + frac1x right ) -1 right )$. Thus $0 = omega^2 cdot ((2 cos 36)^2 - (2 cos 36) - 1)$. Therefore $4 cos^3 36 - 2 cos 36 - 1 = 0$. Using the quadratic formula we then arrive at $$cos 36 = frac1 + sqrt54$$
$endgroup$
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
add a comment |
$begingroup$
Here is a way using roots of unity.
We have $cos 36 = fracomega + omega^-12$ where $omega = textexp left ( frac2 pi10 right )$. We have $-w$ is a primitive $5^th$ root of unity, so it follows $omega^4 - omega^3 + omega^2 - omega + 1 = 0$. Now, $x^4 - x^3 + x^2 - x + 1 = x^2(x^2 - x + 1 - frac1x + frac1x^2) = x^2left ( left (x + frac1x right )^2 - left (x + frac1x right ) -1 right )$. Thus $0 = omega^2 cdot ((2 cos 36)^2 - (2 cos 36) - 1)$. Therefore $4 cos^3 36 - 2 cos 36 - 1 = 0$. Using the quadratic formula we then arrive at $$cos 36 = frac1 + sqrt54$$
$endgroup$
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
add a comment |
$begingroup$
Here is a way using roots of unity.
We have $cos 36 = fracomega + omega^-12$ where $omega = textexp left ( frac2 pi10 right )$. We have $-w$ is a primitive $5^th$ root of unity, so it follows $omega^4 - omega^3 + omega^2 - omega + 1 = 0$. Now, $x^4 - x^3 + x^2 - x + 1 = x^2(x^2 - x + 1 - frac1x + frac1x^2) = x^2left ( left (x + frac1x right )^2 - left (x + frac1x right ) -1 right )$. Thus $0 = omega^2 cdot ((2 cos 36)^2 - (2 cos 36) - 1)$. Therefore $4 cos^3 36 - 2 cos 36 - 1 = 0$. Using the quadratic formula we then arrive at $$cos 36 = frac1 + sqrt54$$
$endgroup$
Here is a way using roots of unity.
We have $cos 36 = fracomega + omega^-12$ where $omega = textexp left ( frac2 pi10 right )$. We have $-w$ is a primitive $5^th$ root of unity, so it follows $omega^4 - omega^3 + omega^2 - omega + 1 = 0$. Now, $x^4 - x^3 + x^2 - x + 1 = x^2(x^2 - x + 1 - frac1x + frac1x^2) = x^2left ( left (x + frac1x right )^2 - left (x + frac1x right ) -1 right )$. Thus $0 = omega^2 cdot ((2 cos 36)^2 - (2 cos 36) - 1)$. Therefore $4 cos^3 36 - 2 cos 36 - 1 = 0$. Using the quadratic formula we then arrive at $$cos 36 = frac1 + sqrt54$$
edited Feb 11 '13 at 15:40
answered Feb 11 '13 at 8:20
dinoboydinoboy
2,5541224
2,5541224
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
add a comment |
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
I have never ever done roots of unity.. thanks though for your time and help
$endgroup$
– Maximilian1988
Feb 11 '13 at 8:23
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
@dinoboy: I think you made a mistake somewhere.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
Can you elaborate on where? Considering we got the same answer I'm not sure what drove you to make that claim.
$endgroup$
– dinoboy
Feb 11 '13 at 8:24
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
@dinoboy, we do? Oh, I see, you wrote yours down wrong.
$endgroup$
– Ron Gordon
Feb 11 '13 at 8:30
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
$begingroup$
Oh yes indeed, I made a typo.
$endgroup$
– dinoboy
Feb 11 '13 at 15:40
add a comment |
$begingroup$
http://mathuprising.comlu.com/images/pentagon.png
This is a graphic that I created for my website about 2 days ago. Using $Delta ABC$ invoke the Law of Cosines ($angle BAC = angle BCA = 36^circ$).
$endgroup$
add a comment |
$begingroup$
http://mathuprising.comlu.com/images/pentagon.png
This is a graphic that I created for my website about 2 days ago. Using $Delta ABC$ invoke the Law of Cosines ($angle BAC = angle BCA = 36^circ$).
$endgroup$
add a comment |
$begingroup$
http://mathuprising.comlu.com/images/pentagon.png
This is a graphic that I created for my website about 2 days ago. Using $Delta ABC$ invoke the Law of Cosines ($angle BAC = angle BCA = 36^circ$).
$endgroup$
http://mathuprising.comlu.com/images/pentagon.png
This is a graphic that I created for my website about 2 days ago. Using $Delta ABC$ invoke the Law of Cosines ($angle BAC = angle BCA = 36^circ$).
answered May 14 '14 at 16:14
John JoyJohn Joy
6,29911827
6,29911827
add a comment |
add a comment |
$begingroup$
BEGIN QUOTE: Ptolemy used geometric reasoning based on Proposition 10 of Book XIII of Euclid's Elements to find the chords of $72^circ$ and $36^circ$. That Proposition states that if an equilateral pentagon is inscribed in a circle, then the area of the square on the side of the pentagon equals the sum of the areas of the squares on the sides of the hexagon and the decagon inscribed in the same circle. END QUOTE
http://en.wikipedia.org/wiki/Ptolemy%27s_table_of_chords#How_Ptolemy_computed_chords
Finding the chord of $72^circ$ amounts to finding the sine of $36^circ$.
Here is Proposition 10 of Book VIII.
$endgroup$
add a comment |
$begingroup$
BEGIN QUOTE: Ptolemy used geometric reasoning based on Proposition 10 of Book XIII of Euclid's Elements to find the chords of $72^circ$ and $36^circ$. That Proposition states that if an equilateral pentagon is inscribed in a circle, then the area of the square on the side of the pentagon equals the sum of the areas of the squares on the sides of the hexagon and the decagon inscribed in the same circle. END QUOTE
http://en.wikipedia.org/wiki/Ptolemy%27s_table_of_chords#How_Ptolemy_computed_chords
Finding the chord of $72^circ$ amounts to finding the sine of $36^circ$.
Here is Proposition 10 of Book VIII.
$endgroup$
add a comment |
$begingroup$
BEGIN QUOTE: Ptolemy used geometric reasoning based on Proposition 10 of Book XIII of Euclid's Elements to find the chords of $72^circ$ and $36^circ$. That Proposition states that if an equilateral pentagon is inscribed in a circle, then the area of the square on the side of the pentagon equals the sum of the areas of the squares on the sides of the hexagon and the decagon inscribed in the same circle. END QUOTE
http://en.wikipedia.org/wiki/Ptolemy%27s_table_of_chords#How_Ptolemy_computed_chords
Finding the chord of $72^circ$ amounts to finding the sine of $36^circ$.
Here is Proposition 10 of Book VIII.
$endgroup$
BEGIN QUOTE: Ptolemy used geometric reasoning based on Proposition 10 of Book XIII of Euclid's Elements to find the chords of $72^circ$ and $36^circ$. That Proposition states that if an equilateral pentagon is inscribed in a circle, then the area of the square on the side of the pentagon equals the sum of the areas of the squares on the sides of the hexagon and the decagon inscribed in the same circle. END QUOTE
http://en.wikipedia.org/wiki/Ptolemy%27s_table_of_chords#How_Ptolemy_computed_chords
Finding the chord of $72^circ$ amounts to finding the sine of $36^circ$.
Here is Proposition 10 of Book VIII.
answered Jun 13 '14 at 13:22
Michael HardyMichael Hardy
1
1
add a comment |
add a comment |
$begingroup$
Another with roots of unity ...
Let $omega:=expleft(fracpi i5right)$ and $phi$ is the golden ratio defined via relation $$phi^2:=phi+1qquad|quadphi>0taga$$i.e., explicitly : $phi=frac1+sqrt52$ (but only (a) is sufficient to proceed further through this text, without radicals of 5's at start), then following holds true :
Via Euler's formula: $$Reomega=Rebigg expleft(fracpi i5right) bigg = cos left(fracpi5right)$$
Similarly
$$Imomega=sin left(fracpi5right)$$
Moreover, it's clear, by properities of the function cosine (resp. sine) on the interval $(0,fracpi2)$, that $$Reomega>0qquadmathrmresp.qquadImomega>0tag0$$ By Moivre's formula also $$omega^5 = e^ipi=-1$$
I.e.:
$$omega^5+1=0$$
Since $omeganeq -1$ we divide this by factor $omega+1$, hence
$$omega^4-omega^3+omega^2-omega+1=0tag1$$
This could be wieved as a polynomial degree 4 in $omega$, so we may guess, it can be factorised more suggesting :
$$omega^4-omega^3+omega^2-omega+1 = (omega^2-alphaomega+1)(omega^2-betaomega+1)tag2$$
Expanding out we get a system for $alpha$ and $beta$ :
$$alpha+beta=1$$
$$alphabeta=-1$$
Subctracting $phi$ in the equation for golden ratio and dividing through $phi$ we get an equivalent relation $$phi-frac1phi=1tagb$$
So the conditions for $alpha$ and $beta$ are met when :
$$alpha=phi$$ $$beta=-frac1phi$$
Now we have from $(1)$ and $(2)$ two quadratic equations for $omega$ :
$$omega=fracalpha2pmfrac12sqrtalpha^2-4qquad mathrmorqquad omega=fracbeta2pmfrac12sqrtbeta^2-4tag3$$
Dividing $(b)$ by $phi$ and rearanging we get
$$frac1phi=1-frac1phi^2tagc$$
So then $$alpha^2-4=phi^2-4overset(a)=phi-3overset(b)=frac1phi-2overset(c)=-frac1phi^2-1<0 quadmathrmsincequad phi>0$$
... and also ... $$beta^2-4=frac1phi^2-4overset(c)=-frac1phi-3<0 quadmathrmsincequad phi>0$$
Taking square roots make us some imaginary numbers, from (3) then, taking real part
$$Reomega=fracalpha2qquad mathrmorqquad Reomega=fracbeta2$$
However, since $beta=-frac1phi<0$ is by $(0)$ and $(3)$ nessesarily and uniquely :
$$omega=fracalpha2+fraci2sqrt4-alpha^2=fracphi2+fraci2sqrt3-phi$$
Ergo
$$cosleft(fracpi5right)=Reomega=fracphi2=frac1+sqrt54$$
and, as a bonus :
$$sinleft(fracpi5right)=Imomega=frac12sqrt3-phi=fracsqrt5-sqrt54$$
$endgroup$
add a comment |
$begingroup$
Another with roots of unity ...
Let $omega:=expleft(fracpi i5right)$ and $phi$ is the golden ratio defined via relation $$phi^2:=phi+1qquad|quadphi>0taga$$i.e., explicitly : $phi=frac1+sqrt52$ (but only (a) is sufficient to proceed further through this text, without radicals of 5's at start), then following holds true :
Via Euler's formula: $$Reomega=Rebigg expleft(fracpi i5right) bigg = cos left(fracpi5right)$$
Similarly
$$Imomega=sin left(fracpi5right)$$
Moreover, it's clear, by properities of the function cosine (resp. sine) on the interval $(0,fracpi2)$, that $$Reomega>0qquadmathrmresp.qquadImomega>0tag0$$ By Moivre's formula also $$omega^5 = e^ipi=-1$$
I.e.:
$$omega^5+1=0$$
Since $omeganeq -1$ we divide this by factor $omega+1$, hence
$$omega^4-omega^3+omega^2-omega+1=0tag1$$
This could be wieved as a polynomial degree 4 in $omega$, so we may guess, it can be factorised more suggesting :
$$omega^4-omega^3+omega^2-omega+1 = (omega^2-alphaomega+1)(omega^2-betaomega+1)tag2$$
Expanding out we get a system for $alpha$ and $beta$ :
$$alpha+beta=1$$
$$alphabeta=-1$$
Subctracting $phi$ in the equation for golden ratio and dividing through $phi$ we get an equivalent relation $$phi-frac1phi=1tagb$$
So the conditions for $alpha$ and $beta$ are met when :
$$alpha=phi$$ $$beta=-frac1phi$$
Now we have from $(1)$ and $(2)$ two quadratic equations for $omega$ :
$$omega=fracalpha2pmfrac12sqrtalpha^2-4qquad mathrmorqquad omega=fracbeta2pmfrac12sqrtbeta^2-4tag3$$
Dividing $(b)$ by $phi$ and rearanging we get
$$frac1phi=1-frac1phi^2tagc$$
So then $$alpha^2-4=phi^2-4overset(a)=phi-3overset(b)=frac1phi-2overset(c)=-frac1phi^2-1<0 quadmathrmsincequad phi>0$$
... and also ... $$beta^2-4=frac1phi^2-4overset(c)=-frac1phi-3<0 quadmathrmsincequad phi>0$$
Taking square roots make us some imaginary numbers, from (3) then, taking real part
$$Reomega=fracalpha2qquad mathrmorqquad Reomega=fracbeta2$$
However, since $beta=-frac1phi<0$ is by $(0)$ and $(3)$ nessesarily and uniquely :
$$omega=fracalpha2+fraci2sqrt4-alpha^2=fracphi2+fraci2sqrt3-phi$$
Ergo
$$cosleft(fracpi5right)=Reomega=fracphi2=frac1+sqrt54$$
and, as a bonus :
$$sinleft(fracpi5right)=Imomega=frac12sqrt3-phi=fracsqrt5-sqrt54$$
$endgroup$
add a comment |
$begingroup$
Another with roots of unity ...
Let $omega:=expleft(fracpi i5right)$ and $phi$ is the golden ratio defined via relation $$phi^2:=phi+1qquad|quadphi>0taga$$i.e., explicitly : $phi=frac1+sqrt52$ (but only (a) is sufficient to proceed further through this text, without radicals of 5's at start), then following holds true :
Via Euler's formula: $$Reomega=Rebigg expleft(fracpi i5right) bigg = cos left(fracpi5right)$$
Similarly
$$Imomega=sin left(fracpi5right)$$
Moreover, it's clear, by properities of the function cosine (resp. sine) on the interval $(0,fracpi2)$, that $$Reomega>0qquadmathrmresp.qquadImomega>0tag0$$ By Moivre's formula also $$omega^5 = e^ipi=-1$$
I.e.:
$$omega^5+1=0$$
Since $omeganeq -1$ we divide this by factor $omega+1$, hence
$$omega^4-omega^3+omega^2-omega+1=0tag1$$
This could be wieved as a polynomial degree 4 in $omega$, so we may guess, it can be factorised more suggesting :
$$omega^4-omega^3+omega^2-omega+1 = (omega^2-alphaomega+1)(omega^2-betaomega+1)tag2$$
Expanding out we get a system for $alpha$ and $beta$ :
$$alpha+beta=1$$
$$alphabeta=-1$$
Subctracting $phi$ in the equation for golden ratio and dividing through $phi$ we get an equivalent relation $$phi-frac1phi=1tagb$$
So the conditions for $alpha$ and $beta$ are met when :
$$alpha=phi$$ $$beta=-frac1phi$$
Now we have from $(1)$ and $(2)$ two quadratic equations for $omega$ :
$$omega=fracalpha2pmfrac12sqrtalpha^2-4qquad mathrmorqquad omega=fracbeta2pmfrac12sqrtbeta^2-4tag3$$
Dividing $(b)$ by $phi$ and rearanging we get
$$frac1phi=1-frac1phi^2tagc$$
So then $$alpha^2-4=phi^2-4overset(a)=phi-3overset(b)=frac1phi-2overset(c)=-frac1phi^2-1<0 quadmathrmsincequad phi>0$$
... and also ... $$beta^2-4=frac1phi^2-4overset(c)=-frac1phi-3<0 quadmathrmsincequad phi>0$$
Taking square roots make us some imaginary numbers, from (3) then, taking real part
$$Reomega=fracalpha2qquad mathrmorqquad Reomega=fracbeta2$$
However, since $beta=-frac1phi<0$ is by $(0)$ and $(3)$ nessesarily and uniquely :
$$omega=fracalpha2+fraci2sqrt4-alpha^2=fracphi2+fraci2sqrt3-phi$$
Ergo
$$cosleft(fracpi5right)=Reomega=fracphi2=frac1+sqrt54$$
and, as a bonus :
$$sinleft(fracpi5right)=Imomega=frac12sqrt3-phi=fracsqrt5-sqrt54$$
$endgroup$
Another with roots of unity ...
Let $omega:=expleft(fracpi i5right)$ and $phi$ is the golden ratio defined via relation $$phi^2:=phi+1qquad|quadphi>0taga$$i.e., explicitly : $phi=frac1+sqrt52$ (but only (a) is sufficient to proceed further through this text, without radicals of 5's at start), then following holds true :
Via Euler's formula: $$Reomega=Rebigg expleft(fracpi i5right) bigg = cos left(fracpi5right)$$
Similarly
$$Imomega=sin left(fracpi5right)$$
Moreover, it's clear, by properities of the function cosine (resp. sine) on the interval $(0,fracpi2)$, that $$Reomega>0qquadmathrmresp.qquadImomega>0tag0$$ By Moivre's formula also $$omega^5 = e^ipi=-1$$
I.e.:
$$omega^5+1=0$$
Since $omeganeq -1$ we divide this by factor $omega+1$, hence
$$omega^4-omega^3+omega^2-omega+1=0tag1$$
This could be wieved as a polynomial degree 4 in $omega$, so we may guess, it can be factorised more suggesting :
$$omega^4-omega^3+omega^2-omega+1 = (omega^2-alphaomega+1)(omega^2-betaomega+1)tag2$$
Expanding out we get a system for $alpha$ and $beta$ :
$$alpha+beta=1$$
$$alphabeta=-1$$
Subctracting $phi$ in the equation for golden ratio and dividing through $phi$ we get an equivalent relation $$phi-frac1phi=1tagb$$
So the conditions for $alpha$ and $beta$ are met when :
$$alpha=phi$$ $$beta=-frac1phi$$
Now we have from $(1)$ and $(2)$ two quadratic equations for $omega$ :
$$omega=fracalpha2pmfrac12sqrtalpha^2-4qquad mathrmorqquad omega=fracbeta2pmfrac12sqrtbeta^2-4tag3$$
Dividing $(b)$ by $phi$ and rearanging we get
$$frac1phi=1-frac1phi^2tagc$$
So then $$alpha^2-4=phi^2-4overset(a)=phi-3overset(b)=frac1phi-2overset(c)=-frac1phi^2-1<0 quadmathrmsincequad phi>0$$
... and also ... $$beta^2-4=frac1phi^2-4overset(c)=-frac1phi-3<0 quadmathrmsincequad phi>0$$
Taking square roots make us some imaginary numbers, from (3) then, taking real part
$$Reomega=fracalpha2qquad mathrmorqquad Reomega=fracbeta2$$
However, since $beta=-frac1phi<0$ is by $(0)$ and $(3)$ nessesarily and uniquely :
$$omega=fracalpha2+fraci2sqrt4-alpha^2=fracphi2+fraci2sqrt3-phi$$
Ergo
$$cosleft(fracpi5right)=Reomega=fracphi2=frac1+sqrt54$$
and, as a bonus :
$$sinleft(fracpi5right)=Imomega=frac12sqrt3-phi=fracsqrt5-sqrt54$$
answered Jun 8 '16 at 23:58
MachinatoMachinato
1,1681021
1,1681021
add a comment |
add a comment |
1
$begingroup$
cut-the-knot.org/pythagoras/cos36.shtml
$endgroup$
– lab bhattacharjee
Sep 20 '13 at 18:20
$begingroup$
In the third century BC, Euclid essentially found the sine of $36^circ$. See my answer below.
$endgroup$
– Michael Hardy
Jun 13 '14 at 13:30