【解答】
与えられた方程式
について考える.係数が整数だから2つの虚数解はお互いに複素共役であり,または解ではない.
そこで2つの整数解を,2つの虚数解をとおく.解と係数の関係から
である.(式4)はさらに変形して(式3)より
題意よりが整数だから(式2)より
である.よって(式5)より
が従う.しかるに(式3)において が全て整数だから
である.
図 1: 単位円上のとを満たす点
そこでとおくと,(式8)より
だが,このうちつまりの時はが実数になって不適なので
である.
以下,が(式10),(式12)の時に解と係数の関係(式2),(式5),(式7)を満たすかどうかを調べる.
以上から,複号同順として求めるの組は
である.