勾股定理的验证及简单的应用