The Mathematical Derivation of the Tangent Addition Formula With Geometric Proofs

The tangent addition formula is a fundamental identity in trigonometry that allows us to find the tangent of the sum of two angles. It is expressed as:

tan(α + β) = (tan α + tan β) / (1 − tan α tan β)

This formula holds for all angles α and β for which tan α, tan β, and tan(α + β) are defined—that is, whenever α, β, and α + β are not odd multiples of π/2. Understanding its derivation both geometrically and algebraically provides deep insight into the structure of trigonometric functions and their relationships.

Geometric Derivation of the Formula

A geometric proof of the tangent addition formula relies on constructing a figure with a circle and tangent lines. This approach connects the abstract identity to tangible lengths and angles, making the result intuitive.

Construction and Setup

Consider a unit circle centered at point O. Let points A and B lie on the circle such that the central angles formed by OA and OB with the positive x‑axis are α and β respectively. Extend radii OA and OB, and draw the tangent lines to the circle at points A and B. These two tangents intersect at a point we call T. The lines OA and OB form angles α and β with the horizontal, and the angle between the radii OA and OB is the difference α − β (if we measure from OA to OB). However, for the sum formula we want tan(α + β). To achieve that, we need a different construction.

A more direct geometric approach uses the tangent lines at two points that correspond to the sum of angles. Place points on the circle such that the arc from the initial point to the first point corresponds to α, and the arc from the first point to the second corresponds to β. Then draw tangents at these points and consider the intersection with the x‑axis.

Specifically, set up a coordinate system with the center O at the origin. Let the point P₁ on the unit circle correspond to angle α, so P₁ = (cos α, sin α). Let point P₂ correspond to angle α + β, so P₂ = (cos(α+β), sin(α+β)). Draw the tangents to the circle at P₁ and P₂. These tangents will intersect the x‑axis at points Q₁ and Q₂ respectively. The x‑intercepts of these tangents have geometric significance related to tan α and tan(α+β).

Recall that the tangent to the unit circle at a point (cos θ, sin θ) has slope −cot θ and its equation can be written. The x‑intercept occurs when y = 0. Solving yields the x‑intercept at sec θ / tan θ = 1/(sin θ). But more directly, the length from the point of tangency to the x‑axis along the tangent line relates to the tangent of the angle.

Using Similar Triangles

An elegant geometric proof uses a right triangle inscribed in the circle. Draw a vertical line from point P₁ to the x‑axis, meeting at a point R. The line OR is of length cos α, and RP₁ = sin α. Now consider the tangent line at P₁. The angle between this tangent and the radius OP₁ is 90°. The tangent line and the horizontal axis form an angle equal to α (the angle between the radius and the horizontal). By constructing a larger triangle involving the tangent intersection, we can derive the formula.

Let the tangent at P₁ intersect the x‑axis at point T₁. The triangle OT₁P₁ is right‑angled at P₁ (since radius is perpendicular to tangent). The angle at O in triangle OT₁P₁ is α. Therefore, tan α = opposite/adjacent = P₁T₁ / OP₁. Since OP₁ = 1 (unit circle), we have P₁T₁ = tan α. Similarly, the tangent at P₂ intersects the x‑axis at T₂, and the length P₂T₂ = tan(α+β).

Now draw a line through P₂ parallel to the tangent at P₁. This line intersects the extension of OP₁ at some point S. The resulting figure contains similar triangles that relate the lengths tan α and tan(α+β) to tan β. By analyzing the geometry, we obtain the addition formula. Detailed step‑by‑step derivations can be found in geometry textbooks, but the core idea is that the slope of the line connecting the two tangency points is related to the sum of the tangents.

Algebraic Verification from Sine and Cosine

The most straightforward verification of the tangent addition formula comes from the sine and cosine addition formulas:

sin(α + β) = sin α cos β + cos α sin β
cos(α + β) = cos α cos β − sin α sin β

By definition, tan(α + β) = sin(α + β) / cos(α + β). Substituting the formulas gives:

tan(α + β) = (sin α cos β + cos α sin β) / (cos α cos β − sin α sin β)

