“一般相対性理論”を理解する上での最大の障壁は“微分幾何学”です。
　やがて解りますが、微分幾何学に含まれるのが“リーマン幾何学”であり、そのリーマン幾何学に含まれるのが“テンソル解析学（絶対微分学）”です。
　私は教職に就いて最初に定時制高校に勤務したのですが、そこで数学を教えなければならなくなりました。そのため数学の教員免許が必要となり、玉川大学の通信教育で数学の単位を取得しました。そのとき“微分幾何学”もレポートを出し試験を受けて単位認定してもらったのですが、今その通信教育テキストを取り出して眺めてみると、その内容をきちんと理解していなかったのは明白です。
　そのため、玉川大学通信教育講座（数学→幾何学→第Ｖ・�Y分冊）前田儀郎著「微分幾何学」（1969年刊）を復習して学び直すことにしました。このページはそのテキストからの引用です。解りやすくするために少し改変しています。正しく改変できていれば良いのですが。　

微分幾何学

　微分幾何学はもともと、３次元ユークリッド空間のなめらか（微分可能）な曲線や曲面上の１点の近傍の性質を微分学を用いて論じるものでした。これはオイラー（L.Euler 1707〜1783年）やモンジュ（G.Monge 1746〜1818年）に始まり、最終的にガウス（C.F.Gauss 1777〜1855年）の曲面論に発展します。これが、アインシュタインが京都講演（1922年）で述べているものです。
　リーマン（G.F.B.Riemann 1826〜1866年）は、この微分幾何学をさらに一般的な空間に拡張します。それは線素ｄｓ²のみに基づいて空間を定義し、しかも次元をより一般的なｎ次元にしたものです。この点において３次元ユークリッド空間内の曲面のみを考えたガウスを超えたものです。
　リーマン幾何学はクリストッフェル（E. B. Christoffel　1829〜1900年)、リッチ（ C. G.Ricci 1853〜1925年)らによって二次微分形式の不変式論として研究された。そして1901年にリッチとレビ・チヴィタが展開した絶対微分学（テンソル解析学）は、A. アインシュタインによって一般相対性理論（1915年）に用いられて一躍注目を集めることとなった。ここも彼がグラスゴー講演（1933年）で述べているところです［３．（２）２．［補足説明３］参照］。
　そのころ（1917年），レビ・チヴィタ（T. Levi‐Civita 1873〜1941年)は平行移動性の概念を導入し、1920年ころ E. カルタンはそれを接続の概念に発展させたことにより、リーマン幾何学に幾何学的色彩が加わった。

１．曲線論

　ここでは３次元ユークリッド空間における曲線の性質をベクトル解析の方法で微分・積分学を利用して説明します。
　最初にベクトル解析の復習を行い、空間曲線上の各点に随伴図形（フルネ標構）を考え、曲線論の重要な定理 『曲率、捩率が与えられた場合、運動を除いて空間曲線は決定する。』 を証明します。

（１）ベクトル解析
（２）曲線の方程式
（３）ベクトル関数の微分法
（４）ベクトル関数の積分法
（５）接線と法平面
（６）接触平面
（７）曲線の長さとフルネ標構
（８）曲率と捩率
（９）接触円と接触球
（10）合同変換
（11）自然方程式
（12）伸開線と縮閉線
（13）特殊曲線
（14）平面曲線
（15）チェザロの方法

（１）ベクトル解析

　３次元ユークリッド空間の２点Ａ、Ｂをそれぞれ始点、終点とする有向線分ＡＢに、平行移動によって重ね合わせることができる有向線分の全体を“ベクトル”といい

で表す。以下で現れる

も同様な定義で定められる。

１．ベクトルの和

　二つのベクトル

に対して新しいベクトル

をｘとｙの和と定義し、ｘ＋ｙで表す（図1-1）。

　ベクトルの和に対して次のことは明らかです。

２．ベクトルの差

　２つのベクトルｘに対して

を満たすようなベクトルｘを

で表し、２つのベクトルの差という（図1-2）。

ベクトルｂ−ａ は ａ の終点から ｂ の終点に向かうベクトルです。
　このとき、ベクトルｂ からベクトルａ を引くことは、ベクトルｂ に ａ と反対向きのベクトル（−ａ）を加えることと同じです。

ここで、−ａはベクトルａと大きさは等しく向きが反対のベクトルを表すとしている。

３．ベクトルのスカラー倍

　任意の実数ａとベクトルｘに対して、ｘが零ベクトルでないとき、ａｘをａ＞0ならば同じ方向にａ倍、ａ＜0ならば反対方向にａ倍したベクトルで定義し、スカラーａとベクトルｘとの積という。
　これに対して次のことが成り立つのは明らかです。

４．ベクトルの成分と位置ベクトル

　３次元ユークリッド空間に原点Ｏ、座標軸をｘ₁軸、ｘ₂軸、ｘ₃軸とする直交座標系を右手系にとる。座標軸上の単位ベクトルをｅ₁、ｅ₂、ｅ₃とするとき、始点を原点Ｏ、終点をＰとするベクトル

は

で表される（図1-3）。

単位ベクトルｅ₁、ｅ₂、ｅ₃を“基本ベクトル”といい、組（ｘ₁，ｘ₂，ｘ₃）をｘの成分という。始点を原点とするベクトルを“位置ベクトル”といい、その成分は終点Ｐの座標を表している。
　成分が（ｙ₁，ｙ₂，ｙ₃）であるベクトルｙとの和および差のベクトルの成分は

です。

５．内積（スカラー積）

　２つのベクトルｘ，ｙに対して、実数

をｘとｙの“内積（スカラー積）”といい、ｘ・ｙまたは（ｘｙ）で表す。また

を“ベクトルの長さ”といい、｜ｘ｜で表す。ベクトルｘ／|ｘ| は ｘ と同じ向きを持つ単位ベクトルです。

　内積について次のことは明らかです。

　２つのベクトルｘ，ｙのなす角をθとするとき、

３辺の長さが|ｘ|，|ｙ|，|ｙ−ｘ|であるような三角形に余弦定理を適用すると

となるが、内積を用いて表せば

となる。これに（1-7）、（1-8）式を用いて整理すると

が得られる。特にθ＝π／2、すなわち２つのベクトルが直交するときは

が言える。

［補足説明１］
　内積（スカラー積）の定義を

ですることがある。
　（1-6）式の定義との関係は基本ベクトルｅ₁、ｅ₂、ｅ₃に対して

であることに注意し、ｘ，ｙの成分を（ｘ₁，ｘ₂，ｘ₃）、（ｙ₁，ｙ₂，ｙ₃）として（1-8）式を用いて

