《幾何原本》命題1.1【夸克歐氏】
命題1.1:
在一條已知線段上作一個等邊三角形

已知:有限直線AB
求:在已知直線AB上做一個等邊三角形
解:
以A為圓心,以AB為半徑畫圓BCD?
(公設(shè)3)
以B為圓心,以BA為半徑畫圓ACE
(公設(shè)3)
使兩圓交于點(diǎn)C
連接AC,BC
(公設(shè)1)
∵點(diǎn)A是圓CDB的圓心
(已知)
∴AC=AB
(定義16)
同理 ∵點(diǎn)B是圓CAE的圓心
?(已知)
∴BC=BA?
?(定義16)
但∵AC=AB
(已證)
∴AC=AB=BC
(公理1)
∴▲ABC是等腰三角形,且它在已知線段AB上
(定義20)
證畢
此命題將在命題1.2,1.9,1.10,1.11被使用

來都來了,點(diǎn)個關(guān)注吧