説明 　�僊BC と �僖EF において AB = DE, BC = EF, CA = FD　とする。 　　(増加を押す) B を中心として半径 BA の円と C を中心として半径 CA の円との A 以外の交点を G とする。 �僖EF を EF が BC に重なるように 平行移動と回転をする。 (EF = BC なので、可能) このとき �僖EF は �僊BC に移るかまたは �僭BC に移る。 �僭BC は �僊BC を BC を軸にして 折り曲げたものである。 よって �僊BC と �僖EF は合同である。 　 戻る