2017年6月30日金曜日

楕円同士が接触する問題の解き方

数Ⅲ 「いろいろな曲線」
エクセル表計算ソフトの勧め

楕円の式は数Ⅲで学びます。
回転した楕円の式もあらわせます。

【問題】
以下の式1の楕円と式2の楕円が接するようにβを定めよ。

【解答1】
下図は、2つの楕円のグラフをエクセル表計算ソフトを使って、散布図グラフであらわしたグラフです。

 とにかく楽に問題を解く方法を探すのが「数学の心」 なので、
エクセル表計算ソフトを使えば問題を解くのが楽になるなら、
そのソフトを大いに使うべきです。

 上の楕円の中心のY座標 β を少しづつ変えて、楕円同士が接触する場合の楕円の中心のY座標 β を求めてみます。
 エクセル表計算ソフトを使って、
2つの楕円が接触する場合が、近似的に、
β=3.35
の場合であることを求めることができました。

式1の楕円と式2の楕円の寸法を定めてから、解の β を計算しようとすると:
(1)図形が交差する条件を表した4次方程式を書いて、
(2)次に、図形が接する条件を表した3次方程式を書いて、
(3)両方の方程式が共通する解を持つものとして、ユークリッドの互除法で、順次に方程式の次数を下げていき、最後に β のみの式を求める。
 この方法で β の条件をあわらす方程式を計算するのは、(3)の計算をしているうちに、βの式がどんどん複雑になって、とても処理しきれない、大変難しい問題でした。

 それに対して、円の寸法を定めずに、
(1)図形の接点Aを定める。
(2)A点での接線の傾きを求める。
(3)そのA点で接する円の寸法と円の中心座標を計算する。
方法ならば、スムーズに計算が進みます。
以下に、この方法で解く計算手順を書きます。

【解答2】
 以下の式2の楕円の形を変えるパラメータ r を導入する。そして接点Aのx座標を定め、その接点Aで楕円2が楕円1に接触するように種々のパラメータを定める式を計算することにする。
すなわち、楕円同士の接点Aのx座標をαとした場合の各パラメータを計算する式を以下で求める。

(1)先ず、楕円1の接点での傾きの式を求める。
式1×8:
(2)次に、楕円2の接点での傾きの式を求める。
式2×4:
(3)楕円1と2の接点Aでの傾きが等しいとする。
この式9は、パラメータβを接点のx座標とy座標から計算する式である。
(4)次に、楕円1の接点AでのY座標を計算する。

この式10は、接点AのY座標を計算する式である。
このうち、楕円2が一番高い位置で楕円2に接する場合をあらわす以下の式11を採用する。
(5)次に、接点Aで接する楕円2の寸法のパラメータ r を接点Aの座標で表す式を計算する。
以上の計算で得た、接点Aのx座標αを最初に決めた場合に、その接点Aで楕円1と2が接する場合の各パラメータを与える式を以下に整理する。
 接点Aのx座標αの値を変えて、接点Aで接する楕円2の寸法のパラメータ r が1になる場合をエクセル表計算ソフトを使って計算した結果、以下の値を得た。
以上の計算の結果、
式1であらわされる楕円と、式2の楕円でr=1で定められる楕円とが接する場合のβの値は、約3.36である。
(解答おわり)

リンク: 
高校数学の目次

2017年6月28日水曜日

楕円に円が接触する問題

数Ⅲ 「いろいろな曲線」
エクセル表計算ソフトの勧め

楕円の式は数Ⅲで学びます。
回転した楕円の式もあらわせます。

下図は、楕円のグラフと円のグラフをエクセル表計算ソフトを使って、散布図グラフであらわしたグラフです。
 この2つの図形の接触の有無を数式処理で判定するのは難しいですが、エクセル表計算ソフトを使って、散布図グラフであらわし、近似計算でグラフが接触する条件を求めることができます。

 とにかく楽に問題を解く方法を探すのが「数学の心」 なので、
エクセル表計算ソフトを使えば問題を解くのが楽になるなら、
そのソフトを大いに使うべきです。

 上の円の中心のY座標=a を少しづつ変えて、楕円に円が接触する場合の円の中心のY座標=a を求めてみます。
 この様に、エクセル表計算ソフトを使って、
楕円に円が接触する場合が、
a=3
の場合であることを求めることができました。

 この問題は、解のaが簡単な有理数になるように作りました。

