什么情况下用到勾股定理