関数の連続性は導関数に遺伝するか【ノート】
1人で学べる！高校数学

高校数学[総目次]

高校数学ワンポイント

	スライド	ノート
1. ファクシミリの原理
2. バウムクーヘン分割
3. 円と放物線
4. 垂線の長さ
5. 不定方程式
6. 関数の連続性は導関数に遺伝するか
7. 極方程式における $r$ の正負について
8. 極座標表示における扇形分割積分
9. 素因数分解の一意性
10. 三角関数の不定積分
11. コーシー・シュワルツの不等式
12. 放物線と2接線で囲まれた部分の面積
13. 整式の除法(発展編)
14. 3次関数のグラフの特徴
15. 曲線の長さを求める公式の証明について
16. もう迷わない！必要条件・十分条件のくすっと笑える判定方法
17. 同じものを含む円順列の考え方
18. $f(f(x))=x$ の形をした関数方程式の取り扱い方
19. パラメータが2次で表された直線の通過領域
20. 四面体の面上及び内部を表すベクトル

1．よくある誤答

　まずは次の問題と解答と怪答(??)の3つを見てください．

問題　関数 $f(x)=|x|$ は $x=0$ で微分可能ではないことを示せ．

解答
　$x>0$ のとき，$f(x)=x$ であるから $$\underset{h\to +0}{lim}\frac{f(0+h)-f(0)}{h}=\underset{h\to +0}{lim}\frac{h-0}{h}=1$$ 　また，$x<0$ のとき，$f(x)=-x$ であるから， $$\underset{h\to -0}{lim}\frac{f(0+h)-f(0)}{h}=\underset{h\to -0}{lim}\frac{-h-0}{h}=-1$$ 　従って右側極限と左側極限が一致しないから ${\displaystyle \underset{h\to 0}{lim}\frac{f(0+h)-f(0)}{h}}$ は存在しない．
　故に，$f(x)$ は $x=0$ で微分可能ではない．

---

　さて，次の怪答(？？)は正しいでしょうか？

怪答（？？）
　$x>0$ のとき，$f(x)=x.$
　よって $f^{\prime }(x)=1$ であるから ${\displaystyle \underset{x\to +0}{lim}{f}^{\prime }(x)=1.}$
　また，$x<0$ のとき，$f(x)=-x.$
　よって $f^{\prime }(x)=-1$ であるから ${\displaystyle \underset{x\to -0}{lim}{f}^{\prime }(x)=-1.}$
　従って${\displaystyle \underset{x\to +0}{lim}{f}^{\prime }(x)\ne \underset{x\to -0}{lim}{f}^{\prime }(x)}$ であるから $f^{\prime }(0)$ は存在しない．
　故に，$f(x)$ は $x=0$ で微分可能ではない．

（？？）

---

　上の「怪答(??)」は，

${\displaystyle \underset{x\to 0}{lim}{f}^{\prime }(x)}$ が存在しない $⟹$ $f^{\prime }(0)$ が存在しない

というもので，つまりは $f^{\prime }(x)$ の $x=0$ での連続性 $$\underset{x\to 0}{lim}{f}^{\prime }(x)=f^{\prime }(0)$$ を論拠としているように見えますが，これは正しいでしょうか？確かに元の関数 $f(x)=|x|$ は連続関数です．果たして連続関数ならば常にその導関数も連続関数なのでしょうか？

　結論から言いますと，$f(x)$ がある区間で連続であっても，導関数 $f^{\prime }(x)$ の方は必ずしも連続とは限りません．つまり

連続性は導関数には遺伝しない

のです．そのことを次の例で確認してみましょう．

2．連続性が遺伝しない例

　上の問題では関数 $y=|x|$ が実際に $x=0$ で微分可能ではないため，怪答(??) の論理ミスに気が付きにくくなってしまっています．次の関数の例を見れば，怪答(??) がどうしていけないのかはっきりわかることでしょう．

例

