3
$\begingroup$

I was asked to show that $\frac{d}{dx}\arccos(\cos{x}), x \in R$ is equal to $\frac{\sin{x}}{|\sin{x}|}$.

What I was able to show is the following:

$\frac{d}{dx}\arccos(\cos(x)) = \frac{\sin(x)}{\sqrt{1 - \cos^2{x}}}$

What justifies equating $\sqrt{1 - \cos^2{x}}$ to $|\sin{x}|$?

I am aware of the identity $ \sin{x} = \pm\sqrt{1 - \cos^2{x}}$, but I still do not see how that leads to that conclusion.

  • 0
    Actually, for complex $x$ the correct result $\sin(x)/\sqrt{1-\cos^2(x)}$ may not be simplified to $\sin(x)/|\sin(x)|$.2012-10-07

4 Answers 4

7

In general, $\sqrt{a^2} = |a|$, as $\sqrt y$ refers to the non-negative number whose square is $y$. Then since $1-\cos^2x = \sin^2x$, we have $\sqrt{1-\cos^2 x} = |\sin x|$.

4

$\sqrt{1-\cos^{2}(x)}=\sqrt{\sin^{2}(x)}$, which is $|\sin(x)|$ by definition.

2

The function $f:\ x\mapsto\arccos(\cos x)$ is even and $2\pi$-periodic, since the "inner" function $\cos$ has these properties. For $0\leq x\leq \pi$ by definition of $\arccos$ we have $f(x)=x$. Therefore $f$ is the $2\pi$-periodic continuation of the function $f_0(x)\ :=\ |x|\qquad(-\pi\leq x\leq\pi)$ to the full real line ${\mathbb R}$, and $f'$ (where defined) is the $2\pi$-periodic continuation of $f_0'(x)={\rm sgn}(x)\qquad(-\pi to all of ${\mathbb R}$. One way to express this extension is indeed given by $f'(x)\ =\ {\sin x\over|\sin x|}\qquad (x\ne \pi{\mathbb Z})\ ,$ but we can do without computing sines: $f'(x)=(-1)^{\lfloor x/\pi\rfloor}\qquad (x\ne \pi{\mathbb Z})\ .$

1

If $y=\arccos(x)$ then $x=\cos(y)$ and so $\frac{dy}{dx}=\frac{1}{\frac{dx}{dy}}=\frac{-1}{\sin(y)}$ if $\sin(y)\neq0$. Here, $00$ and $\sin(y)=\sqrt{1-\cos^2(y)}=\sqrt{1-x^2}$ It means that $\frac{dy}{dx}=\frac{d}{dx}\arccos(x)=\frac{-1}{\sqrt{1-x^2}}$ where in $x\in (-1,1)$.