長方形 ABCD より ∠A = 90°、AB = CD、AD ∥ BC。
折り返しで △BCD ≡ △BED なので、
- ∠BED = ∠BCD = 90°
- BE = BC、DE = DC
**① 角の関係**
△FAB と △FDE において、
- ∠FAB = 90°(長方形の角)
- ∠FED = ∠BED = 90°(折り返しの角。F は線分 BE 上にあるため)
よって ∠FAB = ∠FED = 90° …①
**② もう1組の角**
∠AFB と ∠EFD は対頂角なので、
∠AFB = ∠EFD …②
(F は AD と BE の交点で、A−F−D、B−F−E の順に並ぶ。)
**③ 結論**
①②より、2組の角がそれぞれ等しいので、
**△FAB ∽ △FDE** (終)
らしいよ