《幾何原本》命題1.11【夸克歐氏】
2020-08-19 20:33 作者:一??淇?/a> | 我要投稿
命題1.11:
過已知直線上一點作該直線的垂線
已知:直線AB,點C在AB上
求:過點C作AB的垂線
解:
在AB上取一點D
(定義1.3)
在CB上截取一點E,使CD=CE
(命題1.3)
在DE上作等邊△FED
(命題1.1)
連接FC
(公設1.1)

求證:FC⊥AB
∵△FED是等邊三角形
(已知)
∴DF=EF
(定義1.20)
∵CD=CE,EC公用
(已知)
∴△DCF≌△ECF
(命題1.8)
∴∠DCF=∠FCE
(公理1.4)
∴已作出過點C的線段CF⊥AB
(定義1.10)
證畢
此命題將在本卷的命題1.13&1.46&1.48中被使用

來都來了,點個關(guān)注吧
三連也行
標簽: