在Rt三角形ABC中,
因为∠A=90°（垂直定义）
所以AB^2+AC^2=BC^2（勾股定理）