[B] Dots on the Ball

halphy 自動ジャッジ 難易度: 数学 > 高校数学
2020年8月15日18:00 正解数: 13 / 解答数: 25 (正答率: 52%) ギブアップ不可
この問題はコンテスト「KOH Mathematical Contest #2」の問題です。

解説

$S_r$ が格子点をもつことは,$x,y,z$ に関する方程式
$$
x^2+y^2+z^2=r
$$が整数解をもつことと同値である。

1.まず,$r=1, \cdots, 6$ のときは
\begin{align}
1^2+0^2+0^2&=1 \\
1^2+1^2+0^2&=2 \\
1^2+1^2+1^2&=3 \\
2^2+0^2+0^2&=4\\
2^2+1^2+0^2&=5\\
2^2+1^2+1^2&=6
\end{align}となるから整数解が存在する。一方,$r=7$ のときには整数解が存在しない。これは $x,y,z$ の候補をすべて列挙して示すこともできるが,ここでは一般に $r\equiv 7 \; ({\rm mod}\;8)$ のとき整数解が存在しないことを証明する。一般に,整数 $n$ に対して $n^2$ を $8$ で割った余りは $0,1,4$ のいずれかである。$0, 1, 4$ から重複を許して $3$ 個の数を選んだとき,その和が $7$ になることはないから,$r\equiv 7 \; ({\rm mod}\;8)$ のとき整数解が存在しないことが示された。したがって, 球面 $S_r$ が格子点を含まないような最小の $r$ は $r=7$ である。

2.準備として,$r$ が $4$ の倍数で,
$$
x^2+y^2+z^2=r
$$を満たす整数 $x,y,z$ が存在するならば,$x,y,z$ はすべて偶数であることを示す。まず,右辺は偶数だから,$x, y, z$ はすべて偶数であるか,$2$ 個が奇数で $1$ 個が偶数であるかのいずれかである。一般に,整数 $n$ に対し $n^2$ を $4$ で割った余りは,$n$ が偶数なら $0$,奇数なら $1$ である。よって,$x^2+y^2+z^2$ を $4$ で割った余りは,$x,y,z$ がすべて偶数のときは $0$,$2$ 個が奇数で $1$ 個が偶数のときは $2$ になる。したがって,$r$ が $4$ の倍数ならば,$x,y,z$ はすべて偶数である。
この準備のもとで,$8$ の倍数である $r=112=4^2\cdot 7$ が条件を満たす最小の $r$ であることを示す。まず,整数解が存在しないことを示す。
$$
x^2+y^2+z^2=112
$$を満たす整数 $x,y,z$ が存在したと仮定する。$112$ は $4$ の倍数だから,上の議論より $x, y, z$ はすべて偶数である。よって,整数 $x’,y’,z’$ を用いて $x=2x’, y=2z’, z=2z’$ と表せる。よって
$$
x’^2+y’^2+z’^2=28
$$が成り立つ。右辺の $28$ も $4$ の倍数だから,まったく同様の議論より
$$
x’’^2+y’’^2+z’’^2=7
$$を満たす整数 $x’’, y’’, z’’$ が存在することになるが,これは 1. の結果と矛盾する。したがって,$r=112$ のとき整数解は存在しない。

次に最小性を示す。そのためには,$8\leq r<112$ であるような任意の $8$ の倍数 $r$ に対して整数解が存在することを証明すればよい。その際,$r$ が平方因子をもち $r=p^2q$($p,q$は整数)と表せるときには,$r=q$ のときに整数解 $(x,y,z)=(x_0,y_0,z_0)$ が存在するならば $r=p^2q$ のときに $(x,y,z)=(px_0,py_0,pz_0)$ が解になる。この事実を利用すれば,効率的に整数解の存在を証明することができる。$8\leq r<112$ を満たす $8$ の倍数は
$$
r=8,16,24,32,40,48, 56, 64, 72, 80, 88, 96,104
$$であるが,このうち $r=40, 56, 88,104$ 以外は
\begin{gather}
8=2^2\cdot 2, \;16=4^2, \;24=2^2\cdot 6, \;32=4^2\cdot 2,\;
48=4^2\cdot 3\\ 64=8^2,\; 72=6^2\cdot 2,\; 80=4^2\cdot 5,\; 96=4^2\cdot 6
\end{gather}と表せるから整数解の存在は 1. の結果より直ちに従う。また,$r=40=2^2\cdot 10, \;r=56=2^2\cdot 14,$$\;r=88=2^2\cdot 22, \; r=104=2^2\cdot 26$ については
\begin{align}
10&=3^2+1^2+0^2\\
14&=3^2+2^2+1^2\\
22&=3^2+3^2+2^2\\
26&=5^2+1^2+0^2
\end{align}であることから整数解の存在がいえる。したがって,$S_r$ が格子点を含まず,$r$ が $8$ の倍数であるような最小の $r$ は $r=112$ である。

