命題14
「与えられた等辺等角な五角形に円を外接すること」
与えられた等辺等角な五角形をABCDEとせよ。
五角形ABCDEに円を外接することが要求されている。
線分CF、DFのそれぞれで角BCD、CDEを2等分しなさい。線分が交わっている点Fから点B、A、Eに線分FB、FA、FEを結びなさい。
そのとき、この前と同様にして、角CBA、BAE、AEDも線分FB、FA、FEのそれぞれで2等分されることが証明できる。
いま、角BCDは角CDEと等しく、角CDEは角BCDの半分で、角CDFは角CDEの半分なので、角FCDは角CDFと等しい。したがって、辺FCも辺FDと等しい。命題T.6
同様にして、線分FB、FA、FEのそれぞれも線分FC、FDのそれぞれと等しいことが証明できる。それゆえ、5線分FA、FB、FC、FD、FEは互いに等しい。
それゆえ、中心をF、線分FA、FB、FC、FD、FEのうちの1つを半径にもってかかれる円は残りの点も通り、外接している。
それが外接するとし、ABCDEとせよ。
それゆえ、円は与えられた等辺等角な五角形に外接している。
作業終了