証明

(3) とする。
つまり AB = DC で AD = BC とする

  (増加を押す)

対角線 AC を引く
  (増加を押す)

僊BC と 僂DA において
  (増加を押す)

 BC = DA で
 AB = CD であり
 AC = CA なので
この二つの三角形は合同である。

  (増加を押す)

よって
  ∠BAC = ∠DCA を得る。
よって AB と DC が平行である。
AB = DC であったので (2) を得る。
戻る