命題26
「2つの三角形で2つの角が2つの角とそれぞれ等しく、1辺が1辺と等しい、すなわち等しい角ではさまれている辺か等しい角に対する辺が等しいならば、残りの辺は残りの辺と等しく、残りの角は残りの角と等しい。」
2つの角ABC、BCAが2つの角DEF、EFDとそれぞれ等しい、すなわち角ABCが角DEFと等しく、角BCAが角EFDと2つの三角形をABC、DEFとし、また等しい1辺が1辺と等しい、まず等しい角ではさまれている辺、すなわちBCがEFと等しい三角形とせよ。
残りの辺は残りの辺とそれぞれ等しい、すなわちABはDEと等しく、ACはDFと等しく、残りの角は残りの角と等しい、すなわち角BACは角EDFと等しいことをいう。
ABがDEと等しくないならば、それらのうちの一方は大きい。
大きいほうをABとせよ。BGをDEと等しくさせ、GCを結びなさい。
BGはDEと等しく、BCはEFと等しいので、2辺GB、BCは2辺DE、EFとそれぞれ等しく、角GBCは角DEFと等しい。それゆえ、底辺GCは底辺DFと等しく、三角形GBCは三角形DEFと等しく、残りの角は残りの角と等しい、すなわち等しい辺に対する角は等しい。それゆえ、角GCBは角DFEと等しい。しかし、角DFEは仮定より角ACBと等しい。それゆえ、角BCGは角BCAと等しく、小さいほうは大きいほうと等しいが、不可能である。命題T.4
それゆえ、ABはDEと等しくないことはない。ゆえに等しい。
しかし、BCもEFと等しい。それゆえ、2辺AB、BCは2辺DE、EFとそれぞれ等しく、角ABCは角DEFと等しい。それゆえ、底辺ACは底辺DFと等しく、残りの角BACは残りの角EDFと等しい。
次は、ABがDEと等しいように、等しい角に対する辺が等しいとせよ。
残りの辺は残りの辺と等しい、すなわちACはDFと等しく、BCはEFと等しく、さらに残りの角BACは残りの角EDFと等しいこともいう。
BCがEFと等しくないならば、それらのうちの一方は大きい。
もしできるならば、大きいほうをBCとせよ。BHをEFと等しくさせ、AHを結びなさい。
BHはEFと等しく、ABはDEと等しいので、2辺AB、BHは2辺DE、EFとそれぞれ等しく、それらは等しい角をはさんでいる。それゆえ、底辺AHは底辺DFと等しく、三角形ABHは三角形DEFと等しく、残りの角は残りの角と等しい、すなわち等しい辺に対する角は等しい。それゆえ、角BHAは角EFDと等しい。
しかし、角EFDは角BCAと等しい。それゆえ、三角形AHCで外角BHAは対内角BCAと等しいが、不可能である。命題T.16
それゆえ、BCはEFと等しくないことはない。ゆえに等しい。
しかし、ABもDEと等しい。それゆえ、2辺AB、BCは2辺DE、EFとそれぞれ等しく、それらは等しい角をはさんでいる。それゆえ、底辺ACは底辺DFと等しく、三角形ABCは三角形DEFと等しく、残りの角BACは残りの角EDFと等しい。命題T.4
それゆえ、2つの三角形で2つの角が2つの角とそれぞれ等しく、1辺が1辺と等しい、すなわち等しい角ではさまれている辺か等しい角に対する辺が等しいならば、残りの辺は残りの辺と等しく、残りの角は残りの角と等しい。
証明終了