1. 問題の内容
とする。 が素数となるような自然数 の組は何組あるか。
2. 解き方の手順
まず、 の式を因数分解する。
\begin{align*}
p &= a^2 - 2a + 2ab + b^2 - 2b \\
&= a^2 + 2ab + b^2 - 2a - 2b \\
&= (a+b)^2 - 2(a+b) \\
&= (a+b)(a+b-2)
\end{align*}
が素数であるためには、 と のいずれか一方が1でなければならない。
と は自然数なので、 である。
したがって、 でなければならない。
このとき、 となる。
すると、 となり、これは素数である。
となる自然数 の組を考える。
のとき
のとき
したがって、 の2組である。
3. 最終的な答え
2組