数学Ａ｜意外と苦手な人が多い整数に関する入試問題を解いてみよう

数学Ａ

入試問題にチャレンジ

整数に関する問題を苦手にしている人は意外と多いかもしれません。中には、整数なのにどうして文字式が出てくるんだと憤慨している人もいるかもしれません。

具体的な数であれば文字式を必要としませんが、一般化して整数全体を扱うには文字式がどうしても必要です。まずは典型的な問題からこなしていって、整数問題の基本的な扱い方をマスターすることが大切です。

過去問を解いてみよう

まずは力試しに自力で解いてみると良いでしょう。

問題

$a \ , \ b \ , \ c$ はどの $2$ つも $1$ 以外の共通な約数をもたない正の整数とする。

$a \ , \ b \ , \ c$ は $a^{\scriptsize{2}}+b^{\scriptsize{2}}=c^{\scriptsize{2}}$ を満たしている。

$(1) \ c$ は奇数であることを示せ。

$(2) \ a \ , \ b$ の $1$ つは $3$ の倍数であることを示せ。

$(3) \ a \ , \ b$ の $1$ つは $4$ の倍数であることを示せ。

見るからに整数問題です。自分なりにじっくりと試行錯誤してみましょう。

問題(1)の解答・解説

問題(1)

$a \ , \ b \ , \ c$ はどの $2$ つも $1$ 以外の共通な約数をもたない正の整数とする。

$a \ , \ b \ , \ c$ は $a^{\scriptsize{2}}+b^{\scriptsize{2}}=c^{\scriptsize{2}}$ を満たしている。

$c$ は奇数であることを示せ。

問題(1)では、ｃが奇数であることを示す問題です。まずは平方数の偶数・奇数の組合せを確認してみましょう。

偶数・奇数の組合せ

  • 偶数＋偶数＝偶数
  • 偶数＋奇数＝奇数（奇数＋偶数＝奇数）
  • 奇数＋奇数＝偶数

自然数を偶数と奇数の２種類に分類して平方数の和を考えると、上記の組合せになります。ただし、ａ，ｂ，ｃはどの２つも１以外の共通な約数をもたない、言い換えると互いに素であるので、１番目の組合せは除外できます。

与式が三平方の定理の式であることに気付けば、3：4：5 や 5：12：13 などが思い当たります。この組合せから３番目の組合せも除外できそうです。

しかし、偶数を２ｍ、奇数を２ｍ＋１などとおけば、２番目の組合せだけを示すことはできそう（実際にできる）ですが、少し説明に手間取りそうです。

このような問題では、ｃが奇数である前提で考えるよりも、偶数であると仮定して矛盾を引き出す方が取り組みやすいです。背理法の考え方です。

具体的な自然数で考えてみよう

具体的な正の整数、すなわち自然数を使って考えてみましょう。

偶数か奇数かを考える場合、一番取っ付き易いのが「２で割り切れるかどうか」です。除法が出てきたら合同式です。合同式を利用してみましょう。

合同式を利用する

\begin{align*} &\text{任意の自然数を $n$ とする。} \\[ 5pt ] &\text{$n$ を $2$ で割った余りを考えると} \\[ 5pt ] &\quad n \equiv 0 \ , \ 1 \pmod 2 \\[ 7pt ] &\text{のいずれかが成り立つ。} \\[ 5pt ] &\text{このとき、$n^{\scriptsize{2}}$ を $2$ で割った} \\[ 5pt ] &\text{余りは表のようになる。} \end{align*} \begin{array}{c|c|c} n & 0 & 1 \\ \hline n^{\scriptsize{2}} & 0 & 1 \end{array} \begin{align*} &\text{$c$ が偶数であるとすると} \\[ 5pt ] &\quad c^{\scriptsize{2}} \equiv 0 \pmod 2 \\[ 7pt ] &\text{であるが、表から} \\[ 5pt ] &\quad a^{\scriptsize{2}} \equiv 0 \ , \ b^{\scriptsize{2}} \equiv 0 \pmod 2 \\[ 7pt ] &\quad a^{\scriptsize{2}} \equiv 1 \ , \ b^{\scriptsize{2}} \equiv 1 \pmod 2 \\[ 7pt ] &\text{のどちらの場合であっても} \\[ 5pt ] &\quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 0 \pmod 2 \\[ 7pt ] &\text{が成り立ち、矛盾を引き出せない。} \end{align*}

