直角三角形の合同
僊BC と 僖EF において
∠C = 90°, ∠F = 90°
AB = DE
AC = DF
とするとき
僊BC と 僖EF とは合同である。
二つの直角三角形において
斜辺同士の長さが等しくて
もう一組の辺の長さが等しいとき
その二つの三角形は合同である。
証明