Now divide the numerator and denominator by cos α cos β (assuming cos α and cos β are not zero):

tan(α + β) = [ (sin α cos β)/(cos α cos β) + (cos α sin β)/(cos α cos β) ] / [ (cos α cos β)/(cos α cos β) − (sin α sin β)/(cos α cos β) ]

This simplifies to:

tan(α + β) = (tan α + tan β) / (1 − tan α tan β)

This algebraic derivation is concise and relies only on the established sine and cosine addition identities. It is often the first method taught in trigonometry courses.

Alternative Derivation Using Complex Numbers

Complex numbers provide another elegant path to the tangent addition formula. Recall Euler’s formula: e^{iθ} = cos θ + i sin θ. The tangent of an angle can be expressed as the ratio of the imaginary and real parts of e^{iθ} up to a factor. More directly, we can use the formula for the tangent of a sum via complex division.

Consider two complex numbers on the unit circle: z₁ = cos α + i sin α and z₂ = cos β + i sin β. Their product is z₁z₂ = cos(α+β) + i sin(α+β). The argument of the product is α + β. The tangent of the argument is the ratio of the imaginary part to the real part of the product:

tan(α+β) = Im(z₁z₂) / Re(z₁z₂) = (sin α cos β + cos α sin β) / (cos α cos β − sin α sin β)

Dividing numerator and denominator by cos α cos β again yields the familiar formula. This method highlights the connection between trigonometry and complex arithmetic and is especially useful in more advanced mathematics. For a deeper dive, see Wikipedia's list of trigonometric identities.

Applications of the Formula

The tangent addition formula is not only a theoretical identity but also a practical tool across many fields.

Solving Trigonometric Equations

Equations such as tan(2x) = 1 or tan(x + π/4) = √3 can be transformed using the addition formula into algebraic equations in tan x. This reduces trigonometric equations to polynomial equations, which are often easier to solve.

Simplifying Expressions

Expressions like (tan A + tan B) / (1 − tan A tan B) can be recognized as tan(A+B) and simplified immediately. This is useful in calculus when integrating rational functions involving tangents.

Calculus – Derivatives and Integrals

The derivative of tan x is sec²x, but when dealing with compositions such as tan(kx + c) or tan(x + a), the addition formula helps to expand the function before differentiation. In integration, the substitution t = tan(x/2) converts trigonometric integrals into rational functions; the addition formula underpins the derivation of that substitution. For an example of integration techniques, refer to Paul's Online Math Notes on trigonometric integrals.

Physics – Combining Angles and Slopes

In mechanics, the direction of the resultant of two forces can be found using the tangent addition formula if the forces are expressed as slopes. In optics, the formula appears when calculating the angle of deviation through a prism. In coordinate geometry, the angle between two lines with slopes m₁ and m₂ is given by tan θ = |(m₂ − m₁) / (1 + m₁ m₂)|, a direct adaptation of the tangent subtraction formula.

Worked Examples

Example 1: Exact Value

Find tan(75°) using known values tan 45° = 1 and tan 30° = √3/3.

tan(45° + 30°) = (1 + √3/3) / (1 − 1·(√3/3)) = ( (3+√3)/3 ) / ( (3−√3)/3 ) = (3+√3) / (3−√3). Rationalizing gives ( (3+√3)² / (9−3) ) = (9+6√3+3)/6 = (12+6√3)/6 = 2+√3. So tan 75° = 2 + √3.

Example 2: Solving an Equation

Solve tan(x + π/4) = 1 for 0 ≤ x < 2π.

Let t = tan x. Then tan(x + π/4) = (t + tan(π/4)) / (1 − t·tan(π/4)) = (t+1)/(1−t). Set equal to 1: (t+1)/(1−t) = 1 → t+1 = 1−t → 2t = 0 → t = 0. So tan x = 0 → x = 0, π. Check that denominator not zero: when x = 0, 1−0 = 1 fine; when x = π, tan π = 0, denominator 1−0 fine. So solutions are x = 0 and x = π.