命題6
「1つの三角形で2つの角が互いに等しければ等しい角に対する辺もまた互いに等しい。」
角ABCが角ACBと等しい三角形をABCとせよ。
辺ABもまた辺ACと等しいことをいう。
大きいほうをABとせよ。大きいABから小さいACに等しいDBを切り取り、DCを結びなさい。命題T.3,公準T.1
DBがACと等しく、BCが共通なので、それゆえ、2辺DB、BCは2辺AC、CBとそれぞれ等しく、角DBCは角ACBと等しい。それゆえ、底辺DCが底辺ABと等しく、三角形DBCが三角形ACBと等しく、小さいほうが大きいほうと等しいとなるが、不合理である。命題T.4
それゆえ、ABはACと等しくないことはない。したがって、それは等しい。
それゆえ、1つの三角形で2つの角が互いに等しければ等しい角に対する辺もまた互いに等しい。
証明終了