円の寸法を定めてから、解のaを計算しようとすると:
(1)図形が交差する条件を表した4次方程式を書いて、
(2)次に、図形が接する条件を表した3次方程式を書いて、
(3)両方の方程式が共通する解を持つものとして、ユークリッドの互除法で、順次に方程式の変数xの次数を下げていき、最後にxの次数が0の定数をあらわす、 a のみの式を求める。
(注目点)両方の方程式が共通するxの解(x=α)を持つ場合は、ユークリッドの互除法で計算する式が(x-α)で割り切れ、得られるxの次数が0の定数の式(aのみで表した式)は0でなければならない。それによりaを求める方程式が得られる。

 この方法で a の条件をあわらす方程式を計算するのは、(3)の計算をしているうちに、aの式がどんどん複雑になって、とても処理しきれない、大変難しい問題でした。
 それでも、エクセル表計算ツールの助けも借りて無理やり計算した結果、最後に、以下の a のみの式を展開した形の複雑な式が得られた。その複雑な式を因数分解すると以下の式になった。
 この式の解は、何と、全てが、円が楕円に接する場合の a の値をあらわしている。

 それに対して、円の寸法を定めずに、
(1)図形の交点Aを定める。
(2)A点での接線の傾きを求める。
(3)そのA点で接する円の寸法と円の中心座標を計算する。
方法ならば、スムーズに計算が進みます。

問題は、易しく解ける方が良いです。

上の円の半径は、そうして定めました。

交点Aの座標も、楕円の式の上の有理数解を見つけて、問題を簡単にしました。
交点Aの座標は
A(1/2,3/2)
です。
このとき、
A点で接する円の中心のY座標
a=3
が求められました。
最後に、
円の半径rの二乗が5/2
と定めることができました。

リンク: 
高校数学の目次

2017年6月18日日曜日

楕円同士が接触する条件

数Ⅲ 「いろいろな曲線」
エクセル表計算ソフトの勧め

楕円の式は数Ⅲで学びます。
回転した楕円の式もあらわせます。

下図は、2つの楕円のグラフをエクセル表計算ソフトを使って、散布図グラフであらわしたグラフです。
 この2つの図形の接触の有無を数式処理で判定するのは難しいですが、エクセル表計算ソフトを使って、散布図グラフであらわし、近似計算でグラフが接触する条件を求めることができます。

 とにかく楽に問題を解く方法を探すのが「数学の心」 なので、
エクセル表計算ソフトを使えば問題を解くのが楽になるなら、
そのソフトを大いに使うべきです。

 上の楕円の中心のY座標=a を少しづつ変えて、楕円同士が接触する場合の楕円の中心のY座標=a を求めてみます。


 この様に、エクセル表計算ソフトを使って、
2つの楕円が接触する場合が、近似的に、
a=3.35
の場合であることを求めることができました。

リンク: 
高校数学の目次

2017年6月17日土曜日

方程式の有理数解の有無の判定

 最高次の係数が1である整数係数方程式が有理数の解を持つ場合、その解は整数解になる。
これを利用して、整数係数の方程式が有理数解を持つか否かを素早く見極めることができる。

以下の例題で、方程式の有理数解の有無の素早い判定方法を示す。

【例題1】
 以下の方程式1は有理数解を持たないことを確認せよ。

【解答】
 式1を、以下のようにして最高次の係数が1である整数係数方程式に変換する。
とする変数wを用いて、式1を以下の式3に書き変える。
 この式3は、最高次の係数が1の整数係数方程式であるので、式3が有理数解wを持つ場合、その解wは整数解になる。
ここで、式3を変形すると、以下の式4が得られるので、式3が整数解wを持つ場合、その解wは2の倍数になることがわかる。
 この結果、式1が有理数解xを持てば、その有理数解は、式2により、以下の様に整数解になる。
ここで、式1を変形すると、以下の式6が得られるので、式1が整数解xを持つ場合、その解xは1の約数で、1か-1になることがわかる。
この、x の解の候補1と-1のどちらも式1の解にならない。

よって、方程式1は有理数解を持たない。
(確認おわり)

リンク:
高校数学一覧

2017年6月16日金曜日

球の表面積を積分で求める

https://schoolhmath.blogspot.jp/2017/06/blog-post_2.html
https://schoolhmath.blogspot.jp/2017/08/blog-post_17.html
「微分・積分」の勉強

(1)積分:
 以下の問題を考えます。
【問題】 
 なぜ、半径 r の球の表面積Sは、
表面積S=4π r
なのか。

 この問題は、以下の様に解くことができます。

先ず、問題をやさしくするために、半径 r が1の場合を考えます。

 次に、以下の図のように、球の表面を輪切りにして多数のリングに分割し、
その1つのリングの面積を計算します。 
リングの幅をΔwとします。
球を輪切りにする間隔のΔxあたりのリングの面積が求められました。
このリングの面積の総和が球の表面積です。
球の表面積が4πになりました。
これから、半径 r の球の表面積Sは、
表面積S=4π r
になることがわかりました。 

 この様に、要素に分割して総和を計算することが「積分」をするということです。
 積分という概念は、人間の思考視野を広げる思考パターンとして受け止められて初めて、身に付いた数学思想となります。その積分の概念を、身に付き易いよう、わかりやすく書いてある本:
『「超」入門 微分積分』(神永 正博)
を読むことをお勧めします。読めば、積分が面白くなると思います。