となるから（1-6）式の定義が出てくる。
　実際のところこちらの定義の方が解りやすい。別稿「ベクトルの内積と外積の成分表示」１も参照されたし。

６．平面の方程式

　内積の定義を用いれば平面の方程式が旨く表せる。ベクトルａの終点Ａを通るベクトルｎに垂直な平面πの方程式は、π上の任意の点Ｐを表すベクトルをｘとすればベクトル（ｘ−ａ）とｎは垂直だから

で与えられる（図1-5）。

７．外積（ベクトル積）

　２つのベクトルｘ，ｙに対して、“外積（ベクトル積）”を成分

をもつベクトルで定義し、ｘ×ｙ または ［ｘｙ］ であらわす。

　外積に対して次のことは明らかです。

　外積 ｘ×ｙ は（1-12）式から行列式を用いて

で表すこともできる。さらに（1-6）式によって

であるから

となる。これを|ｘ，ｙ，ｚ|と表すことにする。
　行列式の性質［別ペーシ定理6］から

が成立する。特に［別ペーシ定理7］より

となるから、ｘおよびｙとそれらの外積 ｘ×ｙ とは垂直であることが解る。

［補足説明１］
　外積（ベクトル積）の定義を

ですることがある。ただし、ｘとｙとのなす角をθとし、ｘとｙに垂直な方向の右手系にとった単位ベクトルを ｅ とする（図1-6）。

　幾何学的には|ｘ||ｙ|sinθはｘ，ｙを２辺とする平行四辺形の面積を表すから、外積 ｘ×ｙの大きさは上の面積に等しい。
　（1-21）式から基本ベクトルｅ₁、ｅ₂、ｅ₃に対して

となる。これを用いて（1-21）式の定義が内積の場合の［補足説明１］で行ったと同様の方法で求められる。
　実際のところこちらの定義の方が解りやすい。別稿「ベクトルの内積と外積の成分表示」２も参照されたし。

８．ラグランジュの恒等式 と コーシー・シュワルツの不等式

　３つのベクトルｘ，ｙ，ｚに対して （ｘ×ｙ）×ｚ を考える。（1-12）式より

となる。第2、第3成分についても同様な結果が得られるから

となる。さらに（1-17）、（1-18）式によって

が得られる。
　特に、ｘ＝ｘ’、ｙ＝ｙ’の場合は

となる。これを“ラグランジュ（J.L.Lagrange）の恒等式”と言う。
　また、（ｘ×ｙ）²≧0であるから、常に

が成り立つ。これを“コーシー・シュワルツの不等式”と言う。
　この当たりについては、別稿「ベクトルの内積と外積の成分表示」２．（５）も参照されたし。

９．一次従属と一次独立

　実数ａ，ｂ，ｃとベクトルｘ，ｙ，ｚに対して

なるベクトルｗをｘ，ｙ，ｚの“１次結合”という。
　いま、

を満たす同時に0でない実数ａ，ｂ，ｃが存在するとき、３つのベクトルｘ，ｙ，ｚは“１次従属”であるといい、そうでないとき“１次独立”であるという。
　ｘ，ｙ，ｚが１次従属であればすべて0でない実数、例えばｃが存在するから

となり、ｚはｘとｙの１次結合で表される。
　したがってｘ，ｙ，ｚが１次従属であるための条件は

であるといえる。これは行列式の性質からも証明［別ページ例1］できる。

［例題１］
　３つのベクトル

の終点Ａ，Ｂ，Ｃが同一直線上にあるためには、実数ａ，ｂ，ｃが存在して

が成立することです。

［解］

　ベクトルｂ−ａ，ｃ−ａは同一直線上にあるから実数λが存在して

と書くことができる。移行して

となるから、ａ＝λ−１，ｂ＝−λ，ｃ＝１とおけば、条件ａ＋ｂ＋ｃ＝0を満たすことがわかる。いまＣをＡＢ上の任意の点と考え、

とおけば

と表せ、２点Ａ，Ｂを通る径数をλとする直線の方程式が得られる。

［例題２］
　空間の３つのベクトル

の終点Ａ，Ｂ，Ｃの定める平面π上の任意の点を表すベクトルを

とすれば、径数λ、μに対して

なる関係がある。

［解］

　３つのベクトルｂ−ａ，ｃ−ａ，ｘ−ａは同一平面上にあるから１次従属です。したがって

と書ける。すなわち

また、（1-22）式により

です。

［問題１］　（1-8）、（1-14）式を証明せよ。

［解］
　両辺を成分表示で書き表してつきあわせて証明すればよい。

［問題２］ ベクトル（2，3，1）と（2，-1，-1）の内積および外積を求めよ。また２つのベクトルのなす角を求めよ。

［解］

［問題３］　ベクトルａ，ｂ，ｃを右手系をなす３つのベクトルとすれば、これを３つの稜とする平行六面体の体積Ｖは

で表されることを証明せよ。

［解］

［問題４］　次の関係式を証明せよ。

［解］
（1-18）式を利用すればよい。

（２）曲線の方程式

１．ベクトル関数

　空間曲線Ｃは１点Ｐの運動によって生じるものと考えられる。

１点Ｐの座標を（ｘ₁，ｘ₂，ｘ₃）とすれば、これらは時間 ｔ の関数であって、Ｐを終点とする位置ベクトルｘ＝ｘ（ｔ）は ｔ に関係して変化する。そして、その成分（ｘ₁(ｔ)，ｘ₂(ｔ)，ｘ₃(ｔ)）も ｔ の関数です。
　一般に、スカラー ｔ の値に対して、それぞれ１つのベクトル ｘ（ｔ） が対応するとき、ｘ（ｔ） を“ベクトル関数”という。逆に１つのベクトル関数が与えられると、その終点は１つの曲線を描く。このようにベクトル関数 ｘ＝ｘ（ｔ） は曲線の“径数表示”と考えることができる。
　これから空間曲線をベクトル関数ｘ（ｔ）を用いて研究するのだが、ｘ（ｔ）の成分である３つの関数（ベクトル関数と区別して“スカラー関数”と呼ぶ）

は ｔ の１価関数で、ｔ で何回でも微分でき、ｔ の巾級数への展開が可能であるとする。
　これはこれから考えるベクトル関数ｘ＝ｘ（ｔ）が ｔ の１価解析関数で、ｔ で微分したベクトル

が零ベクトルとならないということです。

［例１］　直交座標系における、原点を中心とする半径ａの円の方程式は

です。これを径数 ｔ を用いて表せば

となる。

［例２］　２点Ａ（ａ₁，ａ₂，ａ₃），Ｂ（ｂ₁，ｂ₂，ｂ₃）を通る直線の方程式の径数表示は

となる。これは１．（１）［例題１］における直線の方程式を成分表示したものです。

