●証明例1
△EBFと△GDHで
H,Fは平行四辺形の対辺の中点なので
BF=DH ・・・ ①
E,Dは平行四辺形の対辺の中点なので
BE=DG ・・・ ②
平行四辺形の対角なので
∠EBF=∠GDH ・・・ ③
①,②,③ より
2組の辺とその間の角がそれぞれ等しく
△EBF≡△GDH
合同な図形の対応する辺なので
EF=GH
●証明例2(中点連結定理は3年)
四角形EFGHで
E,Fは△ABCの辺BA,BCの中点なので
中点連結定理より、
EF//AC,EF=(1/2)AC ・・・ ①
H,Gは△ADCの辺DA,DCの中点なので
中点連結定理より、
HG//AC,HG=(1/2)AC ・・・ ②
①,②より
EF//HG,EF=HG
1組の対辺が平行で、長さが等しく
四角形EFGHは平行四辺形
平行四辺形の対辺なので
EF=GH