In mathematics, the values of the trigonometric functions can be expressed approximately, as in cos ⁡ ( π / 4 ) ≈ 0.707 {\displaystyle \cos(\pi /4)\approx 0.707}, or exactly, as in cos ⁡ ( π / 4 ) = 2 / 2 {\displaystyle \cos(\pi /4)={\sqrt {2}}/2}. While trigonometric tables contain many approximate values, the exact values for certain angles can be expressed by a combination of arithmetic operations and square roots. The angles with trigonometric values that are expressible in this way are exactly those that can be constructed with a compass and straight edge, and the values are called constructible numbers.

Common angles

The trigonometric functions of angles that are multiples of 15°, 18°, or 22.5° have simple algebraic values. These values are listed in the following table for angles from 0° to 45° (see below for proofs). In the table below, the label "Undefined" represents a ratio 1 : 0. {\displaystyle 1:0.} If the codomain of the trigonometric functions is taken to be the real numbers these entries are undefined, whereas if the codomain is taken to be the projectively extended real numbers, these entries take the value ∞ {\displaystyle \infty } (see division by zero).

RadiansDegreessincostancotseccsc
0 {\displaystyle 0}0 ∘ {\displaystyle 0^{\circ }}0 {\displaystyle 0}1 {\displaystyle 1}0 {\displaystyle 0}Undefined1 {\displaystyle 1}Undefined
π 12 {\displaystyle {\frac {\pi }{12}}}15 ∘ {\displaystyle 15^{\circ }}2 ( 3 − 1 ) 4 {\displaystyle {\frac {{\sqrt {2}}({\sqrt {3}}-1)}{4}}}2 ( 3 + 1 ) 4 {\displaystyle {\frac {{\sqrt {2}}({\sqrt {3}}+1)}{4}}}2 − 3 {\displaystyle 2-{\sqrt {3}}}2 + 3 {\displaystyle 2+{\sqrt {3}}}2 ( 3 − 1 ) {\displaystyle {\sqrt {2}}({\sqrt {3}}-1)}2 ( 3 + 1 ) {\displaystyle {\sqrt {2}}({\sqrt {3}}+1)}
π 10 {\displaystyle {\frac {\pi }{10}}}18 ∘ {\displaystyle 18^{\circ }}5 − 1 4 {\displaystyle {\frac {{\sqrt {5}}-1}{4}}}2 5 + 5 4 {\displaystyle {\frac {{\sqrt {2}}{\sqrt {5+{\sqrt {5}}}}}{4}}}5 5 − 2 5 5 {\displaystyle {\frac {{\sqrt {5}}{\sqrt {5-2{\sqrt {5}}}}}{5}}}5 + 2 5 {\displaystyle {\sqrt {5+2{\sqrt {5}}}}}10 5 − 5 5 {\displaystyle {\frac {{\sqrt {10}}{\sqrt {5-{\sqrt {5}}}}}{5}}}5 + 1 {\displaystyle {\sqrt {5}}+1}
π 8 {\displaystyle {\frac {\pi }{8}}}22.5 ∘ {\displaystyle 22.5^{\circ }}2 − 2 2 {\displaystyle {\frac {\sqrt {2-{\sqrt {2}}}}{2}}}2 + 2 2 {\displaystyle {\frac {\sqrt {2+{\sqrt {2}}}}{2}}}2 − 1 {\displaystyle {\sqrt {2}}-1}2 + 1 {\displaystyle {\sqrt {2}}+1}2 2 − 2 {\displaystyle {\sqrt {2}}{\sqrt {2-{\sqrt {2}}}}}2 2 + 2 {\displaystyle {\sqrt {2}}{\sqrt {2+{\sqrt {2}}}}}
π 6 {\displaystyle {\frac {\pi }{6}}}30 ∘ {\displaystyle 30^{\circ }}1 2 {\displaystyle {\frac {1}{2}}}3 2 {\displaystyle {\frac {\sqrt {3}}{2}}}3 3 {\displaystyle {\frac {\sqrt {3}}{3}}}3 {\displaystyle {\sqrt {3}}}2 3 3 {\displaystyle {\frac {2{\sqrt {3}}}{3}}}2 {\displaystyle 2}
π 5 {\displaystyle {\frac {\pi }{5}}}36 ∘ {\displaystyle 36^{\circ }}2 5 − 5 4 {\displaystyle {\frac {{\sqrt {2}}{\sqrt {5-{\sqrt {5}}}}}{4}}}5 + 1 4 {\displaystyle {\frac {{\sqrt {5}}+1}{4}}}5 − 2 5 {\displaystyle {\sqrt {5-2{\sqrt {5}}}}}5 5 + 2 5 5 {\displaystyle {\frac {{\sqrt {5}}{\sqrt {5+2{\sqrt {5}}}}}{5}}}5 − 1 {\displaystyle {\sqrt {5}}-1}10 5 + 5 5 {\displaystyle {\frac {{\sqrt {10}}{\sqrt {5+{\sqrt {5}}}}}{5}}}
π 4 {\displaystyle {\frac {\pi }{4}}}45 ∘ {\displaystyle 45^{\circ }}2 2 {\displaystyle {\frac {\sqrt {2}}{2}}}1 {\displaystyle 1}2 {\displaystyle {\sqrt {2}}}

