도함수의 뜻

The function is differentiable at $x=0$ if the following limit: $$\lim_{x\to 0}\frac{f(x)-f(0)}{x-0} = \lim_{x\to 0}\frac{f(x)-0}{x}=\lim_{x\to 0} \frac{f(x)}{x}$$ exists (note that we used the fact that $f(0)=0$ as per the definition of the first branch which includes the point $x=0$). We start by computing the left limit. For this computation, recall that if $x<0$ then $\sqrt{x^2}=|x|=-x$. $$\lim_{x\to 0^-}\frac{f(x)}{x}=\lim_{x\to 0^-}\frac{\sqrt{x^2+x^4}}{x}=\lim_{x\to 0^-} \frac{\sqrt{x^2}\sqrt{1+x^2}}{x}=\lim_{x \rightarrow 0}\frac{-x\sqrt{1+x^2}}{x}=-1$$ Now, from the right: $$\lim_{x\to 0^+}\frac{x\cos x}{x}=\lim_{x\to 0^+}\cos x = 1.$$ Since the limit from the left does not equal the limit from the right, the derivative does not exist at $x=0$.

The function is differentiable at $x=0$ if the following limit: $$\lim_{x\to 0}\frac{f(x)-f(0)}{x-0} = \lim_{x\to 0}\frac{f(x)-0}{x}=\lim_{x\to 0} \frac{f(x)}{x}$$ exists (note that we used the fact that $f(0)=0$ as per the definition of the first branch which includes the point $x=0$).

We start by computing the left limit.

$$\begin{aligned} \lim_{x\to 0^-}\frac{f(x)}{x}=\lim_{x\to 0^-} \frac{x\cos x}{x} =\lim_{x\to 0^-} \cos x = 1. \end{aligned}$$

Now, from the right:

$$\begin{aligned} \lim_{x\to 0^+}\frac{\sqrt{1+x}-1}{x} &= \lim_{x\to 0^+}\frac{\sqrt{1+x}-1}{x} \cdot \frac{\sqrt{1+x}+1}{\sqrt{1+x}+1} \\ &= \lim_{x\to 0^+} \frac{1+x-1}{x(\sqrt{1+x}+1)} = \lim_{x\to 0^+} \frac{1}{\sqrt{1+x}+1} = \frac{1}{2} \end{aligned}$$

Since the limit from the left does not equal the limit from the right, the derivative does not exist at $x=0$.

The function is differentiable at $x=0$ if the following limit:

$$\begin{aligned} \lim_{x\to 0}\frac{f(x)-f(0)}{x-0} = \lim_{x\to 0}\frac{f(x)-0}{x}=\lim_{x\to 0} \frac{f(x)}{x} \end{aligned}$$

exists (note that we used the fact that $f(0)=0$ as per the definition of the first branch which includes the point $x=0$). We compute left and right limits; so

$$\begin{aligned} \lim_{x\to 0^-}\frac{f(x)}{x}=\lim_{x\to 0^-}\frac{x^3-7x^2}{x}=\lim_{x\to 0^-} x^2-7x=0 \end{aligned}$$

and

$$\begin{aligned} \lim_{x\to 0^+}\frac{x^3\cos\left(\frac{1}{x}\right)}{x}=\lim_{x\to 0^+}x^2\cdot \cos\left(\frac{1}{x}\right). \end{aligned}$$

This last limit equals $0$ by the Squeeze Theorem since

$$\begin{aligned} -1\le \cos\left(\frac{1}{x}\right)\le 1 \end{aligned}$$

and so,

$$\begin{aligned} -x^2\le x^2\cdot \cos\left(\frac{1}{x}\right)\le x^2, \end{aligned}$$

where in these inequalities we used the fact that $x^2\ge 0$. Finally, since $\lim_{x\to 0^+}-x^2=\lim_{x\to 0^+}x^2=0$, the Squeeze Theorem yields that also $\lim_{x\to 0^+}x^2\cos\left(\frac{1}{x}\right) =0$, as claimed.

Since the left and right limits match (they're both equal to $0$), we conclude that indeed $f(x)$ is differentiable at $x=0$ (and its derivative at $x=0$ is actually equal to $0$).

The function is differentiable at $x=1$ if the following limit: $$\lim_{x\to 1}\frac{f(x)-f(1)}{x-1} = \lim_{x\to 1}\frac{f(x)-0}{x-1}=\lim_{x\to 1} \frac{f(x)}{x-1}$$ exists (note that we used the fact that $f(1)=0$ as per the definition of the first branch which includes the point $x=0$). We compute left and right limits; so $$\lim_{x\to 1^-}\frac{f(x)}{x-1}=\lim_{x\to 1^-}\frac{4x^2-8x+4}{x-1}=\lim_{x\rightarrow 1^-}\frac{4(x-1)^2}{x-1} =\lim_{x\to 1^-} 4(x-1)=0$$ and $$\lim_{x\to 1^+}\frac{(x-1)^2\sin\left(\frac{1}{x-1}\right)}{x-1}=\lim_{x\to 1^+}(x-1)\cdot \sin\left(\frac{1}{x-1}\right).$$ This last limit equals $0$ by the Squeeze Theorem since $$-1\le \sin\left(\frac{1}{x-1}\right)\le 1$$ and so, $$-(x-1)\le (x-1)\cdot \sin\left(\frac{1}{x-1}\right)\le x-1,$$ where in these inequalities we used the fact that $x\to 1^+$ yields positive values for $x-1$. Finally, since $\lim_{x\to 1^+}-x+1=\lim_{x\to 1^+}x-1=0$, the Squeeze Theorem yields that also $\lim_{x\to 1^+}(x-1)\sin\left(\frac{1}{x-1}\right) =0$, as claimed.

Since the left and right limits match (they're both equal to $0$), we conclude that indeed $f(x)$ is differentiable at $x=1$ (and its derivative at $x=1$ is actually equal to $0$).