勾股定理(难)