大学入学共通テスト 2017年(平成29年) 試行調査 数学ⅠA 第5問 解説

(1)

まずは、方盤の作り方を理解するための導入問題だ。

n=8で、図3の方盤のAのマスは6行目の3列目。
よって、
(6×3)÷8=18÷8
(6×3)÷8=32
より、当てはまる数は
2
である。

解答ア:2

5行目に並ぶ数は、左から
(51)÷8=05
(52)÷8=12
(53)÷8=17
(54)÷8=24
(55)÷8=31
(56)÷8=36
(57)÷8=43
なので、1が書かれているのは
5
列目。

解答イ:5

(2)

このタイプの問題を解き慣れていると、
「きっと答えは③の素数だ」
って見当がつく。

けれど、見当がつかなかった場合は、あれこれ考えるよりもやってみた方が早い。


選択肢を見ると、④と⑤は見た瞬間に誤りだと分かる。
n=4のときの方盤である図2を見ると、0がある。
4は素数じゃないのに方盤に0があるから、④は不適。 n13n4は互いに素なのに方盤に0があるから、⑤は不適。

なので④と⑤は除外して、⓪~③の場合をやってみる。


まず、⓪の場合。

3以上の奇数は小さい方から
3579
だけど、357は素数だからパスして、9でやってみよう。

このとき、1k818だけど、
{k=3=3
のとき、k=9なのでマスの値は0だ。
方盤に0が現れるので、不適。


①の場合。

4で割って3余る3以上の整数は、小さい方から
371115
だけど、3711は素数だからパスして、15でやってみよう。

このとき、1k14114だけど、
{k=3=5
のとき、k=15なのでマスの値は0だ。
方盤に0が現れるので、不適。


②の場合。

⓪でやってみたn=9は、2の倍数でも5の倍数でもない整数だけど、方盤に0が現れるので不適。


以上より、③以外の選択肢は全部、命題
「その選択肢であれば、方盤に0が現れない」
の反例が見つかった。

なので、③以外は、方盤に0が現れないための十分条件ではない。

必要十分条件とは、必要条件かつ十分条件だから、十分条件でなければ必要十分条件ではない。

よって、選択肢に必要十分条件が含まれているなら、

しかない。

解答ウ:3

別解

この問題のように、選択肢の中から答えを見つけるだけなら、上の方法がシンプルでお勧め。

だけど、これだと
③以外は必要十分条件ではない であることは示していても、
③が必要十分条件である ことは示していない。

なので、記述問題の場合は思いっきり減点される。
記述問題では、③が必要十分条件であることを示す必要がある。

示し方は何通りもあるけれど、マークシート問題としては不要でもあるし、一通りだけ載せておく。


方盤に0がない(ある)  nは素数である(ない)
よりも
nは素数である(ない) 方盤に0がない(ある)
の方が解説が簡単なので、こっちを説明する。


nが素数の場合

nの正の約数は
1n
のふたつだけしかない。

また、
1kn1
1n1
なので、knになることはない。

なので、knの倍数になることはないから、knで割り切れることはない。

よって、
nが素数であれば、方盤に0は現れない といえる。
つまり、nが素数であることは、方盤に0が現れないことの十分条件である。


nが合成数(1でも素数でもない自然数)の場合

nが合成数なら、1n以外の正の約数kが存在する。
k1より大きく、nの約数なのでnより小さい数だから、
2kn1
とかける。

knの約数なので、nkで割り切れる。
これを、
=nk
と表すと、は整数で、n1より大きくnより小さい数で割った商だから、
2n1
である。

以上より、nが合成数なら、1kn11n1の範囲で
k=n
となるkが存在する。
つまり、方盤中に必ずknで割り切れるマスが存在する。

したがって、
nが合成数なら、方盤に0が現れる といえる。

この対偶は
方盤に0が現れるnが合成数である だけど、この問題では3nなので、
nが合成数である=nが素数である
といえるから、上の対偶は
方盤に0が現れない  nは素数である とかける。

よって、nが素数であることは、方盤に0が現れないことの必要条件である。


以上より、nが素数であることは、方盤に0が現れないことの必要条件かつ十分条件なので、
方盤に0が現れないための必要十分条件は

である。

解答ウ:3

(3)

(i)

方盤の27行目の列目は値が1なので、
27÷56=1
より
27=56×+1
2756×=1
とかける。

この商を整数mとおくと、
2756m=1式A
とかけるから、求めるは式Aの整数解のうち、
155
を満たすものである。

解答エ:0


(ii)

式Aの一次不定方程式を解く。

まず、解をひとつ見つけよう。

mの係数の2756でユークリッドの互除法を行うと、
56÷27=22式B1
27÷2=131式B2

これを「=余り」の形に変形して、
56272=2式B1'
27213=1式B2'

式B2'に式B1'を代入して、
27(56272)13=1
より
275613+27213=1
27(1+213)5613=1
27275613=1式C
ができる。

式Cより、解のひとつは
(,m)=(27,13)
だ。

式Aから式Cを辺々引くと、

2756m=1
)27275613=1
27(27)56(m13)=0

となるから、
27(27)=56(m13)式D
とかける。

ここで、2756は互いに素なので、式Dが成り立つためには、jを整数として
{27=56jm13=27j
でなければならない。

以上より、一次不定方程式Aの解は、jを整数として
{=56j+27m=27j+13式E
である。


いま求めているのは、Aの整数解のうち
155
であるもの。

なので、このに式Eを代入すると
156j+2755
より
2656j28
2656j2856
と表せるから、これを満たす整数j
j=0
しかない。

これを式Eに代入して、求める、つまり列は
=560+27
=27
である。

解答オ:2, カ:7

(4)

(i)

24行目の左から列目が0であるのは、2456の倍数のとき。
このとき、jを整数として
24=56j式F
と表せる。

ここで、2456の最大公約数を考えると

2)2456
2)1228
2)614
37