［問題］
　ｘ₃軸を軸とする半径ａの直円柱に、与えられた角∠Ａ＝θを頂点にもつ直角三角形ＡＢＣを考え、頂点Ａをｘ₁軸上の座標（ａ，0，0）をもつ点Ａ’に重ね、辺ＡＣを直円柱とｘ₁ｘ₂平面との交わりの円Ｃに沿ってまきつけるとき、斜辺ＡＢの円柱上に描く曲線を“常螺旋”という。
　この曲線上の１点Ｐ（ｘ₁，ｘ₂，ｘ₃）からｘ₁ｘ₂平面に下した垂線の足をＱとして、∠Ａ’ＯＱを径数 ｔ とする常螺旋の方程式を求めよ。

［解］

（３）ベクトル関数の微分法

１．連続と導関数

　ｘ（ｔ）を ａ≦ｔ≦ｂ で定義されたベクトル関数とする。変数 ｔ と ｔ＋Δｔ に対応するベクトルｘ（ｔ）とｘ（ｔ＋Δｔ）の差のベクトルを

とするとき、Δｘ（ｔ）が

を満たせば、ｘ（ｔ）は ｔ において“連続”であるという。区間内の任意の点で連続であるとき、ベクトル関数ｘ（ｔ） はこの区間で“連続”であるという。

　いま連続なｘ（ｔ）に対して、比Δｘ（ｔ）／Δｔを作れば、これも１つのベクトル関数で、Δｔ→0 のときの極限

が存在するとき、ｘ（ｔ）は ｔ において“微分可能”であるという。その極限のことを

と書いて、ｔ における“微分係数”という。いまｘ’（ｔ）を ｔ の関数とみなすときｘ’（ｔ）を“ベクトル導関数”という。

［補足説明１］
　ベクトル関数の微分を成分について表せば

となる。またベクトル導関数ｘ’（ｔ）の大きさ |ｘ’（ｔ）| は

となる。

２．微分公式

ここで、ａはスカラー関数ａ（ｔ） です。さらにベクトル関数の高次導関数

なども同様に考えることができる。

［例］　大きさが一定で方向だけが変化するベクトル関数ａ（ｔ） の導関数は球面上の曲線です。
　ａ（ｔ）は大きさが一定だから

を満たす。これを微分すると

従って ａ（ｔ） と dａ（ｔ）／dｔ は垂直です。

　ａ（ｔ）とａ（ｔ＋Δｔ）とのなす角をΔθとして

とおけば

となる。
　ここでａ（ｔ）方向の単位ベクトルを

とすると、

となる。すなわち、単位ベクトルａ₀（ｔ）の導関数はａ₀（ｔ）に垂直で、その大きさは回転角の角速度に等しい。

［問題１］

のとき、次のものを計算せよ。

［解］

［問題２］　次の関係式を証明せよ。

［証明］
　（1-29）式と

より明らか。

［問題３］　ベクトル関数Ａ（ｔ）の長さが一定ならば、Ａ（ｔ）とＡ’（ｔ）とは垂直であって、逆も成り立つ。

［証明］

［問題４］　ベクトル関数Ａ（ｔ）が定方向であるための条件は

です。

［証明］

（４）ベクトル関数の積分法

１．不定積分

　ベクトル関数ｘ（ｔ）がベクトル関数ｙ（ｔ）の導関数であるとき、すなわち

のとき、ｙ（ｔ）をｘ（ｔ）の“不定積分”といい、これを次のように表す。

　ｃ を任意の定ベクトルとするとき

となるから、ｘ（ｔ）の不定積分は無限に多くある。従ってｘ（ｔ）は

と表せ、これもまたベクトル関数です。

［補足説明１］
　ベクトル関数の不定積分を成分について表せば ｘ（ｔ）＝（ｘ₁(ｔ)，ｘ₂(ｔ)、ｘ₃(ｔ)） として

となる。ここでｃ＝（ｃ₁，ｃ₂，ｃ₃）とする。

２．積分公式

　ｘ，ｙをﾍﾞｸﾄﾙ関数、ｋを定数として

が成立する

３．ﾍﾞｸﾄﾙ関数の定積分

　ｘ（ｔ）を区間　ａ≦ｔ≦ｂ　で定義された連続なベクトル関数とする。この区間を　ｎ　個の小区間に分割し、その各々の長さを Δｔ₁，Δｔ₂，・・・，Δｔ_n とし、その各区間内の任意の点 ｔ₁，ｔ₂，・・・，ｔ_n に対して、和

を作る。そこで ｎ を限りなく大きくしたときの Ｓ_n の極限値を

とかき、ｘ（ｔ）の ａ から ｂ までの“定積分”という。

４．定積分公式

　不定積分の公式に上限ｂ，下限ａをつけて同様な公式が成立するが、これ以外の特別なものをあげておく。

［問題１］
であるようなベクトル関数ｘ＝ｘ（ｔ）を求めよ。またこれはどんな曲線を表すか。

［解］

［問題２］　ａ、ｂが平行でない２つの定ベクトルであるとき、次の関係を満たすベクトル関数ｘ（ｔ）を求めよ。

［解］

（５）接線と法平面

１．接線の方程式

　曲線Ｃ：ｘ＝ｘ（ｔ）上の２点 ｘ（ｔ） と ｘ（ｔ＋ｈ） に対して、ｘ（ｔ） を通る方向が

で与えられるベクトルを ｘ（ｔ） における“接線ベクトル”という。

　接線ベクトルの向きは ｔ が増加するとき、曲線上の対応する点の動く方向にその向きをもつ。従って“接線ベクトルの方程式”は λ を径数として

で与えられる。

２．法平面の方程式

　曲線上の１点 ｘ（ｔ） を通り接線に垂直な平面を“法平面”という。

　法平面上の１点をＸとすれば、Ｘ−ｘ（ｔ） は接線ベクトル

に垂直であることから“法平面の方程式”は

で与えられる。

［定理］
　曲線ｘ（ｔ） が“平面曲線”であるための必要十分条件は

です。

［証明］
《必要条件》
　曲線ｘ（ｔ）が平面

上にあるときは、任意の ｔ に対して

を満たす。
　引き続いて ｔ について３回微分すれば

が得られる。これからａを消去すると

となり、必要条件が得られる。
《十分条件》

［問題１］　１．（２）［問題］の“常螺旋”の接線方程式、法平面方程式を求めよ。

［解］

［問題２］　曲線ｘ₁＝ｔ，ｘ₂＝ｔ²、ｘ₃＝ｔ³の接線方程式、法平面方程式を求めよ。

［解］

［問題３］　曲線ｘ₁＝ａcosｔ，ｘ₂＝ａsinｔ，ｘ₃＝ｆ（ｔ）が平面曲線となるように ｆ（ｔ） を定めよ。

