証明

(2) とする。
つまり AB と DC が平行で AB = DC とする。

  (増加を押す)

僊BE と 僂DE において
  (増加を押す)

AB と DC が平行なので
  ∠BAC = ∠DCA で
  ∠CAB = ∠ACD である
つまり ∠BAE = ∠DCE で。
    ∠EAB = ∠ECD である。
また AB = CD である。
よって、この二つの三角形は合同である。

故に AE = CE かつ BE = DC を得る。
つまり (5) が示せた。

戻る