毕达哥拉斯三元组的解