For angles outside of this range, trigonometric values can be found by applying reflection and shift identities, such as

sin ⁡ ( π 2 − θ ) = cos ⁡ ( θ ) , sin ⁡ ( 2 π + θ ) = sin ⁡ ( π − θ ) = sin ⁡ ( θ ) , sin ⁡ ( π + θ ) = sin ⁡ ( − θ ) = − sin ⁡ ( θ ) , cos ⁡ ( 2 π + θ ) = cos ⁡ ( − θ ) = cos ⁡ ( θ ) , cos ⁡ ( π + θ ) = cos ⁡ ( π − θ ) = − cos ⁡ ( θ ) . {\displaystyle {\begin{alignedat}{3}&&\sin({\tfrac {\pi }{2}}-\theta )&{}=\cos(\theta ),\\[5mu]&&\sin(2\pi +\theta )&{}=\sin(\pi -\theta )&&{}=\sin(\theta ),\quad &&\sin(\pi +\theta )&&{}=\sin(-\theta )&&{}=-\sin(\theta ),\\[5mu]&&\cos(2\pi +\theta )&{}=\cos(-\theta )&&{}=\cos(\theta ),\quad &&\cos(\pi +\theta )&&{}=\cos(\pi -\theta )&&{}=-\cos(\theta ).\end{alignedat}}}

For example, for any θ greater than ⁠π/4⁠, to find its sine, follow these steps to instead operate within the range of 0 to ⁠π/4⁠:

  1. While it is greater than 2π, subtract 2π from it. Now try to find sin(θ).
  2. If it is greater than π, subtract π from it and try to find −sin(θ).
  3. If it is greater than ⁠π/2⁠, subtract ⁠π/2⁠ from it and try to find cos(θ).
  4. If it is greater than ⁠π/4⁠, subtract it from ⁠π/2⁠. If you are trying to find cosine due to step 3, now try to find sin(θ). If you are trying to find sine because you did not enter step 3, try to find cos(θ).

Trigonometric numbers

A trigonometric number is a number that can be expressed as the sine or cosine of a rational multiple of π radians. Since sin ⁡ ( x ) = cos ⁡ ( x − π / 2 ) , {\displaystyle \sin(x)=\cos(x-\pi /2),} the case of a sine can be omitted from this definition. Therefore any trigonometric number can be written as cos ⁡ ( 2 π k / n ) {\displaystyle \cos(2\pi k/n)}, where k and n are integers. This number can be thought of as the real part of the complex number cos ⁡ ( 2 π k / n ) + i sin ⁡ ( 2 π k / n ) {\displaystyle \cos(2\pi k/n)+i\sin(2\pi k/n)}. De Moivre's formula shows that numbers of this form are roots of unity:

