Triple Angle Formulas/Tangent/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

$\tan 3 \theta = \dfrac {3 \tan \theta - \tan^3 \theta} {1 - 3 \tan^2 \theta}$


Proof

\(\ds \tan 3 \theta\) \(=\) \(\ds \frac {\sin 3 \theta} {\cos 3 \theta}\) Tangent is Sine divided by Cosine
\(\ds \) \(=\) \(\ds \frac {3 \sin \theta - 4 \sin^3 \theta} {4 \cos^3 \theta - 3 \cos \theta}\) Triple Angle Formula for Sine and Triple Angle Formula for Cosine
\(\ds \) \(=\) \(\ds \frac {3 \sin \theta - 4 \sin^3 \theta} {4 \cos^3 \theta - 3 \cos \theta}\frac {\cos^3 \theta} {\cos^3 \theta}\)
\(\ds \) \(=\) \(\ds \frac {\frac {3 \tan \theta} {\cos^2 \theta} - 4 \tan^3 \theta} {4 - \frac {3 \cos \theta} {\cos^3 \theta} }\) Tangent is Sine divided by Cosine
\(\ds \) \(=\) \(\ds \frac {3 \tan \theta \sec^2 \theta - 4 \tan^3 \theta} {4 - 3 \sec^2 \theta}\) Secant is Reciprocal of Cosine
\(\ds \) \(=\) \(\ds \frac {3 \tan \theta \paren {1 + \tan^2 \theta} - 4 \tan^3 \theta} {4 - 3 \paren {1 + \tan^2 \theta} }\) Difference of Squares of Secant and Tangent
\(\ds \) \(=\) \(\ds \frac {3 \tan \theta + 3 \tan^3 \theta - 4 \tan^3 \theta} {4 - 3 - 3 \tan^2 \theta}\) multiplying out
\(\ds \) \(=\) \(\ds \frac {3 \tan \theta - \tan^3 \theta} {1 - 3 \tan^2 \theta}\) gathering terms

$\blacksquare$