補足

一般に,非負整数 $r$ に対して
$$
x^2+y^2+z^2=r
$$となるような整数 $x,y,z$ が存在するための必要十分条件は,$r$ が 非負整数 $n,k$ を用いて
$$
r=4^n(8k+7)
$$という形で表されないことであることが知られている。必要性を示すのは解答の議論を一般化するだけだから簡単であるが,十分性($r=4^n(8k+7)$ と表されないなら必ず $3$ つの平方数の和で表すことができること)を初等的に証明することは難しい。


おすすめ問題

この問題を解いた人はこんな問題も解いています

[C] 奇妙な数列

ofukufukufuku 自動ジャッジ 難易度:
3年前

12

問題文

以下のような数列 $\{a_n\}$ を考える。
$$
a_n=1+\sum_{m=1}^{2^n}{\rm floor}\left[\sqrt[n]{\frac{n}{\displaystyle{\sum_{k=1}^m}\; {\rm floor}\left(\cos^2\cfrac{(k-1)!+1}{k}\pi\right)}}\right]
$$なお、${\rm floor}(x)$ は $x$ 以下の最大の整数を返す関数とする。このとき、$a_{20}$ を求めよ。

ただし、必要であれば以下の定理および不等式を用いても良い。

  1. $n$ が素数のとき
    $$\quad(n-1)!\equiv-1 \pmod n$$
  2. $n\geq 1$ のとき
    $$1\leq\sqrt[n]{n}<2$$

解答形式

半角数字で入力してください.

[A] よくある級数

ofukufukufuku 自動ジャッジ 難易度:
3年前

12

問題文

$y=\tan x \; \left(-\cfrac{\pi}{2}<x<\cfrac{\pi}{2}\right)$ の逆関数を $x=f(y)$ とする.このとき,
$$
S=\sum_{n=0}^\infty f\left(\frac{1}{n^2+n+1}\right)
$$を求めよ.答えは,整数ア・イを用いて
$$
S=\frac{\fbox{ア}}{\fbox{イ}}\pi
$$と既約分数の形でかける.

解答形式

アとイをそれぞれ1行目、2行目に半角数字で入力せよ.

[E] modじゃんけん

hinu 自動ジャッジ 難易度:
3年前

14

問題文

$n\;(\geq 2)$ を自然数とするとき,以下の試行を行うことを考える。


試行

  • $n$ 人が $0,1,2$ のいずれかひとつの数を無作為に選ぶ。
  • 人 $i\; (i=1,2,\cdots, n)$ が選んだ数を $a_i$ とする。各人 $i$ に対して,
    $$
    a_i\equiv\sum_{j=1}^n a_j\; ({\rm mod} \; 3)
    $$ならば人 $i$ は生存し,そうでないなら脱落する。この試行をmodじゃんけんと呼ぶことにする。

$n$ 人がmodじゃんけんを $1$ 回行い,全員が生存するか全員が脱落するとき,modじゃんけんの結果はあいこになると定義する。

$n$ 人がmodじゃんけんを $1$ 回行ってあいこになる確率を $p_n$ とするとき

$$
p_2=\frac{\fbox{ア}}{\fbox{イ}},\; p_3=\frac{\fbox{ウ}}{\fbox{エ}},\; p_4=\frac{\fbox{オ}}{\fbox{カキ}}
$$

である。$n$ を $\fbox{ク}$ で割った余りが $\fbox{ケ}$ であるとき

$$
p_n=\frac{\fbox{コ}^{n}+\fbox{サ}}{\fbox{シ}^n}
$$

であり,そうでないときには

$$
p_n=\frac{\fbox{コ}^{n}+\fbox{ス}}{\fbox{シ}^n}
$$

である。また,

$$
\lim_{n\to\infty} p_n=\fbox{セ}
$$

が成り立つ。

解答形式

