勾股定理在实际生活中有什么应用