先假设一个直角三角形，然后使其两直角边与三角形ABC的两条较短边相等，之后既可得这两个三角形全等（SAS），既三角形ABC为直角三角形。

勾股定律又称勾股弦定理、勾股定理，是一个基本的几何定理，指直角三角形的两条直角边长（古称勾长、股长）的平方和等于斜边长（古称弦长）的平方。