为什么用勾股定理求边长要开方