( cos ⁡ ( 2 π k n ) + i sin ⁡ ( 2 π k n ) ) n = cos ⁡ ( 2 π k ) + i sin ⁡ ( 2 π k ) = 1. {\displaystyle \left(\cos \left({\frac {2\pi k}{n}}\right)+i\sin \left({\frac {2\pi k}{n}}\right)\right)^{n}=\cos(2\pi k)+i\sin(2\pi k)=1.}

(Conversely, the real part of any root of unity is a trigonometric number.) Since the root of unity is a root of the polynomial xn − 1, it is algebraic. Since the trigonometric number is the average of the root of unity and its complex conjugate, and algebraic numbers are closed under arithmetic operations, every trigonometric number is algebraic. The minimal polynomials of trigonometric numbers can be explicitly enumerated. In contrast, by the Lindemann–Weierstrass theorem, the sine or cosine of any non-zero algebraic number is always transcendental.

By Niven's theorem, the only rational trigonometric numbers are 0, 1, −1, 1/2, and −1/2.

Constructibility

An angle can be constructed with a compass and straightedge if and only if its sine (or equivalently cosine) can be expressed by a combination of arithmetic operations and square roots applied to integers.[page needed] Additionally, an angle that is a rational multiple of π {\displaystyle \pi } radians is constructible if and only if, when it is expressed as a π / b {\displaystyle a\pi /b} radians, where a and b are relatively prime integers, the prime factorization of the denominator, b, is the product of some power of two and any number of distinct Fermat primes (a Fermat prime is a prime number one greater than a power of two).

Thus, for example, 2 π / 15 = 24 ∘ {\displaystyle 2\pi /15=24^{\circ }} is a constructible angle because 15 is the product of the Fermat primes 3 and 5. Similarly π / 12 = 15 ∘ {\displaystyle \pi /12=15^{\circ }} is a constructible angle because 12 is a power of two (4) times a Fermat prime (3). But π / 9 = 20 ∘ {\displaystyle \pi /9=20^{\circ }} is not a constructible angle, since 9 = 3 ⋅ 3 {\displaystyle 9=3\cdot 3} is not the product of distinct Fermat primes as it contains 3 as a factor twice, and neither is π / 7 ≈ 25.714 ∘ {\displaystyle \pi /7\approx 25.714^{\circ }}, since 7 is not a Fermat prime.

It results from the above characterisation that an angle of an integer number of degrees is constructible if and only if this number of degrees is a multiple of 3.

Constructible values

45°

From a reflection identity, cos ⁡ ( 45 ∘ ) = sin ⁡ ( 90 ∘ − 45 ∘ ) = sin ⁡ ( 45 ∘ ) {\displaystyle \cos(45^{\circ })=\sin(90^{\circ }-45^{\circ })=\sin(45^{\circ })}. Substituting into the Pythagorean trigonometric identity sin ⁡ ( 45 ∘ ) 2 + cos ⁡ ( 45 ∘ ) 2 = 1 {\displaystyle \sin(45^{\circ })^{2}+\cos(45^{\circ })^{2}=1}, one obtains the minimal polynomial 2 sin ⁡ ( 45 ∘ ) 2 − 1 = 0 {\displaystyle 2\sin(45^{\circ })^{2}-1=0}. Taking the positive root, one finds sin ⁡ ( 45 ∘ ) = cos ⁡ ( 45 ∘ ) = 1 / 2 = 2 / 2 {\displaystyle \sin(45^{\circ })=\cos(45^{\circ })=1/{\sqrt {2}}={\sqrt {2}}/2}.

A geometric way of deriving the sine or cosine of 45° is by considering an isosceles right triangle with leg length 1. Since two of the angles in an isosceles triangle are equal, if the remaining angle is 90° for a right triangle, then the two equal angles are each 45°. Then by the Pythagorean theorem, the length of the hypotenuse of such a triangle is 2 {\displaystyle {\sqrt {2}}}. Scaling the triangle so that its hypotenuse has a length of 1 divides the lengths by 2 {\displaystyle {\sqrt {2}}}, giving the same value for the sine or cosine of 45° given above.

