（当ブログの結論）
高校２年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学１年生向けの参考書：例えば：
「やさしく学べる微分積分」（石村園子）
書評「素晴らしいほどわかりやすい。 高校2年の知識があれば、すらすら読める。 数学苦手な人でも、やさしくシリーズは、微積とベクトルはとっつきやすいと思うので、おすすめです。」
などだと思います。
その本は、初めて微分積分を学ぶ高校２年生にとって、内容がわかり易いです。説明が正確でごまかしが無いので、高校教科書の微分積分の説明にあるようなごまかしが納得できず（ごまかしに納得する方がおかしい）学習が止まってしまう様なことが無く、スムーズに勉強を進めることできるので良いと思います。その本の３６ページから４５ページまで勉強するだけで、微分の必須知識が学べます。
（微分積分学の歴史）
ライプニッツが、1684年に「極大と極小にかんする新しい方法」を出版して、その中で微分法を発表し、
ついで1686年に「深遠な幾何学」を出版して積分法を発表しました。
その後に、ニュートンが微分積分学を発表しました。
それに対して、旧い数学者のバークレー司教(Bishop George Berkeley)が微分積分学を攻撃した論争が微分積分学を正しく育てました。
バークレー司教は、ダブリンのトリニティ・カレッジで神学を学び、後に講義をする。アイルランド、クロインの(英国国教会の)監督Bishopとなる(1734)。
バークレー司教は、数学から唯物論を追放する目的で、『解析者―不誠実な数学者へ向けての論説』（The Analyst: or a Discourse Addressed to an Infidel Mathematician, 1734）で、ニュートン・ライプニッツ理論（微分積分学）を攻撃し、大論争を引き起こす(『解析教程』第II章第1節参照)。
ド・モアブル、テイラー、マクローリン、ラグランジュ、ヤコブ・ベルヌーイ、ヨハン・ベルヌーイなどが論争に加わり、微積分学の論理的基礎づけに対する関心を高めた功績は大きい。
とくに、マクローリンは反論のためにニュートンの方法の厳密な構成を行った。
以下で、バークレー司教の微分積分学に対する感想を見てみます。
『バークレー司教：解析者より』
「しかし、速度の速度、その速度、そのまた速度、またその速度、またまたその速度などなどというのは、私が間違っているのでなければ、すべての人間の理解を越えてしまっています。
精神がこの捉え難いアイデア（微分積分学）を解析し追及すればするほど、それはまごつき狼狽えることになり.....」
『バークレー司教：解析者より』
「......我が時代の解析者（微分積分学）は有限の量の差を考えるだけでは満足しません。
彼ら（微分積分学）はさらにその差の差を考え、最初の差の差の差を考えます。 そしてさらに無限にまで。
つまり彼ら（微分積分学）は認識できる最小の量よりさらに無限に小さい量を考えます。
その無限に小さい量よりもさらに無限に小さな量を、そしてその上これまでの無限小量よりもさらに無限に小さい量を考え、終わりも限界もないのです。
......もう告白するしかありませんが、無限に小さい量を心に描くことは ......私の能力を超えています。
しかし、そのような無限に小さい量の、それよりさらに無限に小さい一部、だから結局それを無限倍したとしても最も微細な有限の量にまでなることもできない、そんなものを想像するということは、どんな人にとってもそれこそ無限に困難なことだろうと、私は思うのです。.....」
『バークレー司教：解析者より』
「そして、この流率（微分）とは何だろうか？
無限小の増分の速度。 そして、これら同じ無限小の増分の速度とは何なんだろうか？
これらは有限の量でもなく、無限に小さい量でもなく、無でもない。 こんなものなら、過ぎ去った量の幽霊と呼んではいけないというのだろうか？ 」
ニュートンとライプニッツの微分は、「無限小」の概念が十分に論理付けされていなかったため、今日のような厳密さが欠けていた。だが、微分は、力学や天文学などで応用可能、しかも実用的であったため、ベルヌーイやロピタル、オイラー、ラグランジュ、ラプラスなどの研究によって普及していった。
微分学が厳密性を伴うようになったのは、19世紀に入ってからである。仏の数学者コーシーは、1821年に発表した「解析教程」で「極限」や「無限小」、「連続関数」の概念を定義し、解析学の基礎を刷新し、その後デデキントやカントールによる実数論などを経て、今日の微分の基礎が完成した。
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ高校数学での連続関数の定義は偽物である。なお、高校数学で定義された連続関数という言葉が使い物にならないので、大学数学では、連続関数という言葉を使わずに「区間連続」という言葉で本来の意味の連続関数をあらわすことにしています。
高校２年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学１年生向けの参考書：例えば：
「やさしく学べる微分積分」（石村園子）
書評「素晴らしいほどわかりやすい。 高校2年の知識があれば、すらすら読める。 数学苦手な人でも、やさしくシリーズは、微積とベクトルはとっつきやすいと思うので、おすすめです。」
などだと思います。
その本は、初めて微分積分を学ぶ高校２年生にとって、内容がわかり易いです。説明が正確でごまかしが無いので、高校教科書の微分積分の説明にあるようなごまかしが納得できず（ごまかしに納得する方がおかしい）学習が止まってしまう様なことが無く、スムーズに勉強を進めることできるので良いと思います。その本の３６ページから４５ページまで勉強するだけで、微分の必須知識が学べます。
（微分積分学の歴史）
ライプニッツが、1684年に「極大と極小にかんする新しい方法」を出版して、その中で微分法を発表し、
ついで1686年に「深遠な幾何学」を出版して積分法を発表しました。
その後に、ニュートンが微分積分学を発表しました。
それに対して、旧い数学者のバークレー司教(Bishop George Berkeley)が微分積分学を攻撃した論争が微分積分学を正しく育てました。
バークレー司教は、ダブリンのトリニティ・カレッジで神学を学び、後に講義をする。アイルランド、クロインの(英国国教会の)監督Bishopとなる(1734)。
バークレー司教は、数学から唯物論を追放する目的で、『解析者―不誠実な数学者へ向けての論説』（The Analyst: or a Discourse Addressed to an Infidel Mathematician, 1734）で、ニュートン・ライプニッツ理論（微分積分学）を攻撃し、大論争を引き起こす(『解析教程』第II章第1節参照)。
ド・モアブル、テイラー、マクローリン、ラグランジュ、ヤコブ・ベルヌーイ、ヨハン・ベルヌーイなどが論争に加わり、微積分学の論理的基礎づけに対する関心を高めた功績は大きい。
とくに、マクローリンは反論のためにニュートンの方法の厳密な構成を行った。
以下で、バークレー司教の微分積分学に対する感想を見てみます。
『バークレー司教：解析者より』
「しかし、速度の速度、その速度、そのまた速度、またその速度、またまたその速度などなどというのは、私が間違っているのでなければ、すべての人間の理解を越えてしまっています。
精神がこの捉え難いアイデア（微分積分学）を解析し追及すればするほど、それはまごつき狼狽えることになり.....」
『バークレー司教：解析者より』
「......我が時代の解析者（微分積分学）は有限の量の差を考えるだけでは満足しません。
彼ら（微分積分学）はさらにその差の差を考え、最初の差の差の差を考えます。 そしてさらに無限にまで。
つまり彼ら（微分積分学）は認識できる最小の量よりさらに無限に小さい量を考えます。
その無限に小さい量よりもさらに無限に小さな量を、そしてその上これまでの無限小量よりもさらに無限に小さい量を考え、終わりも限界もないのです。
......もう告白するしかありませんが、無限に小さい量を心に描くことは ......私の能力を超えています。
しかし、そのような無限に小さい量の、それよりさらに無限に小さい一部、だから結局それを無限倍したとしても最も微細な有限の量にまでなることもできない、そんなものを想像するということは、どんな人にとってもそれこそ無限に困難なことだろうと、私は思うのです。.....」
『バークレー司教：解析者より』
「そして、この流率（微分）とは何だろうか？
無限小の増分の速度。 そして、これら同じ無限小の増分の速度とは何なんだろうか？
これらは有限の量でもなく、無限に小さい量でもなく、無でもない。 こんなものなら、過ぎ去った量の幽霊と呼んではいけないというのだろうか？ 」
ニュートンとライプニッツの微分は、「無限小」の概念が十分に論理付けされていなかったため、今日のような厳密さが欠けていた。だが、微分は、力学や天文学などで応用可能、しかも実用的であったため、ベルヌーイやロピタル、オイラー、ラグランジュ、ラプラスなどの研究によって普及していった。
微分学が厳密性を伴うようになったのは、19世紀に入ってからである。仏の数学者コーシーは、1821年に発表した「解析教程」で「極限」や「無限小」、「連続関数」の概念を定義し、解析学の基礎を刷新し、その後デデキントやカントールによる実数論などを経て、今日の微分の基礎が完成した。
連続関数の定義は、1817年にBolzanoが中間値の定理を証明する前提条件に定義した連続関数の定義により、歴史上初めて連続関数が正しく定義された（その定義は関数の連続性を区間で定義するものである）。その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ高校数学での連続関数の定義は偽物である。なお、高校数学で定義された連続関数という言葉が使い物にならないので、大学数学では、連続関数という言葉を使わずに「区間連続」という言葉で本来の意味の連続関数をあらわすことにしています。
【積分とは何か】
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」から話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数f(x) に対して，その積分を定義すること」である．
これから見ていくように，かなり広いクラスの関数に対してその積分（定積分）を定義することができる．
定積分を通して不定積分も定義できるので，高校までの知識とのつながりがつくことになる．
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---（原教授のコメントおわり）------
（補足２）
（「リーマン積分可能」の定義）
「微分積分学入門」（横田 壽）の１２４ページから１２５ページに「リーマン積分可能」の定義が書いてあります：
（この本は書店で購入できます。）
その他に、高校２年生が勉強するのに適切な、書店で購入できる微分積分の参考書は：
「やさしく学べる微分積分」（石村園子） ￥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) のうちで最も大きい値を|Δ| で 表わします．
（注目ポイント）
高校数学で教える区分求積法では、区間を細分した部分区間のグラフの高さf(x)を求めますが、そのｘの位置が部分区間の中の特定の位置に固定されています。
その固定をしないで、どの位置のｘでのf(x)を棒グラフの高さにして計算しても良い、
というのがリーマン積分です。
いま，それぞれの小区間[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) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そういう、極限が存在しない関数ｆ（ｘ）を積分して関数Ｆ（ｘ)を得た場合（もし積分できた場合）、その積分により得られた関数Ｆ（ｘ）は微分可能だろうか。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の定義は、変数ｘが開区間(a＜x＜b)で定義された関数f(x)にしか微分可能が定義されていません。そのため、高校数学の範囲内の知識では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも 微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも 微分積分学の基本定理が成り立つと教えられています。
微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念です。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」
積分の被積分関数の計算においては、ｘのある値で０になる関数を分母にする、すなわち、そのｘの値で０になる関数で式を割り算する計算が許されています。しかし、（大学で初めて学ぶ）広義積分を知らないと、その計算が何故許されるかが理解できません。
リンク：
１９世紀の解析学における「厳密化革命」とは何か
高校数学の目次
新型コロナウイルス感染対策
積分については，ここをクリックした先のｐｄｆファイルにある原教授の以下のコメントが大切です。
---（原教授のコメント開始）---------
積分については高校でも習ってはいるが，その基礎を突き詰めていくといろいろと困ったことがでてくる．
特に「積分は微分の逆演算」として定義すると，「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか？」という問題でハタと困ってしまう．
（微分して f になるような関数がわからない場合，高校までの知識ではお手上げだ．）
この節では高校までの知識はいったん忘れて，「積分とは何か」「積分をどのように定義すべきか」から話を始める．
4.1 積分（定積分）の定義
ということで，まずやるべきは「与えられた関数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) のうちで最も大きい値を|Δ| で 表わします．
（注目ポイント）
高校数学で教える区分求積法では、区間を細分した部分区間のグラフの高さf(x)を求めますが、そのｘの位置が部分区間の中の特定の位置に固定されています。
その固定をしないで、どの位置のｘでのf(x)を棒グラフの高さにして計算しても良い、
というのがリーマン積分です。
いま，それぞれの小区間[xi−1, xi] のなかに任意の位置に点ξi をとり，Riemann 和 (Riemann sum) とよばれる次の和を考えます．
この定義に従い、関数の積分可能性を以下の様にして調べることができます。
先ず小さな閉区間[a, b] を定めて、
その区間の小区間への分割の仕方および点ξi(i = 1, 2, . . . , n) のとり方に関係なく、各点の関数値の和が一通りに定まる（積分可能）か否かを調べることができます。
（積分が不可能な関数）
下のグラフの関数ｆ（ｘ）のように、どの位置においても関数の極限が存在しない関数があり得ます。
例えば、
ｘが有理数の場合にｆ（ｘ）＝０であって、
ｘが無理数の場合のｆ（ｘ）＝１
という、極限が存在しない関数ｆ（ｘ）などです。
そもそも、微分の計算は極限を求める計算なので、その関数ｆ（ｘ）が積分できても、その積分した関数Ｆ（ｘ）を微分した場合に、元の関数ｆ（ｘ）は（極限値が存在しないので）、微分によっては得られないと考えます。
上図の関数ｆ（ｘ）の変数ｘ＝ｘ１からｘ＝ｘ２までの変数ｘの閉区間をｎ等分して、その区分した部分毎にｆ（ｘ）の値ｆ（ξ）を求めて、その値の和で積分します。
（１）その際に、 変数ｘ＝ξが全て有理数なら、ｆ（ξ）＝０になり、積分結果は０になります。
（２）一方、変数ｘ＝ξが全て無理数√２の有理数倍なら、ｆ（ξ）＝１になり、積分結果は（ｘ２－ｘ１）になります。
（３）ｆ（ｘ）の値ｆ（ξ）の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数ｆ（ｘ）は積分することができません。
このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」（関数ｆ（ｘ）が連続な範囲にｘの定義域を限定した１つながりに連続な関数が連続関数です）を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数ｘの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。
微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。
「関数を積分して、それを微分したら元の関数に戻る」
という、微分積分学の基本定理がありますが、
その定理は、その関数ｆ（ｘ）の積分可能な部分に限り、かつ積分後の関数Ｆ（ｘ)の微分可能な部分に限って成り立つ定理です。
その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
（微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です）
（微分可能の定義が微分積分学の基本定理を左右する）
微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の定義は、変数ｘが開区間(a＜x＜b)で定義された関数f(x)にしか微分可能が定義されていません。そのため、高校数学の範囲内の知識では、開区間(a＜x＜b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
一方、大学数学では、変数ｘが閉区間（a≦x≦b）で定義された関数f(x)の区間の端点x=a,bでも 微分可能が定義されています。そのため、大学数学では、閉区間（a≦x≦b）で定義された関数f(x)にも 微分積分学の基本定理が成り立つと教えられています。
微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。
しかし、この一番大切な概念を高校２年には教えない。高校３年に至っても「積分可能」の概念を教えていないようです。
積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念です。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」
積分の被積分関数の計算においては、ｘのある値で０になる関数を分母にする、すなわち、そのｘの値で０になる関数で式を割り算する計算が許されています。しかし、（大学で初めて学ぶ）広義積分を知らないと、その計算が何故許されるかが理解できません。
リンク：
１９世紀の解析学における「厳密化革命」とは何か
高校数学の目次
新型コロナウイルス感染対策
0 件のコメント:
コメントを投稿