［解］

（６）接触平面

１．接触平面の方程式

　曲線Ｃ上の点ｘ（ｔ）の近くの２点ｘ（ｔ＋ｈ），ｘ（ｔ＋ｋ）をとり、これら３点を通る平面の ｈ と ｋ を共に 0 に近づけたときの極限の平面を“接触平面”という。

　上の３点を通る平面の方程式としては、１．（１）［例題２］によって、３つのベクトル関数Ｘ−ｘ（ｔ）、ｘ（ｔ＋ｈ）−ｘ（ｔ），ｘ（ｔ＋ｋ）−ｘ（ｔ）が一次従属であることを表せばよい。それは１．（１）９．（1-22）式により

を満たすことです。
　ここで、“平均値の定理”を用いれば

であるから、これを代入し行列式の性質によって ｈ と ｋ をはずすと、

となる。第３行から第２行を引いて、もう一度平均値の定理を用いれば、

これを第３行に代入し（θ₂ｋ−θ₁ｈ）をはずすと

そこで、ｈ，ｋ→0 とすれば、“接触平面の方程式”として

が得られる。これは（1-16）式によって

２．主法線・従法線・展直平面の方程式

　曲線Ｃ上の点ｘ（ｔ）における接触平面と法平面との交わりの直線を“主法線”、ｘ（ｔ）を通り接触平面に垂直な直線を“従法線”という。

　前項（1-46’）により

は従法線ベクトルであるからその“従法線の方程式”は

となる。
　１．（５）１．で説明したように、ベクトルｘ（ｔ）の ｔ の導関数ベクトルは接線ベクトルであるから

は主法線ベクトルです。そのため“主法線ベクトルの方程式”は

となる。
　接線と従法線の定める平面を“展直平面”という。この平面は主法線に垂直であるから、“展直平面の方程式”は

です。（1-18）式より

であるから（1-49）式は

とも書ける。

［問題１］　１．（２）［問題］の“常螺旋”の接触平面、展直平面、主法線、従法線の方程式を求めよ。

［解］

［問題２］　接触平面は与えられた曲線と３次の接触をすることを証明せよ。

［解］

（７）曲線の長さとフルネ標構

１．線素

　曲線Ｃ：ｘ＝ｘ（ｔ）（ａ≦ｔ≦ｂ）上にｎ＋1分点

をとって、これらの分点を順次結んでできる折れ線の長さは

です。

　“平均値の定理”を用いると

であるから

ここで、ｎを限りなく大きくすれば、ｔ_k−ｔ_k-1 は 0 に収束する。したがって

の一様連続性（１．（３）１．参照）によって

すなわち、点ｘ（ａ）からＣに沿って点ｘ（ｔ）までの“弧長” ｓ は

で与えられる。弧長 ｓ は ｔ の関数と考えられるから、ｔ について微分して

となる。“ｄｓ” を曲線の“線素”という。ｘ・ｘ＞0だから、ｓ（ｔ）は ｔ の単調増加関数です。したがって ｔ は逆に ｓ の関数 ｔ＝ｔ（ｓ） とも考えられるから

となり、曲線Ｃ：ｘ＝ｘ（ｔ）は ｓ の関数ｘ＝ｘ（ｓ）として表すことができる。

２．フルネ標構

　弧長 ｓ についての微分を ｔ についての微分「・」と区別して「’」で表せば

となる。故に

となるから、ｘ’は単位ベクトルです。これを“単位接線ベクトル”といいξ₁で表すことにする。すなわち

とする。
　（1-54）式の両辺を ｓ について微分すれば、

を得るから、ｘ”≠0 ならば、ｘ’とｘ”とは垂直です。
　いま径数を ｓ として接触平面の方程式は

と書けるから、ｘ”の方向の直線Ｘ＝ｘ＋λｘ”は接触平面上にある。したがってｘ”は“主法線ベクトル”です。
　いま

とおき、ベクトル

を考えれば、ξ₂はｘ”方向の単位ベクトルでこれを“単位主法線ベクトル”という。
　ξ₁とξ₂の外積をξ₃と置いて“単位従法線ベクトル”という。すなわち

とする。

　接線ベクトルξ₁は曲線の向き（すなわち ｓ の増加の側に向く）に従って定まるが、ｘ”は２次の微分商であるから曲線の向きに関係せず定まる。（1-58）式から３つのベクトルξ₁，ξ₂，ξ₃は右手系をなし、ｘ（ｓ）を原点としてこれらを各軸上の単位ベクトルとする直交座標系が曲線上に定まる。

　このように曲線上に３つのベクトルでつくられる図形をｘ（ｓ） における曲線の“フルネ標構”といい、ｘ（ｓ）ξ₁ξ₂ξ₃で表す。フルネ標構は ｓ の値とともに動くので動標構と呼ばれ、ｘ（ｓ） の近傍における曲線の性質を調べるのによく用いられる。

３．フルネ・セレーの公式

　（1-57）式から

また、ξ₃・ξ₃＝1 を ｓ について微分して

次に、（1-58）式を微分すると（1-29）式と（1-59）式によって

したがってξ₃’とξ₁、ξ₃’とξ₃とは垂直であるから、スカラー ｗ が存在して

と書ける。
　次にξ₂・ξ₂＝1 を微分すると

したがってξ₂’は展直平面上にあるから、ξ₁とξ₃の１次結合

で表すことができる。そこでξ₁・ξ₂＝0 を微分して

であることに注意して、上式においてξ₁との内積をとればξ₃・ξ₁＝0であるから

同様に、ξ₂’・ξ₃＝−ξ₂・ξ₃’に注意して、ξ₃との内積をとればξ₁・ξ₃＝0であるから

となって λ＝−ｋ と μ＝ｗ が得られる。

　以上をまとめて表せば

となる。これを“フルネ・セレー（Frenet-Serret）の公式”といい、曲線論では重要な公式で、空間曲線の微分幾何学的な性質はすべてこの公式から導ける。
　ここで現れる ｋ＝ｋ（ｓ），ｗ＝ｗ（ｓ） を ｘ（ｓ） における曲線Ｃの“曲率”、“捩率”と言う。次節でその性質を調べる。

４．ブーケの公式

　フルネの公式の応用として、Ｃ上の点ｘ（0）＝ｘ₀の近傍の曲線の形状を調べてみる。
　ｘ（ｓ）を　ｓ＝0　の適当な近傍で巾級数に展開すると

“フルネ・セレーの公式”（1-60）式から

であるから、ξ₁（0）＝ξ₁⁰，ξ₂（0）＝ξ₂⁰，ξ₃（0）＝ξ₃⁰ と書けば（1-61）式は

