前節で，曲線の曲がる度合いを調べました．曲線を調べるには，もう１つ，接触平面から離れる度合いも調べる必要があります． この節では，曲線が接触平面からの離れ方が早い遅いに関して調べましょう． 右の曲線のち，上の図は $\boldsymbol{f}(t)=(t,t^2,\dfrac{t^3}{9})$ 下の図は $\boldsymbol{f}(t)=(t,t^2,\dfrac{t^3}{3})$ です．共に接触平面は$xy$平面，原点における曲率は共に$k(0)=2$です(一般媒介変数表示の 曲率の計算はあとで学ぶ)． 
なお，もう一つ，平面上の放物線$\boldsymbol{f}(t)=(t,t^2,0)$ も原点における曲率は２です． このように，同じ曲率でも，いろいろな曲線があることが分かります． これら３つの曲線の違いを表す量が必要です．それが曲線の接触平面から離れる度合いです． 各点で接触平面が定義できるから，その変化の割合，すなわち接触平面の単位法線ベクトルの 弧長ｓに対する変化率で接触平面から離れる度合いと定義することが自然なことです. さて，接触平面の単位法線ベクトル$\boldsymbol{\gamma} (s)$は $\boldsymbol{\gamma} (s)=\boldsymbol{\alpha} (s)\times \boldsymbol{\beta} (s)$ です．ただし，$\boldsymbol{\beta}$は弧長変数のときの加速度ベクトル方向の単位ベクトルです． $\dfrac{\boldsymbol{\gamma} (s)}{ds}$の大きさが曲線の接触平面からの離れる度合いとなります． $\dfrac{\boldsymbol{\gamma} (s)}{ds}$の計算をします． $\boldsymbol{\alpha} (s)$は弧長変数の速度ベクトル，$k(s)\boldsymbol{\beta}$は加速度ベクトル（このベクトルを曲率ベクトルともいう）です． ただし$k(s)$はその点における曲率です． $\boldsymbol{\alpha} (s)\cdot \boldsymbol{\gamma} (s)=0, \ \boldsymbol{\beta} (s) \cdot \boldsymbol{\gamma} (s)=0$ より $0=\dfrac{\boldsymbol{\gamma} (s)}{ds}\cdot \boldsymbol{\alpha} (s) +\boldsymbol{\gamma} (s)・\dfrac{\boldsymbol{\alpha} (s)}{ds}$ $=\dfrac{\boldsymbol{\gamma} (s)}{ds}\cdot \boldsymbol{\alpha} (s)+\boldsymbol{\gamma} (s) \cdot k(s)\boldsymbol{\beta} (s)$ $=\dfrac{\boldsymbol{\gamma} (s)}{ds}\cdot \boldsymbol{\alpha} (s)$ また，$|\boldsymbol{\gamma} (s)|=1$より$(\because |\boldsymbol{\alpha}|=|\boldsymbol{\beta}|=1,\boldsymbol{\alpha} \perp \boldsymbol{\beta})$ $\dfrac{\boldsymbol{\gamma} (s)}{ds} \cdot \boldsymbol{\gamma} (s)=0$ したがって$\dfrac{\boldsymbol{\gamma} (s)}{ds}$は$\boldsymbol{\alpha} (s),\boldsymbol{\gamma} (s)$と垂直ですから$\boldsymbol{\beta} (s)$と平行です．そこで， $\dfrac{\boldsymbol{\gamma} (s)}{ds}=-\tau (s)\boldsymbol{\beta} (s)$ によって，$\tau (s)$を定義し，$\tau (s)$を曲線$\boldsymbol{f}(s)$の捩（れい）率といいます． なお，捩率の定義で−がついています．これは付けなくともかまいません． 捩率の向きを考えるとき，接触平面に関し， $\boldsymbol{\gamma} (s)$の向きをその点における接触平面の正の向きすれば， 接触平面を下から上に突っ切るとき正と定義するほうが自然だからです．(次のページの円柱螺旋が分かり易い) $\tau (s)$の値を求めましょう． $|\boldsymbol{\beta} (s)|=1$より $\tau (s)=\tau (s)\boldsymbol{\beta} (s) \cdot \boldsymbol{\beta} (s)=-\dfrac{d\boldsymbol{\gamma} (s)}{ds} \cdot \boldsymbol{\beta} (s)$ $=\boldsymbol{\gamma} (s)\cdot \dfrac{\boldsymbol{\beta} (s)}{ds} \ \ (\because \boldsymbol{\gamma} (s) \cdot \boldsymbol{\beta} (s)=0)$ $=|\boldsymbol{\alpha} (s) \ \ \boldsymbol{\beta} (s) \ \ \dfrac{d\boldsymbol{\beta} (s)}{ds}|$ です．ここで，│ │は行列式です． さらに，$\boldsymbol{\beta} (s)=\dfrac{1}{k(s)} \dfrac{d^2\boldsymbol{f}(s)}{ds^2}$ より $\dfrac{d\boldsymbol{\beta} (s)}{ds}=(\dfrac{d(\frac{1}{k(s)})}{ds})\dfrac{d^2\boldsymbol{f}(s)}{ds^2} +\dfrac{1}{k(s)}\dfrac{d^3\boldsymbol{f}(s)}{ds^3}$ $\therefore \ \tau (s)=\dfrac{\left|\dfrac{d\boldsymbol{f} (s)}{ds} \ \dfrac{d^2\boldsymbol{f}(s)}{ds^2} \ \dfrac{d^3\boldsymbol{f}(s)}{ds^3}\right|}{k(s)^2}$ $=\dfrac{\left|\dfrac{d\boldsymbol{f} (s)}{ds} \ \dfrac{d^2\boldsymbol{f}(s)}{ds^2} \ \dfrac{d^3\boldsymbol{f}(s)}{ds^3}\right|}{\left|\dfrac{d^2\boldsymbol{f} (s)}{ds^2}\right|^2}$ 6.フレネ・セレの公式と曲率，捩率の計算 微分幾何の目次 |