-ストイケイア-ユークリッドの『原論』を少しずつ読んでいくブログです。第1巻-命題-命題1.08与えられた直線上にその上の点において与えられた直線角に等しい直線角を作ること。命題2で、長さ(線分)を移動させる作図を証明した。この命題を使わずに、コンパスで長さを移しとってしまう人がほとんどだろう。ユークリッドもそうしたに違いない。ところで、私は中学時代、「長さはコンパスで移せるけど、角度って移せないよなぁ」と思っていた。それが今回の命題である。与えられた直線ΑΒの上に、与えられた直線角ΔΓΕを移したい。角を作る二直線ΓΔ、ΓΕの上に、任意の二点Δ、Εを取り、ΔΕを結ぶ*1。等しい三線分から、三角形ΑΖΗを作る*2。このとき、ΓΔはΑΖに、ΔΕはΖΗに、ΕΓはΗΑに等しくなるようにする。(ΓΔ=ΑΖ、ΔΕ=ΖΗ、ΕΓ=ΗΑ)このとき、角ΖΑΗが求める角である。二つの三角形は、作図の方法から、二辺ΔΓ、ΕΓがΖΑ、ΗΑにそれぞれ等しい。底辺ΔΕもΖΗに等しい。よって底辺に対する角ΔΓΕは角ΖΑΗに等しい*3。よって与えられた直線ΑΒ上にその上の点Αにおいて与えられた直線角ΔΓΕに等しい直線角ΖΑΗが作られた。これが作図すべきものであった。要は、角を移したいときは、その角を含む三角形と合同な三角形を作図すればよいのだ。して私は、こんな簡単なことに気付かなかったのだろう。ところでこの作図、前回の命題22を使っているわけだが、実は命題22をそのまま使おうとすると、ちょっとややこしいことになる。命題22の作図は、最終的に下図のようになった。半直線ΔΕ上に三角形を作っているわけだが、ここで注目したいのはΔは三角形の頂点ではないということだ。今回の作図では、半直線ΑΒ上に、Αを頂点に持つ三角形を作図しないといけない。命題22を馬鹿正直に使ってしまうと、下図のようになってしまうのだ。角ΘΖΗは角ΔΓΕに等しいが、点Ζ上に角を作ってもしょうがない。我々は点Α上に角を作りたいのだ。命題22で点Δが頂点に含まれない理由は、直線ΔΕから、線分Αに等しい長さΔΖを切り取っているからだ。この操作をやらず、次のように作図すればよい。直線ΑΒから、線分ΓΔに等しい線分ΑΖと、線分ΓΕに等しい線分ΑΚを切り取る。直線ΚΒから、線分ΕΔに等しい線分ΚΝを切り取る。中心Α、半径ΑΖの円ΖΗΘと、中心Α、半径ΑΚの円ΚΛΜと、中心Κ、半径ΚΝの円ΝΛΗを描く。ΗΑを結べば、角ΗΑΚが角ΔΓΕに等しくなる。本質的には命題22と同じ作図である。命題22では、長さを三回切り取っていたが、その最初の一回をやらなかっただけだ。して命題22でこのように作図していないのかが疑問である。こちらの方が、描きたい場所にきちっと三角形を描けると思うのだが。したら、「このくらいのこと、言わなくてもわかるでしょ」と考えたのかもしれない。確かに、文章で説明するとややこしいが、実際に手を動かしてやってみればすぐにわかることだ。理論上可能かどうかだけ考えていて、実際的に使いやすいかどうかまでは考えていなかったのかもしれない。命題2の線分の移動にしたって、実際に作図するときに毎回できるかと言えば、まず無理である。「理論上可能であるから、実際には難しくても作図できるものとする」という判断には、だいぶ高度な抽象的思考が必要な気がする。数学は大昔から抽象的な学問だったのかもしれない。他に考えられる理由は、「切り取る」という表現に見え隠れしている気がする。線分ΑΒから短い線分を切り取ったあと、また点Αから延びる線分を切り取るのはおかしい、と考えたのかもしれない。ギリシャ語が分かれば「切り取る(απολαμβανειν)」という言葉のニュアンスがわかるのかもしれないが、残念ながら私にはギリシャ語が分からない。そのうち詳しい文献に当たってみよう。参考文献このブログは、主に下記の文献を元に書かれています。記事中で単に参考文献と書いた場合は、[1]を指します。-1213-tsujimotterのノートブックINTEGERSアジマティクスますぱらCorollaryは必然に。高校数学の美しい物語mattyuuの数学ネタ集フィボナッチ・フリークはてなブログをはじめよう!kiguroxさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。