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

05/22/2021数学Ａ

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

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

1. 過去問を解いてみよう
2. ピタゴラス数
3. 合同式のまとめ
4. Recommended books

過去問を解いてみよう

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

問題

$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$ の倍数である。

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

問題(3)の解答・解説

問題(3)

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

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

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

問題(3)では、４の倍数を考えるので、４で割った余りで分類したいところです。

しかし、問題(1)の結果を参考にすると、どうも上手くいかないようです。確認のため４で割った余りで考えてみます。

４で割った余りで考える

任意の自然数 $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}

$a \ , \ b$ が $4$ の倍数でないとすると、表から

\begin{align*} &\quad a^{\scriptsize{2}} \equiv 0 \ \text{または} \ 1 \pmod 4 \\[ 10pt ] &\quad b^{\scriptsize{2}} \equiv 0 \ \text{または} \ 1 \pmod 4 \end{align*}

であるので

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 0+0=0 \pmod 4 \end{equation*}

または

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 0+1=1 \pmod 4 \end{equation*}

または

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 1+1=2 \pmod 4 \end{equation*}

これと①から

\begin{equation*} \quad c^{\scriptsize{2}} \equiv 0 \ , \ 1 \ , \ 2 \pmod 4 \quad \cdots \text{②} \end{equation*}

ここで、$(1)$ より $c$ は奇数であるので

\begin{equation*} \quad c \equiv 1 \ , \ 3 \pmod 4 \end{equation*}

よって

\begin{equation*} \quad c^{\scriptsize{2}} \equiv 1 \pmod 4 \quad \cdots \text{③} \end{equation*}

②と③は

\begin{equation*} \quad c^{\scriptsize{2}} \equiv 1 \pmod 4 \end{equation*}

のときにともに成り立つので矛盾しない。

よって、矛盾を引き出せない。

ａ，ｂが４の倍数でないという条件から得られた②式と、ｃが奇数であるという条件から得られた③式では、４で割った余りが１となる結果では矛盾しません。ですから、４で割った余りでは上手く矛盾を引き出せません。

４が駄目だったので、８で割った余りで分類します。

問題(3)の解答例

(1)と同様に、任意の自然数を $n$ とする。

$n$ を $8$ で割った余りを考えると

\begin{equation*} \quad n \equiv 0 \ , \ \pm 1 \ , \ \pm 2 \ , \ \pm 3 \ , \ 4 \pmod 8 \end{equation*}

のいずれかが成り立つ。

このとき、$n^{\scriptsize{2}}$ を $8$ で割った余りは表のようになる。

\begin{array}{c|c|c|c|c|c} n & 0 & \pm 1 & \pm 2 & \pm 3 & 4 \\ \hline n^{\scriptsize{2}} & 0 & 1 & 4 & 1 & 0 \end{array}

ここで、$a \ , \ b$ が $4$ の倍数でないとすると、表から

\begin{align*} &\quad a^{\scriptsize{2}} \equiv 1 \ \text{または} \ 4 \pmod 8 \\[ 10pt ] &\quad b^{\scriptsize{2}} \equiv 1 \ \text{または} \ 4 \pmod 8 \end{align*}

であるので

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 1+1=2 \pmod 8 \end{equation*}

または

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 1+4=5 \pmod 8 \end{equation*}

または

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}} \equiv 4+4=8 \equiv 0 \pmod 8 \end{equation*}

これと①から

\begin{equation*} \quad c^{\scriptsize{2}} \equiv 0 \ , \ 2 \ , \ 5 \pmod 8 \quad \cdots \text{②} \end{equation*}

ここで、$(1)$ より $c$ は奇数であるので

\begin{equation*} \quad c \equiv \pm 1 \ , \ \pm 3 \pmod 8 \end{equation*}

よって

\begin{equation*} \quad c^{\scriptsize{2}} \equiv 1 \pmod 8 \quad \cdots \text{③} \end{equation*}

②と③は矛盾するので、$a \ , \ b$ の $1$ つは $4$ の倍数である。

（ただし、$a \ , \ b$ がともに $4$ の倍数となると、$( \ast )$ と矛盾する。）

平方前の数が４の倍数である場合、平方数は 16 の倍数となります。ただ、16 で割った余りで分類するとなると、かなり細かく分類されることになります。そこでもう少し分類が楽になるように、８で割った余りで分類します。

８で割った余りで上手く証明できたことを考えると、「２の倍数」や「４の倍数」と言われても、２や４で割った余りで分類する必要はないということです。

どうしても矛盾を引き出せない場合、たとえば２の倍数で４、４の倍数で８などのように、数字を大きくして少しだけ細かく分類しましょう。

大切なことは「矛盾を引き出せる分類ができるか」です。

