説明 　�僊BC と �僖EF において BC = EF, ∠ABC = ∠DEF,∠BCA = ∠EFD　とする。 必要とあらば �僖EF や �僊BC をひっくり変えて A,B,C や D,E,F が 反時計回りに並んでいるとしてよい。 　　(増加を押す) �僖EF を EF が BC に重なるように 平行移動と回転をする。 (DF = AC なので、可能) D の移ったさきを G とおく。 ∠GEF = ∠DEF = ∠ABC なので G は半直線 BA 上にある。 ∠BCG = ∠EFD = ∠BCA なので G は半直線 BC 上にある。 よって G と A は一致する。 よって �僊BC と �僖EF は合同である。 　 戻る