代数的演算と幾何的演算の橋渡しがされた歴史を紹介します.
フェルマーの定理などで有名なフランスの数学者ピエール・ド・フェルマー( )は,古代ギリシャの数学者アポロニウス( の著した『 円錐曲線論 』(原題は )を研究し,図形を方程式で表現することを始めた最初の数学者です.それまでは,数式の計算と図形の問題は全く別々のものだと考えられていましたので,これは非常に画期的な手法でした.古代バビロニアや古代ギリシャでも,限定的に幾何学の計算に代数学を応用することはありましたが,例えば面積や体積を や に対応させて方程式を解くといった程度のもので,このレベルを越えることはありませんでした.座標という概念や,より一般的な曲線や軌跡の表現にも代数方程式を使ったのはフェルマーの功績です.
フェルマーは,座標系を設定するのに,原点と,原点を通る軸を一本定め,平面上の一点から,その軸へ引いた線分の長さ(図中の )と,原点から線分の足までの長さ(図中の )を座標 と定義しました.これは今日,斜交座標と呼ばれているもので,今日の私達から見ると少し変わった座標の取り方です.
フェルマーはこの座標を用いて,線分の方程式と円錐曲線を代数方程式として表わすことに成功しました.また逆に,方程式を満たす座標の軌跡をその方程式の表わす図形と対応させ,曲線の分類を行うという,のちに解析幾何学へと発展する研究を行いました.解析幾何学への道を拓いたという点で,フェルマーの功績は非常に大きなものがありますが,フェルマーは古代ギリシャ人同様, 方程式の同次性 にこだわり,異なる次数の項を含む方程式を幾何学の文脈で認めることを潔しとしませんでした.
例えば,文字 が辺の長さを表わす場合,二次の項 は面積,三次の項 は体積を表わすと考えることができます.(簡単な代数方程式に,面積や体積などの図形的イメージを対応させることは古代バビロニアでも既に行われていました. 平方完成の図形的イメージ を参照してみてください.) 例えば, は『辺の長さの和 が,長さ に等しい』ことを示し, は『面積の和 が面積 に等しい』ことを意味するといった具合です.しかし,この視点に固執すると,例えば という式は,『長さと面積と体積を足す(!?)』という幾何学的にナンセンスな主張を表わしていることになり,無意味な式だと考えざるをえません.実は,次節に見るように,次数の違う項の混じった方程式が,幾何学的に無意味だというわけではないのですが,フェルマーも古代ギリシャ以来の"同次式の呪縛"に囚われていましたので,代数的演算を自由自在に幾何学的演算に役立てるには至りませんでした.
[*] | そういえば,有名なフェルマーの大定理に出てくる式 も同次式ですね! |
古代ギリシャ以来,フェルマーも含めて,幾何学における式は『同次式でなければ意味がない』と考えられていたわけですが,この呪縛を解いたのがデカルト( です.デカルトは幾何学的文脈においてでさえ,辺,面積,体積などの区別を問題にせず,数そのものを研究しました.これは計算における大きな視点の転換だったに違いありません.
例を二つ挙げましょう.デカルト以前の数学者にとって, と が辺の長さを表わす場合, は , を辺の長さとする長方形の面積を表わす量でした.これに対しデカルトは, も単にある数を表すだけであり,次の比例式の第四項を表わすに過ぎないと考えたのです.
この式の第四項が必ずしも面積を意味しているのではないことは,次の図から分かります.図中, も や 同様,辺の長さを表わしています.(線分 と線分 が平行なので, が成り立つのは大丈夫ですね.) に対してさらに同様の図を描けば,今度は三次の項で辺の長さを表わすものが求められます.この操作は無限回繰り返せますので,結局,辺の長さであっても の形の項は幾らでも存在しており,これらの和や差も幾何学的に無意味ではなくなります.
同様に,デカルト以前の数学者にとって, が辺の長さを表わす場合, は幾何学的意味を持ちませんでした.『二乗したら辺の長さになる』ような幾何学的量は存在しないからです.ところが,デカルトは次の図を描き, と のどちらも単に辺の長さを表わす例を示しました.
ここから,直径 の円を描いて同じ操作を繰り返していくことも可能ですから,結局 は全て辺の長さとして作図可能になります.これらの図は,デカルトの書いた『 幾何学 』(原題は )に出ているものです.
上の二例により,線分の長さの 乗や 乗根もやはり線分の長さを表わす(ことができる)ことがわかりました.ここに至って,次数が違う文字同士の計算や,高次の代数方程式でも,幾何学的意味を失わずに文字計算を行える道が拓けました.これ以後,代数的演算と幾何学的演算の対応はより自由になり,代数学の成果を幾何学に存分に応用できるようになります.今の私達にとっては何でもないことのように思えますが,幾何学的方程式が『同次式の呪縛』から逃れるのに数千年の時間を要したことに思いを致してみましょう.
[†] | ここで例示した二つの図は,『定規とコンパスだけで作図できる図形にはどのようなものがあるか?』という問題に深く関係します.例えば, 乗根で表わされる長さが作図可能なことは例に見ましたが, 乗根は作図できないのでしょうか?この問題に取り組むには少し準備が要ります.いずれ体論で,この作図可能性の問題を取り上げる予定です. |
定規とコンパスで,正五角形を作図する方法を考えてみましょう.
(ヒント:この方法をいきなり思いつくのは大変ですが,円の半径を として解析的に辺や対角線の長さを計算してみると,一辺の長さは ,図中青線で表わされる対角線の長さは と分かります.根号・和・差は,どんなに大変でも必ずコンパスと定規で描けるはずです.まずはピタゴラスの定理を使って,辺の長さが の直角三角形を描いてみましょう.)
正五角形の作図法は古代ギリシャで既にユークリッド( )やトレミー( )によって知られていました.正五角形の辺と対角線の長さの比は,黄金比と呼ばれる値 になります.