実際に出した期末試験の問題と解答例

片面
科目名
持 込
添付する
解答用紙
Áº
ÌÝÔ × Ø Ý ÔÄ Ì
´ ½ » ½ µ
数理の世界
担当者名
­
すべて可
½ 枚配付 (問題用紙の回収
渕 野
要 ・ 否)
昌
所要時間
計算用紙
¼分
¾¼½ 年 ¾ 月 ¿ 日
¼ ß ½¼ ¾¼ 施行
0 枚配付
´ µ Ô½ ¸º º º ¸ ÔÒ を Ò 個の素数とするとき,Ô½ ¡ ¡ ¡ ¡ ¡ ÔÒ · ½ は Ô½ ¸º º º ¸ ÔÒ のどれでも割切れないことを示してください.
´ µ このことを使って素数が無限にあることを証明したギリシャ時代の数学者の名前を答えなさい.
ÁÁº
次の形の建物のフロアが全部いっぺんに見渡せるには,最低で何人の警備員がいればよく,それらの警備員をどこに
配置すればよいかを答えなさい.
ÁÁÁº
カップ中のコーヒーをかきまぜたときに,必ず一つは渦の中心ができる という主張をブラウアー ´ ÖÓÙÛ Öµ の不
動点定理との関係で説明してください.
Áκ
´ µ Ò 個の要素からなる集合の部分となっている集合の総数は ¾Ò となることを説明してください.
´ µ Ò 個の要素からなる集合の真の部分となっている集合で空でないものは全部でいくつかるか答えてください.それがな
ぜそうなのかを説明してください.
´ µ
の値を求めてください.
¾
にあてはまる語句を答なさい.
κ
ベルトラン ´
¾
は
つの要素を持つ集合の部分で
となるようなものの全体の数です.
ÖØÖ Ò µ の仮説 ´ラマヌジャンの定理µ は, すべての自然数 Ò
½ に対して,Ò
Ô
¾Ò となる素
数 Ô が少なくとも一つ存在する という命題でした.これを使って,¾¼¼¼¼¼¼¼¼¼¼¼¼ と ½ ¼¼¼¼¼¼¼¼¼¼¼¼ の間には少なくと
も ¿ つは素数が存在することを示してください.
ÎÁº
´ µ 次のグラフの頂点を,互いに辺で結ばれている頂点は違う色が割り当てられるように塗り分けるために必要とな
る色の最小数と最大数を答なさい.最小数の色を使った塗り分けの一つを示してください ´たとえばそれが
¸ を色の名前として塗り分けを図示してくださいµ.
色なら ½¸ ¾¸ ¿¸
´ µ 講義では上のグラフの塗り分けをふくむ一般的な定理を証明しました.この定理の命題を述べ,これをどのように上の
グラフに適用できるのかを説明してください.
試験の実施後,この試験問題の解答例を
ØØÔ »» ÙÖغ×
にリンクします
Ø º Ó ¹Ùº º Ô» Ù
ÒÓ» Ó » Ò Üº ØÑÐ
解答例
Áº
´ µ Ô を Ô½ ¸ººº¸ÔÒ のどれかとすると,Ô½ ¡ ¡¡¡ÔÒ は,Ô で割切れるから, Ô½ ¡ ¡¡¡ÔÒ · ½ は Ô で割ると ½ が余る.
特に,Ô½ ¡ ¡¡¡ÔÒ · ½ は Ô で割切れない.
´ µ ユークリッド
ÁÁº
以下の図のように警備員を配置することで二人の警備員でフロア全体を見渡すことができる
ÁÁÁº
カップには入ったコーヒーの各点に微少時間後のこの点が移る点を対応させる写像を考えるとこの写像は連続写像
であると考えられるので, ÖÓÙÛ Ö の不動点定理により,この写像で自分自身に移る点が存在するが,この点は渦の中心と
なっている,と考えられる.
Áκ
´ µ Ò 個の要素からなる集合
の ½ 番目の要素をこの部分の要素として選ぶか選ば
の部分を選ぶ選び方は,
ないかの ¾ 通り, の ¾ 番目の要素をこの部分の要素として選ぶか選ばないかの ¾ 通り¸ººº¸ の Ò 番目の要素をこの部分
¡¡¡ ¡ ¾
¾Ò 通りある.
の要素として選ぶか選ばないかの ¾ 通りがあるから,全部の選び方の個数はこれらの積である ¾ ¡ ßÞ
Ò回
このことは,Ò に関する帰納法の形で書くことでより厳密に証明できる Ò ¼ のときには,空集合の部分は空集合しかない
に対して,要素が 個の集合の部分集合の全体の数が ¾ 個だ
ので,部分集合の総数は ½ ¾¼ となるからよい.もし Ò
· ½ 個の要素を持つ集合 をとり,Ü をこの集合の一つの要素として, ¼ を
の残りの要素の全体とする
として,Ò
µ から ¼ 仮定から È ¼ を ¼ の部分の全体とすると ´È ¼ µ ¾
と, ¼ は 個の要素を持つ集合となる ´つまり ´ ¼ µ
である.一方 Ü だけからなる集合 Ü を考えると,この要素の全体を È ¼¼ として,È ¼¼
Ü だから ´È ¼¼ µ ¾ であ
¼
¼¼
¼
¼
¼¼
¼
¼
¼¼
¼
¼¼
の部分集合の全体とすると, È
¾ È
¾ È
で,È ¢ È ¿ ´ ¼ ¼¼ µ
¾ È
る.一方 È を
·½
¼
¼¼
は ½¹½ ÓÒØÓ なので,¾
¾ ¡ ¾ ´È ¢ È µ
´È µ となり,示したい主張は Ò
· ½ のときにも成り立つことが示
せる.
´ µ Ò 個の要素からなる集合の部分集合の全体の総数は ´½µ から ¾Ò となるのだった.Ò ¼ のときには,Ò 個の要素からな
る酒豪は空集合 しかないが,この集合の空集合でない真の部分集合は存在しないから,その総数は ¼ である.要素が ½ の
に関しては,その部分
集合も空集合と異る真の部分集合は存在しないから,その総数は ¼ である.要素が ¾ 以上の集合
自身を除いた残りは,¾Ò ¾ 個で,これが
の空集合と異る真の部
集合の全体の数は, ¾Ò とるが,これから空集合と
分集合の全体の総数となる.
´ µ
κ
¾
¾´
¾µ
¡
¾¡½
¾¼¼¼¼¼¼¼¼¼¼¼¼
½¼º 下線のところに入れられる語句は 「要素の数が ¾」
¾ ¢ ¾¼¼¼¼¼¼¼¼¼¼¼¼
¾ ¢ ¾ ¢ ¾¼¼¼¼¼¼¼¼¼¼¼¼
¾ ¢ ¾ ¢ ¾ ¢ ¾¼¼¼¼¼¼¼¼¼¼¼¼
½ ¼¼¼¼¼¼¼¼¼¼¼¼
だから,ベルトランの定理によりそれぞれの数の間に少なくとも一つは素数があることがわかるしたがって, ¾¼¼¼¼¼¼¼¼¼¼¼¼
と ½ ¼¼¼¼¼¼¼¼¼¼¼¼ の間には少なくとも ¿ つは素数が存在する.
½
¾
¿
ÎÁº
´ µ たとえば,
¿
½
¾
¾
½
¿
によりグラフの頂点は ¿ 色で塗り分けられる.一方このグラフは三角形を部分として含むから,塗り分けには少なくとも ¿
色は必要なことは明らかである.
´ µ 講義では,
「多角形の頂点をお互いに交差しない対角線 ´直線µ で結んで三角形に分割して得られるグラフの頂点は ´直線
で結ばれた頂点は異る色になるようにµ ¿ 色で塗り分けられる」 という命題を証明した.ここでのグラフはそのようなもの
になっていないが,下の円でかこんだ頂点と ¾ 辺を取り除くと,そのようなものにできるので,それは ¿ 色で塗り分けられ
る.取り除いた頂点には,この塗り分けで直線で結ばれた ¾ 頂点に塗られた色と異る色を塗れるので,これによりもとのグ
ラフも ¿ 色で塗り分けられることがわかる.