勾股定理。

直角三角形的斜边长度用勾股定理求，即斜边的平方等于两个直角边的平方和，前提是两个直角边是已知的。

用三角函数求斜边长度，是勾股定理的变形。