Cosine of i/Proof 1
Jump to navigation
Jump to search
Theorem
- $\cos i = \dfrac e 2 + \dfrac 1 {2 e}$
Proof
We have:
\(\text {(1)}: \quad\) | \(\ds \cos i + i \sin i\) | \(=\) | \(\ds e^{i \times i}\) | Euler's Formula | ||||||||||
\(\ds \) | \(=\) | \(\ds e^{-1}\) | Definition of Imaginary Unit | |||||||||||
\(\ds \) | \(=\) | \(\ds \frac 1 e\) |
Also:
\(\text {(2)}: \quad\) | \(\ds \cos i - i \sin i\) | \(=\) | \(\ds \map \cos {-i} + i \map \sin {-i}\) | Cosine Function is Even and Sine Function is Odd | ||||||||||
\(\ds \) | \(=\) | \(\ds e^{i \times \paren {-i} }\) | Euler's Formula | |||||||||||
\(\ds \) | \(=\) | \(\ds e^1\) | Definition of Imaginary Unit | |||||||||||
\(\ds \) | \(=\) | \(\ds e\) |
Then from $(1) + (2)$:
\(\ds 2 \cos i\) | \(=\) | \(\ds \frac 1 e + e\) | ||||||||||||
\(\ds \leadsto \ \ \) | \(\ds \cos i\) | \(=\) | \(\ds \frac 1 2 \paren {\frac 1 e + e}\) | |||||||||||
\(\ds \) | \(=\) | \(\ds \frac e 2 + \frac 1 {2 e}\) |
$\blacksquare$