（ページ内リンク先）
▽はじめに
▽ 微分とは何か
▽定義の言い換え
▽関数の増減表
▽微分可能の定義の拡張＝区間の端での微分可能の定義
▽接線の定義
▽右側微分係数と左側微分係数
▽微分不可能が微分可能に変わる例
▽例題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)にも微分積分学の基本定理が成り立つと教えられています。
ーー【区間の定義】ーー
「区間」という数学用語は、実数の集合として定義されている用語である事に注意が必要です。
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
（Ａ）「０≦ｘ≦２の区間の変数ｘで定義された関数f(x)がその区間の各点で連続であるとき，f(x)は連続関数である」という文では、
ｆ（ｘ）は、０≦ｘ≦２の区間で１つながりに連続した関数ｆ（ｘ）として定義されます。
一方で、
（Ｂ）「変数ｘの０≦ｘ≦２の範囲内の値で関数f(x)が定義されていて、その関数ｆ（ｘ）が定義域の各点で連続であるとき，f(x)は誤解された連続関数である」という文では、ｆ（ｘ）は、例えば、
０＜ｘ＜１で f(x)=0, この定義域内の各点で連続。
１＜ｘ＜２で f(x)=1, この定義域内の各点で連続。
結局、０≦ｘ≦２の範囲内の全ての定義域の各点で連続な誤解された連続関数ｆ（ｘ）として定義されます。
この例の様に、「区間」という用語は変数ｘの集合をあらわす用語であって、変数ｘの範囲をあらわす用語では無いことに注意する必要があります。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(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)の片側微分係数で定義します。つまり、関数ｆ（ｘ）の変数ｘの定義域が、
ａ≦ｘ≦ｂ
というように定義域が領域の境界点ａやｂを含む場合は、
関数ｆ（ｘ）が端点で微分可能になるように、微分可能の定義を修正しています。
これについては、後で、「微分可能の定義の拡張」で説明します。
一方で、 関数ｆ（ｘ）の変数ｘの定義域が、
ａ＜ｘ＜ｂ
というように定義域が領域の境界点を含まない開放された領域（開区間）である場合は、
微分可能の定義を修正しないでも、
関数ｆ（ｘ）が微分可能になる変数ｘの範囲は、
ａ＜ｘ＜ｂ
になり、定義域と同じ範囲が微分可能になるという、
面白い事が起きています。
---------（言い換え終わり）-----------
（補足１）
「微分可能」という言葉は、高校３年の数Ⅲで習いますが、高校２年で微分係数を学ぶ時に直ぐ学ぶ方が良いと考えます。
なぜなら、微分と積分は、ある変数値で「微分可能」な関数と、ある変数値の近くで「積分可能」な関数を選んで、微分したり積分したりするからです。「微分可能」と「積分可能」という条件が例外的な場合を考えないで良い条件となっていて、その範囲内で考えることで、例外的な場合を考える労力を節約することができるからです。
微分積分の種々の公式の前提条件として、「微分可能」と「積分可能」という条件の範囲内で考えているからです。
そういう前提条件付きで話がされているということを理解して微分積分を学ぶべきだからです。それが教えられないと、微分と積分の話の本当の事情のカヤの外で説明を聞くことになり、微分積分の説明が理解できなくなるからです。
（関数の増減表を書く場合：閉区間の境界での増減）
閉区間で連続な関数の増減は、閉区間の端点での様子は、片側微分で、増加か減少か、片側微分係数が０かが分かります。その片側微分でわかった結果の微分係数を括弧()の中に書いて表現する、 括弧付き表現で解答します。
上の増減表の場合では、括弧()付きの値を表に書かないと、どの様なグラフであるかが分からなくなります。
------微分可能の定義の拡張について--------------------
先に示した関数ｆ（ｘ）の微分可能の定義は、例えばａ＜ｘ＜ｂという開区間内の点ｘのみでの微分可能の定義です。ａ≦ｘ≦ｂという閉区間の端点のｘ＝ａにも厳密に定義を適用すると、区間の端点では”微分不可能”であるという結論を導く定義になっています。
しかし、その適用は誤りです。大学生以上になると、閉区間の端点での微分可能が以下の様に定義されます。
（区間の端での微分可能の定義）
閉区間で定義された関数F(x)＝ｘの区間の端では、
大学生以上では、片側微分係数が存在すれば、
その片側微分係数を、閉区間の端点での微分係数であると微分の定義を拡張して定義しています。
微分の定義を拡張するのは、以下の事情もあります。
（関数の連続性については区間の端での連続性が定義されている）
閉区間で連続する連続関数については、その端点を除いた区間で関数が連続であって、閉区間の端点で片側連続であれば、端点を含めた閉区間で関数が連続であるという様に、関数の連続性の概念が拡張されています。
関数の微分可能の定義も、同様に微分可能の判別が閉区間の端点でも行えるように拡張されると便利です。
▽はじめに
▽ 微分とは何か
▽定義の言い換え
▽関数の増減表
▽微分可能の定義の拡張＝区間の端での微分可能の定義
▽接線の定義
▽右側微分係数と左側微分係数
▽微分不可能が微分可能に変わる例
▽例題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)にも微分積分学の基本定理が成り立つと教えられています。
ーー【区間の定義】ーー
「区間」という数学用語は、実数の集合として定義されている用語である事に注意が必要です。
ａ≦ｘ≦ｂを満足するｘの区間という表現は、ａ≦ｘ≦ｂの範囲内の全ての実数ｘという意味です。
－∞＜ｘ＜∞という区間もあります。
区間はｘの値の範囲を限定するためのａ≦ｘ≦ｂという式とは意味が異なることに注意する必要があります。
（Ａ）「０≦ｘ≦２の区間の変数ｘで定義された関数f(x)がその区間の各点で連続であるとき，f(x)は連続関数である」という文では、
ｆ（ｘ）は、０≦ｘ≦２の区間で１つながりに連続した関数ｆ（ｘ）として定義されます。
一方で、
（Ｂ）「変数ｘの０≦ｘ≦２の範囲内の値で関数f(x)が定義されていて、その関数ｆ（ｘ）が定義域の各点で連続であるとき，f(x)は誤解された連続関数である」という文では、ｆ（ｘ）は、例えば、
０＜ｘ＜１で f(x)=0, この定義域内の各点で連続。
１＜ｘ＜２で f(x)=1, この定義域内の各点で連続。
結局、０≦ｘ≦２の範囲内の全ての定義域の各点で連続な誤解された連続関数ｆ（ｘ）として定義されます。
この例の様に、「区間」という用語は変数ｘの集合をあらわす用語であって、変数ｘの範囲をあらわす用語では無いことに注意する必要があります。
区間ａ≦ｘ≦ｂが命題の中に記載されている場合は、その範囲内の全ての実数ｘについて命題を検討する必要があります。被積分関数ｆ(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)の片側微分係数で定義します。つまり、関数ｆ（ｘ）の変数ｘの定義域が、
ａ≦ｘ≦ｂ
というように定義域が領域の境界点ａやｂを含む場合は、
関数ｆ（ｘ）が端点で微分可能になるように、微分可能の定義を修正しています。
これについては、後で、「微分可能の定義の拡張」で説明します。
一方で、 関数ｆ（ｘ）の変数ｘの定義域が、
ａ＜ｘ＜ｂ
というように定義域が領域の境界点を含まない開放された領域（開区間）である場合は、
微分可能の定義を修正しないでも、
関数ｆ（ｘ）が微分可能になる変数ｘの範囲は、
ａ＜ｘ＜ｂ
になり、定義域と同じ範囲が微分可能になるという、
面白い事が起きています。
---------（言い換え終わり）-----------
（補足１）
「微分可能」という言葉は、高校３年の数Ⅲで習いますが、高校２年で微分係数を学ぶ時に直ぐ学ぶ方が良いと考えます。
なぜなら、微分と積分は、ある変数値で「微分可能」な関数と、ある変数値の近くで「積分可能」な関数を選んで、微分したり積分したりするからです。「微分可能」と「積分可能」という条件が例外的な場合を考えないで良い条件となっていて、その範囲内で考えることで、例外的な場合を考える労力を節約することができるからです。
微分積分の種々の公式の前提条件として、「微分可能」と「積分可能」という条件の範囲内で考えているからです。
そういう前提条件付きで話がされているということを理解して微分積分を学ぶべきだからです。それが教えられないと、微分と積分の話の本当の事情のカヤの外で説明を聞くことになり、微分積分の説明が理解できなくなるからです。
（関数の増減表を書く場合：閉区間の境界での増減）
閉区間で連続な関数の増減は、閉区間の端点での様子は、片側微分で、増加か減少か、片側微分係数が０かが分かります。その片側微分でわかった結果の微分係数を括弧()の中に書いて表現する、 括弧付き表現で解答します。
------微分可能の定義の拡張について--------------------
先に示した関数ｆ（ｘ）の微分可能の定義は、例えばａ＜ｘ＜ｂという開区間内の点ｘのみでの微分可能の定義です。ａ≦ｘ≦ｂという閉区間の端点のｘ＝ａにも厳密に定義を適用すると、区間の端点では”微分不可能”であるという結論を導く定義になっています。
しかし、その適用は誤りです。大学生以上になると、閉区間の端点での微分可能が以下の様に定義されます。
（区間の端での微分可能の定義）
閉区間で定義された関数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が不連続点の場合に、上の「公式」を使うと（公式の適用違反ですが）答えを間違えます。
このように、微分するには、先ず、その点で関数が連続であることを調べる確認作業を欠かしてはいけません。その確認の後に、この公式を使ってください。
（注意）
関数の変数ｘの値毎に、関数が微分可能か可能でないかが定義されています。
関数ｆ（ｘ）が変数ｘの値ｘ０において微分可能の場合に、
関数ｆ（ｘ）が初等関数などの通常の関数の場合は、
Δｙの誤差が以下の式であらわせます。
ここで、Ｏ（Δｘ２）は、以下のように定義されます。
ｘ＝ｘ０＋Δｘとする絶対値が十分小さいΔｘに対して、
ある定数Ｍがあって、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜ ≦ ＭΔｘμ
が成り立つとき、
｜Δｙ－（ｄｆ／ｄｘ）Δｘ｜はオーダーμの無限小であると言い、
Δｙ－（ｄｆ／ｄｘ）Δｘ＝Ｏ（Δｘμ）とあらわす。
つまり、Ｏ（Δｘ２）は、ＭのΔｘ２倍程度の誤差をあらわす誤差関数です。（ΔＸ＝０の場合は、Ｏ（０）＝０と定義する）
Δｘが０に近づくと、誤差Ｏ（Δｘ２）は、Δｘよりも更に急速にＭのΔｘ２倍のオーダー（概算値）で０に近づくということをあらわしています。
----（定義おわり）---------------
全ての関数について厳密に成り立つ関係としては：
関数ｆ（ｘ）が変数ｘのある値ｘにおいて微分可能であれば、Δｘが小さくなればなる程、Δｙの誤差が、ＭのΔｘ倍よりも急速に小さくなる誤差関数（スモールオー）で表した以下の式が成り立っています。
Δｘが小さくなればなる程、Δｙの誤差ｏ（Δｘ）が、ＭのΔｘ倍よりも急速に小さくなるので、Δｘが十分小さいと考えれば、誤差が十分小さくなり、以下の近似式がいっそう正確に成り立つようになります。
【微分不可能が微分可能に変わる例】
（注意１）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがある。
下図のグラフの関数は、Ｏ点では傾きが無限大なのでｘで微分不可能です。
このように関数の変数を変換する、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
有限の微分係数が存在する（微分可能）という状態は、変数を変換すると変わることがあります。
それは、微分する変数に応じる「微分可能」という条件が、
いわば、
「式を０で割り算する計算をしてはいけない」
という計算の縛りと似た意味を持つことを意味しています。
（注意２）関数の変数を変換すると微分不可能な点が微分可能な点に変わることがあるもう１つの例を考える。
下図のグラフの関数は、Ｏ点では、左側微分係数と右側微分係数が異なるのでｘで微分不可能です。
このように関数の変数を変換すると、変数ｘでは微分不可能だった関数の点が、変数ｔでは微分可能になる、ということが起こり得ます。
（注意３）関数の変数を変換すると、接する２つグラフが接さない２つのグラフに変換される例を考える。
下の２つの関数のグラフは、Ｏ点で同じ微分係数＝０を持ち、Ｏ点で接しています。
この変数ｔで元の２つの関数をあらわすと以下の２つのグラフになります。
変数を変換すると、このように、互いに接する２つのグラフが、接触する点での微分係数が異なる２つのグラフに変わってしまうことがあることに気をつけましょう。
すなわち、「２つの接するグラフが接点において等しい微分係数を持つ」ことが、グラフの座標変換によって変わってしまい２つのグラフの接触点での微分係数が等しく無くなることが有り得ます。
その様なおかしな事が起こる場合は、変数のその値で微分可能では無い関数を使って変数を変換すると生じ得ます。おかしな事が起こらないようにする１つの十分条件として、変数変換に使う関数を、変数のその値で「微分可能」な関数を使えば、変数がその値の部分でのグラフにはおかしな事が起こりません。
「微分可能」は、このようにおかしな事が起こらないようにする十分条件なのです。これが、「微分可能」と「微分不可能」を区別する意味だと考えます。
この「微分可能」によって、自然な直感で想像できる事がどのようにして生じ得るかの答えは、「合成関数の微分の公式」によって明らかにされますので、それまで地道に勉強を進めて欲しいと思います。
（交差している２つのグラフが、変数変換すると互いに接する２つのグラフに変わる例）
ｆ（ｔ）＝ｔ
ｇ（ｔ）＝ｔ／２
とする。 この場合に、上図のように、２つのグラフが、ｔＹ座標平面上では互いに交差しているだけで、接していない。
このグラフの変数ｔを以下のグラフの関数であらわす媒介変数ｘを考える。
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円
が内容がわかり易くて良いと思います。
「微分積分学入門」（横田 壽）の読み方は、 ６６ページから始まる２章「微分法」の以前のページは斜め読みして、何が書いてあるらしいかを漠然と把握しておいて、２章「微分法」以降を精読することをお勧めします。読んでいるうちに知らない関数や概念が出てきたら、６６ページ以前に書いてありますので、探して、その部分を読んで理解するように勉強してください。
リンク：
高校数学の目次
