勾股定理性质及定义举例