斜边被垂线分成的两段长度的乘积等于垂线长度的平方。