勾股定理模型用途