勾股定理是中国人首先发现的吗?