三垂线定理，也叫勾股定理，是指在直角三角形中，斜边上的高、直角边及斜边组成的垂线三线段长度之间的关系，即：
设直角三角形的两直角边长分别为 $a$ 和 $b$，斜边长为 $c$，则有：
$c^2=a^2+b^2$，其中 $c$ 为斜边长。
$a^2=c^2-b^2$，其中 $a$ 为直角边长。
$b^2=c^2-a^2$，其中 $b$ 为直角边长。