要約
この課では、関数のグラフが一点でどれだけ曲がっているかを測る。接線は、その点で関数と同じ値と同じ微分係数をもつ直線であり、接触円は、さらに同じ 2 階微分係数をもつ円である。円の方程式を 2 回微分すると、円の各点で、1 階と 2 階の導関数のある組合せがちょうど半径に等しいことがわかる。これを用いて、関数の 2 階微分係数が 0 でなければ接触円が存在してただ一つであることを証明し、その中心と半径、すなわち曲率半径を与える。曲率半径の逆数が曲率であり、曲率は 2 階微分係数が 0 になるところで 0 になる。続いて、ホイヘンスが見抜いたように、曲率中心が近くの法線どうしの交点の極限であること、また座標軸を入れ替えても曲率は変わらず、そのため接線が鉛直なところでも曲率を測れることを証明する。問題では、接触円がグラフを横切るかどうかを判定し、指数関数の曲率が最大になる点、楕円の曲率が最大・最小になる点、懸垂線の曲率半径を求め、直線と円弧の間の曲率の跳びを調べる。
学習目標
- 関数のグラフへの一点における接触円を定義し、2 階微分係数が 0 でないとき接触円が存在してただ一つであることを証明し、その中心と半径を計算する。
- グラフの一点における曲率と曲率半径を計算し、曲率が 0 であることの意味を解釈し、グラフの曲率が最大または最小になる点を求める。
- 曲率中心を法線どうしの交点の極限として求め、座標軸の役割を入れ替えることで、接線が鉛直なところで曲率を測る。
- 高階導関数による判定法を用いて、接触円がグラフを横切るか、グラフの片側だけにとどまるかを判定する。
接触円
のグラフの点 における接線は、 で と同じ値と同じ微分係数をもつ直線である。凹凸と変曲点の課で示したように、 ならば、グラフは の近くで接線の片側だけにある。すなわち ならば接線の上に、 ならば接線の下にある。しかし、グラフが接線からどれだけ離れるか、つまりどれだけ曲がるかは述べていなかった。それを測るには、いつも同じだけ曲がっている曲線、つまり円と比べるのがよい。小さい円は大きく曲がり、大きい円はわずかに曲がる。円は関数のグラフではない。内部を通る鉛直な直線はどれも円と 2 回交わるからである。しかし、円の二つの半分のそれぞれは、端点を除けば関数のグラフである。
を平面上の点、、 を または とし、( は の点)とする。このグラフは、 ならば上半円、 ならば下半円であり、中心は 、半径は で、端点を含まない。このとき 、、 は で微分可能であり、 で、区間の各点 において以下が成り立つ:
したがって は 0 にならず の符号をもつ。よって下半円は狭義に下に凸、上半円は狭義に上に凸であり、そのすべての点で:
証明
が区間にあれば であるから、 は 0 にならず、 は、合成関数の微分法の課の、よく現れる合成関数の導関数の系により微分可能である。2 乗すると、 のグラフは円の上にある:
両辺は区間上で の同じ関数であり、その導関数は一致する。これは逆関数の微分法と陰関数の微分法の課の陰関数の微分法を、微分可能であるとすでにわかっている関数に適用したものである。1 階導関数について解くと、 は分母が 0 でない微分可能な関数の商であり、微分法の公式の課の商の微分法により微分可能である。もう一度微分すると 2 番目の等式が得られ、そこから も微分可能な関数の商である。
であるから、2 階導関数は 0 にならず、 の符号、すなわち の符号と反対の符号をもつ。下に凸であることと 2 階導関数の系により、狭義に下に凸または狭義に上に凸であることがわかる。1 番目の等式より、 は と の和(これは に等しい)を で割ったものである。
円では、接線の傾きと 2 階導関数は点ごとに変わるが、補題の組合せは変わらない。それはつねに半径に等しい。このことから、それを用いて任意のグラフの曲がり具合を測ることが考えられる。その前に、一点でグラフに最もよく合う円、すなわち 2 階導関数までグラフと一致する円を求めておくのがよい。
を開区間 で微分可能で、点 ( の点)で 2 回微分可能な関数とする。中心 、半径 の円が のグラフに点 で接触するとは、この円がその点を通り、その点が円の最も左の点でも最も右の点でもないこと、すなわち かつ であり、さらにその点を含む半円、すなわち補題の関数 (ただし は の符号に等しい)のグラフが、 で と同じ値、同じ微分係数、同じ 2 階微分係数をもつことをいう:
その中心を、その点におけるグラフの曲率中心という。
接線は最初の二つの等式を満たし、接触円は 3 番目も満たす。この円のラテン語の名は osculari(口づけする)に由来し、日本語の「接触円」は密に接することを表している。この円は、ほかの接する円のようにグラフに触れるだけでなく、グラフと同じように曲がる。図は、、 の場合に、グラフに接する三つの円と、そのなかの接触円を示している。
を開区間 で微分可能で、点 ( の点)で 2 回微分可能な関数とし、、 とする。 ならば、 のグラフは点 でちょうど一つの接触円をもち、その中心は 、半径は である:
その中心はその点におけるグラフの法線上にあり、 ならば点の上に、 ならば点の下にある。 ならば、グラフは点 で接触円をもたない。
証明
中心 、半径 の円が接触円であり、その半円が であるとする。補題の 1 番目の等式は、 において と を用いると、中心がその点におけるグラフの法線の方程式を満たすことを示す。これは極限としての導関数の課の接線と法線の定義によるもので、 の場合も法線が鉛直な場合も成り立つ。
補題の 2 番目の等式は、 において を用いると、 ならば であるから不可能であり、接触円は存在しない。 ならば、この等式は を定め、1 番目の等式が を、円の方程式が半径を与える。したがって接触円は高々一つであり、その中心と半径は定理に述べたものである。
逆に、、、 を定理に述べたものとする。中心 、半径 の円は、上の計算により を通る。また は 0 にならず の符号をもつので、(ただし のとき)で、このとき中心は点の上にあり、(ただし のとき)である。補題の関数 は を満たし、補題の二つの等式は においてその導関数を与える。よってこの円は接触円である。
ならば、接触円は下に凸な下半円でグラフに上から寄り添う。 ならば、上に凸な上半円で寄り添う。どちらの場合も、凹凸の課のグラフとその接線の命題を、 として と に適用すると(両者は同じ接線をもち、2 階導関数は同符号である)、グラフと円は の近くでその接線の同じ側にある。 ならば、どの円もうまくいかない。半円の 2 階導関数は決して 0 にならないからである。2 階導関数が 0 である接線は三つの等式をすべて満たし、半径が無限大の円の役割を果たす。
コンテンツを読み込んでいます…