@ComeIntoPower

哦，明白了，谢谢管理大大!!

总算能把我的spfa优化发上来了吧...

@ComeIntoPower https://www.luogu.org/blog/lhc/TheStoryOfPythagoreanTriples
基本改好QAQ

本原勾股数组处不知哪里冒出一个r，是写挂了吗（

原来一不小心把t写成r
现在改好了QAQ

先吹一波链接，吹完之后依次讲述“高斯整数”的概念（定义在复平面）问题如何得到转化；然后讲一下费马平方和定理以及高斯整数的唯一分解定理；然后讲述算答案的过程(2,4k+1,4k+3各自如何处理)

把定理、定义放前置知识中了
剩下的全部重新写过了QAQ

下面的“另一个推法”是不是忘了说明“为什么x,y是有理数的时候m一定是有理数”？

感觉这个比较容易说明，然后就忘了QAQ
不过好像真的写不了多少 补上一张图表应该能说明吧。。。）

ok

@Sinner 额，你好像证明的是“m是有理数->x,y是有理数”，但是应该证明“x,y是有理数->m是有理数”，，，

@ComeIntoPower 不是应该自己确定一个m，然后才能确定x、y呀。。。

x、y都是由m推出来的呀

$x=\frac {1-m^2}{1+m^2}$

我的思路好像是这样的
$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$的解

再投一遍,就不at管理员了,如果是不合格请管理员at我指出我的不足,感激不尽 https://www.luogu.org/blog/Quank-The-OI-er/archlinux-intro-for-oier