我的思路好像是这样的
$a^2+b^2=c^2 \to$
$x^2+y^2=1\to$
有一组解为(1,0)

引入变量m使得y=m(x-1)(当然也可以是另一个)$\to$
选取m的值$\to$
确定x、y的值也就是$x^2+y^2=1$的解(1,0)除外 $\to$
求出$a^2+b^2=c^2$的解