リンク: 
高校数学の目次

2017年6月14日水曜日

微分積分はどうすれば勉強できるか

https://schoolhmath.blogspot.jp/2017/06/blog-post_2.html
https://schoolhmath.blogspot.jp/2017/08/blog-post_17.html
「微分・積分」の勉強

 高校の数Ⅱで、微分・積分を学ぶようになり、その勉強がつまらなくなり数学を学ぶのをあきらめて文系に進むことにする学生が多いらしい。そうなる以前に早めに数学がつまらなくなることを見切って早々と文系に進むことに決める学生も多いらしい。

 そのため、このページでは、「微分・積分」をどうすればおもしろく勉強できるかというコツを考えます。

(当ブログの結論)
 高校2年生が微分積分を学習するのに適切な本は、高校生用の教科書や参考書なのでは無く、大学1年生向けの参考書:例えば:
「やさしく学べる微分積分」(石村園子)
書評「素晴らしいほどわかりやすい。 高校2年の知識があれば、すらすら読める。 数学苦手な人でも、やさしくシリーズは、微積とベクトルはとっつきやすいと思うので、おすすめです。」

などだと思います。
その本は、初めて微分積分を学ぶ高校2年生にとって、内容がわかり易いです。説明が正確でごまかしが無いので、高校教科書の微分積分の説明にあるようなごまかしが納得できず(ごまかしに納得する方がおかしい)学習が止まってしまう様なことが無く、スムーズに勉強を進めることできるので良いと思います。その本の36ページから45ページまで勉強するだけで、微分の必須知識が学べます。

当ブログでは、先ず、勉強の順番が、
(1)極限
(2)微分
(3)積分
になっている事が、
「微分・積分」の勉強をつまらなくしていると考えます。

 数学が好きでいつも数学を勉強している学生は、「微分・積分」の授業の順番には「微分・積分」を学んでいないと考えます。

 数学の問題を多く解いていて、数学の問題を解く技術を磨いてきた学生は、「微分・積分」の基礎的な概念は既に考えたことがあり、その概念も利用して問題を解いている。
 そして、「微分・積分」の授業に出会ったら、既に知っている自分の知識を整理するために役立てようとして授業を聞くから、「微分・積分」の勉強ができるのだと考えます。

 その、既に知っている「微分・積分」の知識とは、どのようなものかを以下で考えます。

 数学が好きでいつも数学を勉強している学生は、好奇心を満足させる面白いテーマの順に数学を学んで行くと思います。
 面白い数学の課題を見つける都度、その課題を自分で研究するという道草を食います。その道草の1つに、基礎的な「微分・積分」の概念の修得があると思います。


 そのため、以下では、その、面白い順に、微分積分を学んでいこうと思います。
(1)積分
(2)微分
(3)極限
の概念の順に学ぶのが面白く、
それを学んだら、
(4)極限の概念の精密化
(5)微分の知識の整理
(6)積分の知識の整理
を勉強するのが、勉強の順番として適切だと考えます。

(1)積分:
 以下の問題を考えます。
【問題1】 
 なぜ、三角錐の体積Vは、
体積V=底面積S×高さh×(1/3)
なのか。
 この公式は、何とか覚えられたと思いますが、
もっと、すっきり覚える方法が無いか?
と考えたことがあると思います。
 この問題は、以下の様に分析することができます。
この解に法則性があるように思われますが、
この問題は難しいので、これを解くための準備として、
この問題をもっとやさしくした以下の問題を先に解くことにします。

【問題2】
 なぜ、三角形の面積Sは、S=底辺L×高さh×(1/2)
なのか。
この問題ならば、上のような場合を考えて、解くためのヒントを見つけることができます。

この問題2で得られたヒントを拡張して、
以下の様に問題1を解析します。

【問題1(再)】
これは、以下のグラフの面積を分割して計算することに対応すると考えることができます。
(この計算で用いた2乗の数列の和の式はここをクリックした先のページにあります)

 このように問題を解析することで、後は、この2次関数のグラフの面積を与える法則性を把握すれば、この種の問題が自由に解けるようになることが理解できます。

 この様に、分割した要素の総計を求めてグラフの面積を計算する手法が「積分」です。
 また、その計算のための法則性を整理して覚えることが「積分」を勉強するということです。

もう1つ、分割した要素の総計を求める例を追加しておきます。
《グラフの微小増分の総和がグラフの高さになる》
上の図のように、グラフの傾きにΔxを掛け算した要素は、グラフの高さの増分Δyです。
上図のように、
グラフの高さの増分Δyの総計=グラフの高さy
になります。
(グラフの微小部分の総和おわり)
 
(応用例)
 分割した要素の総和を考える応用例として、下図の点Aまでの円弧の長さ θ と、長さtanθ の点Tまでの垂直線の長さの大小関係を、
