由14個點組成的5-正則圖必不是平面圖

我們用反證法證明結論。假定存在 5-正則平面圖 G0 且 |V(G0)|=14,不妨設 G0 已經嵌入(embed) R2 裡了。首先觀察到 |E(G0)|=12⋅5⋅14=35. 另一方面,平面圖的邊數上限給出 3|V(G0)|−6=36,我們可以得到以下的引理: [引理 1] G0 恰包含一個 4 邊組成的面 (face)。 我們加一條邊在 G0 唯一的 4 邊組成的面,得到新的平面圖 G。G 會滿足以下的性質: G 有 12 個點的度數為 5 且有 2 個點的度數為 6。 G 上度數為 6 的兩個點相鄰。 G 的每個面都是三角形,且每條邊恰好夾在兩個面中間。 一個平面圖上的簡單環 C 會將這個平面圖的點集合切成三塊:C 內部的點 Vin(C)、C 外部的點 Vout(C)、以及 C 上的點 V(C)。我們有以下的兩個引理: [引理 2] G 的每個三角形都是面。 假定引理為假,即 G 有個三角形 x1x2x3 滿足 |Vin(x1x2x3)| 與 |Vout(x1x2x3)| 皆不為 0。 由於 |Vin(x1x2x3)|+|Vout(x1x2x3)|=11,我們可以假設 |Vin(x1x2x3)|≤5。 另一方面,由於 G 裡所有點的度數皆至少為 5,必須有 |Vin(x1x2x3)|≥3。 情況 1:|Vin(x1x2x3)|=3 由於對任意 v∈V(G) 皆有 deg(v)≥5,我們發現 導出子圖 (induced subgraph) G[Vin(x1x2x3)∪{x1,x2,x3}]≅K6,包含了 K5 結...