写成 a2+b2=k(ab+1)a^2+b^2=k(ab+1)a2+b2=k(ab+1)，其中 k=a2+b2ab+1∈Z>0k=\frac{a^2+b^2}{ab+1}\in\mathbb Z_{>0}k=ab+1a2+b2∈Z>0。固定 k，在所有正整数解中选取 min(a,b)\min(a,b)min(a,b) 最小者。由对称性设 b≤ab\le ab≤a。