より、最大公約数は
23
である。

なので、式Fは、両辺を最大公約数の23で割って
3=7j式F'
と変形できる。

ここで、37は互いに素なので、式F'が成り立つためには、
7の倍数 でなければならない。

解答キ:7


いま
155
なので、この中に7の倍数が何個あるか数えれば、それが0の個数だ。

よって、0の個数は
557=7.8
より
7
である。

解答ク:7


(ii)

(i)の方法を振り返ってみると、
0の個数は、557で割った整数部分 その7は、2456の最大公約数で56を割った商 だった。

ということは、k行目の0の個数は、
k56の最大公約数を求めて、 その最大公約数で56を割った商を求めて、 その商で55を割った値の整数部分 と考えられる。

k56の最大公約数をAとして上の方法を式にすると、k行目の0の個数は
5556A=55A56の整数部分式G
とかける。


今は0の個数が一番多い行を探している。
これは、式Gより
55A56の整数部分
が一番大きな数になる行を探している
と言いかえられる。

さらに、
5556は定数なので、
Aが大きいほど55A56も大きい。
といえる。

以上より、k56の最大公約数が最も大きいk行目が、0の個数が一番多い行だ。


56を素因数分解すると
56=237
である。

いま、kの範囲は
1k55式H
だから、最大公約数が56になるのは無理。

なので、k56の最大公約数Aが最も大きくなるのは
A=227
のとき。

このとき、kAの倍数だから、jを整数として
k=227j
k=28j
とかける。

このkが式Hの範囲に入るのは、j=1のときで、
k=28
である。

解答ケ:2, コ:8

(5)

面倒だけど、選択肢をひとつずつ検討しよう。


式Gより、k行目に現れる0の個数は、k56の最大公約数をAとして、
55A56の整数部分 だった。

556の最大公約数は
1
なので、0の個数は、
55156<1
より、0個。

よって、⓪は誤り。

また、このことから、
k56が互いに素であれば、k行目には0が現れないルールA ことが分かる。


⓪と同様に考える。

656の最大公約数は
2
なので、0の個数は
1<55256<2
より、1個。

よって、①は正しい。


(3)では、27行目の何列目が1になるかは
2756m=1式A
の整数解から求めた。

同様に考えて、k行目の何列目が1になるかは
k56m=1式I
の整数解から求められる。

いまはk=9のときを考えているので、式Iのk9を代入した
956m=1
を解いてみて、
155
である整数解があれば、9行目に1がある。

でも、そんな面倒なことはしたくない。
他の方法を考えよう。


ここで、一次不定方程式が解を持つ条件の復習をしておくと、

復習

ax+by=1xyの整数解を持つ
          
abが互いに素

だった。

復習より、k=9のとき、
9=32

56=237
は互いに素なので、式Iはの整数解をもつ。


あとは、このの整数解に
155
であるものがあれば、②は正しいことになる。
なので、それを確認しよう。


(3)での作業と似たようなことをする。

式Iがの整数解をもつとき、つまりk56が互いに素であるとき、その解のひとつを
(,m)=(a,b)
として、式Iに代入すると
ka56b=1
ができる。

これを式Iから辺々ひくと、

k56m=1
)ka56b=1
27(a)56(mb)=0

となるから、
k(a)=56(mb)式J
とかける。

