勾股定理应用