ピタゴラス数

問題に出てきた式を満たす自然数の組のことをピタゴラス数と言います。特に、３つの自然数の最大公約数が１のものを原始ピタゴラス数と言います。

ピタゴラス数

\begin{equation*} \quad a^{\scriptsize{2}}+b^{\scriptsize{2}}=c^{\scriptsize{2}} \end{equation*}

を満たす自然数 $a \ , \ b \ , \ c$ の組をピタゴラス数と言う。

特に、どの $2$ つも $1$ 以外の共通な約数をもたない自然数の場合、原始ピタゴラス数と言う。

たとえば

\begin{equation*} \left( a \ , \ b \ , \ c \right)=\left( 3 \ , \ 4 \ , \ 5 \right) \ , \ \left( 5 \ , \ 12 \ , \ 13 \right) \end{equation*}

は原始ピタゴラス数である。

合同式のまとめ

覚えておきたい合同式の定義とその性質は、以下の通りです。

合同式のまとめ

合同式
- $a-b$ が $m$ の倍数であるとき、$a \ , \ b$ は $m$ を法として合同であるといい、$a \equiv b \pmod m$ と式で表す。このような式を合同式という。
合同式の性質①
- 反射律　$a \equiv a \pmod m$
- 対称律　$a \equiv b \pmod m$ のとき、$b \equiv a \pmod m$
- 推移律　$a \equiv b \pmod m \ , \ b \equiv c \pmod m$ のとき、$a \equiv c \pmod m$ または $a\equiv b \equiv c \pmod m$
合同式の性質②　$a \equiv b \pmod m \ , \ c \equiv d \pmod m$ のとき、次のことが成り立つ。
- $a+c \equiv b+d \pmod m$
- $a-c \equiv b-d \pmod m$
- $ac \equiv bd \pmod m$
- 自然数（０以上の整数も可） $n$ に対し　$a^n \equiv b^n \pmod m$

数学Ａ｜整数の問題で合同式を使ってみよう

合同式は学習指導要領の範囲外の内容ですが、整数の問題を考えるときにとても有用なものなので、マスタ ...

https://www.hibikore-tanren.com/congruence/

Recommended books

整数の性質を扱った問題は、難関大なら必修でしたが、センター試験でも扱われるようになりました。

難しく感じる人もいるかもしれませんが、複雑な公式や図形を扱うことがないので、その気になれば得点源にできる単元です。単元別の問題集で集中的に取り組んでマスターしましょう。

これから紹介する教材で気になるものがあれば、ぜひ一読してみて下さい。気に入ったら最後まで徹底的にこなしましょう。

オススメその１

『２週間で完成！整数問題入試対策編』は、教科書レベルから始めて大学入試の実戦レベルまで、最大効率で習得できる問題集です。新課程の整数問題に対応しています。問題数が４７題なので、短期間でこなしたいなら候補に入れて良いでしょう。

【教科書編】
問題数１６題。新課程版教科書「整数の性質」の項目に沿って配置。
教科書編項目:約数と倍数/約数の個数と総和/最大公約数と最小公倍数/剰余による分類/ユークリッドの互除法とディオファントス方程式/ｐ進法/循環小数/合同式/部屋割り論法
【実戦問題のレベル別編】
初級編２０題、中級編５題、上級編６題。
難関大学の整数問題に十分対処できるようにすることを目標として作成。
できる限り数学１・数学Ａの範囲にとどめるように問題を選択。
ただし、二項定理・高次の多項式の因数分解・数列の問題あり。

数学１・Ａの範囲内にとどめるように配慮されているおかげで、数学１・Ａの学習直後から取り組めます。学習したてなら苦手意識がつく前なので、スムーズに取り組めるでしょう。

２週間で完成！整数問題入試対策編

created by Rinker

オススメその２

『教科書だけでは足りない大学入試攻略整数』では、入試の整数問題１０００題から選ばれた問題が収録されています。例題、類題、力試し問題と３ステップで進めていけるので、自分の学力に合わせて周回できます。解答例や解説は、高校までに学んだ知識だけで理解できるように配慮されているので、数学が苦手な人にも取り組みやすくなっています。

整数問題は、難関大入試では頻出で、しかも教科書の問題と入試とではそのレベルの差が激しい分野のひとつです。また、経験値がものをいう問題が多いことも確かです。そこで、ここ数十年の大学入試の整数問題約１０００題の中からぜひやっておきたい問題を例題、類題、力だめし問題として計８１題セレクトしました。
高校までに学んだ知識だけで理解できる解説、解答例を作成しています。

定石を身に付けつつ、入試を想定した問題を解いてみたいのなら候補に入れて良いでしょう。