Rozmiar: 12523 bajtów

Values of Trigonometric
Functions of Angles (n*pi)/65537.
Part XIV.


by 'Literka'.



In the following text we'll be using the notations pi=3.14159... and w=(2*pi)/65537.


We'll be using all notations from the previous pages of Literka Values of trigonometric functions. Part 65537-1, Part 65537-2, Part 65537-3, Part 65537-4, Part 65537-5, Part 65537-6, Part 65537-7, Part 65537-8, Part 65537-9, Part 65537-10, Part 65537-11, Part 65537-12 Part 65537-13.
On the previous page of Literka we found values of
Rozmiar: 3766 bajtów
These are sums of cos(w*j), where j belongs to a set Ci and Di. Sets Ci and Di are of the form
{ x, M(4*x), M(16*x),..., M(16384)} and {M(2*x), M(8*x),..., M(32768)}
where x is the smallest element of Ai.
We split set Ci into two sets Ei and Fi of 4 elements each
Ei={ x, M(16*x), M(256*x), M(4096*x) }
Fi={ M(2*x), M(32*x), M(512*x), M(8192*x) }

We split set Di into two sets Gi and Hi of 4 elements each
Gi={ M(4*x), M(64*x), M(1024*x), M(16384*x) }
Hi={ M(8*x), M(128*x), M(2048*x), M(32768*x) }

Let us define
Rozmiar: 9294 bajtów
We have
Rozmiar: 2579 bajtów
In a known way, repeated many times, we can formulate equations with roots ei and fi. These equations are shown on the applet below. Clicking label "Change" other equations appear roots of these new equations are gi and hi.


In the following applet use applet's scrollbar to see whole formulas.





Now we are ready , for example, to derive value of cos(2*pi/65537). Let us denote

r=cos(2*pi/65537)+cos(2*256*pi/65537)=cos(w)+cos(256*w)
p=cos(2*255*pi/65537)+cos(2*257*pi/6557)=cos(255*w)+cos(257*w)

Notice that
p/2=cos(w)*cos(256*w)
Therefore, cos(w) and cos(256*w) are the solutions of the equation:
Rozmiar: 2536 bajtów

That is why it is enough to find values of p and r. We need new variable

k=cos(16*w)+cos(4096*w)

We have

2*r*k=
2*[cos(w)*cos(16*w)+cos(w)*cos(4096*w)+cos(256*w)*cos(16*w)+cos(256*w)*cos(4096*w)]=
cos(15*w)+cos(17*w)+cos(4095*w)+cos(4097*w)+cos(240*w)+cos(272*w)+cos(3840*w)+cos(4352*w)=
[cos(17*w)+cos(272*w) +cos(4352*w)+cos(4095*w)]+
[cos(15*w)+cos(4097*w)+cos(240*w)+cos(3840*w)]

which is equal to
Rozmiar: 1673 bajtów
Notice that
Rozmiar: 1530 bajtów
Hence, r is a root of the equation
Rozmiar: 3602 bajtów
The same way we prove that p is a root of the equation
Rozmiar: 3882 bajtów


The same way we can construct any cos(2*n*pi/65537). This concludes our construction, since we achieved our goals.



See the list and descriptions of mathematical pages from Mathematical Countryside.

Bestsellers BookBrowser
See other pages of 'Literka' from Mathematical Countryside:
Monotonic subsequences.
A remarkable monotonic property of the gamma function .
Weight centers of simple geometrical figures.
An elementary problem can be unsolvable.
Rudin's Theorem of Complex Analysis.
Construction of a regular pentagon.
Construction of a regular heptadecagon.
Construction of a regular polygon with 257 sides.
Roots of cubic equation. Cardano's formula.
Weierstrass Approximation Theorem.
Exact values of trigonometric functions of angles (n*pi)/17.
Equalities for values of trigonometric functions of angles (n*pi)/17.
Factorization of a polynomial, which defines values of sine function (angles n*pi/17).
Polynomials with roots cos(2*k*pi/n).
Factorization of polynomials with roots cos(2*k*pi/n), where n is Fermat number.
Values of trigonometric functions of angles (n*pi)/257. Part I.
Values of trigonometric functions of angles (n*pi)/257. Part II.
Values of trigonometric functions of angles (n*pi)/257. Part III.
Values of trigonometric functions of angles (n*pi)/257. Part IV.
Values of trigonometric functions of angles (n*pi)/257. Part V.
Values of trigonometric functions of angles (n*pi)/257. Part VI.
Values of trigonometric functions of angles (n*pi)/257. Part VII.

Rozmiar: 2425 bajtów Software that you really need.

Return to the list of pages of 'Literka' about polytopes.
Return to the main geometrical page of 'Literka'.
Return to the main page of 'Literka'.