30° and 60°

The values of sine and cosine of 30 and 60 degrees are derived by analysis of the equilateral triangle. In an equilateral triangle, the 3 angles are equal and sum to 180°, therefore each corner angle is 60°. Bisecting one corner, the special right triangle with angles 30-60-90 is obtained. By symmetry, the bisected side is half of the side of the equilateral triangle, so one concludes sin ⁡ ( 30 ∘ ) = 1 / 2 {\displaystyle \sin(30^{\circ })=1/2}. The Pythagorean and reflection identities then give sin ⁡ ( 60 ∘ ) = cos ⁡ ( 30 ∘ ) = 1 − ( 1 / 2 ) 2 = 3 / 2 {\displaystyle \sin(60^{\circ })=\cos(30^{\circ })={\sqrt {1-(1/2)^{2}}}={\sqrt {3}}/2}.

18°, 36°, 54°, and 72°

The value of sin ⁡ ( 18 ∘ ) {\displaystyle \sin(18^{\circ })} may be derived using the multiple angle formulas for sine and cosine. By the double angle formula for sine: sin ⁡ ( 36 ∘ ) = 2 sin ⁡ ( 18 ∘ ) cos ⁡ ( 18 ∘ ) {\displaystyle \sin(36^{\circ })=2\sin(18^{\circ })\cos(18^{\circ })} By the triple angle formula for cosine: cos ⁡ ( 54 ∘ ) = cos 3 ⁡ ( 18 ∘ ) − 3 sin 2 ⁡ ( 18 ∘ ) cos ⁡ ( 18 ∘ ) = cos ⁡ ( 18 ∘ ) ( 1 − 4 sin 2 ⁡ ( 18 ∘ ) ) {\displaystyle \cos(54^{\circ })=\cos ^{3}(18^{\circ })-3\sin ^{2}(18^{\circ })\cos(18^{\circ })=\cos(18^{\circ })(1-4\sin ^{2}(18^{\circ }))} Since sin(36°) = cos(54°), we equate these two expressions and cancel a factor of cos(18°): 2 sin ⁡ ( 18 ∘ ) = 1 − 4 sin 2 ⁡ ( 18 ∘ ) {\displaystyle 2\sin(18^{\circ })=1-4\sin ^{2}(18^{\circ })} This quadratic equation has only one positive root: sin ⁡ ( 18 ∘ ) = 5 − 1 4 {\displaystyle \sin(18^{\circ })={\frac {{\sqrt {5}}-1}{4}}}

The Pythagorean identity then gives cos ⁡ ( 18 ∘ ) {\displaystyle \cos(18^{\circ })}, and the double and triple angle formulas give sine and cosine of 36°, 54°, and 72°. Then cos ⁡ ( 36 ∘ ) = ( 5 + 1 ) / 4 = φ / 2 {\displaystyle \cos(36^{\circ })=({\sqrt {5}}+1)/4=\varphi /2}, where ⁠φ {\displaystyle \varphi }⁠ is the golden ratio.

A geometric method of finding the sines of these angles comes from analyzing a regular pentagon. Two of its diagonals form an angle of 36° that can be inscribed in a circle, and one side of the pentagon forms a chord of the circle that subtends this inscribed angle. To compute the chord's length, form a quadrilateral from four points of the pentagon. If the diagonals each have a length of one, then applying Ptolemy's theorem to this quadrilateral gives the equation x 2 + x − 1 = 0 {\displaystyle x^{2}+x-1=0}, where x is the chord length. The positive root of this equation is this value:

5 − 1 2 {\displaystyle {\frac {{\sqrt {5}}-1}{2}}}

Bisecting the 36° angle then creates a right triangle with angles of 18° and 72°, and cuts the chord in half, giving the same value for the sine of 18° given above. The sine value of 72° then follows from the Pythagorean theorem, and the sine values for 36° and 54° follow from sin(18°) and the double- and triple-angle formulas.

Remaining multiples of 3°

