レムニスケート（連珠形）には円に共通する性質があり，定規とコンパスだけで奇数のｎ等分することができる必要十分条件はｎがフェルマー素数（ｎ＝２2^m＋１の形の素数：３，５，１７，２５７，６５５３７）であることはよく知られている．ガウスはレムニスケートの等分問題から楕円関数を発見している．言い替えれば，方程式論には楕円関数論という背景があったのである．
しかし，この方程式を解くことは言うは易しいが，実行するにはかなり忍耐がいる．私も１回だけやってみたが結果はMathematicaなしには（私には）到達できなかったのも事実である．
今回のコラムでは，ベルヌーイのレムニスケートのｎ等分点を描いたので，それを掲載する．
［注］この図には誤りがあります．（その９）で訂正しています．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【１】作図とは，加減乗除と平方根である．
正多角形の作図は円周等分問題という幾何学問題ですが，ｘ^n−１＝０という代数方程式の解と密接な関係にあります．正５角形の作図は黄金比と関連していて，２次方程式：ｘ^2−ｘ−１＝０を解く，すなわち（√５＋１）／２を求めることによって可能となりました．ギリシャ人は黄金分割を用いた見事な方法で正五角形の作図に成功したのですが，この方法は二次方程式の幾何学的解法を利用した賢明な方法といえます．
一方，正７角形，正９角形はそれぞれ３次方程式：ｘ^3＋ｘ^2−２ｘ−１＝０，ｘ^3−３ｘ＋１＝０に帰着します．また，立方体倍積問題，角の３等分問題，円の正方形化問題（円積問題）のいずれの幾何学的問題も代数方程式に対応していて，たとえば，倍積問題はｘ^3−２＝０，角の３等分問題はｘ^3−３ｘ−ａ＝０，円積問題はｘ^2−π＝０に帰着します．
定規とコンパスで描ける図形は直線と円ですから，その作図は線分の長さの加減乗除と平方根をとる操作に相当します．すなわち，定規（直線）とコンパス（円）による作図は，たとえそれらを繰り返し用いたとしても，＋，−，×，÷，√なる５つの演算によって得られるものに限られています．
したがって，正７角形，正９角形の作図や倍積問題のように３次方程式に帰着する作図問題は＋−×÷√の演算を組み合わせても解けません．角の３等分問題は，ａの値によっては定規とコンパスのみで３等分できる角が無数にあると同時に，３等分できない角もまた無数にあることを示しています．モーリーの定理「任意の三角形において，各内角の３等分線の隣同士の交点を結んで得られる三角形は正三角形である．」この驚くべき定理が２０世紀にいたるまで発見されなかった理由も，角の３等分問題は解けないことが判明していたところにあるのでしょう．
また，円積問題は２次方程式に帰着しますが，√πがコンパスと定規で作図できたとすると，その平方であるπも同様に作図可能ということになります．しかし，πは超越数ですから√πも超越数なのです．したがって，√πは代数方程式の解とはなりえず，円積問題も作図不能となるのです．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【２】正多角形の作図問題
定規とコンパスだけで正３角形，正４角形，正６角形，正８角形が作図できることは簡単にわかりますが，辺の数５，７，９の場合はどうでしょうか．正５角形は古代ギリシャにおいて作図可能であることが発見されました．となれば，次に正７角形・正９角形の作図は？と考えるのは自然な成り行きでしょう．
ところが，かのアルキメデスでさえも正７角形・正９角形の作図に成功しなかったといわれています．また，内接正多角形の作図は画家であり建築家であるレオナルド・ダ・ヴィンチの関心を惹きました．しかし，彼でさえ近似的な内接正七角形の作図を正確なものと思っていたようです．
辺数３，４，５，６，８，１０，１２，１５，１６の正多角形は作図できますが，辺数７，９，１１，１３，１４の正多角形は作図できないことから，正１７角形もそうであろうと推察されます．ところが，１７９６年，ガウスは１９才のときに正１７角形の作図を思いつき，のみならず，ｎが素数の正ｎ角形について，ｎ＝２2^m＋１が素数の場合に限り，定規とコンパスだけで作図可能であることを発見しています．
正７角形も正９角形も作図できないのに，まさか正１７角形が作図できるとはと思うのが普通なのでしょうが，このことを用いると，ｍ＝０のとき正３角形，ｍ＝１のとき正５角形，ｍ＝２のとき正１７角形となり，作図可能であることがわかります．当然，ずっと面倒になるでしょうが，正２５７角形（ｍ＝３），正６５５３７角形（ｍ＝４）も作図可能です．
アルキメデスは円柱とそれに内接する球の体積比が３：２であることを発見した記念に，自分の墓の上に円柱の形をした記念碑をおくように遺言したといわれています．アルキメデスと同じように，ガウスは正１７角形を墓石に彫るよう遺言しています．このことはガウス自身がその発見をいかに重視したかを物語っています．数々の大発見をしたガウスですが，１９才の青年がアルキメデスをもってしてもできなかった古代ギリシア以来２０００年の謎を解いたのですから，まさに驚きとしかいいようがありません．この正１７角形の作図は彼を本格的に数学の道に入らせるきっかけとなったといわれています．
なお，２2^m＋１の形の素数をフェルマー素数といいます．フェルマー素数はガウスによって１世紀にわたる眠りから覚まされ，数論と幾何学に新たな美しさを吹き込んだことになります．フェルマーはこの型の数がすべて素数だと勘違いしていて必ず素数を与える式として考え出されたのですが，ｍ＝５のときは素数ではなく，現在，ｍ＝０，１，２，３，４の５個以外にフェルマー素数はみつかっていません．６番目のフェルマー素数の探索がコンピュータを使ってなされていますが，はたして本当に存在するのでしょうか．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【３】代数的可解性の判定
５次以上の一般代数方程式は代数的に解けないことがアーベルによって証明されたわけですが，根の公式がないからといって数値解法以外に手段がないわけではありません．
たとえば，ｘ^5−１＝０は，
（ｘ−１）（ｘ^4＋ｘ^3＋ｘ^2＋ｘ＋１）＝０
と因数分解されますから代数的に解けます．一般に，ｎ次の円分方程式：
ｘ^n−１＝０
は何次でも代数的に解けることがガウスによって証明されたのですが，ガウスは，この考察から正１７角形の作図可能性をも発見しました．２次方程式の解ならコンパスと定規で作図可能なのですが，１６次方程式：
ｘ^16＋x^15＋・・・＋ｘ＋１＝０
ｘ^8＋ｘ^7＋・・・＋ｘ＋１＋１／ｘ＋・・・１／ｘ^7＋１／ｘ^8＝０
奇数ｎ＝２ｍ＋１に対して，ｎ次方程式ｘ^n−１＝０は新しい変数としてｙ＝ｘ＋１／ｘをとることによって方程式の次数をｍ＝（ｎ−１）／２次に減らせた方程式に帰着されますが，最終的には２次方程式に分かれてしまうので，正１７角形は作図可能なのです．
それに対して，
ｘ^5−８０ｘ−５＝０
は代数的には解けない方程式です．いかなる条件の下で方程式は解きうるか？．．．このように，具体的に係数が与えられた方程式の代数的可解性を判定する問題が残っていたのです．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
【４】おまけ（Gegoroのレムニスケート）
ベルヌーイのレムニスケートは三角関数を用いて
ｘ＝ｃｏｓθ／（１＋ｓｉｎ^2θ）
ｙ＝ｓｉｎθｃｏｓθ／（１＋ｓｉｎ^2θ）
とパラメトライズされるが，阪本氏によるとGegoroのレムニスケート
ｘ＝ｓｉｎθ
ｙ＝ｓｉｎθｃｏｓθ
というのもあるそうだ．以下にGegoroの連珠形を掲げる．
＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝
