就是恒等变形，用了等差数列求和公式，1+2+…+k = k(k+1)/2
然后(2k+1)² = 4k(k+1)+1 = 8×k(k+1)/2 + 1
= 8(1+2+…+k)+1
不过n应该是奇数吧，不然的话从前一个方程可以推出后一个，但没法从后一个推出前一个，就不等价了

这个题目确实有问题，后一个同余方程应该是模8n