Wikimedia Commons has a file available for a table of these exact values.

The sines and cosines of all other angles between 0 and 90° that are multiples of 3° can be derived from the angles described above and the sum and difference formulas. Specifically,

3 ∘ = 18 ∘ − 15 ∘ , 24 ∘ = 60 ∘ − 36 ∘ , 51 ∘ = 36 ∘ + 15 ∘ , 78 ∘ = 60 ∘ + 18 ∘ , 6 ∘ = 36 ∘ − 30 ∘ , 27 ∘ = 45 ∘ − 18 ∘ , 57 ∘ = 75 ∘ − 18 ∘ , 81 ∘ = 45 ∘ + 36 ∘ , 9 ∘ = 45 ∘ − 36 ∘ , 33 ∘ = 18 ∘ + 15 ∘ , 63 ∘ = 45 ∘ + 18 ∘ , 84 ∘ = 54 ∘ + 30 ∘ , 12 ∘ = 30 ∘ − 18 ∘ , 39 ∘ = 54 ∘ − 15 ∘ , 66 ∘ = 36 ∘ + 30 ∘ , 87 ∘ = 72 ∘ + 15 ∘ . 15 ∘ = 45 ∘ − 30 ∘ , 42 ∘ = 60 ∘ − 18 ∘ , 69 ∘ = 54 ∘ + 15 ∘ , 21 ∘ = 36 ∘ − 15 ∘ , 48 ∘ = 30 ∘ + 18 ∘ , 75 ∘ = 45 ∘ + 30 ∘ , {\displaystyle {\begin{aligned}3^{\circ }&=18^{\circ }-15^{\circ },&24^{\circ }&=60^{\circ }-36^{\circ },&51^{\circ }&=36^{\circ }+15^{\circ },&78^{\circ }&=60^{\circ }+18^{\circ },&\\6^{\circ }&=36^{\circ }-30^{\circ },&27^{\circ }&=45^{\circ }-18^{\circ },&57^{\circ }&=75^{\circ }-18^{\circ },&81^{\circ }&=45^{\circ }+36^{\circ },&\\9^{\circ }&=45^{\circ }-36^{\circ },&33^{\circ }&=18^{\circ }+15^{\circ },&63^{\circ }&=45^{\circ }+18^{\circ },&84^{\circ }&=54^{\circ }+30^{\circ },&\\12^{\circ }&=30^{\circ }-18^{\circ },&39^{\circ }&=54^{\circ }-15^{\circ },&66^{\circ }&=36^{\circ }+30^{\circ },&87^{\circ }&=72^{\circ }+15^{\circ }.&\\15^{\circ }&=45^{\circ }-30^{\circ },&42^{\circ }&=60^{\circ }-18^{\circ },&69^{\circ }&=54^{\circ }+15^{\circ },&\\21^{\circ }&=36^{\circ }-15^{\circ },&48^{\circ }&=30^{\circ }+18^{\circ },&75^{\circ }&=45^{\circ }+30^{\circ },&\end{aligned}}}

For example, since 24 ∘ = 60 ∘ − 36 ∘ {\displaystyle 24^{\circ }=60^{\circ }-36^{\circ }}, its cosine can be derived by the cosine difference formula: cos ⁡ ( 24 ∘ ) = cos ⁡ ( 60 ∘ ) cos ⁡ ( 36 ∘ ) + sin ⁡ ( 60 ∘ ) sin ⁡ ( 36 ∘ ) = 1 2 5 + 1 4 + 3 2 10 − 2 5 4 = 1 + 5 + 30 − 6 5 8 {\displaystyle {\begin{aligned}\cos(24^{\circ })&=\cos(60^{\circ })\cos(36^{\circ })+\sin(60^{\circ })\sin(36^{\circ })\\[4mu]&={\frac {1}{2}}{\frac {{\sqrt {5}}+1}{4}}+{\frac {\sqrt {3}}{2}}{\frac {\sqrt {10-2{\sqrt {5}}}}{4}}\\[6mu]&={\frac {1+{\sqrt {5}}+{\sqrt {30-6{\sqrt {5}}}}}{8}}\end{aligned}}}