と表すことができる。ここでｋ₀，ｗ₀，ｋ₀’，ｗ₀’等はｋ，ｗ，ｋ’，ｗ’等の ｓ＝0 における値を表す。（1-62）式は ｓ＝0 の付近の曲線の形を与えるもので“ブーケ（J.C.Bouquet）の公式”と言われる。
　まず、ｙ₁とｙ₂との関係は、ｓ＝0 の近傍では近似的に

となっているから接触平面への曲線の正射影は図1-18のようになっている。

　次に、ｙ₁とｙ₃との関係は、ｓ＝0 の近傍で、近似的に

となるから、展直平面への曲線の正射影はｗ₀の正負に従って図1-19、図1-20のようになる。

　さらに、ｙ₂とｙ₃の関係はｋ₀≠0のとき近似的に

となるから、法平面への曲線の正射影は図1-21のようになる。

［問題１］　１．（２）［問題］の“常螺旋”の弧長を求め、その方程式を ｓ を径数として表せ。

［解］

［問題２］　接触平面の方程式（1-46）が（1-55）式となることを証明せよ。

［解］

［問題３］　“常螺旋”について、ξ₁，ξ₂，ξ₃を求めよ。

［解］　［問題１］の結論より

［問題４］

［解］

（８）曲率と捩率

１．球面表示と曲率・曲率半径

　１．（７）２．で定義した“曲率”ｋ（ｓ）の幾何学的意味について考える。曲線ｘ（ｓ）のｓにおける単位接線ベクトルξ₁（ｓ）とｓ＋Δｓにおけるξ₁（ｓ＋Δｓ）のそれぞれの始点を原点Ｏに移すと、その終点はξ₁（ｓ）の変化に従って単位球面上に曲線Γを描く。これをＣの接線による“球面表示”という。

　したがって、Γの方程式は

であたえられ、ｓ＝0 に対応するΓ上の点ξ₁（0）から測ったΓの弧長を σ とすれば“フルネ・セレーの公式”（1-60）（2）式によって

ｋ≧0 であるから、ｓが増加するとき、σも増加するようにとっておけば、

で与えられる。いまξ₁（ｓ）とξ₁（ｓ＋Δｓ）とのなす角をΔθとすれば（図1-22）、Δσ＝σ（ｓ＋Δｓ）−σ（ｓ）とおけば

が成り立つ。すなわち“曲率”ｋは幾何学的には曲線の曲がり方の大小の度合いを表すことを示している。そして空間曲線の場合にはその定義からｋ（ｓ）は負にならない。
　曲率の逆数

をｘ（ｓ）におけるＣの“曲率半径”という。

２．捩率

　次に、１．（７）３．で定義した“捩率”ｗ（ｓ）の幾何学的に意味について考える。弧長 ｓ の変換に対する従法線ベクトルξ₃（ｓ）の変化の状態は、ξ₃（ｓ）を法線とする接触平面の変化の状態でもある。いまξ₃（ｓ）による曲線Ｃの球面表示を考え、その“球面表示”の曲線をΓ₁とすれば、その方程式は

で与えられ、ｓ＝0 に対応するξ₃（0）から測った弧長を ｒ とすれば“フルネ・セレーの公式”（1-60）（4）式により

よって、従法線ベクトルξ₃（ｓ）の弧長ｓの変化に対する変化率は

で与えられる。いまξ₃（ｓ）とξ₃（ｓ＋Δｓ）のなす角をΔφとすれば、Δτ＝τ（ｓ＋Δｓ）−τ（ｓ）と置くと

が成り立つ。次に ｗ を表す公式を求める。まず（1-60）（3）式の求め方からと（1-58）式、（1-16）式とから

行列式の性質によって

が得られる。１．（５）２．［定理］と（1-69）式とから次の定理が得られる。

［定理］
　曲線Ｃが“平面曲線”であるための条件は捩率 ｗ が0であることです。

　曲率ｋとちがって捩率ｗは正の場合と負の場合がある。接触平面に対して、従法線の向きを正の側、反対側の向きを負の側とすればｗ（ｓ）＞0ならば曲線は接触平面の負の側から正の側へ通過し（図1-20）、ｗ（ｓ）＜0ならば曲線は正の側から負の側へ通過する（図1-24）。

ｗ（ｓ）＞0の場合（図1-23）をＣはｘ（ｓ）で“右巻き”と言い、ｗ（ｓ）＜0の場合（図1-24）をＣはｘ（ｓ）で“左巻き”と言う。

［問題１］　“常螺旋”の曲率および捩率を求めよ。　

［解］
　１．（７）［問題３］により、常螺旋のξ₁，ξ₂，ξ₃は

であるから、１．（７）２．（1-56）式と1（７）３．（1-60）（3）式により

となる。

［問題２］　空間曲線が任意の径数 ｔ で表されるとき、曲率および捩率は

で与えられることを示せ。　

［解］　１．（７）１．および１．（７）２．で得られた関係式を用いて

１．（７）［問題２］と同様にして

［問題３］　空間曲線Ｃ上のすべての点で曲率ｋ（ｓ）＝0 ならば Ｃ は直線であることを示せ。　

［解］

［問題４］　以下の曲線ベクトルの曲率と捩率を求めよ。

［解］

（９）接触円と接触球

１．接触円

　曲線Ｃ：ｘ＝ｘ（ｓ）上の３点ｘ（ｓ），ｘ（ｓ＋ｈ₁），ｘ（ｓ＋ｈ₂） を通る半径ｒ，中心 ａ の円は

で与えられる。ここでｈ₁，ｈ₂をともに0に近づけたときの極限の円を考える。

とおけば、３点ｘ（ｓ），ｘ（ｓ＋ｈ₁），ｘ（ｓ＋ｈ₂） は円周上にあるから、

が成り立つ。“ロル（M.Rolle）の定理”により

さらにもう一度“ロル（M.Rolle）の定理”を用いて、

が得られる。ここでｓ₁，ｓ₂，ｓ₃の不等関係に注意すれば、ｈ₁，ｈ₂→0に対して

が成り立つから、これらにフルネ・セレーの公式（1-60）式を用いて

となる。
　一方、曲線Ｃ上の非常に近い３点で決まる平面は接触平面であるから、中心ａは接触平面上にあることが解る。したがって

と表すことができる。
　この両辺に−ξ₁の内積を取った式と（1-70）式を比較するとλ＝0が得られるから

となる。この両辺に−ξ₂の内積を取った式と（1-71）式を比較してただちに

が得られる。したがって、曲線Ｃ上の３点を通る円の極限は接触平面上にあって、その中心は

で与えられ、半径はρ（ｓ）です。この円をｘ（ｓ）における“曲率円”、又は“接触円”といい、その中心を“曲率中心”、または“接触円の中心”という。

