三平方の定理を逆にすると「3辺の長さがa,b,cの三角形において c2=a2+b2 が成り立つならば、△ABCはcを斜辺とする直角三角形となる。」
　c2=a2+b2 が成り立っている三角形を作るとともに、ｘ2=a2+b2 が成り立っている直角三角形を作り、２つの三角形の合同の証明をもとにして
　C=X　を導きだします。
　これができれば、７ｃｍ　８ｃｍ　９ｃｍの三角形は直角三角形かすぐに分かります。