上から3番目の証明
△ABEと△CD′Eにおいて
長方形は向かい側の辺が等しいのでAB=CD′…①
長方形は１つの角が90°なので角ABE=角CED′…②
対頂角は等しいので
角AEB=角CED′…③
②③より角BAE=角ECD′…④
①②④より１組の辺とその両端の角がそれぞれ等しいので△ABE≡△CD′E◾︎
一番下の証明
△ABFと△DECにおいて
△ABC≡△DEFより、合同な三角形の対応する角と辺はそれぞれ等しいので
AB=DE…①
角ABF=角DEC…②
BF= BCーCF
EC=EFーCF
BC=EF
よってBF=EC…③
①②③より2組の辺とその間の角がそれぞれ等しいので△ABF≡△DEC◾︎
