勾股定理的近义词