要約
この課は本コースの最後の単元を開く。この単元は、導関数が一点で語ることから、区間で語ることへと進む。まず単元の道筋を示す。すなわち、ワイエルシュトラスの定理は有界閉区間で連続な関数が最大値と最小値をとることを保証し、フェルマーの定理はそれらを導関数が零になる点に位置づけ、ロル、ラグランジュ、コーシーの定理は導関数の符号を区間全体についての情報に変え、そこからロピタルの定理、単調性、極値の判定法、凹凸、曲率、最適化、ニュートン・ラフソン法が導かれる。また、フェルマーの極大値の求め方からダルブーの定理まで、これらの成果の歴史を、単元の順序とほぼ逆の順序で再構成する。さらに、単元を貫く問題、すなわち局所から大域への移行を定式化し、この移行が実数の完備性に依存することを有理数における例で示す。最後に、これらの応用がサイトのほかのコースと科学と技術のどこで用いられるかを指摘する。
学習目標
- 単元の道筋を述べ、各課が何を証明し、それ以前のどの定理や命題を用いるかを説明する。
- 関数についての大域的な帰結、たとえば最大値の存在、単調性、ある方法の収束が、なぜ導関数に加えて実数の完備性を必要とするのかを説明する。
- フェルマーの極大値の求め方からダルブーの定理まで、単元の諸定理をその歴史的文脈に位置づけ、それらが発見された順序と証明される順序を区別する。
- 導関数の応用が、ほかのコースと科学技術上の応用のどこに現れるかを指摘する。
導入テスト
単元に取りかかる前に、出発点を測っておくとよい。このテストは自分で確かめるためのもので、採点はされない。どこで立ち止まるべきかを知るためのものである。最初の九問は、単元の内容の九つの課を順に一つずつ扱い、覚えておく言明ではなく、その中心となる定理の理解(何を保証し、どのような仮定のもとで成り立ち、何を保証しないか)を測る。同じ技能は、最後のまとめの課で、別のデータを使って改めて測る。最後の五問は、この単元が前の二つの単元から既知とするものを確かめる。すなわち、ボルツァーノの定理、1 点での微分係数の符号、2 階導関数、陰関数の微分法、同値な無限小である。
単元を始める前に、自分の出発点を測りましょう。短い自己評価です。採点はされず、結果はあなたのブラウザーにだけ保存されます。
問 1ワイエルシュトラスの定理が、関数が指定された集合で最大値をとることを保証するのは、以下のうちどの場合か。
関数は連続で有界であるが、 は有界な区間ではなく、定理は適用できない。実際、最大値は存在しない。値は に近づくが、それに達しない。区間は閉じていない。最大値があるはずの端点 が欠けている。値は に近づくが、それに達しない。区間は有界閉区間であるが、関数は で連続でない。その左側極限は であり、そこでの値は である。値は に近づくが、それに達しない。関数は多項式の絶対値なので連続であり、区間は有界閉区間である。定理は微分可能性を要求しない。 は で微分可能でなく、そこで最小値 をとり、最大値 を でとる。問 2関数 は で微分可能であり、 かつ (すべての について)である。 について何が言えるか。
導関数が区間全体で であると仮定してしまっている。仮定は導関数の大きさを押さえるだけである。定数関数 は条件を満たし、値 を でとる。増分ではなく値を押さえてしまっている。平均値の不等式が押さえるのは であって、 ではない。関数 は仮定を満たし、値 を でとる。知る必要はない。平均値の定理は、接線の傾きが弦の傾きに等しくなる点がどこかを知らなくても、導関数の上界を増分の上界に変える。平均値の定理により、( は のある点)であり、 である。これが平均値の不等式である。両端の値はどちらも実現され、 と でそれぞれ得られるので、それ以上のことは言えない。問 3 を求めよ。
ロピタルの定理は、導関数の比が極限をもてば関数の比も同じ極限をもつと主張する。極限をもたなければ、この定理は何も言わず、極限は存在しうる。この因子は振動するが有界であり、それに掛かる は に近づき、その速さは よりも速い。を で置き換えてしまっている。同値な無限小であるかのように。正弦とその引数の同値は引数が に近づくときに成り立つが、 は に近づかない。が に近いとき、商は である。第一の因子は に近づき、第二の因子は に近づく。 だからである。ロピタルの定理では判定できない。導関数の比 は極限をもたない。復習: ロピタルの定理
問 4 で関数 は狭義単調増加か。
狭義の単調性を妨げるのは導関数の零点の個数ではなく、導関数がある区間全体で零になることである。ここでは零点は孤立している。正の導関数は狭義に増加するのに十分であるが、必要ではない。 は で狭義単調増加であり、その導関数は で零になる。余弦は振動するが、 が上がるより速く下がることは決してない。和の導関数 は決して負にならない。導関数が零になるのは孤立した点 ( は整数)だけである。導関数が非負のときの狭義単調性の命題により、 は で狭義単調増加である。問 5関数 は で連続であり、 の各点で微分可能(ただし を除く)で、その導関数は でのみ零になる。、、、、 のとき、 における最大値と最小値は何か。
関数が微分可能でない点を忘れている。それらも臨界点であり、 で関数の値は である。区間の端点での値だけを比べている。最大値・最小値は内部の臨界点でとられることもある。候補での値で十分である。命題は最大値・最小値がそのいずれかでとられることを保証し、候補をすべて与える。有界閉区間における最大値・最小値の命題により、それらは存在し、、、または臨界点でとられる。臨界点は、微分係数が存在しない と、導関数が零になる である。、、、 を比べれば十分である。 は候補ではないので、そこでの値は関係しない。復習: 関数の極値と最大値・最小値
問 6 の変曲点はどれか。
が零になることは必要であるが、十分ではない。凹凸が変わることが必要であり、 は において凹凸が変わらない場合があることを示す。それらは臨界点であり、接線が水平になる点である。変曲点は凹凸が変わる点であり、それを決めるのは 1 階導関数ではなく 2 階導関数である。3 階導関数による判定法は十分条件を与えるもので、適用できないときは何も判定しない。 では適用できる。 であり、零ではない。2 階導関数 は で符号を変える。 では変えない。両側で負だからである。 の近くでは関数は両側で上に凸であり、 は変曲点ではない。そこで が零になるにもかかわらず。復習: 凹凸と変曲点
問 7 のグラフの点 における接触円はどれか。
接線は同じで半径も正しいが、反対側に曲がっている。その中心は点の下方にあるが、 なので、曲率中心は点の上方にある。数 は曲率であって半径ではない。曲率半径はその逆数である。を半径とし、中心を点を通る鉛直線上にとっている。これは接線が水平のときにしか成り立たない。ここでは傾きは であり、因子 は ではない。、 より、半径は であり、中心は法線、すなわち直線 の上にあって、その点からこの距離だけ離れ、グラフが曲がっていく側にある。 なので、点の上方にある。復習: 曲率と曲率半径
問 8放物線 の点のうち、点 に最も近いものはどれか。
放物線の最も低い点であるが、 に最も近い点ではない。その距離は であり、縦座標が の点の距離は である。臨界点 は、 については極大値をとる点である。が長さであるかのように負の根を捨ててしまっている。それは横座標であり、負でもよい。縦軸に関して対称な点は同じ距離にある。点とグラフの距離の命題は、 のように端点を含む区間で連続な関数について最小値を保証する。遠くの点は遠く、最小値は有界閉区間で探せばよい。距離の二乗 を最小にすれば十分であり、点とグラフの距離の命題により、それは で最小値をとる。その導関数 は と で零になり、この二点での値 は より小さい。復習: 最適化問題
問 9関数 は で単調増加かつ下に凸であり、その根は で、 に近い。 から始めると、ニュートン・ラフソン法の反復値はどうなるか。
根の左側では、下に凸で単調増加な関数の接線はグラフの下にあるので、根の右側で横軸と交わる。単調な近似には、 が正である点から始めることが必要である。定理は からは適用できないが、 からは適用できる。系は、最初の修正で適切な側に移ることを示す。根を越えるのは最初の修正だけである。 からは、すべての反復値が根の右側にとどまる。では関数は負であり、これは間違った側である。間違った側の初期値の系により、最初の反復値は が正になるところに落ち、そこから単調収束の定理により、反復値は根に向かって減少する。第二の反復値は で、 に近い。復習: ニュートン・ラフソン法
問 10前の単元から関数 は で連続であり、、 である。何が言えるか。
定理が保証するのは存在であって、一意性ではない。 は仮定を満たし、三点で零になる。一意性にはさらに何か、たとえば関数が狭義単調であることが必要である。二つの値では単調性は決まらない。その間で関数は上がったり下がったりしうる。 のように。中点は二分法が最初に調べる点であるが、根はほかの場所にあるかもしれない。 は仮定を満たし、 で零になる。ボルツァーノの定理である。有界閉区間で連続で、端点で異なる符号の値をとる関数は、内部のある点で零になる。復習: 中間値の定理
問 11前の単元から関数 は を含む開区間で定義され、 である。何が言えるか。
1 点での微分係数は、その周りの単調性を支配しない。値が ( のとき)、( において)である関数は、微分係数 を でもち、 を含むどの開区間でも単調増加でない。この命題は局所的であり、 の近くでしか成り立たない。正弦は微分係数 を でもち、値 を でとる。仮定は での微分係数についてしか述べていない。 は近くの点で微分可能でないかもしれず、微分可能であっても、その導関数は で連続でないかもしれない。1 点での微分係数の符号の命題である。平均変化率は の近くでその極限の符号を保つ。これは近くの各値を と比べるのであって、近くの値どうしを比べるのではない。復習: 変化率と関連する変化率
問 12前の単元から を求めよ。ただし とする。
これは 、すなわち 1 階導関数である。もう一度微分する必要がある。加えられた項 の導関数が抜けている。この項は の一部で、その導関数は である。因子の 2 階導関数どうしを掛けて としている。積の 2 階導関数は 2 階導関数の積ではない。積の微分法により であり、もう一度微分すると となる。 では対数が零になる。復習: 高階導関数と微分
問 13前の単元から方程式 は点 の近くで微分可能な関数 を定め、 である。 はいくらか。
を、 が定数であるかのように微分している。積の微分法の項 が抜けている。を と微分し、 を掛けていない。 は に依存し、合成関数の微分法により となる。解くときに符号を落としている。 から得られるのは である。について微分し、 には積の微分法を、 には合成関数の微分法を用いると、 が得られる。点 では となる。復習: 逆関数の微分法と陰関数の微分法
問 14前の単元から を求めよ。
を と同値なものとしてとっている。同値なものは である。逆の商の極限である。分子と分母を取り違えている。この形は、商の極限の定理が適用できないことを示すだけである。極限は存在しうるし、ここでは存在する。のとき 、 であり、分子と分母をそれぞれ同値なもので置き換えると、商は である。復習: 同値な無限小と無限大
コンテンツを読み込んでいます…