下図の平行線で分割した微小部分の大小関係から求めます。平行線で円弧θを切った部分の長さをΔθと表します。平行線で(1,0)の点から点Tまでの、長さがtanθの垂直な線分を切った部分の長さをΔ(tanθ)と表します。
円弧 θ を平行線で分割した微小ベクトルの平行線への射影成分Pθ の長さよりも、垂直な線分tanθ を平行線で分割した微小ベクトルの平行線への射影成分P の長さの方が長い。そのため、円弧θを平行線で分割した微小ベクトルの長さΔθよりも、垂直な線分tanθを平行線で分割した微小ベクトルの長さΔ(tanθ)の方が長い。
その個々の微小ベクトルの長さの総和(積分)を考えることで、
θ <tanθ という大小関係が分かりました。
(応用例おわり)

(積分の特徴)
 積分とは、連続した階段を登ることに似ています。
先ず、階段の1歩1歩の段差は有限でなければならない。
無限の段差の階段は登れないので、それは積分できない。
積分は有限の階段でつながっている。
ある点からある点まで積分できたならば、必ず、その点間をつなぐ道が、どこかを通って、通じている。その点をつなぐ道は目前の無限の高さの崖では無いが、他の道が必ずあるのです。

 (微分積分学の歴史)
 ライプニッツが、1684年に「極大と極小にかんする新しい方法」を出版して、その中で微分法を発表し、
ついで1686年に「深遠な幾何学」を出版して積分法を発表しました。

 その後に、ニュートンが微分積分学を発表しました。

 それに対して、旧い数学者のバークレー司教(Bishop George Berkeley)が微分積分学を攻撃した論争が微分積分学を正しく育てました。
 バークレー司教は、ダブリンのトリニティ・カレッジで神学を学び、後に講義をする。アイルランド、クロインの(英国国教会の)監督Bishopとなる(1734)。

 バークレー司教は、数学から唯物論を追放する目的で、『解析者―不誠実な数学者へ向けての論説』(The Analyst: or a Discourse Addressed to an Infidel Mathematician, 1734)で、ニュートン・ライプニッツ理論(微分積分学)を攻撃し、大論争を引き起こす(『解析教程』第II章第1節参照)。
ド・モアブル、テイラー、マクローリン、ラグランジュ、ヤコブ・ベルヌーイ、ヨハン・ベルヌーイなどが論争に加わり、微積分学の論理的基礎づけに対する関心を高めた功績は大きい。
とくに、マクローリンは反論のためにニュートンの方法の厳密な構成を行った。


以下で、バークレー司教の微分積分学に対する感想を見てみます。

『バークレー司教:解析者より』
  「しかし、速度の速度、その速度、そのまた速度、またその速度、またまたその速度などなどというのは、私が間違っているのでなければ、すべての人間の理解を越えてしまっています。

精神がこの捉え難いアイデア(微分積分学)を解析し追及すればするほど、それはまごつき狼狽えることになり.....」

『バークレー司教:解析者より』
  「......我が時代の解析者(微分積分学)は有限の量の差を考えるだけでは満足しません。

彼ら(微分積分学)はさらにその差の差を考え、最初の差の差の差を考えます。 そしてさらに無限にまで。
 つまり彼ら(微分積分学)は認識できる最小の量よりさらに無限に小さい量を考えます。

その無限に小さい量よりもさらに無限に小さな量を、そしてその上これまでの無限小量よりもさらに無限に小さい量を考え、終わりも限界もないのです。
......もう告白するしかありませんが、無限に小さい量を心に描くことは ......私の能力を超えています。
しかし、そのような無限に小さい量の、それよりさらに無限に小さい一部、だから結局それを無限倍したとしても最も微細な有限の量にまでなることもできない、そんなものを想像するということは、どんな人にとってもそれこそ無限に困難なことだろうと、私は思うのです。.....」

『バークレー司教:解析者より』
  「そして、この流率(微分)とは何だろうか?

  無限小の増分の速度。 そして、これら同じ無限小の増分の速度とは何なんだろうか?
  これらは有限の量でもなく、無限に小さい量でもなく、無でもない。 こんなものなら、過ぎ去った量の幽霊と呼んではいけないというのだろうか? 」

 ニュートンとライプニッツの微分は、「無限小」の概念が十分に論理付けされていなかったため、今日のような厳密さが欠けていただが、微分は、力学や天文学などで応用可能、しかも実用的であったため、ベルヌーイやロピタル、オイラー、ラグランジュ、ラプラスなどの研究によって普及していった。

 微分学が厳密性を伴うようになったのは、19世紀に入ってからである。仏の数学者コーシーは、1821年に発表した「解析教程」で「極限」や「無限小」、「連続関数」の概念を定義し、解析学の基礎を刷新し、その後デデキントやカントールによる実数論などを経て、今日の微分の基礎が完成した。


 しかし、この、微分積分が歴史的に持っていたあいまいさとごまかしは、現在の日本の高校の微分積分の教育においては、更にごまかしが拡大されて教えられています。例えば、微分積分学の命綱が「連続関数」の概念ですが、高校数学では間違った定義が教えられています。以下で、その高校教育の実態を見ていきましょう。

 連続関数の定義は1817年にBolzanoが中間値の定理を証明する前提条件に連続関数の定義が必要であることを明確にしてから、その定義が定まった。その歴史的経緯から、中間値の定理を成り立たせない関数を連続関数と呼ぶ高校数学での連続関数の定義は偽物である。なお、高校数学で定義された連続関数という言葉が使い物にならないので、大学数学では、連続関数という言葉を使わずに「区間連続」という言葉で本来の意味の連続関数をあらわすことにしています。

【閉区間で連続な関数の最大値・最小値の定理】
閉区間( a≦x≦b)で連続な関数f(x)は、
その区間内で有限の値の最大値と最小値を持つ。

(ここまでが定理)

 この定理は、誤った連続関数の定義と異なる、正しい連続関数の定義を前提にした定理です。そのため、この定理は、高校数学では無視することが強いられています。

高校数学では、
y=1/xは、x=0以外の、全ての定義域の点で連続なので「連続関数」と呼ばれています。

また、高校数学では、閉区間( a≦x≦b)とは、変数xの値の範囲を限定する式のことであるという間違いが教えられています。

その誤った知識に基づくと、
【閉区間で連続な関数の最大値・最小値の定理】とは、

変数xの範囲( a≦x≦b)内に関数が連続である定義域を持つ連続関数f(x)は、
その範囲( a≦x≦b)内で有限の値の最大値と最小値を持つ。

(ここまでが定理)

という定理と解釈されます。

この「定理」には以下の反例があります。
関数f(x)=1/xは、
変数xの範囲
-1≦x≦1
内に定義域(ただしx≠0という定義域)が存在し、
-1≦x≦1
で定義されているどの点でも連続なので、
連続関数です。しかし、この連続関数f(x)は、
x→0の近くで∞と-∞に発散するので、
有限の値の最大値と最小値を持たない。
(反例おわり)

 しかし、この定理の基礎となっている正しい連続関数の定義が高校数学での連続関数の定義とは違うので、これは定理の反例にはなっていません。 

(補足1)
 微分と積分は,歴史的にも,数学的にも,別々に定義される. 独立して定義されたものが,結びついている。 (日本の高校の微分積分の教科書ではいちばん大切な数学の発見が,次代に伝わらない。) 

【積分とは何か】
 積分については,ここをクリックした先のpdfファイルにある原教授の以下のコメントが大切です。
---(原教授のコメント開始)---------
 積分については高校でも習ってはいるが,その基礎を突き詰めていくといろいろと困ったことがでてくる.
特に 「積分は微分の逆演算」として定義すると,「ある関数 f の積分を求めよ」という問題や「この関数の積分は定義できるか?」という問題でハタと困ってしまう.
(微分して f になるような関数がわからない場合,高校までの知識ではお手上げだ.)
この節では高校までの知識はいったん忘れて,「積分とは何か」「積分をどのように定義すべきか」か ら話を始める.

4.1 積分(定積分)の定義
 ということで,まずやるべきは「与えられた関数f(x) に対して,その積分を定義すること」である.
これから見ていくように,かなり広いクラスの関数に対してその積分(定積分)を定義することができる.
定積分を通して不定積分も定義できるので,高校までの知識とのつながりがつくことになる.
・・・
積分の最も素朴な定義はこれから紹介する「リーマン和」に基づくもので、、、
---(原教授のコメントおわり)------


(補足2)
(「リーマン積分可能」の定義)
「微分積分学入門」(横田 壽)の124ページから125ページに「リーマン積分可能」の定義が書いてあります:

この本は書店で購入できます。) 

その他に、高校2年生が勉強するのに適切な、書店で購入できる微分積分の参考書は:
「やさしく学べる微分積分」(石村園子) ¥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)を求めますが、そのxの位置が部分区間の中の特定の位置に固定されています。
その固定をしないで、どの位置の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) のとり方に関係なく、各点の関数値の和が一通りに定まる(積分可能)か否かを調べることができます。 

(積分が不可能な関数)
 下のグラフの関数f(x)のように、どの位置においても関数の極限が存在しない関数があり得ます。
 例えば、 
xが有理数の場合にf(x)=0であって、
xが無理数の場合のf(x)=1
という、極限が存在しない関数f(x)などです。
 そういう、極限が存在しない関数f(x)を積分して関数F(x)を得た場合(もし積分できた場合)、その積分により得られた関数F(x)は微分可能だろうか。
 そもそも、微分の計算は極限を求める計算なので、その関数f(x)が積分できても、その積分した関数F(x)を微分した場合に、元の関数f(x)は(極限値が存在しないので)、微分によっては得られないと考えます。

 上図の関数f(x)の変数x=x1からx=x2までの変数xの閉区間をn等分して、その区分した部分毎にf(x)の値f(ξ)を求めて、その値の和で積分します。
