这是本文档旧的修订版!
首先题解中给出了一个可以除以二的操作序列:8k → 15k → 12k → 5k → 4k 。
然后我们考虑一个勾股数的表示方法为 $(2pq,p^2-q^2,p^2+q^2)$ ,那么对于我们现在的 $2^{c}pq$ 可以用其变成 $2^{c+1}*\frac{p+q}{2}*\frac{p-q}{2}$ 。