几何原本 卷一

欧几里得 · 23 条定义 · 5 条公设 · 5 条公理 · 48 个命题

命题 I.10 · 作图题

二等分一条已知有限直线。

红圈的点可以拖动,图形会随之改变,而证明的每一步仍然成立。
  1. 设 AB 是已知有限直线。要求二等分 AB。
  2. 在 AB 上作等边三角形 ABC。
    命题 I.1
    命题 I.1:在一条已知有限直线上作一个等边三角形。
  3. 用直线 CD 二等分 ∠ACB,CD 与 AB 交于 D。断言:AB 在点 D 被二等分。
    命题 I.9
    命题 I.9:二等分一个已知直线角。
  4. 因为 AC 等于 CB,CD 是公共边,所以两边 AC、CD 分别等于两边 BC、CD;又 ∠ACD 等于 ∠BCD,所以底 AD 等于底 BD。已知有限直线 AB 在 D 点被二等分。
    命题 I.4
    命题 I.4:若两个三角形有两边分别相等,且这两边的夹角也相等,则它们的底边相等,两个三角形全等,其余的角也分别相等。