(1)その際に、 変数x=ξが全て有理数なら、f(ξ)=0になり、積分結果は0になります。
(2)一方、変数x=ξが全て無理数√2の有理数倍なら、f(ξ)=1になり、積分結果は(x2-x1)になります。
(3)f(x)の値f(ξ)の選び方によって結果が変わるような計算の値は定かでは無いので、その様な関数f(x)は積分することができません。

 このように、微分積分学では、あらゆる関数に微分積分を行う理論を作ろうとすると、いろいろな難しい問題があることがわかりました。
 微分積分学で、難しい問題が生じない関数の範囲を把握して、その範囲内で微分積分の計算をすることで、応用上で微分積分を使い易くできます。
 そのため、使い易い関数として、極限が存在し、かつ、連続な「連続関数」(関数f(x)が連続な範囲にxの定義域を限定した1つながりに連続な関数が連続関数です)を主に扱う対象にし、また、「微分可能性」で関数の種類と、また、関数の変数xの定義域内の所定の範囲を定めて、その所定の範囲内だけで微分積分を行うようにします。その範囲内で成り立つ法則を把握して、種々の公式を導き出して使うことで微分積分学を最大限に応用できるようになります。

 微分積分学は、微分可能な関数と積分可能な関数を定義して、その種の関数の間で微分したり積分をします。

「関数を積分して、それを微分したら元の関数に戻る」 
という、微分積分学の基本定理がありますが、
その定理は、その関数f(x)の積分可能な部分に限り、かつ積分後の関数F(x)の微分可能な部分に限って成り立つ定理です。
 その定理の大前提に、何が微分可能で何が積分可能であるかの定義があります。
(微分積分学の基本定理を厳密に定義すると、「微分積分学の基本定理」という命題は、積分可能条件を記述した命題です)

微分可能の定義微分積分学の基本定理を左右する)

 微分積分学の基本定理の根底を支えているのが微分可能の定義です。高校数学の微分可能の定義は、変数xが開区間(a<x<b)で定義された関数f(x)にしか微分可能が定義されていません。そのため、高校数学の範囲内の知識では、開区間(a<x<b)で定義された関数 f(x)にしか、微分積分学の基本定理が成り立ちません。
 一方、大学数学では、変数xが閉区間(a≦x≦b)で定義された関数f(x)の区間の端点x=a,bでも微分可能が定義されています。そのため、大学数学では、閉区間(a≦x≦b)で定義された関数f(x)にも微分積分学の基本定理が成り立つと教えられています。

 微分積分を学ぶ者は、「微分可能」と「積分可能」という制限条件を定め、その制限条件を満足する関数を扱うのが微分積分学だと認識することがとても大切です。 
 しかし、この一番大切な概念を高校2年には教えない。高校3年に至っても「積分可能」の概念を教えていないようです。
 しかも、1997年からは、日本の高校の数学IIで面積が無定義に用いられという、数学センスを否定する蛮行が行なわれた。そして、関数f(x)のグラフとx軸で囲まれる領域の面積を,x方向で微分するともとの関数f(x)になり、面積の微分がf(x)となるという本末転倒なことを教えるようになった。

 高校数学で教える積分の定義が、微分積分学の基本定理が使っている積分の概念と異なるものになった。それにもかかわらず、異なる概念になった「積分」を同じく積分と呼んで定理を記述して紹介しているため、高校でも教える微分積分学の基本定理が意味不明になった。
 しかし、「積分」がそのように定義されるという高校の教科書の記述は嘘です。そのため、微分積分学の基本定理の存在意義があります。
 そもそも、積分の概念は、日本の高校の教科書が微分の逆演算で定義しているような狭い貧弱な概念ではありません。積分の概念は、数学の研究対象を微小な部分に分割して研究し、その微小部分を集積した全体にまとめ上げて全体を考えるという、適用範囲が広い概念なのです。
「歴史的に見ても、微分より積分の方がずっと前に出現している。」

  現在の高等学校の教科書は,積分の概念の説明を回避している。

数学者の吉田洋ーが以下のようになげいています。
“論証"・論証"とやかましくいっておきながら,微積のところへ来ると,とたんにいいかげんな議論でごまかしている。一ーまた高校ではごまかさざるを得ないだろう。高校数学の目的は生徒のあたまを混乱させることにあるのだろうか。


 また、初めて不定積分を教わり積分定数Cを教わる際に、積分定数Cの正しい扱いを教わらず高校生の頭が混乱している様です。

 高校数学において、積分定数Cを省略した間違った部分積分の公式が教えられています。

 また、「従来から、(高校数学での)円弧の面積を使った証明方法は、循環論法であるという指摘はあったが、依然として、教科書の記述が直らないのは、高校数学の七不思議の一つである。」

 積分の被積分関数の計算においては、xのある値で0になる関数を分母にする、すなわち、そのxの値で0になる関数で式を割り算する計算が許されています。しかし、(大学で初めて学ぶ)広義積分を知らないと、その計算が何故許されるかが理解できません。