空欄 $\fbox{ア}$ 〜 $\fbox{セ}$ には,半角数字 0 - 9 または記号 - のいずれかが当てはまります。$\fbox{ア}$ 〜 $\fbox{セ}$ に当てはまるものを改行区切りで入力してください。分数はこれ以上約分できない形で解答してください。

max漸化式

masorata 自動ジャッジ 難易度:
3年前

11

問題文

数列 $ \{ a_n \} $ $(n=1,2\dots)$ を、
$$
a_1=2,\ a_2=3,\ a_{n+1} = \max_{1 \leqq k \leqq n} \{ (n-k+1)a_k \}\ (n \geqq 2)
$$

で定める。$ \{ a_n \} $ の一般項を求め、さらに $\log_{3}{(a_{6062})}$ の値を求めよ。

解答形式

$\log_{3}{(a_{6062})}$ はある自然数となるので、その値を半角数字で答えよ。

求面積問題3

Kinmokusei 自動ジャッジ 難易度:
3年前

12

問題文

図中の青い線分の長さはすべて10,赤で示した角はすべて等しいです。
このとき、緑色部分(凹四角形)の面積を求めてください。
解答形式に注意!

解答形式

$答えはA\sqrt{B}の形になります。(A,Bは自然数)$
$A+Bを解答してください。$
$<注意>$
$根号の中が最小となるようにしてください。$
$半角数字で解答してください。$
$例 : green area=10\sqrt{8}=20\sqrt{2}→A=20,B=2→22 と解答$

求面積問題5

Kinmokusei 自動ジャッジ 難易度:
3年前

7

問題文

正方形が2つ、図のように配置されています。赤い線分の長さが20のとき、緑で示した四角形の面積を求めてください。
ただし、図中の青点はそれぞれの正方形の対角線の交点です。

解答形式

半角数字で解答してください。

求面積問題7

Kinmokusei 自動ジャッジ 難易度:
3年前

14

問題文

三角形の外側に3つの正方形を図のように作りました。橙・緑・紫の線分の長さを3辺の長さとする三角形(赤い三角形)の面積が57のとき、元の三角形(青い三角形)の面積を求めてください。

解答形式

半角数字で解答してください。

hinu積分01

hinu 自動ジャッジ 難易度:
3年前

16

問題

定積分

$$
\int_0^{\pi/2}\dfrac{\cos{x}-x}{1+\sin{x}}dx
$$

を計算せよ。

回答形式

半角数字で答えよ。無理数や記号等を用いる場合はTeX形式で入力せよ。

求面積問題8

Kinmokusei 自動ジャッジ 難易度:
3年前

13

問題文

△ABCと点Pをとり、△ABP, △BCP, △CAPの重心をそれぞれ$G_1, G_2, G_3$とします。青で示した3つの三角形の面積の和が10のとき、$△G_1G_2G_3$(赤い三角形)の面積を求めてください。

解答形式

半角数字で解答してください。

Second Number

okapin 自動ジャッジ 難易度:
3年前

20

問題文

$\sqrt[10] {10}$ の小数第一位の値を求めよ。
ただし, $\log_{10}{2}=0.3010$ とする。

解答形式

答えを半角数字で入力してください。

求値問題

Kinmokusei 自動ジャッジ 難易度:
3年前

6

問題文

三角形の3つの内角の大きさを$A,B,C$とします。このとき、次の式の最小値を求めてください。
$$
\frac{1-\cos A}{\cos B+\cos C}+\frac{1-\cos B}{\cos C+\cos A}+\frac{1-\cos C}{\cos A+\cos B}
$$

解答形式

最小値は$\frac {[ア]}{[イ]}$となります。$[ア]+[イ]$を解答してください。
ただし、$[ア],[イ]$にはそれぞれ自然数が入り、その最大公約数は$1$とします。

整数問題②

lucy 自動ジャッジ 難易度:
3年前

13

問題文

$p^2+q^2+r^2+s^2=t^4+1$を満たす素数$(p,q,r,s,t)$の組を全て求めよ。但し$p\leq q\leq r\leq s$とする。

解答形式

一行目に式を満たす組が何組あるか答えよ。また、そのような組の中で、$t$が最大であるものについて、$p,q,r,s,t$の値をそれぞれ2行目、3行目、4行目…へ記入せよ。いずれも数字のみ記入せよ。

(本当は解き方まで見たいですが、個別判定が大変なのでこの形式にします。できれば、なぜそうなるかもしっかり考えてください。)