高知大学/2025年度/前期

1高知大学 2025年 数学 第1問解答・解説

数と式二次関数図形と方程式場合の数と確率数学と人間の活動(整数)

1問題

高知大学2025年度第1問
a,ba,bを正の整数とし、集合P,QP,Qを次で定義する。P={(x,y)∣x,yは整数かつ x2+y2≦a2}P=\{(x,y)\mid x,y\text{は整数かつ }x^2+y^2\leqq a^2\}Q={(x,y)∣x,yは整数かつ (x−b)2+y2≦4a2}Q=\{(x,y)\mid x,y\text{は整数かつ }(x-b)^2+y^2\leqq4a^2\}また、有限集合AAの要素の個数をn(A)n(A)で表す。このとき、次の問いに答えよ。(100点)

(1) a=1a=1のとき、n(P)n(P)の値を求めよ。

(2) a=2a=2のとき、n(Q)n(Q)の値を求めよ。

(3) b=a2−10b=a^2-10を満たすとする。このとき、n(P∪Q)≠n(P)+n(Q)n(P\cup Q)\neq n(P)+n(Q)となるaaの値をすべて求めよ。

(4) b=20b=20のとき、n(P∪Q)n(P\cup Q)が奇数となるような最小のaaの値を求めよ。

まずは自分で解いてみましょう。解けたら、または詰まったら「解答」で確かめられます。

タイマー

15:00

2解答

解答を見る途中式つきの解答

解答

準備(有限集合について)

有限集合について、
n(P∪Q)=n(P)+n(Q)−n(P∩Q) n(P\cup Q)=n(P)+n(Q)-n(P\cap Q)
を用いる。

(1)

a=1a=1 のとき、x2+y2≦1x^{2}+y^{2}\leqq 1 を満たす整数の組 (x,y)(x,y) は
(0,0), (1,0), (−1,0), (0,1), (0,−1) (0,0),\ (1,0),\ (-1,0),\ (0,1),\ (0,-1)
の 5 点である。したがって n(P)=5n(P)=5 である。

(2)

a=2a=2 のとき、x′=x−bx'=x-b とおくと、x′x' も整数全体を動き、QQ の条件は x′2+y2≦16x'^{2}+y^{2}\leqq 16 となる。x′x' ごとに数えると
x′0±1±2±3±4点数91414102 \begin{array}{c|ccccc} x'&0&\pm 1&\pm 2&\pm 3&\pm 4\\ \hline \text{点数}&9&14&14&10&2 \end{array}
だから n(Q)=9+14+14+10+2=49n(Q)=9+14+14+10+2=49 である。

(3)

b=a2−10b=a^{2}-10 で、bb は正の整数なので a≧4a\geqq 4 である。
PP に属する点の xx 座標は −a≦x≦a-a\leqq x\leqq a、QQ に属する点の xx 座標は b−2a≦x≦b+2ab-2a\leqq x\leqq b+2a を満たす。b>0b>0 より b+2a>ab+2a>a だから、これらの区間が重なる条件は b−2a≦ab-2a\leqq a、すなわち b≦3ab\leqq 3a である。
この条件を満たすとき、−a-a と b−2ab-2a のうち大きい方を x0x_{0} とすると、整数 x0x_{0} は両方の区間に入り、(x0,0)∈P∩Q(x_{0},0)\in P\cap Q となる。逆に b>3ab>3a なら両区間は重ならず、共通点はない。よって
n(P∪Q)≠n(P)+n(Q)すなわちP∩Q≠∅すなわちb≦3a n(P\cup Q)\ne n(P)+n(Q)\quad\text{すなわち}\quad P\cap Q\ne\varnothing\quad\text{すなわち}\quad b\leqq 3a
である。b=a2−10b=a^{2}-10 を代入すると a2−3a−10≦0a^{2}-3a-10\leqq 0、すなわち (a−5)(a+2)≦0(a-5)(a+2)\leqq 0、すなわち −2≦a≦5-2\leqq a\leqq 5 である。a≧4a\geqq 4 と合わせて a=4, 5a=4,\,5 である。

(4)

点 (x,y)(x,y) を (−x,−y)(-x,-y) に移す対応は PP を保ち、この対応で動かない格子点は (0,0)(0,0) だけなので、n(P)n(P) は奇数である。同様に、点 (x,y)(x,y) を (2b−x,−y)(2b-x,-y) に移す対応は QQ を保ち、動かない点は (b,0)(b,0) だけなので、n(Q)n(Q) も奇数である。和集合の個数の公式より、n(P∪Q)n(P\cup Q) の偶奇は n(P∩Q)n(P\cap Q) の偶奇と一致する。
P∩QP\cap Q では (x,y)(x,y) と (x,−y)(x,-y) が組になるため、その個数の偶奇は y=0y=0 上の共通点の個数の偶奇で決まる。このときの xx の範囲は
max⁡(−a, 20−2a)≦x≦a \max(-a,\,20-2a)\leqq x\leqq a
である(max⁡\max は −a-a と 20−2a20-2a のうち大きい方を表す)。
a≦6a\leqq 6 なら共通点は 0 個、a=7a=7 なら 2 個で、いずれも偶数である。7≦a<207\leqq a<20 では点数は 3a−193a-19 個であり、a=8a=8 で初めて奇数となる。a≧20a\geqq 20 では点数は 2a+12a+1 個だが、これより小さい a=8a=8 ですでに奇数となる。したがって求める最小の aa は a=8a=8 である。

読み終えたら解答を閉じて、もう一度自分の手で解いてみましょう。

この問題で使う考え方

  • 格子点の座標別直接計数
  • 整数平行移動
  • x座標区間の重なり判定
  • 対称性による偶奇判定

答えと解答は AI で作成したものです。誤りに気づいたらお問い合わせから教えてください。

高知大学の数学を、過去 10 年分まとめて解けるものがあったら使いたいですか?

次にやること

同じ年度の次の問題第2問へ進む微分・積分の考え

高知大学のほかの年度

似た問題を、ほかの大学で