このようなデタラメな教育では、高校生に微分積分が分からないのも無理無いと考えます。

 バークレー司教が、これを知ったら、「論外の教育だ」 と酷評すると思います。 

 (補足3:日本の微分積分の教育)
 ヨーロッパやアメリカでは、「高校で微分積分を教えるのは、直感にうったえる内容に限られ、正確な微分積分を教えられない」という理由で、微分積分は大学生に教える科目になっています。
 日本の大学でも、その欧米の教育に合わせて、初めて学ぶ者に分かるように微分積分を改めて教育しているようです。
 大学で使う微分積分の参考書は、高校で教える微分積分の知識を全く知らない学生に理解できるように書かれています。
 しかも、大学生向けの微分積分の参考書の方が、日本の高校生向けの微分積分の参考書よりやさしく分かり易い。

 高校の微分積分を勉強するなら、先ず、大学生向けの微分積分の参考書を読むことを推薦します。高校の微分・積分の教科書は分かりにくいだけで無く、間違いも含まれています。読まない方が良いのではないかと考えます。
 とりあえず、高校2年生が勉強するのに適切な、書店で購入できる微分積分の参考書:
「やさしく学べる微分積分」(石村園子) ¥2000円
が内容がわかり易くて良いと思います。大学1年生向けの参考書ですが、高校の微分積分の参考書よりも分かり易い。しかも、ごまかしが無く論理が明確なので、初めて微分積分を学ぶ高校2年生が学習につまずくことが無く、一気に読めると思います。

【数学が得意になるということ】
 「スタンフォード:本当の答えを見抜く力」(キース・デブリン)
に、スタンフォード大学に入学した大学生に教える「数学移行講座」の教育内容が書かれています。
 数学移行講座が必要な理由は、学生が大学の数学教育についていけるようにする基本的考え方を教える必要があるからです。
「数学的能力は2つのタイプに分類できます。
最も必要とされている能力は、2つ目のタイプの能力で、
製造業などで新しい問題に取り組んで、その鍵となる特徴を認識して数学的に記述し、その数学的記述を使って問題を正確に分析することができる能力です。


 数学教育では主に1つ目のタイプの人間(公式を覚えて当てはめて定型的な問題の答えを出すことができる)を育てることに力点が置かれてきましたが、結果的に2つ目のタイプの人間も育ちました。
21世紀は、タイプ2の能力に対する需要の方が大きくなっています。
このタイプ2の人材は、
数学の箱の中ではなく、外で考えられる人材です。
「斬新な数学的思考家」と呼ぶのが良さそうです。


 微分積分を学ぶ意味は、この「斬新な数学的思考家」になることにあります。
そのため、学生が「タイプ2」になることを妨害している高校生の微分積分の教科書を捨て、
正確に正しい数学を教えている本:
「やさしく学べる微分積分」(石村園子) ¥2000円
等を手に入れて、その本から微分積分を学ぶと良いと考えます。

 なお、高校生になった学生は、心身ともに大人として完成する時期に入ったので、もう中学生時代のように受け身で勉強や生きる道を選択するのでは無く、自分から積極的に広く情報を集めて取捨選択して信頼できる情報を手に入れるようにして欲しいと思います。
 世間に流通している情報には、誤った情報の方が多く、正しい情報が少ないです。誤った情報しか手に入らないと、誤った情報は問題解決の役に立たないので自信が無くなり、どうしても受け身で勉強する姿勢になり易いです。
 正しい情報の貴重さを認識する経験を積んで欲しいと思います。そして、手に入れた正しい情報に基づいた確信と、生きる勇気を手に入れて、人生の永い道に乗り出して行って欲しいと思います。

リンク: 
高校数学の目次
新型コロナウイルス感染対策

曲線同士が接する条件は点の座標の解の重なり

https://schoolhmath.blogspot.jp/2017/06/blog-post_2.html
https://schoolhmath.blogspot.jp/2017/08/blog-post_17.html
「微分・積分」の勉強

(1)なめらかな曲線の接線は、微分を使って見通し良く正しく定義できる。
(2)接点の座標の計算だけで2曲線の接触を判定する場合は、接点(x,y)が重解を持つか否かで判定する。接点(x,y)のx座標かy座標の一方の座標だけでの重解の有無で判定してはいけない。

【問1】放物線y=x/4と円x+(y-1)=1は接するか?

