（ページ内リンク先）
▽はじめに
▽ 微分とは何か
▽定義の言い換え
▽関数の増減表
▽微分可能の定義の拡張＝区間の端での微分可能の定義
▽接線の定義
▽右側微分係数と左側微分係数
▽関数の連続を前提にした、とある定理
▽微分不可能が微分可能に変わる例
▽行なって良い変数変換の条件
▽例題2.4
▽微分の式の前提条件：関数が存在すること
▽リーマン積分可能の定義
▽積分が不可能な関数
（はじめに）「微分・積分」の勉強について
高校２年生から、極限・微分・積分の「意味がわからない」「つまらない」「教わる計算方法が正しいと言える理由（証明）がわからない」で数学の学習から脱落する高校２年生が多いらしい。
その脱落の原因は、高校２年の極限・微分・積分の授業では、数学のうたい文句から外れた教育がされるからではないかと考えます。
すなわち、今までは、
「数学は、公式を正しく証明した後にその公式を使う」
と言って来たが、
高校２年生の、極限・微分・積分の授業からは、
「数学は、計算結果さえ合えば良い、途中の経緯は問わない、公式の証明は間違っていても問題視しない」
という教育思想が入り込み、
その思想の行き過ぎを避けるため、
「便利すぎる公式は、それをつかって直ぐ答えが得られてしまうから教えない」
という思想が混ざり、
数学教育に大きな濁りが入り込むので「微分積分がつまらない」となる原因があるのではないかと考えます。
その濁りに押し流され無いため、高校２年生も 公式を厳密に証明して納得してから使う、数学の心に従って極限・微分・積分の学習をして欲しいと考えます。
また、微分積分の正しい情報を与えてくれる、高校２年生が勉強しても、内容がわかり易くて良い微分積分の参考書の「やさしく学べる微分積分」（石村園子） \2000円 等の正しい情報を与えてくれる参考書を入手して、正しい情報を学習するのが良いと思います。
（微分とは何か）
先ず、微分とは何かを、微分可能のハッキリした定義を知ることで頭を整理しましょう。
微分可能の定義は：
（１）第１の定義の微分可能：
開放された開区間（ａ＜ｘ＜ｂ）の関数ｆ（ｘ）でｘの右側微分係数と左側微分係数が一致する場合に微分係数が存在し微分可能であるとする定義。
（２）第２の定義の微分可能：
閉区間（ ａ≦ｘ≦ｂ）の関数ｆ（ｘ）の、ｘ＝ａとｘ＝ｂとの区間の端点では、片側微分係数があるだけで、微分係数が存在し微分可能であるとする定義。
との２通りの定義があるので要注意です。
（微分積分学の基本定理との関係）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学に与えられている微分可能の定義は第１の定義だけです。それにより、変数ｘの閉区間(a≦x≦b)で定義された関数f(x)であっても、微分可能な変数ｘの値の範囲は開区間(a＜x＜b)になってしまいます。そのため、高校数学では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも微分積分学の基本定理が成り立つと教えられています。
ーー【区間の定義】ーー
「区間」という数学用語は、変数ｘの数直線上の１つの範囲内の、実数のすき間がない１かたまりの数の集合をあらわす数学用語である。
《神奈川大学》【定義 14.2.4.】
a, b を実数とする. a 以上かつ b 以下の実数をすべて集めた集合を [a, b] と書き, これを閉区 間と呼ぶ.
a より大きくかつ b 未満の実数をすべて集めた集合を (a, b) と書き, これを開区間と呼ぶ.
----定義おわり----
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
（Ａ）「０≦ｘ≦２の区間の変数ｘで定義された関数f(x)がその区間の各点で連続であるとき，f(x)は連続関数である」という文では、
ｆ（ｘ）は、０≦ｘ≦２の区間で１つながりに連続した関数ｆ（ｘ）として定義されます。連続関数は、平均値の定理を満足する関数です。。
（Ｂ）高校数学での、誤った連続関数の定義
「変数ｘの０≦ｘ≦２の範囲内の値で関数f(x)が定義されていて、その関数ｆ（ｘ）が定義域の各点で連続であるとき，f(x)は連続関数である」という高校数学の連続関数の定義では、ｆ（ｘ）は、例えば、
０＜ｘ＜１で f(x)=0, この定義域内の各点で連続。
１＜ｘ＜２で f(x)=1, この定義域内の各点で連続。
結局、０≦ｘ≦２の範囲内の全ての定義域の各点で連続という関数も連続関数ｆ（ｘ）にされます。しかし、そのように、すき間をはさんだ２つの区間を合わせた複合区間を定義域とする関数は平均値の定理を満足しない。それは連続関数ではなく、その定義は正しい連続関数の定義ではない。
この例の様に、「区間」という用語は変数ｘの数直線上の、すき間がない１かたまりの実数の集合をあらわす。変数ｘの数直線上の「区間」では、その変数ｘの範囲内に実数のすき間があってはいけない。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(x)が定義されていない変数ｘの点があっても、その点も、その命題が検討されるべき点の１つです。
「区間」という用語は、特に重要な関数である連続関数の連続性を定義するために必要な、連続関数f(x)の変数xの集合体がいつも持っていなければならない連続性という重要な性質が「区間」という概念を用いてあらわされている。
すなわち、変数ｘの「区間」の性質で大切なのは、
「区間」のなかに変数ｘの値が隙間なく存在すること。
つまり所定範囲内での隙間が無い１かたまりの実数の集合という概念が「区間」という用語で定義されている。
《命題を検討すべき優先順位》
（１）関数ｆ（ｘ）を収める区間：
ａ≦ｘ≦ｂ（あるいはａ＜ｘ＜ｂ）内の全ての実数ｘ。
（２）その区間内の座標ｘにおける点。
（３）その区間内で関数ｆ（ｘ）が定義されている（ｆ（ｘ）の値が存在する）変数ｘの範囲（ｘの定義域）：
ａ＜ｘ＜（ｂ－（ａ＋ｂ）／２） という範囲を定義域とする事や、
その範囲内の有理数のｘのみを定義域とする事。
です。
区間について考えるという事は、その区間内の全ての実数の座標ｘの点を考え、その座標ｘでｆ（ｘ）が定義されていない場合でも、その座標ｘについて考えるという事を意味します。すなわち、関数の微分可能性は、変数ｘの数直線上の実数が隙間なくつまっている区間を基にして定義される概念であって、関数の定義域を基にして定義される概念ではない。
区間を使って考える場合は、例えば、ある区間内の全ての実数の点のうち、関数ｆ（ｘ）が定義されず関数ｆ（ｘ）が連続で無い（数直線上の）点ｘについては、「区間内のその点ｘでｆ（ｘ）が定義されず関数ｆ（ｘ）がその点ｘで連続していない」というふうに考えます。ｘの区間とは、そのようにして、関数の定義域よりも優先して考えるｘの数直線上の、実数が隙間なく充填されている範囲の事です。
----------区間の定義終わり-------------
－－（連続関数の定義の誤りに注意）－－－
また、高校で教えている連続関数の定義が間違っていて、それも微分可能の意味を理解できなくする原因になっているので要注意です。
小平邦彦「[軽装版]解析入門Ⅰ」で定義されている連続関数の定義のように、大学では、定義域として、実数を完全に含んで連結している１つながりの「区間」の全ての実数のｘで定義されている関数ｆ（ｘ）に限って連続関数を定義しています。
「区間Iで定義された関数f(x)がその定義域の各点で連続であるとき，f(x)は連続関数であるという」
という表現が正しい連続関数の定義です。
ここで、「区間」という言葉が使われた時点で、それは１つながりの連結区間であって、それは、連続で無い点で分断された領域のことでは無い事に十分に注意する必要があります。
ーー注意のおわり－－－
関数ｆ（ｘ）であらわされるグラフの傾きは、以下のようにあらわされます。
この傾きは以下に説明する微分によって求めます。
---（定義2.1 「微分積分学入門」（横田 壽）６７ページ---
（第１の定義の微分可能）
関数f(x) が、変数ｘのx0 を含むある開区間(a<x<b)で定義されているとき，極限値
（有限の傾きＡ）
が存在するならば，
関数f(x) は， x = x0 で微分可能(differentiable) であるといいます．
また，この極限値A を点x0 における微分係数といい，
で表わします．
-----（定義おわり）---------------------------
-----（定義の言い換え）---------------
微分可能の定義を理解するために、以下の様に、自分の言葉で定義を言い換えするのが良いと考えます。
（１）
区間を使った定義なので、
ｘ0に近い（例えばｘ0から微小な値 δ 以内の誤差の）全ての実数の値の変数ｘ（ただしｘ0を除外する）を考える。
（注意１）
微分可能の定義には、ｘ0 と、それ以外の値のｘとを考えるという条件が必ず入るので（曲線の傾きを求めるには、必ず異なる２点を使う必要がある）、x0以外の全ての実数の点を強制的に調べることを定義に加えている極限の定義と相性が良いので、極限を使って微分可能を定義している。
また、点x=x0でのf(x)の微分可能の定義は、点x=x0だけで定義されるのでは無く、x0の点とその近傍の点との点の集合全体を使って、x0の点でのf(x)の微分可能を定義している。高校数学に与えられている微分可能の定義は第１の定義だけです。
微分可能の第１の定義では、x0の点の左右の近傍の点の集合が存在する必要があり、その点の集合の真ん中の点が微分可能なx0の点です。
関数f(x)を与える点の集合がa≦x≦bの閉区間で定義されている場合に、その区間の端のx=aとなる点は、左右の近傍の点の集合の真ん中では無いので、微分可能では無い。
それにより、変数ｘの閉区間(a≦x≦b)で定義された関数f(x)であっても、微分可能な変数ｘの値の範囲は開区間(a＜x＜b)になってしまいます。
（注意２）
この定義における「全ての実数のｘ」の意味は、他の制限、例えば関数の変数の定義域を定めて定義域外の変数に関して関数を考え無い事にしても、その制限に制約されずに定義される全ての実数ｘを意味します。
例えば、関数ｆ（ｘ）が有理数の関数であり無理数の関数とは定義されていない場合は、無理数の関数値が存在しないので、傾きAが計算できず、その関数ｆ（ｘ）は微分不可能です。
（注意２の補足その１）
なぜ、変数ｘが有理数のみの関数が微分不可能になるように「微分可能」の定義をしたかという理由は、以下の事情があるためと考えられます。
ある関数ｆ（ｘ）の定義を、
変数ｘの値が無理数である場合における関数値ｆ（ｘ）＝１とし、
変数ｘの値が有理数である場合の関数値ｆ（ｘ）＝０とする関数ｆ（ｘ）が定義できます。
その関数ｆ（ｘ）は明らかに微分不可能です。
そういうように微分不可能になるのに、変数ｘの値が有理数の場合に値ｆ（ｘ）が定義されている関数ｆ（ｘ）を微分可能であると定義してしまうと、その関数の変数ｘが無理数の場合の関数値も考えると微分不可能になってしまい、関数ｆ（ｘ）が微分可能になったり不可能になったり結論が安定しない問題を生じます。
そのような問題が起きないために、変数ｘの値が無理数の場合に関数値ｆ（ｘ）が定義されていない関数は微分不可能になるように定義したと考えます。
（注意２の補足その２）
連続性は実数まで考えることで正しく定義できる。微分する関数は連続関数であると定義する。そのため、微分可能な関数は、変数ｘの実数の範囲で定義されます。その微分可能な関数の変数ｘの値として有理数の値のみしか扱わず無理数の値を全く意識しない場合でも、微分可能な関数は無理数でも定義されている。そういうバックグラウンドを微分可能な関数が持っていると考えます。
（２）
ｘ0の近傍の全ての実数のうちのｘ０以外の実数ｘをどの様に選んでも、点（ｘ，ｆ（ｘ））と点（ｘ０，ｆ（ｘ0））を結んだ線分の傾きが、実数ｘのどの様な選び方でも、漏れなく、同じ有限の値に収束する（例えば、その全ての傾きの値が、確固として同じ有限の値 lim から微小な値 ε 以内の誤差の値に収まる）ならば、
その確固として同じ有限の値の傾きlimが微分係数である。
（３）
また、そのグラフの点を結んだ線分の傾きが一定の、有限の値の傾きに収束しないならば（無限大の傾きもダメ）、微分不可能である。
（４）
また、ｘ0から微小な値 δ 以内にある全ての実数ｘに対してｆ（ｘ）が定義されていなければ、ｘ0で微分不可能である。
（４－１）
例えば、関数ｆ（ｘ）の変数ｘの定義域(a≦x≦b)の定義域の境界点 ａ では、
ａから微小な値 δ 以内の実数の領域の半分が関数f(x)の定義域(a≦x≦b)からはみ出してしまい、その領域が定義域内に収まっていないので、定義域の境界点ａでは関数ｆ（ｘ）は微分不可能となってしまいます。
しかし、大学数学では、変数ｘの閉区間(a≦ｘ≦ｂ)で定義された関数f(x)の微分は、端点ａでは、片側微分があるならば微分可能であると、定義を修正しています。
すなわち、大学生になると、微分可能の第２の定義によって、関数F(x)の端点(x=a)の微分係数をF(x)の片側微分係数で定義します。つまり、関数ｆ（ｘ）の変数ｘの定義域が、
ａ≦ｘ≦ｂ
というように定義域が領域の境界点ａやｂを含む場合は、
関数ｆ（ｘ）が端点で微分可能になるように、微分可能の定義を修正しています。
これについては、後で、「微分可能の定義の拡張」で説明します。
一方で、 関数ｆ（ｘ）の変数ｘの定義域が、
ａ＜ｘ＜ｂ
というように定義域が領域の境界点を含まない開放された領域（開区間）である場合は、
微分可能の定義を修正しないでも、
関数ｆ（ｘ）が微分可能になる変数ｘの範囲は、
ａ＜ｘ＜ｂ
になり、定義域と同じ範囲が微分可能になるという、
面白い事が起きています。
---------（言い換え終わり）-----------
（補足１）
「微分可能」という言葉は、高校３年の数Ⅲで習いますが、高校２年で微分係数を学ぶ時に直ぐ学ぶ方が良いと考えます。
なぜなら、微分と積分は、ある変数値で「微分可能」な関数と、ある変数値の近くで「積分可能」な関数を選んで、微分したり積分したりするからです。「微分可能」と「積分可能」という条件が例外的な場合を考えないで良い条件となっていて、その範囲内で考えることで、例外的な場合を考える労力を節約することができるからです。
微分積分の種々の公式の前提条件として、「微分可能」と「積分可能」という条件の範囲内で考えているからです。
そういう前提条件付きで話がされているということを理解して微分積分を学ぶべきだからです。それが教えられないと、微分と積分の話の本当の事情のカヤの外で説明を聞くことになり、微分積分の説明が理解できなくなるからです。
（補足２）
なお、大学数学で学ぶ特殊な関数にδ関数がある。δ関数は超関数と呼ばれる特殊な関数で、（特殊な形の）微分が定義されている。しかし、δ関数は、x=0での値, とx≠0での値が異なり、x=0で連続ではない。すなわち、x=0では連続でないため、その点では、微分可能ではない。
（関数の増減表を書く場合：閉区間の境界での増減）
閉区間で連続な関数の増減は、閉区間の端点での様子は、片側微分で、増加か減少か、片側微分係数が０かが分かります。その片側微分でわかった結果の微分係数を括弧()の中に書いて表現する、 括弧付き表現で解答します。
上の増減表の場合では、括弧()付きの値を表に書かないと、どの様なグラフであるかが分からなくなります。
------微分可能の定義の拡張について--------------------
先に示した関数ｆ（ｘ）の微分可能の定義は、例えばａ＜ｘ＜ｂという開区間内の点ｘのみでの微分可能の定義です。ａ≦ｘ≦ｂという閉区間の端点のｘ＝ａにも厳密に定義を適用すると、区間の端点では”微分不可能”であるという結論を導く定義になっています。
しかし、その適用は誤りです。大学生以上になると、閉区間の端点での微分可能が以下の様に定義されます。
（区間の端での微分可能の定義）
閉区間で定義された関数F(x)＝ｘの区間の端では、
大学生以上では、片側微分係数が存在すれば、
その片側微分係数を、閉区間の端点での微分係数であると微分の定義を拡張して定義しています。
微分の定義を拡張するのは、以下の事情もあります。
（関数の連続性については区間の端での連続性が定義されている）
閉区間で連続する連続関数については、その端点を除いた区間で関数が連続であって、閉区間の端点で片側連続であれば、端点を含めた閉区間で関数が連続であるという様に、関数の連続性の概念が拡張されています。
関数の微分可能の定義も、同様に微分可能の判別が閉区間の端点でも行えるように拡張されると便利です。
特に、閉区間の端点で微分ができない場合は、以下の問題を生じます。 例えば、変数xが閉区間[a,b]で定義されている関数f(x)を考えます。その関数f(x)を、閉区間[a,x]で積分した関数F(x)-F(a)を作ります。その関数F(x)がx=aでは微分係数が計算できないことになります。そうすると、関数F(x)を微分することでは、x=aでは関数f(x)が求められない事になってしまいます。そのように関数f(x)とF(x)とが、x=aでは、積分による対応はできるのに、微分による対応は出来ないという問題を生じます。
微分と積分とでは、関数の対応関係が異なってしまうアンバランスを生じるという問題があります。
そのため、大学生以上では、以下の、拡張された微分の定義が使われます。
（拡張された微分の定義）
関数F(x)の微分を閉区間の端でも有効にする拡張された定義が、大阪大学の教授が書いた「微分積分学」（難波誠）の、４４ページに記載されています。
「閉区間の端点で関数F(x)が片側微分可能であれば、その片側微分を端点での微分係数と定義しています」
閉区間ａ≦ｘ≦ｂでの端点ｘ＝ａとｘ＝ｂでの微分係数が以下の式で定義されています。
（１）端点ｂ＝ｘ０におけるf(x) の微分係数は：
ｈ＜０について、
で定義される左側微分係数(left-hand derivative )
を端点ｂの微分係数と定義します。
（２）端点ａ＝ｘ０におけるf(x) の微分係数は：
ｈ＞０について、
で定義される右側微分係数(right-hand derivative)
を端点ａの微分係数と定義します。
この、閉区間の端点で、片側微分係数が存在すれば、端点でも微分可能とする拡張された定義は、数学者の藤原松三郎の「微分積分学 第１巻」の時代からの定義であって確定して受け入れられている定義です。
閉区間で１つながりに連続な関数F(x)を閉区間の端点で微分可能とする拡張された微分の定義が、
小平邦彦「[軽装版]解析入門Ⅰ」の112ページにも記載されています。
「閉区間の端点で関数F(x)が片側微分可能であれば、その片側微分を端点での微分係数と定義しています」
この微分の定義「閉区間の端点では、関数F(x)の微分を片側微分係数で定義する」は大学生以上で使われています。
（不定積分との関係）
０≦ｘ≦２という閉区間の定義域でのみ定義され、その定義域内で常にｆ（ｘ）＝１となる関数ｆ（ｘ）を考える。
ｆ（ｘ）の不定積分F(x)の１つは、
F(x)=ｘ
です。
この様な、F(x)の微分によって大部分のｆ（ｘ）が再現できるという確認ができた不定積分F(x)が、閉区間の端でも、この定義の片側微分によりｆ（０）＝１も再現できます。
そのため、この不定積分F（ｘ）＝ｘが原始関数であるという説明がされています。
この閉区間での端点の微分の定義をすると連続関数ｆ（ｘ）の不定積分Ｆ（ｘ）から逆算してｆ（ｘ）を計算する計算手順が楽になるので、
この微分の定義
「端点で関数F(x)の微分を片側微分係数で定義する」
は大学生以上で使われています。
------微分可能の定義の拡張の考察おわり------------------
【導関数の定義】
関数f(x) が，実数のある区間 Ｉ の各点で微分可能（有限の傾きを持つ）のとき
f(x) は区間 Ｉ で微分可能(differentiable on I) であるといいます．
この場合，実数の区間 Ｉ の各点にそこでの微分係数を対応させることにより定まる関数を
f(x) の導関数(derivative) といい，
であらわします。
また，関数f(x) の導関数を求めることを微分する(differentiate) といいます．
また、ｘの関数ｆ（ｘ）＝ｙの微分（導関数）を、ｙ’とも書きます。
（補足３）
ここで、以下の関数の微分係数ｆ’（１）を求める場合を考えます。
この極限に使う変数ｈ＋１をｘにして、以下の様に書いたらどうでしょうか。
この式も、間違いとは言えないと思いますが、
分母の（ｘ－１）＝ｈが正しく導入できずに、分母をｘにしてしまうかもしれない、気持ち悪さがあります。
また、この式では無く、ｘ→０の場合に微分を求める場合は、この式の場合に（ｘ－１）＝ｈを正しく導入できないで分母をｘにしてしまう、間違った計算ルールを覚えて計算したのか、ルールを間違えていないのかが採点者に判別できない、気持ちの悪さがあります。
そのため、試験問題で微分を極限で求める場合に、ｈを使わないでｘを使うと減点される可能性が高いと考えます。
（接線の定義）
連続なグラフ上に２点Ａ，Ｂを取って、その２点をその間の１点のＣに無限に近づけた時に、その２点Ａ，Ｂを通る直線が１つの直線に収束する場合に、その直線を、そのグラフの、点Ｃにおける接線と呼びます。
（注意）グラフの不連続点においては、その点における接線は考え無いことにする。その不連続点に接する直線があるかもしれないが、その点における「接線」については考え無いことにする。
（接線の定義の言い換え）
（１） ＸＹ平面上のＹ＝ｆ（ｘ）であらわすグラフの、Ｘ＝Ｘ0となる１点Ｃにおいて、
微分係数ｆ’（Ｘ0）が存在するとき、その点Ｃを通り、傾きｆ’（Ｘ0）を持つ直線が点Ｃにおける接線である。
（２） その微分係数ｆ’（Ｘ0）が存在しない（無限大になる）場合には：
そのグラフを、ＹＸ平面上のＸ＝ｇ（Ｙ）というグラフとみなして考える。そう考えた場合に、
そのグラフ上の１点Ｃ（Ｘ0，Ｙ0）において、微分係数ｄｘ／ｄＹ＝ｇ’（Ｙ0）が存在するとき（この場合は、ｇ’（Ｙ0）＝０になると思うが）、その点Ｃを通り、ＹＸ平面での傾きｄＸ／ｄＹ＝ｇ’（Ｙ0）を持つ直線が点Ｃにおける接線である。
（３） 微分係数ｆ’（Ｘ0）が存在せず、微分係数ｇ’（Ｙ0）も存在しない場合、その点Ｃにおける「接線」については考え無いことにする。その点Ｃでグラフに接する直線はあるかもしれないが、その点における「接線」は考え無いことにする。
（補足４）
「関数が x0 で微分可能（有限の値の確定した値の微分係数が存在する）」
という意味は、
「関数が、その変数 x のその値 x0 に限って、その変数 x で微分可能であれば良く、その変数 x のその他の値での関数の微分可能性は関係しない」
という意味です。
（補足５）
ｄｆ／ｄｘ＝∞
の場合は、傾きが有限で無いので、
変数ｘで微分可能ではありません。
ｄｆ／ｄｘ＝無限大
という関係が存在しても、
「微分係数（ｄｆ／ｄｘ）が存在しない」
とも言われ、微分不可能です。
それは、
ｘ＝０において、
関数ｆ（ｘ）＝１／ｘ
の値が無限大という関係が存在しても、
「ｘ＝０において関数値１／ｘが存在しない」
と言うのと同じ意味です。
下図のグラフの関数は、ｘ＝０となるＯ点では傾きが無限大なのでｘ＝０では変数ｘによる微分係数が存在せず、変数ｘで微分不可能です。
なお、このグラフは、Ｏ点でＸ＝０という直線と接します。
それは、このグラフの座標（変数）を変換して、Ｙ座標値を変数であるとみなし、グラフのＸ座標値を、関数値とみなせば、グラフの微分係数（ｄＸ／ｄＹ）＝０は存在するので、変数Ｙによるその微分係数で接線Ｘ＝０が定められるからです。
すなわち、このグラフのＹを与えるｘの関数はｘ＝０でYがｘで微分不可能ですが、この関数の逆関数の、ｘを与えるＹの関数は、変数としてのYの全ての定義域でｘがＹで微分可能です。
このように、座標系を回転させる座標変換（変数変換の一種とも言える）によって角度を変えて見ると、ある変数Ｘでは微分不能であった点が、他の変数Ｙでは微分可能に変わることがあります。
（注意）
このグラフの関数は、ｘ＝０で微分不可能ですが、以下の性質は持っています。
すなわち、
Δｘ→０の場合にΔｙ→０となる性質は持っています。
そして、このグラフは、
x1<x2の場合にf(x1)<f(x2)となる、単調増加の性質は持っています。
（注意おわり）
「微分可能」を定めた意味は、ある制限条件を定めて、その「制限条件」を外れた関数については”考えないこと”にするのが、「微分可能」という制限条件を定めたた本当の理由だと思います。
以下のグラフの関数については：
このグラフには、Ｘ＝０の点に接する「接線」が存在しませんが、
その「存在しない」の本当の意味は、
Ｘ＝０においては微分係数が存在しないので、Ｘ＝０では「接線のことを考えないことにした」のです。
その影響を受けて、このグラフにおける、Ｘ＝０で接する線については「接線では無い」と言われるようになったのだと思います。
「接線が無い」のでは無く、「微分不可能な点では接線を考えないことにした」だけなのですが、、、
実際、以下のグラフでは、X=0での微分係数が∞になり微分不可能な曲線の点にY軸に平行な接線が接する。
その場合に、その変数Xで微分不可能な点において、「接線が無い」のではなく「接線を考え無いことにした」ことが明らかです。
また、上のグラフは、ｘ＝０の点で変数ｘで微分不可能です。ところがｘ＝０の点で滑らかにつながっています。
微分のごまかし説明で、「微分可能性の定義は、滑らかにグラフがつながる点が微分可能な点である」というごまかし説明が流布されていますが、その定義は間違いですので気をつけてください。
《下図に各種の関数の集合の包含関係をまとめた》
----（滑らかなグラフと微分可能性との関係）-----
滑らかなグラフと微分可能なグラフは、次の１点のみの差がありますので、その１点のみの差を覚えておきましょう。
滑らかなグラフＹ＝ｆ（ｘ）のうち、傾きｄＹ／ｄｘが無限大になる変数ｘ＝ｘ0 の点では、そのグラフの関数ｆ（ｘ）は微分不可能です。それ以外の点では微分可能です。
また、滑らかなグラフでは、その傾きｄＹ／ｄｘが無限大になる点も含む全てのグラフが滑らかに繋がる点で接線が引けます。
----------------------------------------------------
また、Ｙを変数とした、グラフの、変数Ｙによる微分係数（ｄｘ／ｄＹ）は存在し、変数Ｙによっては微分可能ですが、それが微分可能であっても、変数ｘによる微分係数（ｄＹ／dｘ)が存在せず、変数ｘで微分不可能であることに変わりはありません。
（メモ知識）
以下の２つのグラフの関数は、いずれも、ｘ→０の極限で、微分係数（ｄＹ／ｄＸ）が無限大に発散し、ｘ＝０では微分不可能です。
（メモおわり）
【右側微分係数と左側微分係数】
なお、
f(x) がx0 で微分可能でなくても、
ｈ＜０について、
または、
ｈ＞０について、
が存在することがあります．
下の図のような場合です。
その場合，
最初の値を左側微分係数(left-hand derivative ) と いい，
で表わし，
後の値を右側微分係数(right-hand derivative) といい，
で表わします．
微分可能の定義より，
と
が共に存在し，かつ両者が等しいとき
に限りf(x) はx = x0 で微分可能となります。
------------（補足６）--------------------------
しかし、右側微分係数と左側微分係数が一致しなければ、その点では微分可能では無い（微分係数が存在しない）という微分可能の第１の定義には、以下のような違和感があります。すなわち、右側微分係数も左側微分係数も存在するのに、両者が一致しないからといって、その点を微分不可能と定義して良いのだろうか？と感じる違和感があるのです。
例えば、以下の図のグラフを考えてみます。
このグラフのｘ＝０でのグラフの傾きは２つありますが、そのｘ＝０での点で微分不可能と言うのは不適切だと考えます。なぜなら、そもそも、このグラフは、１つのｘの値に対して２つのｙの値を対応させている２価関数です。２つのｙの値があるので、当然に２つの微分係数があります。その２つの微分係数がたまたま同じ値のｙの点で現れたのがｘ＝０の点であるというだけです。また、この２価関数を、ｘもｙも、そして（ｘ，ｙ）の原点からの距離ｒを角度θの１価の関数と考えると、ｘ＝０での２つの傾き（ｄｙ／ｄｘ）は、θ＝π／４の場合と、θ＝－π／４の場合と、の２つの異なるθの場合における傾きと考えられます。そういう２つの微分係数が同じ（ｘ，ｙ）の点であらわれるからと言って微分不可能であると言う事はできません。
----補足６おわり----------------------
《関数の連続を前提にした、とある定理》
（とある定理）「ある点での関数の微分可能性を調べる場合に、
その点でその関数が連続である場合は、
微分係数の左側極限（真正の極限では無い）によっても左側微分係数を求めることができ、
微分係数の右側極限（真正の極限では無い）によっても右側微分係数を求めることができ、
微分係数の左側極限と微分係数の右側極限によって、微分可能性を調べることができる。」（とある定理おわり）
すなわち、左側微分係数を計算するのが面倒な場合：
ｘ＜ｘ0 における微分係数が存在し、しかも関数ｆ（ｘ）がｘ0で連続な場合は：
と計算でき、ｘ＜ｘ0 の微分係数の左側極限（真正の極限では無い）によって左側微分係数を求めることもできます。
右側微分係数についても：
ｘ＞ｘ0 における微分係数が存在し、しかも関数ｆ（ｘ）がｘ0で連続な場合は：
と計算でき、ｘ＞ｘ0 の微分係数の右側極限（真正の極限では無い）によって右側微分係数を求めることもできます。
ただし、関数ｆ（ｘ）がｘ0 で連続でない場合は、例えば下図のような場合は：
ｘ＝ｘ0≡0 の左側微分係数は、－∞ですが、
ｘ＜０の関数ｆ（ｘ）のｘ＜０における微分係数ｆ’（ｘ）は１であり、
ｘ→０－
の極限でも、１になりますので、
ｘ0が不連続点である場合に、上の「とある定理」を使うと（定理の適用違反ですが）、
ｘ＝ｘ0≡0 の左側微分係数が１であるとしてしまい、
答えを間違えます。
このように、微分するには、先ず、その点で関数が連続であることを調べる確認作業を欠かしてはいけません。その確認の後に、この「とある定理」を使ってください。
（注意）
関数の変数ｘの値毎に、関数が微分可能か可能でないかが定義されています。
関数ｆ（ｘ）が変数ｘの値ｘ０において微分可能の場合に、
関数ｆ（ｘ）が初等関数などの通常の関数の場合は、
Δｙの誤差が以下の式であらわせます。
----ビッグオー Ｏ（Δｘ２）の 定義--------
ここで、Ｏ（Δｘ２）は、以下のように定義されます。
ｘ＝ｘ０＋Δｘとする絶対値が十分小さいΔｘに対して、
ある定数Ｍがあって、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜ ≦ ＭΔｘμ
が成り立つとき、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜はオーダーμの無限小であると言い、
Δｙ－（ｄｆ／ｄｘ）Δｘ＝Ｏ（Δｘμ）とあらわす。
つまり、Ｏ（Δｘ２）は、ＭのΔｘ２倍程度の誤差をあらわす誤差関数です。（ΔＸ＝０の場合は、Ｏ（０）＝０と定義する）
Δｘが０に近づくと、誤差Ｏ（Δｘ２）は、Δｘよりも更に急速にＭのΔｘ２倍のオーダー（概算値）で０に近づくということをあらわしています。
----（定義おわり）---------------
全ての関数について厳密に成り立つ関係としては：
関数ｆ（ｘ）が変数ｘのある値ｘにおいて微分可能であれば、Δｘが小さくなればなる程、Δｙの誤差が、ＭのΔｘ倍よりも急速に小さくなる誤差関数（スモールオー）で表した以下の式が成り立っています。
スモールオー ｏ（Δｘ）の定義は、上の極限の式であらわされ、Δｘよりも急速に小さくなる誤差関数です。（ΔＸ＝０の場合は、ｏ（０）＝０と定義する）
Δｘが小さくなればなる程、Δｙの誤差ｏ（Δｘ）が、ＭのΔｘ倍よりも急速に小さくなるので、Δｘが十分小さいと考えれば、誤差が十分小さくなり、以下の近似式がいっそう正確に成り立つようになります。
そのため、Δｙを上の式であらわして微分を計算して良いです。
【微分不可能が微分可能に変わる例】
（注意１）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがある。
下図のグラフの関数は、Ｏ点では傾きが無限大なのでｘで微分不可能です。
しかし、変数ｘを以下のグラフの関係を持つ変数ｔに変換してみます。
この変数ｔで元の関数をあらわすと以下のグラフになります。
このグラフはＯ点で、ｔで微分可能です。
このように関数の変数を変換する、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
という関係があります。
有限の微分係数が存在する（微分可能）という状態は、変数を変換すると変わることがあります。
それは、微分する変数に応じる「微分可能」という条件が、
いわば、
「式を０で割り算する計算をしてはいけない」
という計算の縛りと似た意味を持つことを意味しています。
（注意２）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがあるもう１つの例を考える。
下図のグラフの関数は、Ｏ点では、左側微分係数と右側微分係数が異なるのでｘで微分不可能です。
しかし、変数ｘを以下のグラフの関係を持つ変数ｔに変換してみます。
この変数ｔで元の関数をあらわすと以下のグラフになります。
このグラフはＯ点で、ｔで微分可能です。
このように関数の変数を変換すると、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
（注意３）関数の変数を変換すると、接する２つグラフが接さない２つのグラフに変換される例を考える。
下の２つの関数のグラフは、Ｏ点で同じ微分係数＝０を持ち、Ｏ点で接しています。
しかし、変数ｘを以下のグラフの関係を持つ変数ｔに変換してみます。
（この関数のグラフは、ｔ＝０の点での微分係数が無限大になってしまい、ｔ＝０では微分可能ではありません）
この変数ｔで元の２つの関数をあらわすと以下の２つのグラフになります。
元の２つのグラフの変数ｘを変数ｔに変換した２つのグラフは、Ｏ点で変数ｔで微分すると異なる微分係数を持ち、Ｏ点で接さず交差しています。
変数を変換すると、このように、互いに接する２つのグラフが、接触する点での微分係数が異なる２つのグラフに変わってしまうことがあることに気をつけましょう。
すなわち、「２つの接するグラフが接点において等しい微分係数を持つ」ことが、グラフの座標変換によって変わってしまい２つのグラフの接触点での微分係数が等しく無くなることが有り得ます。
その様なおかしな事が起こる場合は、変数のその値で微分可能では無い関数を使って変数を変換すると生じ得ます。おかしな事が起こらないようにする１つの十分条件として、変数変換に使う関数を、変数のその値で「微分可能」な関数を使えば、変数がその値の部分でのグラフにはおかしな事が起こりません。
「微分可能」は、このようにおかしな事が起こらないようにする十分条件なのです。これが、「微分可能」と「微分不可能」を区別する意味だと考えます。
この「微分可能」によって、自然な直感で想像できる事がどのようにして生じ得るかの答えは、「合成関数の微分の公式」によって明らかにされますので、それまで地道に勉強を進めて欲しいと思います。
（交差している２つのグラフが、変数変換すると互いに接する２つのグラフに変わる例）
上図のように、変数ｔの関数ｆ（ｔ)とｇ（ｔ）との２つの関数値をＹ＝ｆ（ｔ）、及びＹ＝ｇ（ｔ）とする。
ｆ（ｔ）＝ｔ
ｇ（ｔ）＝ｔ／２
とする。 この場合に、上図のように、２つのグラフが、ｔＹ座標平面上では互いに交差しているだけで、接していない。
このグラフの変数ｔを以下のグラフの関数であらわす媒介変数ｘを考える。
変数ｔをこのグラフの関数であらわす媒介変数Xを使うと、
XY平面上で先の２つのグラフをあらわすと以下の図の様になる。
ｘ≧０の場合に：
関数ｆ（ｔ）＝ｘ２
関数ｇ（ｔ）＝ｘ２／２
になる。
この様にXY座標平面上では、互いに接する２つのグラフに変換されてしまった。
すなわち、接さずに単に交差しているだけの２つのグラフが、互い接するグラフに変わってしまった。
（行なって良い変数変換の条件）
ｔY座標平面上の２つのグラフがある変数値において接するか否かを調べている時に、そのように変わってしまわないようにするための、行なって良い変数ｔの媒介変数ｘへの変数変換は、その２つのグラフが交差する点の位置の変数値において：
（A)
ｄｔ／ｄｘ ≠ ０
となることが必要です。
（B)
また、その関数が”微分可能”であることも必要で、すなわち、その２つのグラフが交差する点の位置の変数値において：
ｄｔ／ｄｘ ≠ ±∞
も必要です。
なお、変数を変換する関数t=m(x)が、
dm(x)/dx≠０となるｘの連結区間では、
m(x)は単調増加関数か単調減少関数になります。
その区間の単調増加か単調減少な関数t=m(x)には逆関数x=p(t)が存在します。
特に、
ｄｔ／ｄｘ ≠ ０，
ｄｔ／ｄｘ ≠ ±∞，
が成り立つ場合には、
逆関数の微分の公式も成り立ちます。
この２つの条件を満足する関数t=m(x)で変数変換をするならば、グラフの所定の点での「微分可能」または「微分不可能」というグラフの性質が変数変換の後でも同じに維持されます。
例えば、t=m(x)=log(x)という関数は、Ｘ＝０以外の点では、この２つの条件を満足します。
そのため、この関数t=m(x)を使って変数変換するならば、Ｘ＝０以外の点では、「微分可能」と「微分不可能」という性質が変わりません。
（行なって良い変数変換の使用例）
以下の式１であらわされるグラフを考えます。
Ｙ＝ｘａ （式１） （定数 a は所定の実数）
この式１であらわされるグラフは、
グラフが滑らかである大部分の変数値ｘにおいて、
傾きが∞にならない点で、微分可能です。
この式１のグラフの微分可能性は、以下の様に変数変換して調べることもできます。
この式１を関数ｌｏｇ（ｘ）で変換すると、
ｌｏｇ（Ｙ）＝ａ＊ｌｏｇ（Ｘ） （式２）
に変換されます。
この式２を
Ｚ＝ｌｏｇ（Ｙ） （Ｚ＞０）
ｔ＝ｌｏｇ（Ｘ） （ｔ＞０）
で変数変換すると、
Ｚ＝a＊ｔ （式３） （ただし、Ｚ＞０，ｔ＞０）
が得られます。
この式３であらわされるグラフは、元の変数であらわされたグラフと、「微分可能」と「微分不可能」という性質が変わりません。
式３のグラフは「微分可能」ですので、元の式１であらわされたグラフも「微分可能」であることがわかります。
（行なって良い変数変換に関する注意）
「微分可能性」の性質を維持する変数変換の条件は、以上で説明した通りですが、その条件を満足していなくても、式を自由に関数で変換して、関数の微分係数の計算式を導きだして良いのです。０を０で割り算するような計算ルールに違反するような計算をせず正しく微分係数の計算式を導き出せれば、その計算式が得られたことが、その関数が「微分可能」であることの証明になります。
ただし、上の条件を満足せずに、微分係数の計算式を導き出せた場合でも、以下の場合には「微分可能」にはなりませんので注意が必要です。
（１）関数ｆ（ｘ）が、ｘ≧ｘ0 と、ｘ＜ｘ0 とで異なる式で定義されていて、ｘ＜ｘ0 でのｆ’（ｘ）の、ｘ→ｘ0 における値と、ｘ＞ｘ0 でのｆ’（ｘ）の、ｘ→ｘ0 における値が異なる場合、変数ｘの範囲のｘ0 ーδ＜ｘ ＜ｘ0 ＋δ の範囲における微分係数の値が１つに確定しないので、ｘ0 で微分不可能です。
（２）このように、微分可能性を、微分係数の計算式の存在によって判定しようとする場合には、変数ｘの範囲のｘ0 ーδ＜ｘ ＜ｘ0 ＋δ において全ての関数値ｆ（ｘ）をしらべることができるか否かをチェックして判定するよう注意してください。
例題2.4
f(x) = xn (n 整数) を微分してみましょう．
となります。
（解答おわり）
が得られました。
次に、以下の微分も計算してみます。
この図形を直線ｙ＝ｘに関して折り返して考えます。
こうして、
が得られました。
（微分の式の前提条件：関数が存在すること）
微分をあらわす式：
（ｄｙ／ｄｘ）は関数ｆ（ｘ）の導関数をあらわす式です。
そのため、
（ｄｙ／ｄｘ）＝（ｄｆ（ｘ）／ｄｘ）
であり、変数ｙを微分で使う場合には、
ｙ＝ｆ（ｘ）とあらわす関数ｆ（ｘ）が必ず存在することが、変数ｙを使う前提条件にあります。
関数ｆ（ｘ）が必ず存在するということは、変数ｘに対して、必ず１つの値のｙ＝ｆ（ｘ）が定まる関係（規則）が、変わらず、存在するということです。
（関数が存在しない例）
以下の関数f(x)で：
(df(x)/dx)=0となっているグラフの部分（ｙ＝０の部分）については、以下の逆関数g(y)のグラフの様に:
ｙ＝０となっているグラフの部分では、逆関数g(y)が存在しない。 そして、g(y)のｙ＝０での右側極限と左側極限が一致しない。そのため、Δｙ→０の場合にΔｘ→０とはならない。
----関数が存在しない例おわり------------------
微分の式は、定まった関数であらわされる関係が必ず存在する変数ｙとｘその他の媒介変数の間の関係をあらわす式です。
微分の計算で使う全ての変数ｙやｘやその他の媒介変数同士は、必ず、その変数を他の変数であらわす不変な関数で結ばれていることが前提にあります。
その関数はどの式であっても良いですが、計算の途中で変化することが無い、いつも変わらない関係式であることが微分の計算の前提になっています。
（微分可能な関数を選んで微分すること）
下図のグラフの関数はでこぼこしていて、でこぼこがあらゆる細部にまで在り、どの有理数のｘの位置においても微分不可能な関数の例です。
また、微分不可能な関数Ｆ（ｘ）として、連続関数であり、かつ、あらゆるところで微分不可能な関数であるワイエルシュトラス関数Ｆ（ｘ）などもあります。
この図の関数のように、関数が微分不可能な変数の値を判定して、変数の範囲（定義域）から除外するために、「微分」の定義を使って関数の変数を選別して、その変数の範囲の関数を微分計算の対象にします。
実際は、微分不可能な関数は、警戒しなければならないほどに多く存在するわけでは無く。数学で学んで来た、ほとんど大部分の初等関数は微分可能な関数です。
また、上のグラフのようｆ（ｘ）が微分不可能な変数の値（有理数）が無限にある関数ｆ（ｘ）であっても、積分はできます。
（ただし、あらゆるところで微分不可能な関数Ｆ（ｘ）については、その関数Ｆ（ｘ）を微分した結果の片りんさえも存在しないので、その関数Ｆ（ｘ）は何かの関数ｆ（ｘ）の積分では得られません。）
元の関数ｆ（ｘ）が連続関数等の、関数の極限が存在する関数の場合は、その関数ｆ（ｘ）を積分して得た関数Ｆ（ｘ）は微分可能な関数になります。こうして、極限が存在する関数ｆ（ｘ）の集合の要素の各関数ｆ（ｘ）を積分して関数Ｆ（ｘ）の集合を作れば、その関数の集合の要素の各関数Ｆ（ｘ)は、どれも微分可能な関数であることが保証されます。
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページに「リーマン積分可能」の定義が書いてあります：
（この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） \2000円
が内容がわかり易くて良いと思います。
ここではドイツの数学者G.F.B. Riemann (1826-1917) によって示されたRiemann 積分につ いて学んでいきます．リーマン積分による「積分可能」の定義は、全ての種類の「積分可能」の定義の基礎になっています。
f(x) は閉区間[a, b] で定義されているとします．この閉区間[a, b] を次のような点xi(i = 1, 2, . . . , n) でn 個の小区間に分割します．
（a = x0 < x1 < x2 < · · · < xi < · · · < xn = b）
この分割をΔ で表わし， Δxi = xi − xi−1 (i = 1, 2, . . . , n) のうちで最も大きい値を|Δ| で 表わします．
いま，それぞれの小区間[xi−1, xi] のなかに任意の点ξi をとり，Riemann 和 (Riemann sum) とよばれる次の和を考えます．
このとき、
となる実数S が存在するならば，このS をf(x) の定積分(definite integral) といい， f(x)
は閉区間[a, b] で積分可能(integrable) であるといいます．また，このS を次のように表わします．
つまり関数f(x) が閉区間[a, b] で積分可能であるということは，分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まるということです．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
【積分が不可能な関数】
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数もあり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そういう、極限が存在しない関数ｆ（ｘ）を積分して関数Ｆ（ｘ)を得た場合（もし積分できた場合）、その積分により得られた関数Ｆ（ｘ）は微分可能だろうか。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
この関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分した小区間を作り、その各小区間毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）小区間内の変数ｘの点ξの選び方によってｆ（ξ）の和による積分結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
なお、以下の関数Ｆ（ｘ）は微分可能ですが、それを微分して得た導関数ｆ（ｘ）に不連続点（微分不可能な点）があります。
ｘ≠０の場合：
ｘ＝０の場合： Ｆ（０）＝０，
この関数Ｆ（ｘ）はｘ≠０の場合に微分可能で、
その導関数ｆ（ｘ）は：
になり、ｘが０に近づくとー１と１の間を振動します。
この導関数が含むｃｏｓ（１／ｘ）の関数が以下のグラフであらわす形の関数になるからです。
Ｘ＝０の場合にも、Ｆ（ｘ）は微分可能で：
というように、０になります。
そのため、関数Ｆ（ｘ)は、全てのｘの値で微分可能です。
しかし、関数Ｆ（ｘ）の導関数ｆ（ｘ）は、ｘ＝０で値ｆ（０）＝０を持ちますが、ｘ＝０で不連続です。
このＦ（ｘ）のように、微分すると不連続点を持つ関数ｆ（ｘ）になるが、Ｆ（ｘ）自体は、全ての変数値で微分が可能という関数Ｆ（ｘ)があるのです。
なお、関数ｆ（ｘ）が変数ｘのある値で不連続ならば、必ずその点でｆ（ｘ）は微分不可能になります。これは、「関数が変数ｘのある値で微分可能ならば、必ずその点で連続である」と言う定理の対偶として成り立っています。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、変数ｘの実数のすき間がない１つながりの区間内で連続な「連続関数」 を主に扱う対象にする。また、「微分可能性」で関数の変数の定義域を微分可能な区間に制限する。そのように、扱う関数を制限します。その関数の変数ｘの区間内で、その関数に関して成り立つ法則を把握して、種々の公式を導き出して使う。そうすることで微分積分学を最大限に応用できるようになります。
（連続関数を使う利点）
変数ｘが、閉区間の、
ａ≦ｘ≦ｂ
で連続な連続関数ｆ（ｘ）の関数については、
（関数の連続性については連続性の定義が拡張されている） で説明したように、閉区間の端点での連続性の定義の修正があります。
また、大学生以上で、閉区間での端点での微分可能の定義を修正することで、
関数ｆ（ｘ）が連続な変数ｘの範囲で、関数ｆ（ｘ）が微分可能にもなり得るという、微分の概念が使い易くされています。
-----（補足７）----------------
なお、この様に定義の修正をした微分可能の概念を使った定理を証明する場合、少なくとも微分の定義については、その定義の修正も検討して定理を証明する煩わしさを避けるため、微分可能な領域を開区間に限定して、各定理を定義しています。
平均値の定理の記述などで、
「関数が閉区間ａ≦ｘ≦ｂで連続であって、開区間ａ＜ｘ＜ｂで微分可能である場合に」
という条件を定めているのは、閉区間の端点での微分可能の定義の修正を考えて定理を証明する煩わしさを避けるため、定理の前提条件をその様に、閉区間で連続で開区間で微分可能と定めています。
--------補足７おわり---------------
こうして、微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
その様に、「微分可能」の制限条件を定めて、その「制限条件」を外れた関数については”考えないこと”にするのが、「微分可能」を定義した本当の理由だと思います。
《下図に各種の関数の集合の包含関係をまとめた》
積分前の関数ｆ（ｘ）と、微分前の関数Ｆ（ｘ）との、変数ｘの一部の定義域での微分積分のあり得る関係が以下の図であらわせます。
（上図で、関数ｆ２（ｘ）は、除去可能な不連続点を除去した関数です。関数Ｆ（ｘ）は、関数Ｆ（ｘ）の不連続点を除いた変数ｘの範囲でｆ（ｘ）の不定積分であるとともに、ｆ２（ｘ）の不定積分でもあります）
「微分可能」な関数と「積分可能」な関数を定義して、その種の関数の間で微分したり積分をすることが微分積分学の本質です。しかし、その本質を考える礎である一番大切な概念である「微分可能」と「積分可能」を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
しかも、１９９７年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数ｆ（ｘ）のグラフとｘ軸で囲まれる領域の面積を，ｘ方向で微分するともとの関数ｆ（ｘ）になり、面積の微分がｆ（ｘ）となるという本末転倒なことを教えるようになった。
現在の高等学校の教科書は，積分の概念の説明を回避している。
このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。
（微分積分の教育方針）
ヨーロッパやアメリカでは、「高校で微分積分を教えるのは、直感にうったえる内容に限られ、正確な微分積分を教えられない」という理由で、微分積分は大学生に教える科目になっています。
日本の大学でも、その欧米の教育に合わせて、初めて学ぶ者に分かるように微分積分を改めて教育しているようです。
大学で使う微分積分の参考書は、高校で教える微分積分の知識を全く知らない学生に理解できるように書かれています。
しかも、大学生向けの微分積分の参考書の方が、日本の高校生向けの微分積分の参考書よりやさしく分かり易い。
高校の微分積分を勉強するなら、先ず、大学生向けの微分積分の参考書を読むことを推薦します。高校の微分・積分の教科書は分かりにくいだけで無く、間違いも含まれています。読まない方が良いのではないかと考えます。
大学生向けの参考書の、
「微分積分学入門」（横田 壽）
を読んでみることをお勧めします。
（この本は書店で購入できます。）
（しかし、同じ著者の書いた高校生向けの参考書「確実に身につく微分積分（2012年）」の１版は、内容が劣化しているのでお勧めできません。大学生向けの本物の知識の参考書「微分積分学入門（2004年）」を読んでください。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） \2000円
が内容がわかり易くて良いと思います。
「微分積分学入門」（横田 壽）の読み方は、 ６６ページから始まる２章「微分法」の以前のページは斜め読みして、何が書いてあるらしいかを漠然と把握しておいて、２章「微分法」以降を精読することをお勧めします。読んでいるうちに知らない関数や概念が出てきたら、６６ページ以前に書いてありますので、探して、その部分を読んで理解するように勉強してください。
リンク：
高校数学の目次
▽はじめに
▽ 微分とは何か
▽定義の言い換え
▽関数の増減表
▽微分可能の定義の拡張＝区間の端での微分可能の定義
▽接線の定義
▽右側微分係数と左側微分係数
▽関数の連続を前提にした、とある定理
▽微分不可能が微分可能に変わる例
▽行なって良い変数変換の条件
▽例題2.4
▽微分の式の前提条件：関数が存在すること
▽リーマン積分可能の定義
▽積分が不可能な関数
（はじめに）「微分・積分」の勉強について
高校２年生から、極限・微分・積分の「意味がわからない」「つまらない」「教わる計算方法が正しいと言える理由（証明）がわからない」で数学の学習から脱落する高校２年生が多いらしい。
その脱落の原因は、高校２年の極限・微分・積分の授業では、数学のうたい文句から外れた教育がされるからではないかと考えます。
すなわち、今までは、
「数学は、公式を正しく証明した後にその公式を使う」
と言って来たが、
高校２年生の、極限・微分・積分の授業からは、
「数学は、計算結果さえ合えば良い、途中の経緯は問わない、公式の証明は間違っていても問題視しない」
という教育思想が入り込み、
その思想の行き過ぎを避けるため、
「便利すぎる公式は、それをつかって直ぐ答えが得られてしまうから教えない」
という思想が混ざり、
数学教育に大きな濁りが入り込むので「微分積分がつまらない」となる原因があるのではないかと考えます。
その濁りに押し流され無いため、高校２年生も 公式を厳密に証明して納得してから使う、数学の心に従って極限・微分・積分の学習をして欲しいと考えます。
また、微分積分の正しい情報を与えてくれる、高校２年生が勉強しても、内容がわかり易くて良い微分積分の参考書の「やさしく学べる微分積分」（石村園子） \2000円 等の正しい情報を与えてくれる参考書を入手して、正しい情報を学習するのが良いと思います。
（微分とは何か）
先ず、微分とは何かを、微分可能のハッキリした定義を知ることで頭を整理しましょう。
微分可能の定義は：
（１）第１の定義の微分可能：
開放された開区間（ａ＜ｘ＜ｂ）の関数ｆ（ｘ）でｘの右側微分係数と左側微分係数が一致する場合に微分係数が存在し微分可能であるとする定義。
（２）第２の定義の微分可能：
閉区間（ ａ≦ｘ≦ｂ）の関数ｆ（ｘ）の、ｘ＝ａとｘ＝ｂとの区間の端点では、片側微分係数があるだけで、微分係数が存在し微分可能であるとする定義。
との２通りの定義があるので要注意です。
（微分積分学の基本定理との関係）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学に与えられている微分可能の定義は第１の定義だけです。それにより、変数ｘの閉区間(a≦x≦b)で定義された関数f(x)であっても、微分可能な変数ｘの値の範囲は開区間(a＜x＜b)になってしまいます。そのため、高校数学では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも微分積分学の基本定理が成り立つと教えられています。
ーー【区間の定義】ーー
「区間」という数学用語は、変数ｘの数直線上の１つの範囲内の、実数のすき間がない１かたまりの数の集合をあらわす数学用語である。
《神奈川大学》【定義 14.2.4.】
a, b を実数とする. a 以上かつ b 以下の実数をすべて集めた集合を [a, b] と書き, これを閉区 間と呼ぶ.
a より大きくかつ b 未満の実数をすべて集めた集合を (a, b) と書き, これを開区間と呼ぶ.
----定義おわり----
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
（Ａ）「０≦ｘ≦２の区間の変数ｘで定義された関数f(x)がその区間の各点で連続であるとき，f(x)は連続関数である」という文では、
ｆ（ｘ）は、０≦ｘ≦２の区間で１つながりに連続した関数ｆ（ｘ）として定義されます。連続関数は、平均値の定理を満足する関数です。。
（Ｂ）高校数学での、誤った連続関数の定義
「変数ｘの０≦ｘ≦２の範囲内の値で関数f(x)が定義されていて、その関数ｆ（ｘ）が定義域の各点で連続であるとき，f(x)は連続関数である」という高校数学の連続関数の定義では、ｆ（ｘ）は、例えば、
０＜ｘ＜１で f(x)=0, この定義域内の各点で連続。
１＜ｘ＜２で f(x)=1, この定義域内の各点で連続。
結局、０≦ｘ≦２の範囲内の全ての定義域の各点で連続という関数も連続関数ｆ（ｘ）にされます。しかし、そのように、すき間をはさんだ２つの区間を合わせた複合区間を定義域とする関数は平均値の定理を満足しない。それは連続関数ではなく、その定義は正しい連続関数の定義ではない。
この例の様に、「区間」という用語は変数ｘの数直線上の、すき間がない１かたまりの実数の集合をあらわす。変数ｘの数直線上の「区間」では、その変数ｘの範囲内に実数のすき間があってはいけない。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(x)が定義されていない変数ｘの点があっても、その点も、その命題が検討されるべき点の１つです。
「区間」という用語は、特に重要な関数である連続関数の連続性を定義するために必要な、連続関数f(x)の変数xの集合体がいつも持っていなければならない連続性という重要な性質が「区間」という概念を用いてあらわされている。
すなわち、変数ｘの「区間」の性質で大切なのは、
「区間」のなかに変数ｘの値が隙間なく存在すること。
つまり所定範囲内での隙間が無い１かたまりの実数の集合という概念が「区間」という用語で定義されている。
《命題を検討すべき優先順位》
（１）関数ｆ（ｘ）を収める区間：
ａ≦ｘ≦ｂ（あるいはａ＜ｘ＜ｂ）内の全ての実数ｘ。
（２）その区間内の座標ｘにおける点。
（３）その区間内で関数ｆ（ｘ）が定義されている（ｆ（ｘ）の値が存在する）変数ｘの範囲（ｘの定義域）：
ａ＜ｘ＜（ｂ－（ａ＋ｂ）／２） という範囲を定義域とする事や、
その範囲内の有理数のｘのみを定義域とする事。
です。
区間について考えるという事は、その区間内の全ての実数の座標ｘの点を考え、その座標ｘでｆ（ｘ）が定義されていない場合でも、その座標ｘについて考えるという事を意味します。すなわち、関数の微分可能性は、変数ｘの数直線上の実数が隙間なくつまっている区間を基にして定義される概念であって、関数の定義域を基にして定義される概念ではない。
区間を使って考える場合は、例えば、ある区間内の全ての実数の点のうち、関数ｆ（ｘ）が定義されず関数ｆ（ｘ）が連続で無い（数直線上の）点ｘについては、「区間内のその点ｘでｆ（ｘ）が定義されず関数ｆ（ｘ）がその点ｘで連続していない」というふうに考えます。ｘの区間とは、そのようにして、関数の定義域よりも優先して考えるｘの数直線上の、実数が隙間なく充填されている範囲の事です。
----------区間の定義終わり-------------
－－（連続関数の定義の誤りに注意）－－－
また、高校で教えている連続関数の定義が間違っていて、それも微分可能の意味を理解できなくする原因になっているので要注意です。
小平邦彦「[軽装版]解析入門Ⅰ」で定義されている連続関数の定義のように、大学では、定義域として、実数を完全に含んで連結している１つながりの「区間」の全ての実数のｘで定義されている関数ｆ（ｘ）に限って連続関数を定義しています。
「区間Iで定義された関数f(x)がその定義域の各点で連続であるとき，f(x)は連続関数であるという」
という表現が正しい連続関数の定義です。
ここで、「区間」という言葉が使われた時点で、それは１つながりの連結区間であって、それは、連続で無い点で分断された領域のことでは無い事に十分に注意する必要があります。
ーー注意のおわり－－－
関数ｆ（ｘ）であらわされるグラフの傾きは、以下のようにあらわされます。
---（定義2.1 「微分積分学入門」（横田 壽）６７ページ---
（第１の定義の微分可能）
関数f(x) が、変数ｘのx0 を含むある開区間(a<x<b)で定義されているとき，極限値
が存在するならば，
関数f(x) は， x = x0 で微分可能(differentiable) であるといいます．
また，この極限値A を点x0 における微分係数といい，
-----（定義おわり）---------------------------
-----（定義の言い換え）---------------
微分可能の定義を理解するために、以下の様に、自分の言葉で定義を言い換えするのが良いと考えます。
（１）
区間を使った定義なので、
ｘ0に近い（例えばｘ0から微小な値 δ 以内の誤差の）全ての実数の値の変数ｘ（ただしｘ0を除外する）を考える。
（注意１）
微分可能の定義には、ｘ0 と、それ以外の値のｘとを考えるという条件が必ず入るので（曲線の傾きを求めるには、必ず異なる２点を使う必要がある）、x0以外の全ての実数の点を強制的に調べることを定義に加えている極限の定義と相性が良いので、極限を使って微分可能を定義している。
また、点x=x0でのf(x)の微分可能の定義は、点x=x0だけで定義されるのでは無く、x0の点とその近傍の点との点の集合全体を使って、x0の点でのf(x)の微分可能を定義している。高校数学に与えられている微分可能の定義は第１の定義だけです。
微分可能の第１の定義では、x0の点の左右の近傍の点の集合が存在する必要があり、その点の集合の真ん中の点が微分可能なx0の点です。
関数f(x)を与える点の集合がa≦x≦bの閉区間で定義されている場合に、その区間の端のx=aとなる点は、左右の近傍の点の集合の真ん中では無いので、微分可能では無い。
それにより、変数ｘの閉区間(a≦x≦b)で定義された関数f(x)であっても、微分可能な変数ｘの値の範囲は開区間(a＜x＜b)になってしまいます。
（注意２）
この定義における「全ての実数のｘ」の意味は、他の制限、例えば関数の変数の定義域を定めて定義域外の変数に関して関数を考え無い事にしても、その制限に制約されずに定義される全ての実数ｘを意味します。
例えば、関数ｆ（ｘ）が有理数の関数であり無理数の関数とは定義されていない場合は、無理数の関数値が存在しないので、傾きAが計算できず、その関数ｆ（ｘ）は微分不可能です。
（注意２の補足その１）
なぜ、変数ｘが有理数のみの関数が微分不可能になるように「微分可能」の定義をしたかという理由は、以下の事情があるためと考えられます。
ある関数ｆ（ｘ）の定義を、
変数ｘの値が無理数である場合における関数値ｆ（ｘ）＝１とし、
変数ｘの値が有理数である場合の関数値ｆ（ｘ）＝０とする関数ｆ（ｘ）が定義できます。
その関数ｆ（ｘ）は明らかに微分不可能です。
そういうように微分不可能になるのに、変数ｘの値が有理数の場合に値ｆ（ｘ）が定義されている関数ｆ（ｘ）を微分可能であると定義してしまうと、その関数の変数ｘが無理数の場合の関数値も考えると微分不可能になってしまい、関数ｆ（ｘ）が微分可能になったり不可能になったり結論が安定しない問題を生じます。
そのような問題が起きないために、変数ｘの値が無理数の場合に関数値ｆ（ｘ）が定義されていない関数は微分不可能になるように定義したと考えます。
（注意２の補足その２）
連続性は実数まで考えることで正しく定義できる。微分する関数は連続関数であると定義する。そのため、微分可能な関数は、変数ｘの実数の範囲で定義されます。その微分可能な関数の変数ｘの値として有理数の値のみしか扱わず無理数の値を全く意識しない場合でも、微分可能な関数は無理数でも定義されている。そういうバックグラウンドを微分可能な関数が持っていると考えます。
（２）
ｘ0の近傍の全ての実数のうちのｘ０以外の実数ｘをどの様に選んでも、点（ｘ，ｆ（ｘ））と点（ｘ０，ｆ（ｘ0））を結んだ線分の傾きが、実数ｘのどの様な選び方でも、漏れなく、同じ有限の値に収束する（例えば、その全ての傾きの値が、確固として同じ有限の値 lim から微小な値 ε 以内の誤差の値に収まる）ならば、
その確固として同じ有限の値の傾きlimが微分係数である。
（３）
また、そのグラフの点を結んだ線分の傾きが一定の、有限の値の傾きに収束しないならば（無限大の傾きもダメ）、微分不可能である。
（４）
また、ｘ0から微小な値 δ 以内にある全ての実数ｘに対してｆ（ｘ）が定義されていなければ、ｘ0で微分不可能である。
（４－１）
例えば、関数ｆ（ｘ）の変数ｘの定義域(a≦x≦b)の定義域の境界点 ａ では、
ａから微小な値 δ 以内の実数の領域の半分が関数f(x)の定義域(a≦x≦b)からはみ出してしまい、その領域が定義域内に収まっていないので、定義域の境界点ａでは関数ｆ（ｘ）は微分不可能となってしまいます。
しかし、大学数学では、変数ｘの閉区間(a≦ｘ≦ｂ)で定義された関数f(x)の微分は、端点ａでは、片側微分があるならば微分可能であると、定義を修正しています。
すなわち、大学生になると、微分可能の第２の定義によって、関数F(x)の端点(x=a)の微分係数をF(x)の片側微分係数で定義します。つまり、関数ｆ（ｘ）の変数ｘの定義域が、
ａ≦ｘ≦ｂ
というように定義域が領域の境界点ａやｂを含む場合は、
関数ｆ（ｘ）が端点で微分可能になるように、微分可能の定義を修正しています。
これについては、後で、「微分可能の定義の拡張」で説明します。
一方で、 関数ｆ（ｘ）の変数ｘの定義域が、
ａ＜ｘ＜ｂ
というように定義域が領域の境界点を含まない開放された領域（開区間）である場合は、
微分可能の定義を修正しないでも、
関数ｆ（ｘ）が微分可能になる変数ｘの範囲は、
ａ＜ｘ＜ｂ
になり、定義域と同じ範囲が微分可能になるという、
面白い事が起きています。
---------（言い換え終わり）-----------
（補足１）
「微分可能」という言葉は、高校３年の数Ⅲで習いますが、高校２年で微分係数を学ぶ時に直ぐ学ぶ方が良いと考えます。
なぜなら、微分と積分は、ある変数値で「微分可能」な関数と、ある変数値の近くで「積分可能」な関数を選んで、微分したり積分したりするからです。「微分可能」と「積分可能」という条件が例外的な場合を考えないで良い条件となっていて、その範囲内で考えることで、例外的な場合を考える労力を節約することができるからです。
微分積分の種々の公式の前提条件として、「微分可能」と「積分可能」という条件の範囲内で考えているからです。
そういう前提条件付きで話がされているということを理解して微分積分を学ぶべきだからです。それが教えられないと、微分と積分の話の本当の事情のカヤの外で説明を聞くことになり、微分積分の説明が理解できなくなるからです。
（補足２）
なお、大学数学で学ぶ特殊な関数にδ関数がある。δ関数は超関数と呼ばれる特殊な関数で、（特殊な形の）微分が定義されている。しかし、δ関数は、x=0での値, とx≠0での値が異なり、x=0で連続ではない。すなわち、x=0では連続でないため、その点では、微分可能ではない。
（関数の増減表を書く場合：閉区間の境界での増減）
閉区間で連続な関数の増減は、閉区間の端点での様子は、片側微分で、増加か減少か、片側微分係数が０かが分かります。その片側微分でわかった結果の微分係数を括弧()の中に書いて表現する、 括弧付き表現で解答します。
------微分可能の定義の拡張について--------------------
先に示した関数ｆ（ｘ）の微分可能の定義は、例えばａ＜ｘ＜ｂという開区間内の点ｘのみでの微分可能の定義です。ａ≦ｘ≦ｂという閉区間の端点のｘ＝ａにも厳密に定義を適用すると、区間の端点では”微分不可能”であるという結論を導く定義になっています。
しかし、その適用は誤りです。大学生以上になると、閉区間の端点での微分可能が以下の様に定義されます。
（区間の端での微分可能の定義）
閉区間で定義された関数F(x)＝ｘの区間の端では、
大学生以上では、片側微分係数が存在すれば、
その片側微分係数を、閉区間の端点での微分係数であると微分の定義を拡張して定義しています。
微分の定義を拡張するのは、以下の事情もあります。
（関数の連続性については区間の端での連続性が定義されている）
閉区間で連続する連続関数については、その端点を除いた区間で関数が連続であって、閉区間の端点で片側連続であれば、端点を含めた閉区間で関数が連続であるという様に、関数の連続性の概念が拡張されています。
関数の微分可能の定義も、同様に微分可能の判別が閉区間の端点でも行えるように拡張されると便利です。
特に、閉区間の端点で微分ができない場合は、以下の問題を生じます。 例えば、変数xが閉区間[a,b]で定義されている関数f(x)を考えます。その関数f(x)を、閉区間[a,x]で積分した関数F(x)-F(a)を作ります。その関数F(x)がx=aでは微分係数が計算できないことになります。そうすると、関数F(x)を微分することでは、x=aでは関数f(x)が求められない事になってしまいます。そのように関数f(x)とF(x)とが、x=aでは、積分による対応はできるのに、微分による対応は出来ないという問題を生じます。
微分と積分とでは、関数の対応関係が異なってしまうアンバランスを生じるという問題があります。
そのため、大学生以上では、以下の、拡張された微分の定義が使われます。
（拡張された微分の定義）
関数F(x)の微分を閉区間の端でも有効にする拡張された定義が、大阪大学の教授が書いた「微分積分学」（難波誠）の、４４ページに記載されています。
「閉区間の端点で関数F(x)が片側微分可能であれば、その片側微分を端点での微分係数と定義しています」
閉区間ａ≦ｘ≦ｂでの端点ｘ＝ａとｘ＝ｂでの微分係数が以下の式で定義されています。
（１）端点ｂ＝ｘ０におけるf(x) の微分係数は：
ｈ＜０について、
（２）端点ａ＝ｘ０におけるf(x) の微分係数は：
ｈ＞０について、
この、閉区間の端点で、片側微分係数が存在すれば、端点でも微分可能とする拡張された定義は、数学者の藤原松三郎の「微分積分学 第１巻」の時代からの定義であって確定して受け入れられている定義です。
閉区間で１つながりに連続な関数F(x)を閉区間の端点で微分可能とする拡張された微分の定義が、
小平邦彦「[軽装版]解析入門Ⅰ」の112ページにも記載されています。
「閉区間の端点で関数F(x)が片側微分可能であれば、その片側微分を端点での微分係数と定義しています」
この微分の定義「閉区間の端点では、関数F(x)の微分を片側微分係数で定義する」は大学生以上で使われています。
（不定積分との関係）
０≦ｘ≦２という閉区間の定義域でのみ定義され、その定義域内で常にｆ（ｘ）＝１となる関数ｆ（ｘ）を考える。
ｆ（ｘ）の不定積分F(x)の１つは、
F(x)=ｘ
です。
この様な、F(x)の微分によって大部分のｆ（ｘ）が再現できるという確認ができた不定積分F(x)が、閉区間の端でも、この定義の片側微分によりｆ（０）＝１も再現できます。
そのため、この不定積分F（ｘ）＝ｘが原始関数であるという説明がされています。
この閉区間での端点の微分の定義をすると連続関数ｆ（ｘ）の不定積分Ｆ（ｘ）から逆算してｆ（ｘ）を計算する計算手順が楽になるので、
この微分の定義
「端点で関数F(x)の微分を片側微分係数で定義する」
は大学生以上で使われています。
------微分可能の定義の拡張の考察おわり------------------
【導関数の定義】
関数f(x) が，実数のある区間 Ｉ の各点で微分可能（有限の傾きを持つ）のとき
f(x) は区間 Ｉ で微分可能(differentiable on I) であるといいます．
この場合，実数の区間 Ｉ の各点にそこでの微分係数を対応させることにより定まる関数を
f(x) の導関数(derivative) といい，
また，関数f(x) の導関数を求めることを微分する(differentiate) といいます．
また、ｘの関数ｆ（ｘ）＝ｙの微分（導関数）を、ｙ’とも書きます。
（補足３）
ここで、以下の関数の微分係数ｆ’（１）を求める場合を考えます。
分母の（ｘ－１）＝ｈが正しく導入できずに、分母をｘにしてしまうかもしれない、気持ち悪さがあります。
また、この式では無く、ｘ→０の場合に微分を求める場合は、この式の場合に（ｘ－１）＝ｈを正しく導入できないで分母をｘにしてしまう、間違った計算ルールを覚えて計算したのか、ルールを間違えていないのかが採点者に判別できない、気持ちの悪さがあります。
そのため、試験問題で微分を極限で求める場合に、ｈを使わないでｘを使うと減点される可能性が高いと考えます。
（接線の定義）
連続なグラフ上に２点Ａ，Ｂを取って、その２点をその間の１点のＣに無限に近づけた時に、その２点Ａ，Ｂを通る直線が１つの直線に収束する場合に、その直線を、そのグラフの、点Ｃにおける接線と呼びます。
（注意）グラフの不連続点においては、その点における接線は考え無いことにする。その不連続点に接する直線があるかもしれないが、その点における「接線」については考え無いことにする。
（接線の定義の言い換え）
（１） ＸＹ平面上のＹ＝ｆ（ｘ）であらわすグラフの、Ｘ＝Ｘ0となる１点Ｃにおいて、
微分係数ｆ’（Ｘ0）が存在するとき、その点Ｃを通り、傾きｆ’（Ｘ0）を持つ直線が点Ｃにおける接線である。
（２） その微分係数ｆ’（Ｘ0）が存在しない（無限大になる）場合には：
そのグラフ上の１点Ｃ（Ｘ0，Ｙ0）において、微分係数ｄｘ／ｄＹ＝ｇ’（Ｙ0）が存在するとき（この場合は、ｇ’（Ｙ0）＝０になると思うが）、その点Ｃを通り、ＹＸ平面での傾きｄＸ／ｄＹ＝ｇ’（Ｙ0）を持つ直線が点Ｃにおける接線である。
（３） 微分係数ｆ’（Ｘ0）が存在せず、微分係数ｇ’（Ｙ0）も存在しない場合、その点Ｃにおける「接線」については考え無いことにする。その点Ｃでグラフに接する直線はあるかもしれないが、その点における「接線」は考え無いことにする。
（補足４）
「関数が x0 で微分可能（有限の値の確定した値の微分係数が存在する）」
という意味は、
「関数が、その変数 x のその値 x0 に限って、その変数 x で微分可能であれば良く、その変数 x のその他の値での関数の微分可能性は関係しない」
という意味です。
（補足５）
ｄｆ／ｄｘ＝∞
の場合は、傾きが有限で無いので、
変数ｘで微分可能ではありません。
ｄｆ／ｄｘ＝無限大
という関係が存在しても、
「微分係数（ｄｆ／ｄｘ）が存在しない」
とも言われ、微分不可能です。
それは、
ｘ＝０において、
関数ｆ（ｘ）＝１／ｘ
の値が無限大という関係が存在しても、
「ｘ＝０において関数値１／ｘが存在しない」
と言うのと同じ意味です。
下図のグラフの関数は、ｘ＝０となるＯ点では傾きが無限大なのでｘ＝０では変数ｘによる微分係数が存在せず、変数ｘで微分不可能です。
それは、このグラフの座標（変数）を変換して、Ｙ座標値を変数であるとみなし、グラフのＸ座標値を、関数値とみなせば、グラフの微分係数（ｄＸ／ｄＹ）＝０は存在するので、変数Ｙによるその微分係数で接線Ｘ＝０が定められるからです。
すなわち、このグラフのＹを与えるｘの関数はｘ＝０でYがｘで微分不可能ですが、この関数の逆関数の、ｘを与えるＹの関数は、変数としてのYの全ての定義域でｘがＹで微分可能です。
このように、座標系を回転させる座標変換（変数変換の一種とも言える）によって角度を変えて見ると、ある変数Ｘでは微分不能であった点が、他の変数Ｙでは微分可能に変わることがあります。
（注意）
このグラフの関数は、ｘ＝０で微分不可能ですが、以下の性質は持っています。
Δｘ→０の場合にΔｙ→０となる性質は持っています。
そして、このグラフは、
x1<x2の場合にf(x1)<f(x2)となる、単調増加の性質は持っています。
（注意おわり）
「微分可能」を定めた意味は、ある制限条件を定めて、その「制限条件」を外れた関数については”考えないこと”にするのが、「微分可能」という制限条件を定めたた本当の理由だと思います。
以下のグラフの関数については：
その「存在しない」の本当の意味は、
Ｘ＝０においては微分係数が存在しないので、Ｘ＝０では「接線のことを考えないことにした」のです。
その影響を受けて、このグラフにおける、Ｘ＝０で接する線については「接線では無い」と言われるようになったのだと思います。
「接線が無い」のでは無く、「微分不可能な点では接線を考えないことにした」だけなのですが、、、
実際、以下のグラフでは、X=0での微分係数が∞になり微分不可能な曲線の点にY軸に平行な接線が接する。
また、上のグラフは、ｘ＝０の点で変数ｘで微分不可能です。ところがｘ＝０の点で滑らかにつながっています。
微分のごまかし説明で、「微分可能性の定義は、滑らかにグラフがつながる点が微分可能な点である」というごまかし説明が流布されていますが、その定義は間違いですので気をつけてください。
《下図に各種の関数の集合の包含関係をまとめた》
----（滑らかなグラフと微分可能性との関係）-----
滑らかなグラフと微分可能なグラフは、次の１点のみの差がありますので、その１点のみの差を覚えておきましょう。
滑らかなグラフＹ＝ｆ（ｘ）のうち、傾きｄＹ／ｄｘが無限大になる変数ｘ＝ｘ0 の点では、そのグラフの関数ｆ（ｘ）は微分不可能です。それ以外の点では微分可能です。
また、滑らかなグラフでは、その傾きｄＹ／ｄｘが無限大になる点も含む全てのグラフが滑らかに繋がる点で接線が引けます。
----------------------------------------------------
また、Ｙを変数とした、グラフの、変数Ｙによる微分係数（ｄｘ／ｄＹ）は存在し、変数Ｙによっては微分可能ですが、それが微分可能であっても、変数ｘによる微分係数（ｄＹ／dｘ)が存在せず、変数ｘで微分不可能であることに変わりはありません。
（メモ知識）
以下の２つのグラフの関数は、いずれも、ｘ→０の極限で、微分係数（ｄＹ／ｄＸ）が無限大に発散し、ｘ＝０では微分不可能です。
（メモおわり）
【右側微分係数と左側微分係数】
なお、
f(x) がx0 で微分可能でなくても、
ｈ＜０について、
ｈ＞０について、
下の図のような場合です。
最初の値を左側微分係数(left-hand derivative ) と いい，
後の値を右側微分係数(right-hand derivative) といい，
微分可能の定義より，
と------------（補足６）--------------------------
しかし、右側微分係数と左側微分係数が一致しなければ、その点では微分可能では無い（微分係数が存在しない）という微分可能の第１の定義には、以下のような違和感があります。すなわち、右側微分係数も左側微分係数も存在するのに、両者が一致しないからといって、その点を微分不可能と定義して良いのだろうか？と感じる違和感があるのです。
例えば、以下の図のグラフを考えてみます。
----補足６おわり----------------------
《関数の連続を前提にした、とある定理》
（とある定理）「ある点での関数の微分可能性を調べる場合に、
その点でその関数が連続である場合は、
微分係数の左側極限（真正の極限では無い）によっても左側微分係数を求めることができ、
微分係数の右側極限（真正の極限では無い）によっても右側微分係数を求めることができ、
微分係数の左側極限と微分係数の右側極限によって、微分可能性を調べることができる。」（とある定理おわり）
すなわち、左側微分係数を計算するのが面倒な場合：
ｘ＜ｘ0 における微分係数が存在し、しかも関数ｆ（ｘ）がｘ0で連続な場合は：
右側微分係数についても：
ｘ＞ｘ0 における微分係数が存在し、しかも関数ｆ（ｘ）がｘ0で連続な場合は：
ただし、関数ｆ（ｘ）がｘ0 で連続でない場合は、例えば下図のような場合は：
ｘ＜０の関数ｆ（ｘ）のｘ＜０における微分係数ｆ’（ｘ）は１であり、
ｘ→０－
の極限でも、１になりますので、
ｘ0が不連続点である場合に、上の「とある定理」を使うと（定理の適用違反ですが）、
ｘ＝ｘ0≡0 の左側微分係数が１であるとしてしまい、
答えを間違えます。
このように、微分するには、先ず、その点で関数が連続であることを調べる確認作業を欠かしてはいけません。その確認の後に、この「とある定理」を使ってください。
（注意）
関数の変数ｘの値毎に、関数が微分可能か可能でないかが定義されています。
関数ｆ（ｘ）が変数ｘの値ｘ０において微分可能の場合に、
関数ｆ（ｘ）が初等関数などの通常の関数の場合は、
Δｙの誤差が以下の式であらわせます。
ここで、Ｏ（Δｘ２）は、以下のように定義されます。
ｘ＝ｘ０＋Δｘとする絶対値が十分小さいΔｘに対して、
ある定数Ｍがあって、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜ ≦ ＭΔｘμ
が成り立つとき、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜はオーダーμの無限小であると言い、
Δｙ－（ｄｆ／ｄｘ）Δｘ＝Ｏ（Δｘμ）とあらわす。
つまり、Ｏ（Δｘ２）は、ＭのΔｘ２倍程度の誤差をあらわす誤差関数です。（ΔＸ＝０の場合は、Ｏ（０）＝０と定義する）
Δｘが０に近づくと、誤差Ｏ（Δｘ２）は、Δｘよりも更に急速にＭのΔｘ２倍のオーダー（概算値）で０に近づくということをあらわしています。
----（定義おわり）---------------
全ての関数について厳密に成り立つ関係としては：
関数ｆ（ｘ）が変数ｘのある値ｘにおいて微分可能であれば、Δｘが小さくなればなる程、Δｙの誤差が、ＭのΔｘ倍よりも急速に小さくなる誤差関数（スモールオー）で表した以下の式が成り立っています。
Δｘが小さくなればなる程、Δｙの誤差ｏ（Δｘ）が、ＭのΔｘ倍よりも急速に小さくなるので、Δｘが十分小さいと考えれば、誤差が十分小さくなり、以下の近似式がいっそう正確に成り立つようになります。
【微分不可能が微分可能に変わる例】
（注意１）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがある。
下図のグラフの関数は、Ｏ点では傾きが無限大なのでｘで微分不可能です。
このように関数の変数を変換する、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
有限の微分係数が存在する（微分可能）という状態は、変数を変換すると変わることがあります。
それは、微分する変数に応じる「微分可能」という条件が、
いわば、
「式を０で割り算する計算をしてはいけない」
という計算の縛りと似た意味を持つことを意味しています。
（注意２）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがあるもう１つの例を考える。
下図のグラフの関数は、Ｏ点では、左側微分係数と右側微分係数が異なるのでｘで微分不可能です。
このように関数の変数を変換すると、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
（注意３）関数の変数を変換すると、接する２つグラフが接さない２つのグラフに変換される例を考える。
下の２つの関数のグラフは、Ｏ点で同じ微分係数＝０を持ち、Ｏ点で接しています。
この変数ｔで元の２つの関数をあらわすと以下の２つのグラフになります。
変数を変換すると、このように、互いに接する２つのグラフが、接触する点での微分係数が異なる２つのグラフに変わってしまうことがあることに気をつけましょう。
すなわち、「２つの接するグラフが接点において等しい微分係数を持つ」ことが、グラフの座標変換によって変わってしまい２つのグラフの接触点での微分係数が等しく無くなることが有り得ます。
その様なおかしな事が起こる場合は、変数のその値で微分可能では無い関数を使って変数を変換すると生じ得ます。おかしな事が起こらないようにする１つの十分条件として、変数変換に使う関数を、変数のその値で「微分可能」な関数を使えば、変数がその値の部分でのグラフにはおかしな事が起こりません。
「微分可能」は、このようにおかしな事が起こらないようにする十分条件なのです。これが、「微分可能」と「微分不可能」を区別する意味だと考えます。
この「微分可能」によって、自然な直感で想像できる事がどのようにして生じ得るかの答えは、「合成関数の微分の公式」によって明らかにされますので、それまで地道に勉強を進めて欲しいと思います。
（交差している２つのグラフが、変数変換すると互いに接する２つのグラフに変わる例）
ｆ（ｔ）＝ｔ
ｇ（ｔ）＝ｔ／２
とする。 この場合に、上図のように、２つのグラフが、ｔＹ座標平面上では互いに交差しているだけで、接していない。
このグラフの変数ｔを以下のグラフの関数であらわす媒介変数ｘを考える。
XY平面上で先の２つのグラフをあらわすと以下の図の様になる。
ｘ≧０の場合に：
関数ｆ（ｔ）＝ｘ２
関数ｇ（ｔ）＝ｘ２／２
になる。
すなわち、接さずに単に交差しているだけの２つのグラフが、互い接するグラフに変わってしまった。
（行なって良い変数変換の条件）
ｔY座標平面上の２つのグラフがある変数値において接するか否かを調べている時に、そのように変わってしまわないようにするための、行なって良い変数ｔの媒介変数ｘへの変数変換は、その２つのグラフが交差する点の位置の変数値において：
（A)
ｄｔ／ｄｘ ≠ ０
となることが必要です。
（B)
また、その関数が”微分可能”であることも必要で、すなわち、その２つのグラフが交差する点の位置の変数値において：
ｄｔ／ｄｘ ≠ ±∞
も必要です。
なお、変数を変換する関数t=m(x)が、
dm(x)/dx≠０となるｘの連結区間では、
m(x)は単調増加関数か単調減少関数になります。
その区間の単調増加か単調減少な関数t=m(x)には逆関数x=p(t)が存在します。
特に、
ｄｔ／ｄｘ ≠ ０，
ｄｔ／ｄｘ ≠ ±∞，
が成り立つ場合には、
逆関数の微分の公式も成り立ちます。
この２つの条件を満足する関数t=m(x)で変数変換をするならば、グラフの所定の点での「微分可能」または「微分不可能」というグラフの性質が変数変換の後でも同じに維持されます。
例えば、t=m(x)=log(x)という関数は、Ｘ＝０以外の点では、この２つの条件を満足します。
そのため、この関数t=m(x)を使って変数変換するならば、Ｘ＝０以外の点では、「微分可能」と「微分不可能」という性質が変わりません。
（行なって良い変数変換の使用例）
以下の式１であらわされるグラフを考えます。
Ｙ＝ｘａ （式１） （定数 a は所定の実数）
この式１であらわされるグラフは、
グラフが滑らかである大部分の変数値ｘにおいて、
傾きが∞にならない点で、微分可能です。
この式１のグラフの微分可能性は、以下の様に変数変換して調べることもできます。
この式１を関数ｌｏｇ（ｘ）で変換すると、
ｌｏｇ（Ｙ）＝ａ＊ｌｏｇ（Ｘ） （式２）
に変換されます。
この式２を
Ｚ＝ｌｏｇ（Ｙ） （Ｚ＞０）
ｔ＝ｌｏｇ（Ｘ） （ｔ＞０）
で変数変換すると、
Ｚ＝a＊ｔ （式３） （ただし、Ｚ＞０，ｔ＞０）
が得られます。
この式３であらわされるグラフは、元の変数であらわされたグラフと、「微分可能」と「微分不可能」という性質が変わりません。
式３のグラフは「微分可能」ですので、元の式１であらわされたグラフも「微分可能」であることがわかります。
（行なって良い変数変換に関する注意）
「微分可能性」の性質を維持する変数変換の条件は、以上で説明した通りですが、その条件を満足していなくても、式を自由に関数で変換して、関数の微分係数の計算式を導きだして良いのです。０を０で割り算するような計算ルールに違反するような計算をせず正しく微分係数の計算式を導き出せれば、その計算式が得られたことが、その関数が「微分可能」であることの証明になります。
ただし、上の条件を満足せずに、微分係数の計算式を導き出せた場合でも、以下の場合には「微分可能」にはなりませんので注意が必要です。
（１）関数ｆ（ｘ）が、ｘ≧ｘ0 と、ｘ＜ｘ0 とで異なる式で定義されていて、ｘ＜ｘ0 でのｆ’（ｘ）の、ｘ→ｘ0 における値と、ｘ＞ｘ0 でのｆ’（ｘ）の、ｘ→ｘ0 における値が異なる場合、変数ｘの範囲のｘ0 ーδ＜ｘ ＜ｘ0 ＋δ の範囲における微分係数の値が１つに確定しないので、ｘ0 で微分不可能です。
（２）このように、微分可能性を、微分係数の計算式の存在によって判定しようとする場合には、変数ｘの範囲のｘ0 ーδ＜ｘ ＜ｘ0 ＋δ において全ての関数値ｆ（ｘ）をしらべることができるか否かをチェックして判定するよう注意してください。
例題2.4
f(x) = xn (n 整数) を微分してみましょう．
（解答おわり）
次に、以下の微分も計算してみます。
（微分の式の前提条件：関数が存在すること）
微分をあらわす式：
（ｄｙ／ｄｘ）は関数ｆ（ｘ）の導関数をあらわす式です。
そのため、
（ｄｙ／ｄｘ）＝（ｄｆ（ｘ）／ｄｘ）
であり、変数ｙを微分で使う場合には、
ｙ＝ｆ（ｘ）とあらわす関数ｆ（ｘ）が必ず存在することが、変数ｙを使う前提条件にあります。
関数ｆ（ｘ）が必ず存在するということは、変数ｘに対して、必ず１つの値のｙ＝ｆ（ｘ）が定まる関係（規則）が、変わらず、存在するということです。
（関数が存在しない例）
以下の関数f(x)で：
----関数が存在しない例おわり------------------
微分の式は、定まった関数であらわされる関係が必ず存在する変数ｙとｘその他の媒介変数の間の関係をあらわす式です。
微分の計算で使う全ての変数ｙやｘやその他の媒介変数同士は、必ず、その変数を他の変数であらわす不変な関数で結ばれていることが前提にあります。
その関数はどの式であっても良いですが、計算の途中で変化することが無い、いつも変わらない関係式であることが微分の計算の前提になっています。
（微分可能な関数を選んで微分すること）
下図のグラフの関数はでこぼこしていて、でこぼこがあらゆる細部にまで在り、どの有理数のｘの位置においても微分不可能な関数の例です。
この図の関数のように、関数が微分不可能な変数の値を判定して、変数の範囲（定義域）から除外するために、「微分」の定義を使って関数の変数を選別して、その変数の範囲の関数を微分計算の対象にします。
実際は、微分不可能な関数は、警戒しなければならないほどに多く存在するわけでは無く。数学で学んで来た、ほとんど大部分の初等関数は微分可能な関数です。
また、上のグラフのようｆ（ｘ）が微分不可能な変数の値（有理数）が無限にある関数ｆ（ｘ）であっても、積分はできます。
（ただし、あらゆるところで微分不可能な関数Ｆ（ｘ）については、その関数Ｆ（ｘ）を微分した結果の片りんさえも存在しないので、その関数Ｆ（ｘ）は何かの関数ｆ（ｘ）の積分では得られません。）
元の関数ｆ（ｘ）が連続関数等の、関数の極限が存在する関数の場合は、その関数ｆ（ｘ）を積分して得た関数Ｆ（ｘ）は微分可能な関数になります。こうして、極限が存在する関数ｆ（ｘ）の集合の要素の各関数ｆ（ｘ）を積分して関数Ｆ（ｘ）の集合を作れば、その関数の集合の要素の各関数Ｆ（ｘ)は、どれも微分可能な関数であることが保証されます。
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページに「リーマン積分可能」の定義が書いてあります：
（この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） \2000円
が内容がわかり易くて良いと思います。
ここではドイツの数学者G.F.B. Riemann (1826-1917) によって示されたRiemann 積分につ いて学んでいきます．リーマン積分による「積分可能」の定義は、全ての種類の「積分可能」の定義の基礎になっています。
f(x) は閉区間[a, b] で定義されているとします．この閉区間[a, b] を次のような点xi(i = 1, 2, . . . , n) でn 個の小区間に分割します．
この分割をΔ で表わし， Δxi = xi − xi−1 (i = 1, 2, . . . , n) のうちで最も大きい値を|Δ| で 表わします．
いま，それぞれの小区間[xi−1, xi] のなかに任意の点ξi をとり，Riemann 和 (Riemann sum) とよばれる次の和を考えます．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
【積分が不可能な関数】
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数もあり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
この関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分した小区間を作り、その各小区間毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）小区間内の変数ｘの点ξの選び方によってｆ（ξ）の和による積分結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
なお、以下の関数Ｆ（ｘ）は微分可能ですが、それを微分して得た導関数ｆ（ｘ）に不連続点（微分不可能な点）があります。
ｘ≠０の場合：
この関数Ｆ（ｘ）はｘ≠０の場合に微分可能で、
その導関数ｆ（ｘ）は：
この導関数が含むｃｏｓ（１／ｘ）の関数が以下のグラフであらわす形の関数になるからです。
そのため、関数Ｆ（ｘ)は、全てのｘの値で微分可能です。
しかし、関数Ｆ（ｘ）の導関数ｆ（ｘ）は、ｘ＝０で値ｆ（０）＝０を持ちますが、ｘ＝０で不連続です。
このＦ（ｘ）のように、微分すると不連続点を持つ関数ｆ（ｘ）になるが、Ｆ（ｘ）自体は、全ての変数値で微分が可能という関数Ｆ（ｘ)があるのです。
なお、関数ｆ（ｘ）が変数ｘのある値で不連続ならば、必ずその点でｆ（ｘ）は微分不可能になります。これは、「関数が変数ｘのある値で微分可能ならば、必ずその点で連続である」と言う定理の対偶として成り立っています。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、変数ｘの実数のすき間がない１つながりの区間内で連続な「連続関数」 を主に扱う対象にする。また、「微分可能性」で関数の変数の定義域を微分可能な区間に制限する。そのように、扱う関数を制限します。その関数の変数ｘの区間内で、その関数に関して成り立つ法則を把握して、種々の公式を導き出して使う。そうすることで微分積分学を最大限に応用できるようになります。
（連続関数を使う利点）
変数ｘが、閉区間の、
ａ≦ｘ≦ｂ
で連続な連続関数ｆ（ｘ）の関数については、
（関数の連続性については連続性の定義が拡張されている） で説明したように、閉区間の端点での連続性の定義の修正があります。
また、大学生以上で、閉区間での端点での微分可能の定義を修正することで、
関数ｆ（ｘ）が連続な変数ｘの範囲で、関数ｆ（ｘ）が微分可能にもなり得るという、微分の概念が使い易くされています。
-----（補足７）----------------
なお、この様に定義の修正をした微分可能の概念を使った定理を証明する場合、少なくとも微分の定義については、その定義の修正も検討して定理を証明する煩わしさを避けるため、微分可能な領域を開区間に限定して、各定理を定義しています。
平均値の定理の記述などで、
「関数が閉区間ａ≦ｘ≦ｂで連続であって、開区間ａ＜ｘ＜ｂで微分可能である場合に」
という条件を定めているのは、閉区間の端点での微分可能の定義の修正を考えて定理を証明する煩わしさを避けるため、定理の前提条件をその様に、閉区間で連続で開区間で微分可能と定めています。
--------補足７おわり---------------
こうして、微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
その様に、「微分可能」の制限条件を定めて、その「制限条件」を外れた関数については”考えないこと”にするのが、「微分可能」を定義した本当の理由だと思います。
《下図に各種の関数の集合の包含関係をまとめた》
積分前の関数ｆ（ｘ）と、微分前の関数Ｆ（ｘ）との、変数ｘの一部の定義域での微分積分のあり得る関係が以下の図であらわせます。
「微分可能」な関数と「積分可能」な関数を定義して、その種の関数の間で微分したり積分をすることが微分積分学の本質です。しかし、その本質を考える礎である一番大切な概念である「微分可能」と「積分可能」を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
しかも、１９９７年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数ｆ（ｘ）のグラフとｘ軸で囲まれる領域の面積を，ｘ方向で微分するともとの関数ｆ（ｘ）になり、面積の微分がｆ（ｘ）となるという本末転倒なことを教えるようになった。
現在の高等学校の教科書は，積分の概念の説明を回避している。
このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。
（微分積分の教育方針）
ヨーロッパやアメリカでは、「高校で微分積分を教えるのは、直感にうったえる内容に限られ、正確な微分積分を教えられない」という理由で、微分積分は大学生に教える科目になっています。
日本の大学でも、その欧米の教育に合わせて、初めて学ぶ者に分かるように微分積分を改めて教育しているようです。
大学で使う微分積分の参考書は、高校で教える微分積分の知識を全く知らない学生に理解できるように書かれています。
しかも、大学生向けの微分積分の参考書の方が、日本の高校生向けの微分積分の参考書よりやさしく分かり易い。
高校の微分積分を勉強するなら、先ず、大学生向けの微分積分の参考書を読むことを推薦します。高校の微分・積分の教科書は分かりにくいだけで無く、間違いも含まれています。読まない方が良いのではないかと考えます。
大学生向けの参考書の、
「微分積分学入門」（横田 壽）
を読んでみることをお勧めします。
（この本は書店で購入できます。）
（しかし、同じ著者の書いた高校生向けの参考書「確実に身につく微分積分（2012年）」の１版は、内容が劣化しているのでお勧めできません。大学生向けの本物の知識の参考書「微分積分学入門（2004年）」を読んでください。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） \2000円
が内容がわかり易くて良いと思います。
「微分積分学入門」（横田 壽）の読み方は、 ６６ページから始まる２章「微分法」の以前のページは斜め読みして、何が書いてあるらしいかを漠然と把握しておいて、２章「微分法」以降を精読することをお勧めします。読んでいるうちに知らない関数や概念が出てきたら、６６ページ以前に書いてありますので、探して、その部分を読んで理解するように勉強してください。
リンク：
高校数学の目次