一道勾股定理题