Exact trigonometric values

From HandWiki
Short description: Trigonometric numbers in terms of square roots

In mathematics, the values of the trigonometric functions can be expressed approximately, as in cos(π/4)0.707, or exactly, as in cos(π/4)=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.

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 90°.[1] For angles outside of this range, trigonometric values can be found by applying the reflection and shift identities. In the table below, stands for the ratio 1:0. These values can also be considered to be undefined (see division by zero).

Radians Degrees sin cos tan cot sec csc
0 0 0 1 0 1
π12 15 624 6+24 23 2+3 62 6+2
π10 18 514 10+254 251055 5+25 501055 5+1
π8 22.5 222 2+22 21 2+1 422 4+22
π6 30 12 32 33 3 233 2
π5 36 10254 5+14 525 25+1055 51 50+1055
π4 45 22 22 1 1 2 2
3π10 54 5+14 10254 25+1055 525 50+1055 51
π3 60 32 12 3 33 2 233
3π8 67.5 2+22 222 2+1 21 4+22 422
2π5 72 10+254 514 5+25 251055 5+1 501055
5π12 75 6+24 624 2+3 23 6+2 62
π2 90 1 0 0 1

Expressibility with square roots

Some exact trigonometric values, such as sin(60)=3/2, can be expressed in terms of a combination of arithmetic operations and square roots. Such numbers are called constructible, because one length can be constructed by compass and straightedge from another if and only if the ratio between the two lengths is such a number.[2] However, some trigonometric values, such as cos(20), have been proven to not be constructible.

The sine and cosine of an angle are constructible if and only if the angle is constructible. If an angle is a rational multiple of π radians, whether or not it is constructible can be determined as follows. Let the angle be aπ/b radians, where a and b are relatively prime integers. Then it is constructible if and only if the prime factorization of the denominator, b, consists of any number of Fermat primes, each with an exponent of 1, times any power of two.[3] For example, 15 and 24 are constructible because they are equivalent to π/12 and 2π/15 radians, respectively, and 12 is the product of 3 and 4, which are a Fermat prime and a power of two, and 15 is the product of Fermat primes 3 and 5. On the other hand, 20 is not constructible because it corresponds to a denominator of 9 = 32, and the Fermat prime cannot be raised to a power greater than one. As another example, (360/7) is not constructible, because the denominator of 7 is not a Fermat prime.[2]

Derivations of constructible values

The values of trigonometric numbers can be derived through a combination of methods. The values of sine and cosine of 30, 45, and 60 degrees are derived by analysis of the 30-60-90 and 90-45-45 triangles. If the angle is expressed in radians as aπ/b, this takes care of the case where a is 1 and b is 2, 3, 4, or 6.

Half-angle formula

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)=1cos(45)2=1222=222
cos(22.5)=1+cos(45)2=1+222=2+22

Repeated application of the cosine half-angle formula leads to nested square roots that continue in a pattern where each application adds a 2+ to the numerator and the denominator is 2. For example:

cos(π16)=2+2+22cos(π32)=2+2+2+22
cos(π12)=6+24=2+32cos(π24)=2+2+32

Sine of 18°

Cases where the denominator, b, is 5 times a power of 2 can start from the following derivation of sin(18),[4] since 18=π/10 radians. The derivation uses the multiple angle formulas for sine and cosine. By the double angle formula for sine:

sin(36)=2sin(18)cos(18)

By the triple angle formula for cosine:

cos(54)=cos3(18)3sin2(18)cos(18)=cos(18)(14sin2(18))

Since sin(36°) = cos(54°), we equate these two expressions and cancel a factor of cos(18°):

2sin(18)=14sin2(18)

This quadratic equation has only one positive root:

sin(18)=514

Using other identities

The sines and cosines of many other angles can be derived using the results described above and a combination of the multiple angle formulas and the sum and difference formulas. For example, for the case where b is 15 times a power of 2, since 24=6036, its cosine can be derived by the cosine difference formula:

cos(24)=cos(60)cos(36)+sin(60)sin(36)=125+14+3210254=1+5+30658

Denominator of 17

Main page: Heptadecagon

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 radians can be expressed in terms of square roots. In particular, in 1796, Carl Friedrich Gauss showed that:[5][6]

cos(2π17)=1+17+34217+217+317170+381716

The sines and cosines of other constructible angles with a denominator divisible by 17 can be derived from this one.

