単元一覧 › 大学数学 グラフ理論

グラフ理論の問題

難易度 3期末試験の応用レベル証明問題大学数学 グラフ理論

を頂点数 、辺数 の連結な単純グラフとし、 は平面に辺が交差しないように描かれている(平面グラフ)とする。この描画で平面が分けられてできる領域(外側の非有界な領域も含む)を面といい、その個数を とする。各面について、その境界をたどる閉路状の歩道の長さ(境界上の辺のうち、両側がともにその面であるものは 2 回数える)をその面の長さという。

のすべての頂点の次数が 以上であるとき、 には長さが 以下の面が少なくとも 1 つ存在することを証明せよ。

なお、連結な平面グラフに対するオイラーの公式 と、すべての面の長さの和が に等しいことは用いてよい。

この問題で使うもの

この問題を解けるようになるまで(8 技能)
算数中学高校大学大学院

読み込み中…

右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。

一覧で見る(前提が先)
  1. 樹形図で数え上げる
  2. 積の法則と和の法則
  3. 和の法則・積の法則と樹形図
  4. 順列・円順列・重複順列
  5. 組合せ
  6. グラフの次数と握手補題
  7. 2 部グラフと奇閉路
  8. 平面グラフとオイラーの公式

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

背理法を使います。すべての面の長さが 6 以上だと仮定して、オイラーの公式と矛盾することを示しましょう。

ヒント 2

頂点の次数の和と面の長さの和は、どちらも に等しくなります。この 2 つから と を で上から評価します。

ヒント 3

次数の条件から 、面の長さの仮定から が得られます。これらを に代入してみましょう。

採点の観点と模範解答

自分で証明を書いてから、採点の観点で見比べてください。

採点の観点を見る
  • 背理法の仮定として「すべての面の長さが 6 以上」とおき、何を導けば矛盾になるかを明示している(2 点)

  • 握手補題と次数の条件から ()を導いている(2 点)

  • 面の長さの和が であることと背理法の仮定から ()を導いている(2 点)

  • オイラーの公式に 2 つの不等式を代入して のような矛盾を正しく導いている(3 点)

  • 仮定が誤りであることから、長さ 5 以下の面が存在するという結論を述べている(1 点)

結果を記録する(このブラウザにだけ保存されます):
模範解答を読む

背理法で示す。 のすべての面の長さが 以上であると仮定して、矛盾を導く。

頂点の次数から得られる不等式. 握手補題より、すべての頂点の次数の和は に等しい。仮定よりすべての頂点の次数は 以上なので

が成り立つ。

面の長さから得られる不等式. 問題文で用いてよいとされているとおり、すべての面の長さの和は に等しい(各辺は、両側の面の長さにそれぞれ 1 回ずつ、両側が同じ面ならその面の長さに 2 回数えられるため)。背理法の仮定より各面の長さは 以上なので

が成り立つ。

オイラーの公式との矛盾. は連結な平面グラフなので、オイラーの公式 が成り立つ。左辺に , を用いると

となり、 という矛盾が得られる。

よって仮定は誤りであり、 には長さが 未満、すなわち 以下の面が少なくとも 1 つ存在する。

(補足)この結果から、たとえばサッカーボール型の多面体(切頂二十面体)のように各頂点の次数が の多面体のグラフには、必ず三角形・四角形・五角形のいずれかの面があることがわかる。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題