オペレヴィ・ヴィクセ

ユークリッドの『原論』を少しずつ読んでいくブログです。タイトルは「Q.E.D.」の元になったギリシャ語の「όπερ έδει δείξαι.」。

第1巻命題16 三角形の外角は内対角より大きい

すべての三角形において、辺のひとつが延長されるとき、外角は内対角のいずれよりも大きい。 

 

「三角形の外角は、それと隣り合わない二つの内角(内対角)の和に等しい」という定理を、我々は知っている。今回の命題は、これよりも弱い定理だ。

f:id:kigurox:20171116032350p:plain

三角形ΑΒΓがあり、その一辺ΒΓがΔまで延長されたとする。このとき、角ΑΓΔは、内対角ΓΒΑ、ΒΑΓのいずれよりも大きいと言っている。

外角がこれらの和になることを知っていれば、この命題は当然である。実は『原論』にもその定理は出てくるのだが、なんと第1巻命題32にならないと登場しない。

しかし諸々の定理を証明するのに、この外角と内対角の関係はどうしても必要だ。そのため、ひとまずこの中途半端な命題が証明されるのだ。

 

証明のために、いくつか補助線を引こう。

まず、ΑΓの中点Εを作図し*1、ΒΕを結ぶ*2
さらにΒΕを延長し*3、ΒΕ=ΕΖとなる点Ζをその直線上に取る*4
そしてΖΓを結べば*5、準備は完了である。

f:id:kigurox:20171116034109p:plain(ΑΕ=ΕΓ、ΒΕ=ΕΖ)

さて、二つの三角形ΑΕΒとΓΕΖに注目すると、ΑΕ=ΕΓ、ΒΕ=ΕΖであり、しかも角ΑΕΒ=角ΓΕΖである*6

f:id:kigurox:20171116034538p:plain

したがって、この二つは二辺とその間の角がそれぞれ等しいので、合同である*7。ゆえに角ΒΑΕは角ΕΓΖに等しい。

f:id:kigurox:20171116034833p:plain

ところで、角ΕΓΔは、角ΕΓΖより大きい。よって、角ΑΓΔは、角ΒΑΕより大きい。

同様に、ΒΓの中点を取り*8、ΑΓをΗまで延長すれば*9、角ΒΓΗが角ΑΒΓより大きいことを示せる。

f:id:kigurox:20171116035405p:plain

角ΒΓΗと角ΑΓΔは等しい*10ので、角ΑΓΔも角ΑΒΓより大きい。

よってすべての三角形において、辺のひとつが延長されるとき、外角は内対角のいずれよりも大きい。これが証明すべきことであった。

 

冒頭でも述べた通り、この命題はのちのち上位互換が現れる。メラとメラゾーマのようなものだ。レベルの低いうちはメラで証明し、命題を倒していけばやがてメラゾーマが使えるようになる。

 

 

*1:命題10「与えられた線分を二等分すること」

*2:公準1「任意の点から任意の点へ直線をひくこと」

*3:公準2「有限直線を連続して一直線に延長すること」

*4:命題3「二つの不等な線分が与えられたとき、大きいものから小さいものに等しい線分を切り取ること」

*5:公準1「任意の点から任意の点へ直線をひくこと」

*6:命題15「もし二直線が互いに交わるならば、対頂角を互いに等しくする」

*7:命題4「もし二つの三角形が二辺が二辺にそれぞれ等しく、その等しい二辺に挟まれる角が等しいならば、底辺は底辺に等しく、三角形は三角形に等しく、残りの二角は残りの二角に、すなわち等しい辺が対する角はそれぞれ等しいであろう」

*8:命題10「与えられた線分を二等分すること」

*9:公準2「有限直線を連続して一直線に延長すること」

*10:命題15「もし二直線が互いに交わるならば、対頂角を互いに等しくする」