証明

(5) とする。
つまり AE = EC で BE = ED とする。
  (増加を押す)

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

AE = CE で
BE = DE で
∠AEB = ∠CED なので
この二つの三角形は合同である。

  (増加を押す)

故に AB = CD である。
また ∠EAB = ∠ECD
つまり ∠CAB = ∠ACD である。
これより AB と DC は平行である。
以上より (2) を得る。

戻る