■平面グラフの頂点彩色(その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)
===================================