勾股定理的验证方法有几种?