方針
3式を引き算して,, を得る。 なら となって矛盾するので, に帰着する。あとは を2次方程式の2根と見て,判別式が非負の平方数になる を調べる。
解答
第1式から第2式を引くとであるからを得る。同様に第2式から第3式を引くとである。もし なら かつ であり, となる。しかしこのとき第1式は となり矛盾する。したがってである。
条件 と和が であることから である。また であり,第3式から である。よって は2次方程式の2つの整数解である。この判別式はである。 かつ より のみを調べればよい。
のとき で平方数でない。 のとき で,解は であるが を満たさない。 のとき で, を得る。 のとき で, を得る。
よって求める組はである。
別解
解法2
方針
差を取って を得た後, を1本目へ代入する。正定値二次形式 の整数解を直接絞り,順序条件で選ぶ。
解答
3式の差からもし なら となって という矛盾が生じる。よってしたがって であり,第1式はすなわちとなる。左辺はなので である。さらに と和が0であることから だから を調べればよい。
各 について を解くと,順序条件を満たすのはである。 を戻して
総評
難度5,計算量5。想定時間は18分程度。対称な連立方程式を差で崩し,和 を導くところが山場である。その後は を2次方程式の解として扱えば探索は短くなる。採点点は, の矛盾確認, と判別式による候補制限,最後の順序条件 の確認である。