发现毕达哥拉斯三元组:欧几里得公式。