右|サムネイル|400x400ピクセル|斜辺がである直角三角形までのテオドロスの螺旋 テオドロスの螺旋（テオドロスのらせん、）は、底辺を前の直角三角形の斜辺、高さを1とする直角三角形で構成された渦巻である。キュレネのテオドロスの名を冠する。
構成 テオドロスの螺旋は、底辺と高さを1とする直角二等辺三角形から始まる。次に底辺をの斜辺（長さは2の正の平方根）、高さを1とする直角三角形を、の外側にかく。
さらに、底辺をの斜辺（長さは3の正の平方根）、高さを1とする、の斜辺と高さの間の点に直角を携えた、の外側にある直角三角形をかく。
以後、一般に回目の直角三角形の外側に、の斜辺を底辺とし、の斜辺と高さの間の頂点に直角を携える、高さ1の直角三角形を作る。この直角三角形の連なりをテオドロスの螺旋という。例えばは、底辺の長さが、高さが1、斜辺の長さがの三角形となる。
歴史 テオドロスの作品は失われたが、プラトンの作品である『テアイテトス』の回想部で彼の功績が伝えられた。テオドロスは、テオドロスの螺旋を用いて平方数でない3から17の数の平方根は無理数であることを示したと言われている。
テオドロスが2の平方根の証明に関与していないことはよく知られていたため、プラトンもそれをテオドロスに帰さなかった。テオドロスと数学者テアイテトスは、有理数と無理数を区別した。
斜辺 個目の三角形の斜辺の長さは自然数の正の平方根となる。
テオドロスに師事したプラトンは、なぜテオドロスはで止めてしまったのか疑問に思った。一般に、その理由はは直角三角形が重ならない最後の三角形の斜辺の長さであったからであると考えられている。
三角形の重なり 1958年、カレブ・ウィリアムズ () は、テオドロスの螺旋のどの斜辺も重ならないことを示した。また、長さ1の辺の延長は、ほかのどの頂点も通らないことも証明した。
拡張 テオドロスは斜辺がとなるところで止めてしまったが、無限に螺旋を続けることができる。
成長率
角 螺旋の中心に位置する番目の三角形の頂点の角をとして
である。したがって、は次の式で表せる。
最初の直角三角形の底辺と、番目の三角形の斜辺の成す角は、1からまでのの和である。これは有界関数を用いて次のように表せる。
ただし、 ()サムネイル|螺旋の一部
半径 螺旋の半径の成長は任意のについて次の式で表せる。
アルキメデスの螺旋 テオドロスの螺旋はアルキメデスの螺旋によって近似できる。アルキメデスの螺旋の2つの渦の距離は数学定数である円周率に近づいていくように、テオドロスの螺旋の2つの渦巻きの距離は無限に近づくにつれて、急速にに近づく。 渦の数渦の距離の平均渦の距離の平均との近似精度23.159203799.44255%33.144345599.91245%43.1442899.91453%53.14239599.97447% 5回目の渦でさえ、その近似率は約である。
補間 右|サムネイル|402x402ピクセル|フィリップ・J・デイヴィスによるテオドロスの螺旋を解析的に補完したもの。数字は整数である原点との距離。青は反対方向に螺旋を拡張したもの。 離散的なテオドロスの螺旋をどのように内挿して滑らかな曲線にするか、という問題は2001年にフィリップ・J・デイヴィスによって提案・解決された。階乗をガンマ関数に内挿するのにオイラーの公式を用いることを類推して、デイヴィスは次の式を用いた。
は実数において、螺旋の複素平面上の座標を表す。とはさらにこの関数を研究した。次の関数方程式の解は一意的にのみに定まる。
初期条件はかつ、偏角と絶対値において、単調増加であることである. 。
解析的なデイヴィスの連続化は原点から反対方向の螺旋へと拡張できる。
図に、元の離散的なテオドロスの螺旋の節を緑の円で示してある。青い円は螺旋を反対方向に繋げたもので、整数の範囲で番目の点の極半径がとなっている。破線の円は原点における曲率円である。
出典
参考文献
関連項目