証明
(2) とする。
つまり AB と DC が平行で AB = DC とする。
(増加を押す)
僊BE と 僂DE において
(増加を押す)
AB と DC が平行なので
∠BAC = ∠DCA で
∠CAB = ∠ACD である
つまり ∠BAE = ∠DCE で。
∠EAB = ∠ECD である。
また AB = CD である。
よって、この二つの三角形は合同である。
故に AE = CE かつ BE = DC を得る。
つまり (5) が示せた。
戻る