命題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)

證畢

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

來都來了，點個關(guān)注吧

三連也行