A QUARK

幾何原本

命題1.3：

已知兩條不相等的線段,可在較長的線段上截取一條線段等于較短的一條

已知:AB,C兩條線段，AB＞C

求：從AB上截取一條線段AE，使AE=C

解：

以A為端點作AD=C

（命題1.2）

以A為圓心，AD為半徑作圓DEF

（公設(shè)1.3)

∵A為圓DEF的圓心

(已知)

∴AE=AD

(定義1.15)

∵AD=C

(已知)

∴已在AB上截出AE=C

(公理1.1)

證畢

此命題將在本書中被大量使用

·END·
?

夸克歐氏

每天更新一個命題