(方程式が重根を持つかで解析する方法) 
放物線 y=x/4  (式1)
円 x+(y-1)=1 (式2)
この2つの図形は、(0,0)で接することが図から明らかである。
そして、接線は、
接線 y=0 (式3)
であることが明らかである。
 

実際に、式1の放物線と式3の直線を連立させて、方程式からyを消去すると、
0=x/4
xは0となる重根を持ち、式1の放物線は式3の接線と(0,0)で接する。
 

次に、式2の円と式3の直線を連立させて、方程式からyを消去すると、
+(0-1)=1
=0
xは0となる重根を持ち、式2の円は式3の接線と(0,0)で接する。
 

【この問題で注意する点】
 曲線同士が接する条件は、
接点(x,y)が重解を持つか否かで判定するべきであり、接点(x,y)のx座標かy座標の一方の座標だけで重解の有無を判定してはいけない。
 

【解答】
式1の放物線と式2の円の方程式を連立させる。
放物線 y=x/4  (式1)
円 x+(y-1)=1 (式2)
式1から、
=4y (式4)
式4を式2に代入してxを消去する。
4y+(y-1)=1
+2y=0
y(y+2)=0 (式5)


 接点(x,y)が多重の解を持つかどうかはx座標も確認しないといけない。
 上の計算で得た式5に式4を代入して、x座標であらわした以下の式6に書き直す。
(x/4)/4+2)=0 (式6)
(x)(x+8)=0 (式7)
(x+8)≠0 なので、
=0 (式8)
が得られる。
式8から、xの値が重根の値0を持つことがわかり、
「多重根ができるから接する」。
(解答おわり)

(補足)
 この例題のように、曲線の接触の確認には、接点(0,0) の x 座標が重根になるのであって、重解の2点のy座標は同じになるため、 x 座標が重根になる事を確認しなければならない。

(注意)
 ここで、この問題のグラフの x 座標を、
t ≡ x
で定義されるt座標を使い、 t,y 座標系での曲線の接点を求める問題と考えたらどうなるか。
t ≧ 0,
(式1)→ y=t/4  (式1b)
(式2)→ t+(y-1)=1 (式2b)
 この場合は、式2bに式1bを代入すると、
t+((t/4)-1)=1,
16t+((t-4)=16,
+8=0,
t(t+8)=0,
t=0
このように、t座標の解も重根を持たない。
 それでは、2つのグラフが接しないという解になってしまう。
 一方、与えられた2つのグラフの t,y 座標系に写像した2つのグラフは、下図のようになり、この2つのグラフは接しない。
よって、 t,y 座標系では、この2つの曲線は接しないという結論は正しい。

 2つのグラフが接するという事は、 x,y 座標系でのみ成り立つ現象である。変数変換をしたら、グラフが接するかどうかは不明になる。

(結論)
 曲線の式と曲線の式を連立させて方程式を解く場合には、
曲線が接する判定条件は、(x,y)の座標点が重解になるかどうかで判定するべきである。


(補足:曲線が接するか否かの現象を保つ変数変換の条件)
《交差している2つのグラフが、変数変換によって互いに接する2つのグラフに変わる例:変数変換をするときに注意すべき変数変換の条件》
上図のように、変数tの関数f(t)とg(t)との2つの関数値をY=f(t)、及びY=g(t)とする。
f(t)=t
g(t)=t/2
とする。 この場合に、上図のように、2つのグラフが、tY座標平面上では互いに交差しているだけで、接していない。
 このグラフの変数tを以下のグラフの関数であらわす媒介変数xを考える。
変数tをこのグラフの関数であらわす媒介変数Xを使うと、
XY平面上で先の2つのグラフをあらわすと以下の図の様になる。
x≧0の場合に:
関数f(t)=x
関数g(t)=x/2
になる。
この様にXY座標平面上では、互いに接する2つのグラフに変換されてしまった。
 すなわち、接さずに単に交差しているだけの2つのグラフが、互い接するグラフに変わってしまった。

 tY座標平面上の2つのグラフがある変数値において接するか否かを調べている時に、そのように変わってしまわないようにするための、行なって良い変数tの媒介変数xへの変数変換は、その2つのグラフが交差する点の位置の変数値において:
dt/dx ≠ 0
となることが必要です。
また、その関数が”微分可能”であることも必要で、すなわち、その2つのグラフが交差する点の位置の変数値において:
dt/dx ≠ ±∞
も必要です。

(補足)
 以上の計算における曲線の接触の判定の計算は、「この式8が得られることで正しく重解の存在を判定できるのか?」 という疑問が湧くという、接点の判定条件が怪しげで不明瞭であるという問題がある。
また、以下のグラフの接点Aを求める場合:
このグラフの接線の傾きkを求める方程式を、重解を利用して得る計算方法の見通しが悪いです。

 このような接点の判定の不明瞭さを解消するには、式の微分を用いることで明瞭な判定ができる。その判定方法は、後のページの例題で例示する。

リンク: 
高校数学の目次