［補足説明］
　ｆ（ｘ）が（ａ，ｂ）で連続かつ微分可能で、しかもｆ（ａ）＝ｆ（ｂ）＝0 ならばｆ’（ξ）＝0 を満たすような ξ が ａ＜ξ＜ｂ に存在する。
これを “ロル（M.Rolle）の定理” と言う。

２．接触球面

　曲線Ｃ上の４点を通る球面の極限の球面（これを“接触球面”という）も前項と同様な計算によって得られる。
　曲線Ｃ：ｘ＝ｘ（ｓ）上の近くの３点をｘ（ｓ＋ｈ），ｘ（ｓ＋ｈ₁），ｘ（ｓ＋ｈ₂） とし、これらの４点ｘ（ｓ），ｘ（ｓ＋ｈ），ｘ（ｓ＋ｈ₁），ｘ（ｓ＋ｈ₂） を通る球面の中心を ａ_s 、半径をｒとするとき、その球面の方程式は

です。

と置くと

この関係式に対して、前項と同様なやり方で“ロル（M.Rolle）の定理”を繰り返し適用すると、ｈ，ｈ₁，ｈ₂→0のとき、この球面の中心の極限の点 ａ_s、極限の半径 ｒ に対して

でなければならないことが証明できる。この式に対してフルネ・セレーの公式（1-60）式を用いると

であるから

となる。すなわち、球の中心 ａ_s は

で与えられ、半径 ｒ は

で与えられる。この球面を“接触球面”という。

　ここで曲率円と接触球面とを考えてみる。ｘ（ｓ）における接触球面を接触平面で切った切り口の円は曲率円であるが、この中心は前項の（1-72）式から

であった。この式と（1-73）式を比較したら解るように、接触球面の中心はｘ（ｓ）における曲率円の中心 ａ から接触平面に立てた垂線上ρ’／ｗの距離にある。この垂線を“曲率軸”という。

　いま曲線Ｃが１つの球面上にあるとき、その曲線を“球面曲線”という。球面曲線上の任意の ｓ に対して、“接触球面の中心” ａ_s 、およびその半径 ｒ は一定でなければ成らないからａ_s’＝0です。すなわち（1-73）式とフルネ・セレーの公式（1-60）式の（１）（３）（４）より

であるから

となる。
　逆に曲線Ｃが（1-75）式を満たせば、（1-74）式をｓについて微分して得られる式

が常に0となるから、 ｒ’＝0 となり ｒ も一定となるから曲線Ｃは球面曲線です。
　このことから次の定理が得られる。

［定理］
　空間曲線が“球面曲線”であるための必要十分条件は

が成り立つことです。

［例題］　　曲率が一定である曲線の曲率中心の軌跡は、また曲率が一定な曲線であることを示せ。

［解］　曲線ｘ（ｓ）の曲率ｋ（ｓ）＝一定とする。その曲率中心の軌跡は（1-72）式により

で与えられる。

したがって

さらに両辺を ｓ で微分し、フルネ・セレーの公式（1-60）を用いると

［問題１］　空間３次曲線

について次のものを求めよ。
　（１）曲率、捩率　　　（２）ξ₁，ξ₂，ξ₃　　　（３）接触球中心の座標　

［解］

だから曲率、捩率は

となる。またフルネ標構は

となる。接触球中心の座標ａ＝（ａ₁，ａ₂，ａ₃）は

と、前述の値を

に代入すれば得られる。

［問題２］　“常螺旋”の曲率円の中心の軌跡はまた常螺旋で、

であることを示せ。　

［解］　１．（７）［問題３］により、常螺旋のξ₁，ξ₂，ξ₃は



となるが、これは常螺旋の方程式を表す。ここで１．（８）［問題１］で求めた常螺旋の曲率、捩率の表現を用いて計算すると

となる。

（10）合同変換

１．合同変換

　そのとき座標系Ｏｘ₁ｘ₂ｘ₃に関して

なる関係があれば、この変換を“合同変換”という。

　いま

と置き、Ａの“転置行列”を

で表せば、行列の積の性質を用いて（1-76)、（1-77）式は（行列式の導入、行列式、行列式の性質 ）

と表すことができる。そして合同変換によってベクトルの大きさ、角、内積、一次独立等の性質は保存される（［問題１］参照）。

２．運動

　一般に（1-79）式を満たす行列を“直交行列”という。|Ａ|＝|Ａ^t|、|Ｅ|＝1 であるから

で |Ａ|＝1 なる直交行列によって表される合同変換を“運動”、|Ａ|＝−1 に対応するものを“折り返し運動”という。そこで、この合同変換によって空間曲線、およびその曲率ｋ、捩率ｗ等がどの様に変わるかを調べる。

であるから、線素の間に




これを ｓ について微分すれば

よって次の定理が得られる。　

［定理］

［問題１］ 合同変換によってベクトルの長さ、２つのベクトルのなす角は不変であることを解析的に証明せよ。　

［解］

［問題２］　合同変換によって１点から出る３つのヘクトルを稜とする平行６面体の体積が不変である事を解析的に証明せよ。　

［解］　［問題１］の結論を用いれば明らか。

［問題３］　変換

が合同変換であることを証明せよ。　

［解］　以下の関係が成り立つので明らか。

（11）自然方程式

１．自然方程式への準備

　１．(１０)２．［定理］において|Ａ|＝1、すなわち合同変換が“運動”の場合には、曲線Ｃの移動に関係せず対応点での曲率と捩率は相等しい。また|Ａ|＝−1、すなわち“折り返し運動”の場合には対応点での曲率は等しく、捩率だけが符号が反対になる。以上のことから曲線Ｃの曲率ｋ、捩率ｗはＣの合同変換によって得られるすべての曲線族について共通な量とみなすことができる。
　このことを逆に考えてみると、運動を除いて曲線を決定するものは曲率と捩率とであるか、すなわち ｓ の関数としてｋ（ｓ）、ｗ（ｓ）が与えられたとき、運動を除いて、ｋ（ｓ）、ｗ（ｓ）を曲率、捩率とする曲線がが決定されるか、という問題が起こってくる。この問題を解決するのに次の常微分方程式論からの定理を利用する。

［定理１］　Ｐ_ｉｊ（ｔ）（ｉ，ｊ＝1，2，3，･････，n）を ａ≦ｔ≦ｂ で定義された ｔ の連続関数、ｙ₁，ｙ₂，ｙ₃，････，ｙ_nを未知関数とするとき、連立微分方程式

は与えられた初期条件ｙ_ｉ（ａ）を満たす解がただ１組存在する。

［証明］は適当な常微分方程式論の書籍を参照して下さい。

［定理２］

［証明］

２．自然方程式

