命題34
「平行四辺形で対する辺と角は互いに等しく、直径は平行四辺形を2等分する。」
平行四辺形をACDBとし、その直径をBCとせよ。
平行四辺形ACDBの対する辺と角は互いに等しく、直径BCはそれを2等分することをいう。
ABはCDと平行で、直線BCはそれらと交わっているので、錯角ABCとBCDは互いに等しい。命題T.29
また、ACはBDと平行で、直線BCはそれらと交わっているので、錯角ACBとCBDは互いに等しい。命題T.29
それゆえ、ABCとDCBは2つの角ABC、BCAが2つの角DCB、CBDとそれぞれ等しく、1辺が1辺と等しい、すなわち等しい角にはさまれていて、それらのどちらにも共通しているBCをもつ2つの三角形である。それゆえ、それらはまた残りの辺は残りの辺とそれぞれ等しく、残りの角は残りの角と等しいことをもつ。それゆえ、ABはCDと等しく、ACはBDと等しく、さらに角BACは角CDBと等しい。命題T.26
角ABCは角BCDと等しく、角CBDは角ACBと等しいので、角ABD全体は角ACD全体と等しい。共通概念T.2
そして、角BACも角CDBと等しいことが証明されていた。
それゆえ、平行四辺形で、対する辺と角は互いに等しい。
次に、直径はまた平行四辺形を2等分することをいう。
ABはCDと等しく、BCは共通なので、2辺AB、BCは2辺DC、CBとそれぞれ等しく、角ABCは角BCDと等しい。それゆえ、底辺ACも底辺DBと等しく、三角形ABCは三角形DCBと等しい。命題T.4
それゆえ、直径BCは平行四辺形ACDBを2等分する。
それゆえ、平行四辺形で対する辺と角は互いに等しく、対角線は平行四辺形を2等分する。
証明終了