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 としてよい。