Half angles

If the denominator, b, is multiplied by additional factors of 2, the sine and cosine can be derived with the half-angle formulas. For example, 22.5° (π/8 rad) is half of 45°, so its sine and cosine are:

sin ⁡ ( 22.5 ∘ ) = 1 2 ( 1 − cos ⁡ ( 45 ∘ ) ) = 1 2 ( 1 − 2 2 ) = 1 2 2 − 2 cos ⁡ ( 22.5 ∘ ) = 1 2 ( 1 + cos ⁡ ( 45 ∘ ) ) = 1 2 ( 1 + 2 2 ) = 1 2 2 + 2 {\displaystyle {\begin{aligned}\sin(22.5^{\circ })&={\sqrt {{\frac {1}{2}}{\bigl (}1-\cos(45^{\circ }){\bigr )}}}={\sqrt {{\frac {1}{2}}\left(1-{\frac {\sqrt {2}}{2}}\right)}}={\frac {1}{2}}{\sqrt {2-{\sqrt {2}}}}\\\cos(22.5^{\circ })&={\sqrt {{\frac {1}{2}}{\bigl (}1+\cos(45^{\circ }){\bigr )}}}={\sqrt {{\frac {1}{2}}\left(1+{\frac {\sqrt {2}}{2}}\right)}}={\frac {1}{2}}{\sqrt {2+{\sqrt {2}}}}\end{aligned}}}

Repeated application of the half-angle formulas leads to nested radicals, specifically nested square roots of 2 of the form 2 ± ⋯ {\displaystyle {\sqrt {2\pm \cdots }}}. In general, the sine and cosine of most angles of the form β / 2 n {\displaystyle \beta /2^{n}} can be expressed using nested square roots of 2 in terms of β {\displaystyle \beta }. Specifically, if one can write an angle as α = π ( 1 2 − ∑ i = 1 k ∏ j = 1 i b j 2 i + 1 ) = π ( 1 2 − b 1 4 − b 1 b 2 8 − b 1 b 2 b 3 16 − … − b 1 b 2 … b k 2 k + 1 ) {\displaystyle \alpha =\pi \left({\frac {1}{2}}-\sum _{i=1}^{k}{\frac {\prod _{j=1}^{i}b_{j}}{2^{i+1}}}\right)=\pi \left({\frac {1}{2}}-{\frac {b_{1}}{4}}-{\frac {b_{1}b_{2}}{8}}-{\frac {b_{1}b_{2}b_{3}}{16}}-\ldots -{\frac {b_{1}b_{2}\ldots b_{k}}{2^{k+1}}}\right)} where b k ∈ [ − 2 , 2 ] {\displaystyle b_{k}\in [-2,2]}[clarification needed — what are the actual limits on bk?] and b i {\displaystyle b_{i}} is -1, 0, or 1 for i < k {\displaystyle i<k}, then cos ⁡ ( α ) = b 1 2 2 + b 2 2 + b 3 2 + … + b k − 1 2 + 2 sin ⁡ ( π b k 4 ) {\displaystyle \cos(\alpha )={\frac {b_{1}}{2}}{\sqrt {2+b_{2}{\sqrt {2+b_{3}{\sqrt {2+\ldots +b_{k-1}{\sqrt {2+2\sin \left({\frac {\pi b_{k}}{4}}\right)}}}}}}}}} and if b 1 ≠ 0 {\displaystyle b_{1}\neq 0} then sin ⁡ ( α ) = 1 2 2 − b 2 2 + b 3 2 + b 4 2 + … + b k − 1 2 + 2 sin ⁡ ( π b k 4 ) {\displaystyle \sin(\alpha )={\frac {1}{2}}{\sqrt {2-b_{2}{\sqrt {2+b_{3}{\sqrt {2+b_{4}{\sqrt {2+\ldots +b_{k-1}{\sqrt {2+2\sin \left({\frac {\pi b_{k}}{4}}\right)}}}}}}}}}}} For example, 13 π 32 = π ( 1 2 − 1 4 + 1 8 + 1 16 − 1 32 ) {\displaystyle {\frac {13\pi }{32}}=\pi \left({\frac {1}{2}}-{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}-{\frac {1}{32}}\right)}, so one has ( b 1 , b 2 , b 3 , b 4 ) = ( 1 , − 1 , 1 , − 1 ) {\displaystyle (b_{1},b_{2},b_{3},b_{4})=(1,-1,1,-1)} and obtains: cos ⁡ ( 13 π 32 ) = 1 2 2 − 2 + 2 + 2 sin ⁡ ( − π 4 ) = 1 2 2 − 2 + 2 − 2 sin ⁡ ( 13 π 32 ) = 1 2 2 + 2 + 2 − 2 {\displaystyle {\begin{aligned}\cos \left({\frac {13\pi }{32}}\right)&={\frac {1}{2}}{\sqrt {2-{\sqrt {2+{\sqrt {2+2\sin \left({\frac {-\pi }{4}}\right)}}}}}}={\frac {1}{2}}{\sqrt {2-{\sqrt {2+{\sqrt {2-{\sqrt {2}}}}}}}}\\\sin \left({\frac {13\pi }{32}}\right)&={\frac {1}{2}}{\sqrt {2+{\sqrt {2+{\sqrt {2-{\sqrt {2}}}}}}}}\end{aligned}}}

