与えられた線分を二等分すること。
１０番目の命題である。やっと二桁目に突入だ。ちなみに第１巻には全部で４８個の命題があるので、ここまででようやく五分の一ほどである。
今回も難しい命題ではない。さらりと作図して終わりにしよう。
与えられた線分をΑΒとする。
この上に等辺三角形ΑΒΓを作り*1、角ΑΓΒを線分によって二等分する*2。
二等分線と最初の線分ΑΒの交点をΔとすると、線分ΑΒはΔにおいて二等分されている。
なぜなら、二つの三角形ΑΓΔとΒΓΔに注目すると、ΑΓとΒΓは等しく、ΓΔが共通なので、二辺が二辺にそれぞれ等しい。さらに等しい二辺に挟まれた角ΑΓΔと角ΒΓΔも等しい。ゆえに底辺ΑΔは底辺ΒΔに等しい*3。
よって与えられた線分ΑΒはΔにおいて二等分されている。これが作図すべきものであった。
このとき、線分ΓΔはΑΒに垂直だが、このことに『原論』は全く触れていない。ユークリッドが知らなかったとも思えないので、触れ忘れたか、敢えて触れなかったかのどちらかだろう。
次の命題１１と１２が垂線の作図方法なので、「それを見ればわかるでしょ？」と考えたのかもしれない。
ところで以前、命題５の記事の中で、現代の中学で習う中点の作図方法について触れた。
stoixeia.hatenablog.com
この記事の中で、「中点の作図は、『原論』では間接的に命題５を使っている」という旨の説明をした。確かめてみよう。
今回の作図の中では、角の二等分の作図（命題９）が使われている。そして命題９の証明では、命題８（三角形の合同条件[三辺相等]）が使われていた。 さらに命題８の証明には命題７が使われ、命題７の証明には命題５が使われていた*4。
というわけで、たしかに中線の作図には、間接的に「二等辺三角形の底角は等しい」という命題が使われている。
このような命題同士の繋がりを表す樹形図を作ってみたいが、デザインを相当工夫しないと非常に見づらいものになるだろう。ただの樹形図ではなく、命題をクリックすると関連する命題だけが強調されるようなデザインが好ましい。誰か作り方を教えてくれないだろうか。
ちなみに今回、間接的にはともかく、直接的には公理も公準も使わなかった。このような命題は、今回が初めてである。
（逆に、公理しか使わなかった命題は、いまのところ命題４だけである）
