Tag Archives: trig identities

February 3, 2025 · 9:11 am

Differentiating Trigonometric Functions

In the last post we looked at two trig limits:

(1)   \begin{equation*}\lim_{x \to 0}\frac{sin(x)}{x}=1\end{equation*}

(2)   \begin{equation*}\lim_{x \to 0}\frac{1-cos(x)}{x}=0\end{equation*}

We are going to use these two limits to differentiate sine and cosine functions from first principals.

    \begin{equation*}f(x)=sin(x)\end{equation}

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}\frac{sin(x+h)-sin(x)}{h}\end{equation}

Use the trig identity

    \begin{equation*}sin(A+B)=sinAcosB+sinBcosA\end{equation}

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}\frac{sin(x)cos(h)+sin(h)cos(x)-sin(x)}{h}\end{equation}

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}(\frac{sin(x)(cos(h)-1)}{h}+\frac{sin(h)cos(x)}{h})\end{equation}

    \begin{equation*}f'(x)=sin(x)\lim\limits_{h \to 0}(\frac{(cos(h)-1)}{h}+cos(x)\lim\limits_{h \to 0}\frac{sin(h)}{h}\end{equation}

    \begin{equation*}f'(x)=sin(x)\lim\limits_{h \to 0}(\frac{-(-cos(h)+1)}{h}+cos(x)\lim\limits_{h \to 0}\frac{sin(h)}{h}\end{equation}

Evaluate the limits

    \begin{equation*}f'(x)=sin(x)\times 0+cos(x)\times (1)=cos(x)\end{equation}

Hence, \frac{d}{dx}sin(x)=cos(x).

Now we are going to do the same for f(x)=cos(x).

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}\frac{cos(x+h)-cos(x)}{h}\end{equation}

Use the trigonometric identity

    \begin{equation*}cos(A+B)=cosAcosB-sinAsinB\end{equation}

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}\frac{cos(x)cos(h)-sin(x)sin(h)-cos(x)}{h}\end{equation}

    \begin{equation*}f'(x)=\lim\limits_{h \to 0}\frac{cos(x)(cos(h)-1)-sin(x)sin(h)}{h}\end{equation}

    \begin{equation*}f'(x)=cos(x)\lim\limits_{h \to 0}\frac{-(1-cos(h))}{h}-sin(x)\lim\limits_{h \to 0}\frac{sin(h)}{h}\end{equation}

Evaluate the limits

    \begin{equation*}f'(x)=cos(x)\times(0)-sin(x)\times (1)=-sin(x)\end{equation}

Hence \frac{d}{dx} cos(x)=-sin(x)

1 Comment

Filed under Calculus, Differentiation, Identities, Trigonometry, Year 12 Mathematical Methods

Tagged as , , , , , ,

October 1, 2024 · 7:31 am

Using De Moivre’s Theorem for Trigonometric Identities

We are going to use De Moivre’s theorem to prove trigonometric identities.

Remember, De Moivre’s Theorem

If z=r(cos(\theta)+isin(\theta)), then z^n=r^n(cos(n\theta)+isin(n\theta))

Or a shorter version z=rcis(\theta), then z^n=r^ncis(n\theta)

Now, let z=cos(\theta)+isin(\theta), find z+\frac{1}{z}

z+z^{-1}=cos(\theta)+isin(\theta)+cos(-\theta)+isin(-\theta)

Remember cos(\theta)=cos(\theta) and sin(-\theta)=-sin(\theta)

z+\frac{1}{z}=cos(\theta)+isin(\theta)+cos(\theta)-isin(\theta)

z+\frac{1}{z}=2cos(\theta)

It is the same for z^n+\frac{1}{z^n}

z^n+z^{-n}=cos(n\theta)+isin(n\theta)+cos(-n\theta)+isin(-n\theta)

z^n+\frac{1}{z^n}=2cos(n\theta)

Prove cos(2\theta)=2cos^2(\theta)-1
LHS=\frac{1}{2}(z^2+\frac{1}{z^2})
LHS=\frac{1}{2}(z^2+\frac{1}{z^2})+z\times\frac{1}{z}-z\times\frac{1}{z}
LHS=\frac{1}{2}(z^2+2z\times\frac{1}{z}+\frac{1}{z^2})-z\times\frac{1}{z}
LHS=\frac{1}{2}(z+\frac{1}{z})^2-1
LHS=\frac{1}{2}(2cos(\theta))^2-1
LHS=\frac{1}{2}(4cos^2(\theta))-1
LHS=2cos^2(\theta)-1
LHS=RHS

We can do something similar with sine.

z-\frac{1}{z}=cos(\theta)+isin(\theta)-(cos(-\theta)+isin(-\theta))

z-\frac{1}{z}=cos(\theta)+isin(\theta)-(cos(-\theta)+isin(-\theta))

z-\frac{1}{z}=cos(\theta)+isin(\theta)-(cos(\theta)-isin(\theta))

z-\frac{1}{z}=cos(\theta)+isin(\theta)-cos(\theta)+isin(\theta)

z-\frac{1}{z}=2isin(\theta)

Hence z^n-\frac{1}{z^n}=2isin(n\theta)

Prove sin(2\theta)=2sin(\theta)cos(\theta)
LHS=sin(2\theta)
LHS=\frac{1}{2i}(z^2-\frac{1}{z^2})
LHS=\frac{1}{2i}(z-\frac{1}{z})(z+\frac{1}{z})
LHS=\frac{1}{2i}(2isin(\theta)(2cos(\theta))
LHS=sin(\theta)2cos(\theta)
LHS=2sin(\theta)cos(\theta)
LHS=RHS

Let’s find an identity for cos(3\theta)

cos(3\theta)=\frac{1}{2}(z^3+\frac{1}{z^3})

=\frac{1}{2}(z^3+\frac{1}{z^3}+3z^2\times\frac{1}{z}+3z\times\frac{1}{z^2}-3z^2\times\frac{1}{z}-3z\times\frac{1}{z^2})

=\frac{1}{2}((z+\frac{1}{z})^3-3z-\frac{3}{z})

=\frac{1}{2}((z+\frac{1}{z})^3-3(z+\frac{1}{z}))

=\frac{1}{2}(2cos(\theta))^3-3(2cos(\theta)))

=\frac{1}{2}(8cos^3(\theta)-6cos(\theta))

=4cos^3(\theta)-3cos(\theta)

\therefore cos(3\theta)=4cos^3(\theta)-3cos(\theta)

And sin(3\theta)?

sin(3\theta)=\frac{1}{2i}(z^3-\frac{1}{z^3})

=\frac{1}{2i}(z^3-\frac{1}{z^3}-3z^2\times\frac{1}{z}+3z\times\frac{1}{z^2}+3z^2\times\frac{1}{z}-3z\times\frac{1}{z^2}

=\frac{1}{2i}((z-\frac{1}{z})^3+3z-\frac{3}{z})

=\frac{1}{2i}(2isin(\theta))^3+3(z-\frac{1}{z}))

=\frac{1}{2i}(-8isin^3(\theta)+6isin(\theta))

=-4sin^3(\theta)+3sin(\theta)

\therefore sin(3\theta)=3sin(\theta)-4sin^3(\theta)

Leave a Comment

Filed under Complex Numbers, Identities, Trig Identities, Trigonometry

Tagged as , ,