Denominator of 17

Since 17 is a Fermat prime, a regular 17-gon is constructible, which means that the sines and cosines of angles such as 2 π / 17 {\displaystyle 2\pi /17} radians can be expressed in terms of square roots. In particular, in 1796, Carl Friedrich Gauss showed that: cos ⁡ ( 2 π 17 ) = − 1 + 17 + 34 − 2 17 + 2 17 + 3 17 − 170 + 38 17 16 {\displaystyle \cos \left({\frac {2\pi }{17}}\right)={\frac {-1+{\sqrt {17}}+{\sqrt {34-2{\sqrt {17}}}}+2{\sqrt {17+3{\sqrt {17}}-{\sqrt {170+38{\sqrt {17}}}}}}}{16}}}

The sines and cosines of related constructible angles measuring k π / ( 17 ⋅ 2 n ) {\displaystyle \textstyle k\pi /(17\cdot 2^{n})} radians (for integers ⁠k {\displaystyle k}⁠ and ⁠n {\displaystyle n}⁠) can be derived from this one.

Non-constructibility of 1°

As discussed in § Constructibility, only certain angles that are rational multiples of π {\displaystyle \pi } radians have trigonometric values that can be expressed with square roots. The angle 1°, being π / 180 = π / ( 2 2 ⋅ 3 2 ⋅ 5 ) {\displaystyle \pi /180=\pi /(2^{2}\cdot 3^{2}\cdot 5)} radians, has a repeated factor of 3 in the denominator and therefore sin ⁡ ( 1 ∘ ) {\displaystyle \sin(1^{\circ })} cannot be expressed using only square roots. A related question is whether it can be expressed using cube roots. The following two approaches can be used, but both result in an expression that involves the cube root of a complex number. Galois theory shows that the casus irreducibilis cannot be expressed in terms of solely real radicals.

Using the triple-angle identity, we can identify sin ⁡ ( 1 ∘ ) {\displaystyle \sin(1^{\circ })} as a root of a cubic polynomial: sin ⁡ ( 3 ∘ ) = − 4 x 3 + 3 x {\displaystyle \sin(3^{\circ })=-4x^{3}+3x}. The three roots of this polynomial are sin ⁡ ( 1 ∘ ) {\displaystyle \sin(1^{\circ })}, sin ⁡ ( 59 ∘ ) {\displaystyle \sin(59^{\circ })}, and − sin ⁡ ( 61 ∘ ) {\displaystyle -\sin(61^{\circ })}. Since sin ⁡ ( 3 ∘ ) {\displaystyle \sin(3^{\circ })} is constructible, an expression for it could be plugged into Cardano's formula to yield an expression for sin ⁡ ( 1 ∘ ) {\displaystyle \sin(1^{\circ })}. However, since all three roots of the cubic are real, this is an instance of casus irreducibilis, and the expression would require taking the cube root of a complex number.

