什么是勾股定理的应用