証明
(5) とする。
つまり AE = EC で BE = ED とする。
(増加を押す)
僊BE と 僂DE において
(増加を押す)
AE = CE で
BE = DE で
∠AEB = ∠CED なので
この二つの三角形は合同である。
(増加を押す)
故に AB = CD である。
また ∠EAB = ∠ECD
つまり ∠CAB = ∠ACD である。
これより AB と DC は平行である。
以上より (2) を得る。
戻る