命題3
「与えられた2つの等しくない線分のうち大きいほうから小さいほうに等しい線分を切り取ること」
与えられた2つの等しくない線分をAB、Cとし、ABをそのうちの大きいほうとせよ。与えられた2つの等しくない線分のうち大きいほうABから小さいほうCに等しい線分を切り取ることが要求されている。
点Aにおいて線分Cと等しいADをつくりなさい。そして、中心Aと半径ADをもつ円DEFを描きなさい。命題T.2,公準T.3
いま、点Aは円DEFの中心であるので、AEはADと等しい。定義T.15
しかし、CもまたADと等しい。それゆえ、線分AEとCのそれぞれがADと等しい。そのため、AEもまたCと等しい。共通概念T.1
それゆえ、与えられた2つの線分ABとCで、線分AEは大きいほうから小さいほうに等しい線分を切り取られている。
作業終了