Tag: sine

  • A Sum of Cosines Is a Geometric Series—Could You Believe It?

    Consider the innocent-looking sum

    S = cosx + cos2x + cos3x + ⋯ + cosnx.

    At first glance, there is nothing geometric about it. The terms are cosines, not powers of a common ratio.

    But there is a geometric series hiding inside.

    The Key Idea

    Euler’s formula says

    eix = cosx + isinx.

    Therefore, the real part of eikx is coskx. Hence

    S = Re ( eix + e2ix + e3ix + ⋯ + enix ) .

    Now look carefully at the expression inside the parentheses. It is a geometric series!

    Its first term is eix, and its common ratio is also eix.

    Sum the Geometric Series

    Using the finite geometric-series formula,

    eix + e2ix + ⋯ + enix = eix 1 − enix 1 − eix .

    This already proves that our trigonometric sum comes from a geometric series. But we can simplify it further.

    A Useful Identity

    For any real number t,

    1 − eit = −2i eit/2 sin ( t2 ) .

    Apply this identity to both the numerator and denominator. After cancellation, we obtain

    eix + e2ix + ⋯ + enix = sin ( nx2 ) sin ( x2 ) e i (n+1)x 2 .

    Now take the real part. Since the real part of eiθ is cosθ, we arrive at

    cosx + cos2x + ⋯ + cosnx = sin ( nx2 ) cos ( (n+1)x 2 ) sin ( x2 ) .

    So the final formula is

    cosx + cos2x + ⋯ + cosnx = sin ( nx2 ) cos ( (n+1)x 2 ) sin ( x2 ) .

    This formula applies whenever sin(x/2)≠0. If x is a multiple of 2π, every cosine equals 1, so the original sum is simply n.

    There Is Geometry Behind the Geometric Series

    The connection is even more interesting than the algebra suggests.

    Each complex number

    eikx = coskx + isinkx

    can be viewed as a vector of length 1 making an angle kx with the positive horizontal axis.

    Thus the vectors

    eix , e2ix , e3ix , … , enix

    all have the same length, and each successive vector is obtained by rotating the previous one through exactly the same angle x.

    Place these vectors head-to-tail. They form a turning polygonal chain. Their vector sum is

    eix + e2ix + ⋯ + enix.

    And what is the horizontal component of this vector?

    Exactly

    cosx + cos2x + ⋯ + cosnx.

    So our sum of cosines really does have a geometric meaning.

    And the Sines Come for Free

    The imaginary part of exactly the same geometric series gives another classical identity:

    sinx + sin2x + ⋯ + sinnx = sin ( nx2 ) sin ( (n+1)x 2 ) sin ( x2 ) .

    One geometric series has given us two trigonometric identities.

    The Takeaway

    A sum such as

    cosx + cos2x + ⋯ + cosnx

    does not look remotely like a geometric series.

    But complex numbers reveal what is hidden:

    trigonometric sum → complex exponentials → geometric series → closed formula.

    Sometimes the hardest part of a problem is not doing the calculation. It is recognizing what the calculation really is.


    Another Unexpected Side of Trigonometry

    Writing a sum of cosines as part of a geometric series reveals algebra hidden inside trigonometry. There is another beautiful example of this idea in the historical problem of actually computing sines and cosines.

    Long before electronic calculators, Newton developed infinite series that turned sin ⁡ (x) and cos ⁡ (x) into expressions that could be evaluated using arithmetic.

    Continue exploring: How Newton Computed Sines and Cosines Without a Calculator

  • How Newton Computed Sines and Cosines Without a Calculator

    Today, if we want to know the sine or cosine of an angle, we simply press a button on a calculator. But suppose there is no calculator, no computer, and no trigonometric table.

    How could we actually compute, for example,

    sin ( 1 ° )

    using only arithmetic?

    One answer comes from the classical sine and cosine series associated with Isaac Newton. The series appeared in Newton’s De analysi per aequationes numero terminorum infinitas, written in 1665–1666. The elegant derivation below follows a later mean-value approach presented by Heinrich Dörrie, written here in modern calculus notation.

    The goal

    We want formulas that allow us to calculate the sine and cosine of an angle x. The angle must be measured in radians.

    The formulas we will obtain are

    sinx = x − x3 3! + x5 5! − x7 7! + ⋯

    and

    cosx = 1 − x2 2! + x4 4! − x6 6! + ⋯

    Today these are familiar power series. What is especially interesting is that we can derive them from a very simple idea: repeatedly taking averages.

    The key idea: average values

    Consider the average value of the sine function on the interval from 0 to x. In modern calculus notation,

    1 x ∫ 0 x sint dt = 1 − cosx x

    Similarly, the average value of cosine is

    1 x ∫ 0 x cost dt = sinx x

    These two elementary formulas are enough to generate increasingly accurate approximations for both sine and cosine.

    Start with the simplest inequality

    For a positive angle x sufficiently close to zero,

    cosx < 1

    Now take the average of both sides from 0 to x. The average of the left side is

    sinx x

    while the average of 1 is simply 1. Therefore,

    sinx x < 1

    and hence

    sinx < x

    We have obtained our first approximation:

    sinx ≈ x

    Average again

    Now start with

    sinx < x

    and take averages once more. The average of the left side is

    1 − cosx x

    while the average of the function t on the interval from 0 to x is x/2. Thus,

    1 − cosx x < x 2

    Multiplying by x and rearranging gives

    cosx > 1 − x2 2!

    And again

    Take averages of this new inequality. The average of cosine is

    sinx x

    and the average of the right-hand side is

    1 − x2 6

    Therefore,

    sinx x > 1 − x2 6

    and consequently

    sinx > x − x3 3!

    We have now trapped sine between two simple expressions:

    x − x3 3! < sinx < x

    Keep repeating the process

    Each time we take another average, we obtain another term. Continuing gives alternating upper and lower bounds:

    sinx < x − x3 3! + x5 5!

    and then

    sinx > x − x3 3! + x5 5! − x7 7!

    The upper and lower approximations become closer and closer. Their common limiting value gives

    sinx = x − x3 3! + x5 5! − x7 7! + ⋯

    The same procedure gives

    cosx = 1 − x2 2! + x4 4! − x6 6! + ⋯

    A built-in error estimate

    There is another important advantage. If we stop either series after a finite number of terms, the error is smaller in absolute value than the first term we leave out.

    For example, if we use

    sinx ≈ x − x3 3!

    then the error is smaller than

    x5 5!

    This means that the series does not merely give us an approximation. It also tells us how accurate that approximation is.

    Computing sin(1°)

    Now let us actually calculate a trigonometric value without using a table.

    One degree in radians is

    x = π 180 ≈ 0.01745329252

    Since this number is very small, just two terms of the sine series already give extraordinary accuracy:

    sin ( 1 ° ) ≈ x − x3 6

    Substituting the value of x gives

    sin ( 1 ° ) ≈ 0.0174524064

    How accurate is this?

    The first omitted term is

    x5 120 < 0.00000000002

    Thus only two terms are enough to determine sin(1°) correctly to ten decimal places:

    sin ( 1 ° ) ≈ 0.0174524064

    That is a remarkable amount of accuracy from such a short calculation.

    Computing the cosine

    The cosine works in exactly the same way. For one degree,

    cosx ≈ 1 − x2 2 + x4 24

    which gives

    cos ( 1 ° ) ≈ 0.9998476952

    Again, only a few arithmetic operations are needed.

    Why radians matter

    There is one essential detail: these formulas require angles to be measured in radians.

    The fundamental approximation

    sinx ≈ x

    works in this form because radian measure connects an angle directly with arc length on the unit circle.

    If an angle is given in degrees, convert it first:

    x = ( angle in degrees ) π 180

    The larger idea

    What makes this argument beautiful is not merely the final formulas. It is how little we need in order to discover them.

    We begin with the elementary inequality

    cosx < 1

    and repeatedly take average values. Each step produces another power of x, another factorial in the denominator, and a sharper approximation.

    Eventually the familiar patterns emerge:

    sinx = x − x3 3! + x5 5! − ⋯ cosx = 1 − x2 2! + x4 4! − ⋯

    A calculator evaluates sine and cosine instantly. These series reveal some of the mathematics behind that computation: trigonometric values can be constructed, digit by digit, using powers, factorials, addition, subtraction, multiplication, and division.

    Reference

    The mean-value derivation in this article is adapted, using modern calculus notation, from Heinrich Dörrie, 100 Great Problems of Elementary Mathematics: Their History and Solution, translated by David Antin, Dover Publications, Problem 15, “Newton’s Sine and Cosine Series,” pp. 59–63.


    Another Unexpected Side of Trigonometry

    Newton’s approach shows that familiar trigonometric functions can be reconstructed from infinite algebraic expansions. But there is another surprising algebraic connection hiding in trigonometry.

    Consider the finite sum cos ⁡ (x) + cos ⁡ (2x) + ⋯ + cos ⁡ (nx). At first glance, it has nothing to do with a geometric series. Yet a simple change of viewpoint reveals exactly that structure.

    Continue exploring: A Sum of Cosines Is a Geometric Series—Could You Believe It?