　次に、ｓ の関数 ｋ（ｓ）≧0，ｗ（ｓ） が与えられたとき、これらを曲率、捩率とする曲線が存在するかという問題に対して次の定理がある。

［定理３］　ｋ’（ｓ）が連続である関数ｋ（ｓ）（≧0）と連続な関数ｗ（ｓ）が 0≦ｓ≦Ｌ において任意に与えられたとき、これらをそれぞれ曲率と捩率にもつ空間曲線が存在する。

［証明］

　この定理によって、空間曲線の微分幾何学的な性質がすべて曲率ｋ（ｓ）、捩率ｗ（ｓ）から定まり

曲線の方程式とみることができる。したがって（1-87）式を空間曲線の“自然方程式”と呼んでいる。

［例題］　空間曲線の自然方程式が

である曲線を求めよ。　

［解］　１．（８）［問題１］の結論より求める曲線は“常螺旋”であることが予想されるが、実際にそうなることを証明する。
　求める曲線のフルネ標構に対して、ａ²＋ｂ²＝ｃ²とおけば

が成り立つ。第３式ξ₂’を微分し、再び上の関係を用いれば

が得られる。この微分方程式の解はα、βを定ベクトルとして

と書ける。ξ₂はα、βの１次結合で表されているからα、βの定める平面上にある。いま、この平面に垂直な方向をｘ₃にとれば、ξ₂のｘ₃成分は0です。またξ₂は単位ベクトルであるから

ここで、|α|＝|β|＝1とおけば、α、βは互いに垂直な単位ベクトルで、これをｘ₁軸、ｘ₂軸にとれば

と表せる。またξ₁は単位ベクトルであるから、任意のｓについて

でなければならないから

として曲線の方程式が得られる。

［問題］　空間曲線の自然方程式が

である曲線を求めよ。　

［解］

このこの微分方程式の解はａ、ｂを定ベクトルとして

となる。ここで、ξ₂は定ベクトルａ，ｂの定める平面上にあるので、ａ×ｂの方向をｘ₃の方向に取れば、ξ₂＝（ξ₂₁，ξ₂₂，ξ₂₃）においてξ₂₃＝0となる。またξ₂は単位ベクトルであるから

これが任意のｓについて成立するためには

であればよい。すなわちａ，ｂは互いに垂直な単位ベクトルで、その方向をｘ₁軸、ｘ₂軸に取れば

となる。さらにξ₁＝（ξ1₁，ξ₁₂，ξ₁₃）にたいしては、

となるが、ξ₁・ξ₁＝1から

であるので

となる。

を得る。

（12）伸開線と縮閉線

１．随伴曲線

　空間曲線Ｃ：ｘ（ｓ）に対して、なんらかの方法によってＣの各点ｘ（ｓ）に同種の図形を配置したとき、この図形の集まりをＣの“共変図形（随伴図形）”と言う。いままで考えてきた、各点ｘ（ｓ）に配置したフルネ標構、曲率円、接触球面などの集合はすべて共変図形の一種です。
　特にその図形が点であるとき共変図形はＣに対して１つの軌跡を描く。１．（９）２．で考えた接触球の中心が ｓ の変化とともに描く曲線Γ：ｙ＝ｙ（ｓ）

などもその例ですが、このような曲線になる共変図形（随伴図形）を特にＣの“随伴曲線”という。以下で説明する伸開線や縮閉線も随伴曲線の一種です。

2．伸開線

　いまその方程式を求めてみよう。ｙ（ｓ）はＣの接線上にあるから

とおくことができる。仮定からｙ’（ｓ）はξ₁に垂直であるから

したがって、“伸開線の方程式”は、

です。ここに ｃ は任意の定数であるから ｃ のいろいろな値に対して曲線Ｃの伸開線は無数に存在する。
　実際にはＣ上の１点ｘ（ｓ）での接線上に、ｘ（ｓ）からｘ（ｃ）までの弧の長さ（ｃ−ｓ）を取ってｘ（ｓ）に対応させた点が随伴曲線（伸開線）：ｙ（ｓ）です。

３．縮閉線

と書ける。“法平面”とは単位接線ベクトルξ₁に垂直な平面で、単位主法線ベクトルξ₂と単位従法線ベクトルξ₃とはその平面上にある。

２点ｙ（ｓ）とｘ（ｓ）を通る直線は、ｙ（ｓ）の接線であるから

を満たすようなスカラー関数λ（ｓ）が存在する。（1-89）式を微分し、フルネ・セレーの公式（1-60）式を用いて

（1-90）式と比較して

が成り立つ。第１項より

第２項と第３項とより


です。
　この方程式は縮閉線ｙ（ｓ）が元の曲線ｘ（ｓ）における曲率軸上にあり、曲線ｘ（ｓ）の曲率半径（接触平面)ベクトルと（ｙ（ｓ）−ｘ（ｓ））ベクトルが成す角度が

であることを意味する。曲率軸については１．（９）２．の図1-25を復習されたし。

［例題］

［解］

［問題１］

［解］

［問題２］　“常螺旋”の伸開線は平面曲線で、これを含む直円柱の直截口（ﾁｮｸｻｲｺｳ）の伸開線であることを証明せよ。“直截口”とは曲面上の任意の点での法線ベクトルと接線ベクトルで構成される平面で曲面を切ったときの切り口曲線の事です。

［解］　常螺旋の方程式と単位接線ベクトルξ₁は１．（７）［問題１］、［問題３］の結論から

だから、これを伸開線の方程式　ｙ＝ｘ＋（ｌ−ｓ）ξ₁ に代入すると

［問題３］

［解］

ここで（1-51）式より

だから


次に

であるから

が得られる。

（13）特殊曲線

１．定傾曲線

　接線が与えられた定方向ａ と定角θ をなすような曲線を“定傾曲線”という。 ａ を単位ベクトル、曲線をｘ＝ｘ（ｓ）とすれば

だから、ｓ について微分すると

となり、ｋ＝0　ならば直線でやはり定傾曲線で、ｋ≠0　ならば

となり、定傾曲線の主法線ξ₂は定方向ａ と直交する。したがってξ₁，ξ₃，ａは同一平面上にあるから

と表せて、ａ・ξ₁＝λ＝cosθ，ａ²＝λ²＋μ²であることに注意して

を得る。（1-99）式を ｓ で微分すれば

となる。この事から次の定理を得る。

［定理１］　曲線が“定傾曲線”であるための必要十分条件は、曲率ｋと捩率ｗの比が一定であることです。

２．ベルトラン曲線　

と表せるから、ｓ で微分し、フルネ・セレーの公式を用いて

となる。

と表せる。

と表すことができるから、（1-101）式と比較して

を得る。

において、ξ₁とξ₃の係数は 0 でなければならないから

