■平面グラフの頂点彩色(その9)

【5】7本の辺をもつ多面体?

 pi≧3,qi≧3ですから

  2e≧3f,2e≧3v

このことから多面体は7本の辺をもつこと(e=7)は不可能であることが証明されます.

(証)e=7なる多面体が存在したと仮定すると,3f≦14,3v≦14.f,vは面,頂点の個数なので,3より大きな整数でなければならない.したがって,f=4,v=4,e=7となるが,これはオイラーの多面体定理

  v−e+f=2

を満たさないので矛盾が生じる.

 このことから

  f≧4,v≧4,e≧6(e≠7)

===================================