ここで、k56は互いに素なので、式Jが成り立つためには、jを整数として
{a=56jmb=27j
でなければならない。

以上より、一次不定方程式Iにおけるの解は、jを整数として
=56j+a式K
となる。

つまり、55おきの整数だ。


なので、
もし=0が解のひとつなら、の解は
=056
となって、155の解は存在しない
もし=0が解でなければ、
155の解が存在する
ことが分かる。

=0が解のひとつなら、式Iより
k056m=1
56m=1
m=156
であるはず。

ところが、(3)(i)で決めたように mは整数なので、この式は成り立たない。
つまり、=0は解ではない。

よって、式Iは、155を満たす整数解をもつ。


以上より、9行目には値が1であるマスが存在する。
なので、②は正しい。


ここで先の選択肢に行く前に、ちょっとまとめておこう。

上の解説では式Iから式Kを作った。
式Iの右辺の1Rに(ただし、R1R55の整数)書きかえて、
k56m=R式I' としても、同様の計算が成り立つ。。

このことから、
n=56の方盤において、k56が互いに素であれば、k行目に値がR1R55)であるマスが存在するルールB ことが分かる。


k=10のとき、
10=25

56=237
は互いに素ではない。

なので、ルールBより、10行目には値が1であるマスは存在しない。

よって、③は誤り。


k=15のとき、
15=35

56=237
は互いに素である。

なので、ルールBより、15行目には値が7であるマスが存在する。

よって、④は正しい。


2156は互いに素ではないので、21行目には値が7であるマスは存在しない、と言いたいけれど、ちょっと考えよう。

⑤と②③④は違うところがあって、k=21R=7を式I'に代入した場合、
2156m=7式K
となり、両辺が同じ数(つまり7)で割りきれる。
なので、単純に2156が互いに素かどうかだけでは判断ができないのだ。

式Kの両辺を7で割ると
38m=1
となるけど、38は互いに素なので、この不定方程式はの整数解をもつ。
てか、見るからに解のひとつは
(,m)=(3,1)
だ。

なので、21行目・3列目のマスの値は7だ。

よって、⑤は正しい。


以上より、選択肢のうち正しいものは
①②④⑤
である。

解答サ:1,2,4,5

別解

合同式の考え方を使うと、②④はもっと簡単に解ける。
けれど、高校によっては授業で扱わないし、指導要領からも外れるので、必要ないと思う人は以下の解説は読まなくても問題ない。
また、文章が長くなるけど、合同式の表現は避けて解説する。


合同式の性質の必要な部分を抜き出すと、

ポイント

整数abkと、自然数nについて、
anで割った余りをa
bnで割った余りをb
kanで割った余りをA
kbnで割った余りをB
とする。

このとき、
a=bならばA=B knが互いに素である場合、
A=Bならばa=b

である。

このことから、knが互いに素である場合
a=bA=B なので、
a=b  A=B
つまり
ab AB
である。

これを この問題にあてはめると、
1以上55以下の整数abkについて、k56が互いに素であるとき、
ab ABルールC といえる。


n=56の方盤の1行目を考えると、左から、
1列目のマスはk=1なので、56で割った余りは1 2列目のマスはk=2なので、56で割った余りは2 3列目のマスはk=3なので、56で割った余りは3            
54列目のマスはk=54なので、56で割った余りは54 55列目のマスはk=55なので、56で割った余りは55 となっている。
つまり、1行目に現れる数字(つまりk56で割った余り)は1から55までの整数で、すべてのマスの数字は等しくない。

さらに、k行目を考えると、
1列目は、k=k 2列目は、k=2k 3列目は、k=3k            
54列目は、k=54k 55列目は、k=55k だから、すべてのマスで k1列目のk倍になっている。

よって、ルールCより、k56が互いに素であれば、k行目に現れるすべてのマスの数字は等しくない。

さらに、マスに現れることができる数字はk56で割った余りだけど、ルールAより、0は含まれないから、
1以上55以下の整数 である。


以上より、
k56が互いに素であるとき、k行目には1から55までのすべての整数が1回ずつ現れるルールD ことが分かる。


ルールDより、956は互いに素なので、9行目には1から55までのすべての整数が現れる。
なので、②は正しい。

同様に、1556は互いに素なので、15行目には1から55までのすべての整数が現れる。
なので、④は正しい。


以上、ざっと説明した。
このサイトの目的は基本事項の整理なので、合同式については今のところこれ以上扱う予定はない。
教科書や参考書によっては解説が載っていたりするので、もっと詳しく知りたい人はそちらで学習してほしい。