となる。
　いまθ＝0 ならば（1-103）（2）式から ｗ＝0 となり、１．（８）２．［定理］により、曲線は“平面曲線”になる。
　θ＝π／2 のときは（1-103）（1）式ｋ＝1／ｕと ｕ は定数であることから ｋ＝一定 となり“定曲率曲線”となる。

となるから、ｕsinθ≡ａ，ｕcosθ≡ｂを定数として曲率ｋと捩率ｗの間には

なる関係がある。以上をまとめて次の定理が得られる。

［定理２］　空間曲線が“ベルトラン曲線”であるための必要十分条件は、曲率ｋと捩率ｗの間に（1-105）式なる関係があることです。

　１．（８）［問題１］により“常螺旋”は曲率も捩率も定数であることが証明されているので、この節の［定理１］、［定理２］により、常螺旋は定傾曲線であると同時にベルトラン曲線であることが解る。

［問題１］　曲線ｘ₁＝3ｔ，ｘ₂＝3ｔ²，ｘ₃＝2ｔ₃ は“定傾曲線”であることを証明せよ。　

［解］　曲線ｘ₁＝3ｔ，ｘ₂＝3ｔ²，ｘ₃＝2ｔ₃ より

となるので、１．（８）［問題２］の結論を用いると

となる。ｋ＝ｗなので［定理１］より定傾曲線となる。

［問題２］

［解］　１．（１２）［例題］あるいは［問題３］と同様にして曲率と捩率を求めると

となる。
　ここで

と置くと

となるので［定理２］によりベルトラン曲線となる。

［問題３］

このような曲線Ｃを“マンハイム（A.Mannheim）曲線”という。

［解］

（14）平面曲線

　平面曲線論は空間曲線論の特別な場合として論じられるが、この説では特にこれだけを取り上げて扱うことにする。

１．フルネ標構

　平面上に原点Ｏ、右手系にとった直交デカルト座標系Ｏ，ｘ₁，ｘ₂の1点Ｐを位置ベクトル ｘ＝（ｘ₁，ｘ₂） で表す。平面曲線Ｃは弧長 ｓ によって

で与えられ、その“単位接線ベクトル”ξ₁は、

です。そこで ξ₁ を＋π／2回転したベクトルを ξ₂（ｓ） と置けば、その成分は

で、（1-107）式から

となる。したがって ξ₂ はＣ上の点ｘ（ｓ）における“単位法線ベクトル”です。これら2つのベクトル ξ₁、ξ₂ で定まる標構を、曲線Ｃの“フルネ標構”という。

２．フルネ・セレーの公式

　次に（1-107）式と（1-109）式をｓで微分したした式から

となるので、ξ₁とξ₁’は垂直です。故にスカラー関数ｋ＝ｋ（ｓ）が存在して

とあらわせる。ここでｋ＝ｋ（ｓ）を“曲率”という。次に、（1-110）式を用いて

と表すことができる。

　（1-110）式と（1-111）式からＣのフルネ標構ｘ（ｓ）ξ1，ξ2，ξ3に対して

が成り立つ。これを平面曲線の“フルネ・セレー（Frenet-Serret）の公式”という。

［補足説明１］

３．自然方程式

　曲率ｋの幾何学的意味を考える。ｘ₁軸とξ₁とのなす角をθとすれぱ

で与えられる。したがって、平面曲線のフルネ・セレーの公式から

となる。故に空間曲線の場合と同様に、曲率ｋは接線方向の弧長ｓの変化に対する接線の方向角度の変化率を表す。いま、曲率を ｓ の関数としてｋ＝ｋ（ｓ）で与えたとき、（1-114）式によって

によりθが求まるから（1-113）式に代入して曲線Ｃの方程式が

によって得られる。ここにベクトルｃ＝（ｃ₁，ｃ₂）は ｓ＝0 に対応する点ｘ（0）を表し、θ₀ は点ｘ（ｃ） における接線がｘ₁軸となす角を表す。

　このようにｋ（ｓ）は曲線Ｃを運動を除いて決定するので、ｋ＝ｋ（ｓ）を平面曲線の“自然方程式”という。

［例題］　自然方程式が

である平面曲線は“懸垂線”であることを示せ。　

［解］

　ここで、tanの加法定理を用いると

となるので

が得られる。これは“懸垂線”の方程式です。
　ちなみに、懸垂線とは線密度が一定の鎖の両端を摘んで重力場中に垂らしたときに鎖が形作る曲線の事で、この名称はホイヘンスに由来（1691年）する。

［問題］　自然方程式がＲ²＝2ａｓである平面曲線は円の伸開線であることを示せ。ただしＲは求めるべき平面曲線のｘ＝ｘ（ｓ）における曲率半径です。　

［解］　問題の曲線の接線とｘ₁軸とのなす角をθとすれば（1-115）式より

となる。

曲線の方程式は、dｓ＝ａθdθだから（1-116）式より

となる。

（15）チェザロの方法

１．チェザロの不動条件

となる。これが随伴曲線が定点であるとき ｕ₁，ｕ₂ の満たすべき条件で、“チェザロ（E.Cesaro）の不動条件”という。

　所で、（1-117）式からと ｓ についての微分によって

を得る。

２．輪転曲線

［例題］

［解］



で与えられる。よって（1-118）式は

さらに

を得る。

［問題］　“サイクロイド”の自然方程式を求めよ。

［解］　サイクロイドとは、底曲線が直線で、しかも転曲線が円で固定点が円周上に在る場合であるから底曲線の曲率ｋ＝0であり、ｃ＝ｂとなる。
故に（1-124）式から


さらにだ（1-126）式より

となる。これらから“自然方程式”

を得る。

END（参考文献）

この稿を作るに当たって、下記文献を参考にしました。感謝！

1. 前田儀郎著「幾何学�X・�Y（微分幾何学」玉川大学通信教育部（1969年初版刊）１章“曲線論”
   　これは文献２．を参考に書かれているのですが、細部にわたってさらに解りやすくなるよう工夫されています。ただし、かなり誤植があります。
2. 大槻富之助著「微分幾何学（朝倉数学講座15）」朝倉書店（1961年刊）　この復刻版もありますが現在は絶版状態です。
   　文献１．とほぼ同様な展開です。文献１．はこの本を参考にして書かれているようです。
3. 大槻富之助著「微分幾何学演習（朝倉数学講座16）」朝倉書店（1961年刊）
   　文献２．と対になった演習書ですが復刻版はありません。私は古書店から購入しました。
4. 田澤義彦著「曲線論・曲面論（Mathematicaで探索する古典微分幾何学）」ピアソン・エデュケーション（1999年刊）
   　具体的問題を数値的・図的に解くにはMathematicaの威力は絶大です。