$$f(x)=\{\begin{array}{ll}{x}^2\cos {\displaystyle \frac{1}{x}}& (x\ne 0)\\ 0& (x=0)\end{array}$$

　まず関数 $f(x)$ が連続関数であることを確認しておきます．
　$x\ne 0$ ならばもちろん任意の実数 $x$ で連続です．$x=0$ での連続性は，$-1\leqq \cos {\displaystyle \frac{1}{x}}\leqq 1$ により $$-x^2\leqq x^2\cos \frac{1}{x}\leqq x^2$$ と評価できますから，はさみうちの原理により， $$\underset{x\to 0}{lim}{x}^2\cos \frac{1}{x}=0.$$ 　従って， $$\underset{x\to 0}{lim}f(x)=f(0)$$ が成り立ちますから，$f(x)$ は $x=0$ でも連続です．
　以上により，$f(x)$が実数全体で連続であることがわかりました．

　次に，導関数 $f{}^{\prime }(x)$ についてみてみましょう．
　$x\ne 0$ では $$\begin{array}{rl}f{}^{\prime }(x)& =2x\cos \frac{1}{x}-x^2\sin \frac{1}{x}\cdot (-\frac{1}{x^2})\\ & =2x\cos \frac{1}{x}+\sin \frac{1}{x}\end{array}$$ となります．$x=0$ のときは，上の式は使えませんから微分係数の定義にあてはめて $$\begin{array}{c}\left|\frac{f(h)-f(0)}{h}\right|=\left|\frac{h^2\cos (1/h)-0}{h}\right|=|h\cos \frac{1}{h}|\leqq |h|.\\ \therefore \underset{h\to 0}{lim}\frac{f(h)-f(0)}{h}=0.\end{array}$$

　即ち，$x=0$ でも微分可能で $f{}^{\prime }(0)=0$ となりますから，$f{}^{\prime }(x)$ はまとめると次のようになります：

$$f{}^{\prime }(x)=\{\begin{array}{ll}2x\cos {\displaystyle \frac{1}{x}}+\sin {\displaystyle \frac{1}{x}}& (x\ne 0)\cdots \text{①}\\ 0& (x=0)\end{array}$$

　それでは $f{}^{\prime }(x)$ の連続性についてはどうでしょうか．$x\ne 0$ においては①式により $f{}^{\prime }(x)$ は連続ですが，$x=0$ では $$\underset{x\to 0}{lim}f{}^{\prime }(x)=f{}^{\prime }(0)$$ となっているかどうかを確かめてみる必要があります．①式において $x\to 0$ のとき，$x\cos {\displaystyle \frac{1}{x}}$ の部分ははさみうちの原理により 0 に収束しますが，$\sin {\displaystyle \frac{1}{x}}$ の部分が収束しませんから，結局 ${\displaystyle \underset{x\to 0}{lim}f{}^{\prime }(x)}$ は存在しません．ところが先に計算したように，$f{}^{\prime }(0)$ の値は0であり，ちゃんと存在しています．即ち

${\displaystyle \underset{x\to 0}{lim}f{}^{\prime }(x)}$ が存在しない $⟹$ $f{}^{\prime }(0)$ が存在しない

は正しくないのです．

　以上により，$f(x)$ は連続関数であるけれども，その導関数である $f^{\prime }(x)$ は連続関数ではないことがわかりました．つまり関数の連続性は，導関数に遺伝するとは限らないのです．

　ちなみに $y=f(x)$ のグラフの概形は次のようになります．

---

高校数学[総目次]

高校数学ワンポイント

	スライド	ノート
1. ファクシミリの原理
2. バウムクーヘン分割
3. 円と放物線
4. 垂線の長さ
5. 不定方程式
6. 関数の連続性は導関数に遺伝するか
7. 極方程式における $r$ の正負について
8. 極座標表示における扇形分割積分
9. 素因数分解の一意性
10. 三角関数の不定積分
11. コーシー・シュワルツの不等式
12. 放物線と2接線で囲まれた部分の面積
13. 整式の除法(発展編)
14. 3次関数のグラフの特徴
15. 曲線の長さを求める公式の証明について
16. もう迷わない！必要条件・十分条件のくすっと笑える判定方法
17. 同じものを含む円順列の考え方
18. $f(f(x))=x$ の形をした関数方程式の取り扱い方
19. パラメータが2次で表された直線の通過領域
20. 四面体の面上及び内部を表すベクトル