グラフ理論の問題
を頂点数 、辺数 の連結な単純グラフとし、 は平面に辺が交差しないように描かれている(平面グラフ)とする。この描画で平面が分けられてできる領域(外側の非有界な領域も含む)を面といい、その個数を とする。各面について、その境界をたどる閉路状の歩道の長さ(境界上の辺のうち、両側がともにその面であるものは 2 回数える)をその面の長さという。
のすべての頂点の次数が 以上であるとき、 には長さが 以下の面が少なくとも 1 つ存在することを証明せよ。
なお、連結な平面グラフに対するオイラーの公式 と、すべての面の長さの和が に等しいことは用いてよい。
この問題で使うもの
- 平面グラフとオイラーの公式(説明と入口の問題)
- グラフの次数と握手補題(説明と入口の問題)
この問題を解けるようになるまで(8 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
背理法を使います。すべての面の長さが 6 以上だと仮定して、オイラーの公式と矛盾することを示しましょう。
ヒント 2
頂点の次数の和と面の長さの和は、どちらも に等しくなります。この 2 つから と を で上から評価します。
ヒント 3
次数の条件から 、面の長さの仮定から が得られます。これらを に代入してみましょう。
採点の観点と模範解答
自分で証明を書いてから、採点の観点で見比べてください。
採点の観点を見る
背理法の仮定として「すべての面の長さが 6 以上」とおき、何を導けば矛盾になるかを明示している(2 点)
握手補題と次数の条件から ()を導いている(2 点)
面の長さの和が であることと背理法の仮定から ()を導いている(2 点)
オイラーの公式に 2 つの不等式を代入して のような矛盾を正しく導いている(3 点)
仮定が誤りであることから、長さ 5 以下の面が存在するという結論を述べている(1 点)
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
模範解答を読む
背理法で示す。 のすべての面の長さが 以上であると仮定して、矛盾を導く。
頂点の次数から得られる不等式. 握手補題より、すべての頂点の次数の和は に等しい。仮定よりすべての頂点の次数は 以上なので
が成り立つ。
面の長さから得られる不等式. 問題文で用いてよいとされているとおり、すべての面の長さの和は に等しい(各辺は、両側の面の長さにそれぞれ 1 回ずつ、両側が同じ面ならその面の長さに 2 回数えられるため)。背理法の仮定より各面の長さは 以上なので
が成り立つ。
オイラーの公式との矛盾. は連結な平面グラフなので、オイラーの公式 が成り立つ。左辺に , を用いると
となり、 という矛盾が得られる。
よって仮定は誤りであり、 には長さが 未満、すなわち 以下の面が少なくとも 1 つ存在する。
(補足)この結果から、たとえばサッカーボール型の多面体(切頂二十面体)のように各頂点の次数が の多面体のグラフには、必ず三角形・四角形・五角形のいずれかの面があることがわかる。