■フォークマン数(その15)

【8】トーラス面上のK7

[1]もし,K6が平面的であるならば,v=6,e=15.

  f=e−v=9

また,各面は少なくとも3つの辺をもたなければならないから,

  27=3f≦2e=30

となって矛盾は生じない.

[2]もし,K7が平面的であるならば,v=7,e=21.

  f=e−v=14

また,各面は少なくとも3つの辺をもたなければならないから,

  42=3f≦2e=42  (正則)

となって矛盾は生じない.

[3]もし,K8が平面的であるならば,v=8,e=28.

  f=e−v=20

また,各面は少なくとも3つの辺をもたなければならないから,

  60=3f≦2e=56

となって矛盾.

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