# Sum of Squares of Sine and Cosine

## Theorem

$\cos^2 x + \sin^2 x = 1$

where $\sin$ and $\cos$ are sine and cosine.

### Corollary 1

$\sec^2 x - \tan^2 x = 1 \quad \text {(when$\cos x \ne 0$)}$

### Corollary 2

$\csc^2 x - \cot^2 x = 1 \quad \text {(when$\sin x \ne 0$)}$

## Algebraic Proof

 $\displaystyle 1$ $=$ $\displaystyle \cos 0$ $\quad$ Cosine of Zero is One $\quad$ $\displaystyle$ $=$ $\displaystyle \cos \paren {x - x}$ $\quad$ $\quad$ $\displaystyle$ $=$ $\displaystyle \cos x \cos \paren {-x} - \sin x \sin \paren {-x}$ $\quad$ Cosine of Sum‎ $\quad$ $\displaystyle$ $=$ $\displaystyle \cos x \cos x - \paren {-\sin x \sin x}$ $\quad$ Cosine Function is Even and Sine Function is Odd $\quad$ $\displaystyle$ $=$ $\displaystyle \cos^2 x + \sin^2 x$ $\quad$ $\quad$

$\blacksquare$

### Notes

Note that we need to start from the algebraic definitions of sine and cosine:

$\displaystyle \sin x = \sum_{n \mathop = 0}^\infty \paren {-1}^n \frac {x^{2 n + 1} } {\paren {2 n + 1}!} = x - \frac {x^3} {3!} + \frac {x^5} {5!} - \cdots$
$\displaystyle \cos x = \sum_{n \mathop = 0}^\infty \paren {-1}^n \frac {x^{2 n} } {\paren {2 n}!} = 1 - \frac {x^2} {2!} + \frac {x^4} {4!} - \cdots$

and then use the proofs of the Cosine of Sum that derive directly from these.

Otherwise these proofs are circular.

## Geometric Proof

From the trigonometric definitions of sine and cosine:

 $\displaystyle \sin x$ $=$ $\displaystyle \frac{\text{opposite} } {\text{hypotenuse} }$ $\quad$ $\quad$ $\displaystyle \cos x$ $=$ $\displaystyle \frac{\text{adjacent} } {\text{hypotenuse} }$ $\quad$ $\quad$

Then:

 $\displaystyle \sin^2 x + \cos^2 x$ $=$ $\displaystyle \frac{\text{opposite}^2 + \text{adjacent}^2} {\text{hypotenuse}^2}$ $\quad$ $\quad$ $\displaystyle$ $=$ $\displaystyle \frac{\text{hypotenuse}^2} {\text{hypotenuse}^2}$ $\quad$ Pythagoras's Theorem $\quad$ $\displaystyle$ $=$ $\displaystyle 1$ $\quad$ $\quad$

$\blacksquare$

## Unit Circle Proof

Let $P = \left({x, y}\right)$ be a point on the circumference of a unit circle whose center is at the origin of a cartesian coordinate plane.

$P = \left({\cos \theta, \sin \theta}\right)$

The graph of the unit circle is the locus of:

$x^2 + y^2 = 1$

as given by Equation of Circle.

Substituting $x = \cos \theta$ and $y = \sin \theta$ yields:

$\cos^2 \theta + \sin^2 \theta = 1$

$\blacksquare$

## Euler's Formula Proof

 $\displaystyle \cos^2 x + \sin^2 x$ $=$ $\displaystyle \left({\cos x + i \, \sin x}\right) \, \left({\cos x - i \, \sin x}\right)$ $\quad$ factoring over the complex numbers $\quad$ $\displaystyle$ $=$ $\displaystyle \left({\cos x + i \, \sin x}\right) \, \left({\cos \left({-x}\right) + i \, \sin \left({-x}\right)}\right)$ $\quad$ Cosine Function is Even and Sine Function is Odd $\quad$ $\displaystyle$ $=$ $\displaystyle e^{ix} \, e^{-ix}$ $\quad$ Euler's Formula $\quad$ $\displaystyle$ $=$ $\displaystyle 1$ $\quad$ $\quad$

$\blacksquare$

## Exponential Formulation Proof

 $\displaystyle \cos^2 x + \sin^2 x$ $=$ $\displaystyle \paren {\frac {e^{i x} + e^{-i x} } 2}^2 + \sin^2 x$ $\quad$ Cosine Exponential Formulation $\quad$ $\displaystyle$ $=$ $\displaystyle \paren {\frac {e^{i x} + e^{-i x} } 2}^2 + \paren {\frac {e^{i x} - e^{-i x} } {2 i} }^2$ $\quad$ Sine Exponential Formulation $\quad$ $\displaystyle$ $=$ $\displaystyle \frac {\paren {e^{i x} }^2 + 2 e^{-i x} e^{i x} + \paren {e^{-i x} }^2} 4 + \paren {\frac {e^{i x} - e^{-i x} } {2 i} }^2$ $\quad$ Square of Sum $\quad$ $\displaystyle$ $=$ $\displaystyle \frac {\paren {e^{i x} }^2 + 2 e^{-i x} e^{i x} + \paren {e^{-i x} }^2} 4 + \frac {\paren {e^{i x} }^2 - e^{-i x} e^{i x} + \paren {e^{-i x} }^2} {-4}$ $\quad$ Square of Difference and $i^2 = -1$ $\quad$ $\displaystyle$ $=$ $\displaystyle \frac {e^{2 i x} + 2 + e^{-2 i x} } 4 + \frac {e^{2 i x} - 2 + e^{-2 i x} } {-4}$ $\quad$ Exponential of Sum $\quad$ $\displaystyle$ $=$ $\displaystyle \frac {e^{2 i x} + 2 + e^{-2 i x} - e^{2 i x} + 2 - e^{-2 i x} } 4$ $\quad$ simplifying $\quad$ $\displaystyle$ $=$ $\displaystyle \frac 4 4$ $\quad$ simplifying $\quad$ $\displaystyle$ $=$ $\displaystyle 1$ $\quad$ $\quad$

$\blacksquare$

## Historical Note

Discovered and documented by Varāhamihira in the 6th century CE.