やってはみましたが、２で割ったときの合同式では上手くいかないようです。先ほど考えた３番目の組合せが出てきてしまうからです。どうやら、２で割った分類では緩すぎて絞り込めないようです。

ここで諦めてはいけません。２で駄目なら、４で割ったときの合同式で考えます。ｃが偶数であるとき、その平方数は４の倍数となることがヒントです。

問題(1)の解答例

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}}=c^{\scriptsize{2}} \quad \cdots \text{①} \end{equation*}
$a \ , \ b \ , \ c$ は どの $2$ つも互いに素な正の整数 $( \ast )$
任意の自然数を $n$ とする。
$n$ を $4$ で割った余りを考えると
\begin{equation*} \quad n \equiv 0 \ , \ 1 \ , \ 2 \ , \ 3 \pmod 4 \end{equation*}
のいずれかが成り立つ。
このとき、$n^{\scriptsize{2}}$ を $4$ で割った余りは表のようになる。
\begin{array}{c|c|c|c|c} n & 0 & 1 & 2 & 3 \\ \hline n^{\scriptsize{2}} & 0 & 1 & 0 & 1 \end{array}
$c$ が偶数であるとすると、
\begin{equation*} \quad c^{\scriptsize{2}} \equiv 0 \pmod 4 \end{equation*}
であるから、①より
\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 0 \pmod 4 \end{equation*}
が成り立つのは、表より
\begin{equation*} \quad a^{\scriptsize{2}} \equiv 0 \ \text{かつ} \ b^{\scriptsize{2}} \equiv 0 \pmod 4 \end{equation*}
のときだけである。
このとき、$a \ , \ b$ はともに偶数なので、$( \ast )$ と矛盾する。
よって、$c$ は奇数である。

４で割った余りで分類しているので、平方数を４で割った余りが１だと、その和を４で割った余りは表から２となります。 ここが ２で割った余りと異なります。

平方前の正の整数で、偶数の最小値は２です。ですから、平方後の偶数の最小値は４となります。ここに気付いていれば、４で割った余りで分類しても良さそうだと思えたかもしれません。

問題(2)の解答・解説

問題(2)

$a \ , \ b \ , \ c$ はどの $2$ つも $1$ 以外の共通な約数をもたない正の整数とする。

$a \ , \ b \ , \ c$ は $a^{\scriptsize{2}}+b^{\scriptsize{2}}=c^{\scriptsize{2}}$ を満たしている。

$a \ , \ b$ の $1$ つは $3$ の倍数であることを示せ。

問題(2)では、３の倍数を考えるので、３で割った余りで分類します。ただ、ａ，ｂの１つが３の倍数であることを示すのは、なかなか難しそうです。問題(1)と同じように、矛盾を引き出すやり方で解きます。

問題(2)の解答例

(1)と同様に、任意の自然数を $n$ とする。
$n$ を $3$ で割った余りを考えると
\begin{equation*} \quad n \equiv 0 \ , \ 1 \ , \ 2 \pmod 3 \end{equation*}
のいずれかが成り立つ。
このとき、$n^{\scriptsize{2}}$ を $3$ で割った余りは表のようになる。
\begin{array}{c|c|c|c} n & 0 & 1 & 2 \\ \hline n^{\scriptsize{2}} & 0 & 1 & 1 \end{array}
$a \ , \ b$ が $3$ の倍数でないとすると、表から
\begin{equation*} \quad a^{\scriptsize{2}} \equiv 1 \ , \ b^{\scriptsize{2}} \equiv 1 \pmod 3 \end{equation*}
であるので
\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 2 \pmod 3 \end{equation*}
これと①から
\begin{equation*} \quad c^{\scriptsize{2}} \equiv 2 \pmod 3 \end{equation*}
となるが、これは表から成り立たない。
したがって、$a \ , \ b$ の $1$ つは $3$ の倍数である。

ａ，ｂがともに３の倍数でない場合、ｃの平方数は、３で割った余りが２となる数です。このような数は、表の結果から存在しません。ここで矛盾が生じるので、上手く証明することができました。

数学Ａ合同式,整数の性質,入試問題

Posted by kiri