Exact trigonometric constants
Trigonometry |
---|
Reference |
Laws and theorems |
Calculus |
Exact algebraic expressions for trigonometric values are sometimes useful, mainly for simplifying solutions into radical forms which allow further simplification.
All values of the sines, cosines, and tangents of angles at 3° increments are derivable in radicals using identities—the half-angle identity, the double-angle identity, and the angle addition/subtraction identity—and using values for 0°, 30°, 36°, and 45°. Note that 1° = π/180 radians.
According to Niven's theorem, the only rational values of the sine function for which the argument is a rational number of degrees are 0, 1/2, 1, −1/2, and −1.
Fermat number
The list in this article is incomplete in at least two senses. First, it is always possible to apply the half-angle formula to find an exact expression for the cosine of one-half of any angle on the list, then half of that angle, etc. Second, this article exploits only the first two of five known Fermat primes: 3 and 5, whereas algebraic expressions also exist for the functions of 2π/17, 2π/257, and 2π/65537. In practice, all values of sines, cosines, and tangents not found in this article are approximated using the techniques described at Generating trigonometric tables.
Table of constants
Values outside the [0°, 45°] angle range are trivially derived from these values, using circle axis reflection symmetry. (See Trigonometric identity.)
In the entries below, when a certain number of degrees is related to a regular polygon, the relation is that the number of degrees in each angle of the polygon is (n – 2) times the indicated number of degrees (where n is the number of sides). This is because the sum of the angles of any n-gon is 180°×(n – 2) and so the measure of each angle of any regular n-gon is 180°×(n – 2) ÷ n. Thus for example the entry "45°: square" means that, with n = 4, 180° ÷ n = 45°, and the number of degrees in each angle of a square is (n – 2)×45° = 90°.
0°: fundamental
2.25°: regular octacontagon (80-sided polygon)
2.8125°: regular 64-sided polygon
3°: regular hexacontagon (60-sided polygon)
4.5°: regular tetracontagon (40-sided polygon)
5.625°: regular 32-sided polygon
6°: regular triacontagon (30-sided polygon)
7.5°: regular icositetragon (24-sided polygon)
9°: regular icosagon (20-sided polygon)
11.25°: regular hexadecagon (16-sided polygon)
12°: regular pentadecagon (15-sided polygon)
15°: regular dodecagon (12-sided polygon)
18°: regular decagon (10-sided polygon)[1]
21°: sum 9° + 12°
22.5°: regular octagon
24°: sum 12° + 12°
27°: sum 12° + 15°
30°: regular hexagon
33°: sum 15° + 18°
36°: regular pentagon[1]
-
- where is the golden ratio;
39°: sum 18° + 21°
42°: sum 21° + 21°
45°: square
60°: equilateral triangle
90°: fundamental
Notes
Uses for constants
As an example of the use of these constants, consider a dodecahedron with the following volume, where a is the length of an edge:
Using
this can be simplified to:
Derivation triangles
The derivation of sine, cosine, and tangent constants into radial forms is based upon the constructibility of right triangles.
Here right triangles made from symmetry sections of regular polygons are used to calculate fundamental trigonometric ratios. Each right triangle represents three points in a regular polygon: a vertex, an edge center containing that vertex, and the polygon center. An n-gon can be divided into 2n right triangles with angles of {180/n, 90 − 180/n, 90} degrees, for n in 3, 4, 5, ...
Constructibility of 3, 4, 5, and 15-sided polygons are the basis, and angle bisectors allow multiples of two to also be derived.
- Constructible
- 3×2n-sided regular polygons, for n in 0, 1, 2, 3, ...
- 30°-60°-90° triangle: triangle (3-sided)
- 60°-30°-90° triangle: hexagon (6-sided)
- 75°-15°-90° triangle: dodecagon (12-sided)
- 82.5°-7.5°-90° triangle: icositetragon (24-sided)
- 86.25°-3.75°-90° triangle: 48-gon
- 88.125°-1.875°-90° triangle: 96-gon
- ...
- 4×2n-sided
- 45°-45°-90° triangle: square (4-sided)
- 67.5°-22.5°-90° triangle: octagon (8-sided)
- 78.75°-11.25°-90° triangle: hexadecagon (16-sided)
- 84.375°-5.625°-90° triangle: 32-gon
- 87.1875°-2.8125°-90° triangle: 64-gon
- ...
- 5×2n-sided
- 54°-36°-90° triangle: pentagon (5-sided)
- 72°-18°-90° triangle: decagon (10-sided)
- 81°-9°-90° triangle: icosagon (20-sided)
- 85.5°-4.5°-90° triangle: tetracontagon (40-sided)
- 87.75°-2.25°-90° triangle: octacontagon (80-sided)
- ...
- 15×2n-sided
- 78°-12°-90° triangle: pentadecagon (15-sided)
- 84°-6°-90° triangle: triacontagon (30-sided)
- 87°-3°-90° triangle: hexacontagon (60-sided)
- 88.5°-1.5°-90° triangle: 120-gon
- 89.25°-0.75°-90° triangle: 240-gon
- ... (Higher constructible regular polygons don't make whole degree angles: 17, 51, 85, 255, 257, ..., 65537, ..., 4294967295)
- 3×2n-sided regular polygons, for n in 0, 1, 2, 3, ...
- Nonconstructible (with whole or half degree angles) – No finite radical expressions involving real numbers for these triangle edge ratios are possible, therefore its multiples of two are also not possible.
- 9×2n-sided
- 70°-20°-90° triangle: enneagon (9-sided)
- 80°-10°-90° triangle: octadecagon (18-sided)
- 85°-5°-90° triangle: 36-gon
- 87.5°-2.5°-90° triangle: 72-gon
- ...
- 45×2n-sided
- 86°-4°-90° triangle: 45-gon
- 88°-2°-90° triangle: enneacontagon (90-sided)
- 89°-1°-90° triangle: 180-gon
- 89.5°-0.5°-90° triangle: 360-gon
- . . .
- 9×2n-sided
Calculated trigonometric values for sine and cosine
The trivial ones
In degree format: 0, 30, 45, 60, and 90 can be calculated from their triangles, using the Pythagorean theorem.
n × π/(5 × 2m)
Geometrical method
Applying Ptolemy's theorem to the cyclic quadrilateral ABCD defined by four successive vertices of the pentagon, we can find that:
which is the reciprocal 1/φ of the golden ratio. crd is the chord function,
(See also Ptolemy's table of chords.)
Thus
(Alternatively, without using Ptolemy's theorem, label as X the intersection of AC and BD, and note by considering angles that triangle AXB is isosceles, so AX = AB = a. Triangles AXD and CXB are similar, because AD is parallel to BC. So XC = a·(a/b). But AX + XC = AC, so a + a2/b = b. Solving this gives a/b = 1/φ, as above).
Similarly
so
Algebraic method
The multiple angle formulas for functions of , where and , can be solved for the functions of , since we know the function values of . The multiple angle formulas are:
- When or , we let or and solve for :
- One solution is zero, and the resulting 4th degree equation can be solved as a quadratic in .
- When or , we again let or and solve for :
- which factors into:
n × π/20
- 9° is 45 − 36, and 27° is 45 − 18; so we use the subtraction formulas for sine and cosine.
n × π/30
- 6° is 36 − 30, 12° is 30 − 18, 24° is 54 − 30, and 42° is 60 − 18; so we use the subtraction formulas for sine and cosine.
n × π/60
- 3° is 18 − 15, 21° is 36 − 15, 33° is 18 + 15, and 39° is 54 − 15, so we use the subtraction (or addition) formulas for sine and cosine.
Strategies for simplifying expressions
Rationalize the denominator
- If the denominator is a square root, multiply the numerator and denominator by that radical.
- If the denominator is the sum or difference of two terms, multiply the numerator and denominator by the conjugate of the denominator. The conjugate is the identical, except the sign between the terms is changed.
- Sometimes you need to rationalize the denominator more than once.
Split a fraction in two
- Sometimes it helps to split the fraction into the sum of two fractions and then simplify both separately.
Squaring and square rooting
- If there is a complicated term, with only one kind of radical in a term, this plan may help. Square the term, combine like terms, and take the square root. This may leave a big radical with a smaller radical inside, but it is often better than the original.
Simplification of nested radical expressions
In general nested radicals cannot be reduced.
But if for ,
is rational, and both
are rational, then
For example,
See also
- Trigonometric function
- Trigonometric identity
- Constructible polygon
- Trigonometric number
- 17-gonal construction
- Ptolemy's table of chords
- Niven's theorem
References
- Weisstein, Eric W., "Constructible polygon", MathWorld.
- Weisstein, Eric W., "Trigonometry angles", MathWorld.
- π/3 (60°) — π/6 (30°) — π/12 (15°) — π/24 (7.5°)
- π/4 (45°) — π/8 (22.5°) — π/16 (11.25°) — π/32 (5.625°)
- π/5 (36°) — π/10 (18°) — π/20 (9°)
- π/7 — π/14
- π/9 (20°) — π/18 (10°)
- π/11
- π/13
- π/15 (12°) — π/30 (6°)
- π/17
- π/19
- π/23
- Bracken, Paul; Cizek, Jiri (2002). "Evaluation of quantum mechanical perturbation sums in terms of quadratic surds and their use in approximation of ζ(3)/π3". Int. J. Quantum Chemistry 90 (1): 42–53. doi:10.1002/qua.1803.
- Conway, John H.; Radin, Charles; Radun, Lorenzo (1998). "On angles whose squared trigonometric functions are rational". arXiv:math-ph/9812019.
- Conway, John H.; Radin, Charles; Radun, Lorenzo (1999). "On angles whose squared trigonometric functions are rational". Disc. and Comp. Geom. 22 (3): 321–332. doi:10.1007/PL00009463. MR 1706614.
- Girstmair, Kurt (1997). "Some linear relations between values of trigonometric functions at k*pi/n". Acta Arithmetica 81: 387–398. MR 1472818.
- Gurak, S. (2006). "On the minimal polynomial of gauss periods for prime powers". Mathematics of Computation 75 (256): 2021–2035. Bibcode:2006MaCom..75.2021G. doi:10.1090/S0025-5718-06-01885-0. MR 2240647.
- Servi, L. D. (2003). "Nested square roots of 2". Am. Math. Monthly 110 (4): 326–330. doi:10.2307/3647881. JSTOR 3647881. MR 1984573.
External links
- Constructible Regular Polygons
- Naming polygons
- Sine and cosine in surds includes alternative expressions in some cases as well as expressions for some other angles