説明

 ⊿ABC と ⊿DEF において
AB = DE, BC = EF, CA = FD とする。

  (増加を押す)

B を中心として半径 BA の円と
C を中心として半径 CA の円との
A 以外の交点を G とする。
⊿DEF を EF が BC に重なるように
平行移動と回転をする。
(EF = BC なので、可能)
このとき
⊿DEF は ⊿ABC に移るかまたは
⊿GBC に移る。
⊿GBC は ⊿ABC を BC を軸にして
折り曲げたものである。
よって ⊿ABC と ⊿DEF は合同である。

 
戻る