Roots of unity

Main page: Root of unity

An irrational number that can be expressed as the sine or cosine of a rational multiple of π radians is called a trigonometric number.[7]:ch. 5 Since sin(x)=cos(xπ/2), the case of a sine can be omitted from this definition. Therefore any trigonometric number can be written as cos(2π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)+isin(2πk/n). De Moivre's formula shows that numbers of this form are roots of unity:

(cos(2πkn)+isin(2πkn))n=cos(2πk)+isin(2πk)=1

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 real part of any root of unity is trigonometric, unless it is rational. By Niven's theorem, the only rational numbers that can be expressed as the real part of a root of unity are 0, 1, −1, 1/2, and −1/2.[8]

Extended table of exact values: Until 360 degrees

As in the previous table, in the table below, stands for the ratio 1:0. These values can also be considered to be undefined (see division by zero).

Exact values of common angles[1][9]
Radian Degree sin cos tan cot sec csc
0 0 0 1 0 1
π24 7.5 1222+3 122+2+3 63+22 6+3+2+2 28362(49206) 28+36+2(49+206)
π12 15 24(31) 24(3+1) 23 2+3 2(31) 2(3+1)
π10 18 514 10+254 251055 5+25 501055 1+5
π8 22.5 222 2+22 21 2+1 422 4+22
π6 30 12 32 33 3 233 2
π5 36 10254 1+54 525 25+1055 51 50+1055
π4 45 22 22 1 1 2 2
3π10 54 1+54 10254 25+1055 525 50+1055 51
π3 60 32 12 3 33 2 233
3π8 67.5 2+22 222 2+1 21 4+22 422
2π5 72 10+254 514 5+25 251055 1+5 501055
5π12 75 24(3+1) 24(31) 2+3 23 2(3+1) 2(31)
π2 90 1 0 0 1
7π12 105 24(3+1) 24(31) 23 2+3 2(1+3) 2(31)
2π3 120 32 12 3 33 2 233
3π4 135 22 22 1 1 2 2
5π6 150 12 32 33 3 233 2
11π12 165 24(31) 24(3+1) 23 2+3 2(31) 2(3+1)
π 180 0 1 0 1
13π12 195 3122 3+122 23 2+3 2(31) 2(1+3)
7π6 210 12 32 33 3 233 2
5π4 225 22 22 1 1 2 2
4π3 240 32 12 3 33 2 233
17π12 255 24(3+1) 24(31) 2+3 23 2(3+1) 2(31)
3π2 270 1 0 0 1
19π12 285 24(3+1) 24(31) 23 2+3 2(3+1) 2(31)
5π3 300 32 12 3 33 2 233
7π4 315 22 22 1 1 2 2
11π6 330 12 32 33 3 233 2
23π12 345 24(31) 24(3+1) 2+3 23 2(31) 2(3+1)

See also

References

  1. 1.0 1.1 Abramowitz & Stegun 1972, p. 74, 4.3.46
  2. 2.0 2.1 Fraleigh, John B. (1994), A First Course in Abstract Algebra (5th ed.), Addison Wesley, ISBN 978-0-201-53467-2 
  3. Martin, George E. (1998), Geometric Constructions, Undergraduate Texts in Mathematics, Springer-Verlag, New York, p. 46, doi:10.1007/978-1-4612-0629-3, ISBN 0-387-98276-0 
  4. "Exact Value of sin 18°". https://www.math-only-math.com/exact-value-of-sin-18-degree.html. 
  5. Arthur Jones, Sidney A. Morris, Kenneth R. Pearson, Abstract Algebra and Famous Impossibilities, Springer, 1991, ISBN:0387976612, p. 178.
  6. Callagy, James J. "The central angle of the regular 17-gon", Mathematical Gazette 67, December 1983, 290–292.
  7. Niven, Ivan. Numbers: Rational and Irrational, 1961. Random House. New Mathematical Library, Vol. 1. ISSN 0548-5932.
  8. Schaumberger, Norman (1974). "A Classroom Theorem on Trigonometric Irrationalities". Two-Year College Mathematics Journal 5 (1): 73–76. doi:10.2307/3026991. 
  9. Surgent, Scott (November 2018). "Exact Values of Sine and Cosine of Angles in Increments of 3 Degrees". Wayback Machine. https://math.la.asu.edu/~surgent/mat170/Exact_Trig_Values.pdf. 

Bibliography