Наслiдок 7.6.2.
В будь-якому планарному графi є вершина степiнь якої не перевищує 5.
Доведення. Доведення проведемо методом вiд супротивного. Припустимо, що
iснує планарний граф G = (V, E, ∂
E
) : ∀v ∈ V deg v ≥ 6. Тодi, за лемою про
рукопотискання - (7.1), маємо
6|V | ≤
X
v∈V
deg v = 2|E|,
звiдки 3|V | ≤ |E|. Але це суперечить нерiвностi (7.4), згiдно якої, |E| ≤ 3|V |−6,
тобто 3|V | ≤ 3|V | − 6. Отримана суперечнiсть доводить лему.
Теорема 7.6.3. (Теорема про п’ять фарб.)
Будь-який планарний граф можна розфарбувати п’ятьма фарбами.
Доведення. Очевидно, що теорему досить довести для зв’язних графiв. Дове-
дення проведемо iндукцiєю по кiлькостi вершин графiв. Для графiв, у яких
кiлькiсть вершин не перевищує п’ять твердження очевидне.
Iндукцiйний крок. Припустимо, що для планарних графiв з кiлькiстю вер-
шин менших за n твердження є правильним i покажемо, що тодi i для планарних
графiв G = (V, E, ∂
E
), у яких |V | = n воно також є правильним.
За попереднiм наслiдком у такого графа G = (V, E, ∂
E
) має iснувати вер-
шина v : deg v ≤ 5. Тимчасово вилучаємо цю вершину разом з iнцидентними
їй ребрами з графа i отримаємо планарний граф G з n − 1 вершиною. За при-
пущенням iндукцiї отриманий граф можна розфарбувати п’ятьма фарбами i
ми це робимо. Повертаємо назад вилучену вершину v разом з iнцидентними їй
ребрами. Якщо вершини сумiжнi з v пофарбованi менше нiж у п’ять кольорiв,
то у нас очевидно залишиться вiльний колiр для вершини v. Якщо ж deg v = 5
i всi п’ять сумiжних з v вершин v
1
, v
2
, v
3
, v
4
, v
5
пофарбованi в п’ять рiзних ко-
льорiв, якi перенумеруємо числами 1, 2, 3, 4, 5 вiдповiдно. Позначимо через G
ij
пiдграф графа G який складається з вершин пофарбованих лише в кольори з
номерами i та j та ребер якi iнцидентнi лише таким вершинам. Якщо граф G
13
не є зв’язним, то в графi G
13
не iснує шляху з вершини v
1
у вершину v
3
. Тодi
можна в компонентi зв’язностi графа G
13
, якiй належить вершина v
1
, здiйснити
перефарбування 1 ↔ 3 — вершини пофарбованi кольором 1 перефарбувати в
колiр 3, а вершини пофарбованi кольором 3 перефарбувати в колiр 1. Очевидно,
що пiсля такого перефарбування основна умова що сумiжнi вершини графа G
мають бути пофарбованi в рiзнi кольори продовжує виконуватися. Але тепер
обидвi вершини v
1
та v
3
пофарбованi в колiр 3, а саму вершину v можна пофар-
бувати в колiр 1. Якщо ж граф G
13
є зв’язним, то розглянемо граф G
24
який
не можу бути зв’язним, адже внаслiдок планарностi графа G шляхи з вершини
129