探索勾股定理的一个直角边怎么算出来