Alternatively, by De Moivre's formula:

( cos ⁡ ( 1 ∘ ) + i sin ⁡ ( 1 ∘ ) ) 3 = cos ⁡ ( 3 ∘ ) + i sin ⁡ ( 3 ∘ ) , ( cos ⁡ ( 1 ∘ ) − i sin ⁡ ( 1 ∘ ) ) 3 = cos ⁡ ( 3 ∘ ) − i sin ⁡ ( 3 ∘ ) . {\displaystyle {\begin{aligned}(\cos(1^{\circ })+i\sin(1^{\circ }))^{3}&=\cos(3^{\circ })+i\sin(3^{\circ }),\\[4mu](\cos(1^{\circ })-i\sin(1^{\circ }))^{3}&=\cos(3^{\circ })-i\sin(3^{\circ }).\end{aligned}}}

Taking cube roots and adding or subtracting the equations, we have:

cos ⁡ ( 1 ∘ ) = 1 2 ( cos ⁡ ( 3 ∘ ) + i sin ⁡ ( 3 ∘ ) 3 + cos ⁡ ( 3 ∘ ) − i sin ⁡ ( 3 ∘ ) 3 ) , sin ⁡ ( 1 ∘ ) = 1 2 i ( cos ⁡ ( 3 ∘ ) + i sin ⁡ ( 3 ∘ ) 3 − cos ⁡ ( 3 ∘ ) − i sin ⁡ ( 3 ∘ ) 3 ) . {\displaystyle {\begin{aligned}\cos(1^{\circ })&=\;{\frac {1}{2}}\left({\sqrt[{3}]{\cos(3^{\circ })+i\sin(3^{\circ })}}+{\sqrt[{3}]{\cos(3^{\circ })-i\sin(3^{\circ })}}\right),\\[5mu]\sin(1^{\circ })&={\frac {1}{2i}}\left({\sqrt[{3}]{\cos(3^{\circ })+i\sin(3^{\circ })}}-{\sqrt[{3}]{\cos(3^{\circ })-i\sin(3^{\circ })}}\right).\end{aligned}}}

See also

Bibliography

  • Lehmer, D. H. (1933). "A note on trigonometric algebraic numbers". American Mathematical Monthly. 40 (3): 165–166. doi:. JSTOR .
  • Abramowitz, Milton; Stegun, Irene A., eds. (1972). . New York: Dover Publications. ISBN 978-0-486-61272-0.
  • Watkins, William; Zeitlin, Joel (1993). "The minimal polynomial of cos(2*π/n)". American Mathematical Monthly. 100 (5): 471–474. doi:. JSTOR .
  • Girstmair, Kurt (1997). (PDF). Acta Arithmetica. 81 (4): 387–498. doi:. MR .
  • Conway, John H.; Radin, Charles; Sadun, Lorenzo (1999). "On angles whose squared trigonometric functions are rational". Discrete & Computational Geometry. 22 (3): 321–332. arXiv:. doi:. MR . S2CID .
  • Bracken, Paul; Cizek, Jiri (2002). "evaluation of quantum mechanical perturbative sums in terms of quadratic surds and their use in the approximation of ζ(3)/π3". International Journal of Quantum Chemistry. 90: 42–53. doi:.
  • Servi, L. D. (2003). "Nested square roots of 2". American Mathematical Monthly. 110 (4): 326–330. doi:. JSTOR .
  • Beslin, Scott; de Angelis, Valerio (2004). "The minimal polynomials of sin(2*π/p) and cos(2*π/p)". Mathematics Magazine. 77 (2): 146–149. doi:. JSTOR . S2CID .
  • Tangsupphathawat, Pinthira; Laohakosol, Vichian (2016). . Journal of Integer Sequences. 19: 16.2.8.