Z twierdzenia Pitagorasa mamy więc: =1 3 4 =1 4, CE 2 =AC 2 AE 2 =1 2. skądwynika,żece= 1 2.ZatemCD=1.

Podobne dokumenty
Wojciech Guzicki. Konferencja SEM(Kolory matematyki) Sielpia, 26 października 2018 r.

Kolorowanie płaszczyzny, prostych i okręgów

Kolorowanie wierzchołków Kolorowanie krawędzi Kolorowanie regionów i map. Wykład 8. Kolorowanie

XI Olimpiada Matematyczna Gimnazjalistów

IX Olimpiada Matematyczna Gimnazjalistów

LVIII Olimpiada Matematyczna

XIII Olimpiada Matematyczna Juniorów

W. Guzicki Próbna matura, grudzień 2014 r. poziom rozszerzony 1

Internetowe Ko³o M a t e m a t yc z n e

LX Olimpiada Matematyczna

STEREOMETRIA CZYLI GEOMETRIA W 3 WYMIARACH

VII Olimpiada Matematyczna Gimnazjalistów

Czy kwadrat da się podzielić na nieparzystą liczbę trójkątów o równych polach? Michał Kieza

XII Olimpiada Matematyczna Juniorów

XIII Olimpiada Matematyczna Juniorów

Internetowe Ko³o M a t e m a t yc z n e

V Konkurs Matematyczny Politechniki Białostockiej

Treści zadań Obozu Naukowego OMG

XIV Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2018 r. 15 października 2018 r.)

X Olimpiada Matematyczna Gimnazjalistów

VII Olimpiada Matematyczna Gimnazjalistów

Przykładowe rozwiązania zadań. Próbnej Matury 2014 z matematyki na poziomie rozszerzonym

Matematyczne Podstawy Informatyki

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

V Konkurs Matematyczny Politechniki Białostockiej

Treści zadań Obozu Naukowego OMG

Treści zadań Obozu Naukowego OMJ

W. Guzicki Zadanie IV z Informatora Maturalnego poziom rozszerzony 1

Bukiety matematyczne dla gimnazjum

XI Olimpiada Matematyczna Gimnazjalistów

STOWARZYSZENIE NA RZECZ EDUKACJI MATEMATYCZNEJ KOMITET GŁÓWNY OLIMPIADY MATEMATYCZNEJ JUNIORÓW SZCZYRK 2017

XII Olimpiada Matematyczna Juniorów Zawody stopnia pierwszego część korespondencyjna (1 września 2016 r. 17 października 2016 r.)

Obóz Naukowy Olimpiady Matematycznej Gimnazjalistów

Jednoznaczność rozkładu na czynniki pierwsze I

LXIX Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 18 kwietnia 2018 r. (pierwszy dzień zawodów)

Zbiór zadań z geometrii przestrzennej. Michał Kieza

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

Rzut oka na współczesną matematykę spotkanie 9-10: Zagadnienie czterech barw i teoria grafów

LV Olimpiada Matematyczna

LI Olimpiada Matematyczna Rozwiązania zadań konkursowych zawodów stopnia trzeciego 3 kwietnia 2000 r. (pierwszy dzień zawodów)

9. Funkcje trygonometryczne. Elementy geometrii: twierdzenie

LXI Olimpiada Matematyczna

Kombinowanie o nieskończoności. 2. Wyspy, mosty, mapy i kredki materiały do ćwiczeń

Metoda objętości zadania

Przykładowe zadania z teorii liczb

GEOMETRIA ELEMENTARNA

Krzywa uniwersalna Sierpińskiego

MATEMATYKA DLA CIEKAWSKICH

PLANIMETRIA CZYLI GEOMETRIA PŁASZCZYZNY CZ. 1

Treści zadań Obozu Naukowego OMG

9. Funkcje trygonometryczne. Elementy geometrii: twierdzenie

GEOMETRIA PRZESTRZENNA (STEREOMETRIA)

X Olimpiada Matematyczna Gimnazjalistów

Indukcja. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Ilustracja S1 S2. S3 ściana zewnętrzna

Regionalne Koło Matematyczne

Drzewa. Jeżeli graf G jest lasem, który ma n wierzchołków i k składowych, to G ma n k krawędzi. Własności drzew

Czworościany ortocentryczne zadania

Elementy teorii grafów Elementy teorii grafów

Dwa równania kwadratowe z częścią całkowitą

XIV Olimpiada Matematyczna Juniorów

W. Guzicki Zadanie 41 z Informatora Maturalnego poziom podstawowy 1

LVII Olimpiada Matematyczna

III Powiatowy Konkurs Matematyczny dla uczniów gimnazjum organizowany przez II LO im. Marii Skłodowskiej-Curie w Końskich

Zestaw zadań dotyczących liczb całkowitych

XV WOJEWÓDZKI KONKURS Z MATEMATYKI

Wykład 4. Określimy teraz pewną ważną klasę pierścieni.

V Międzyszkolny Konkurs Matematyczny

KONKURS ZOSTAŃ PITAGORASEM MUM. Podstawowe własności figur geometrycznych na płaszczyźnie

Jarosław Wróblewski Matematyka Elementarna, zima 2011/12

Bukiety matematyczne dla gimnazjum

W. Guzicki Zadanie 28 z Informatora Maturalnego poziom rozszerzony 1

Wykład 1. Na początku zajmować się będziemy zbiorem liczb całkowitych

ZADANIA OTWARTE KRÓTKIEJ ODPOWIEDZI

Zadania na dowodzenie Opracowała: Ewa Ślubowska

Matematyka dyskretna. Andrzej Łachwa, UJ, /10

Kongruencje pierwsze kroki

Twierdzenie Talesa. Adrian Łydka Bernadeta Tomasz. Teoria

Teoria grafów II. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Dlaczego nie wystarczają liczby wymierne

G i m n a z j a l i s t ó w

XXV Rozkosze Łamania Głowy konkurs matematyczny dla klas I i III szkół ponadgimnazjalnych. zestaw A klasa I

Internetowe Ko³o M a t e m a t yc z n e

Jarosław Wróblewski Matematyka dla Myślących, 2008/09

Geometria analityczna

Regionalne Koło Matematyczne

Twierdzenie Talesa. Adrian Łydka Bernadeta Tomasz. Teoria

WYŻSZA SZKOŁA INFORMATYKI STOSOWANEJ I ZARZĄDZANIA

PRÓBNY EGZAMIN MATURALNY Z MATEMATYKI poziom rozszerzony

Matematyka rozszerzona matura 2017

Matematyka dyskretna. Andrzej Łachwa, UJ, B/14

Lista 4. Kamil Matuszewski 22 marca 2016

( ) Arkusz I Zadanie 1. Wartość bezwzględna Rozwiąż równanie. Naszkicujmy wykresy funkcji f ( x) = x + 3 oraz g ( x) 2x

w jednym kwadrat ziemia powietrze równoboczny pięciobok

Zajęcia nr 1 (1h) Dwumian Newtona. Indukcja. Zajęcia nr 2 i 3 (4h) Trygonometria

PODSTAWOWE KONSTRUKCJE GEOMETRYCZNE

XV Olimpiada Matematyczna Juniorów

Wprowadzenie Podstawy Fundamentalne twierdzenie Kolorowanie. Grafy planarne. Przemysław Gordinowicz. Instytut Matematyki, Politechnika Łódzka

ZADANIA OTWARTE KRÓTKIEJ ODPOWIEDZI

Transkrypt:

O kolorowaniu Wojciech Guzicki. Kilka zadań na początek Kolorowanie jest częstym tematem zadań o charakterze olimpijskim. Na początku tego wykładu pokażę 0 takich zadań; większość(dokładniej: wszystkie z wyjątkiem jednego) pochodzi z Olimpiady Matematycznej i Olimpiady Matematycznej Gimnazjalistów(lub pod późniejszą nazwą Olimpiady Matematycznej Juniorów).. (XXI OM, zadanie /I) Udowodnij, że przy każdym podziale płaszczyzny na trzy zbiory w co najmniej jednymznichistniejądwapunktyodległeo. To zadanie możemy sformułować inaczej, używając pojęcia kolorowania. Oto takie sformułowanie: Każdy punkt płaszczyzny pokolorowano jednym z trzech kolorów. Udowodnij, że na tej płaszczyźnie istnieją dwa punkty odległe o pokolorowane tym samym kolorem. Rozwiązanie. Pokażę rozwiązanie oryginalne(por. archiwym Olimpiady Matematycznej: archom.ptm.org.pl). Przypuśćmy, że to twierdzenie jest fałszywe, tzn. istnieje takie kolorowanie płaszczyzny trzema kolorami(niebieskim, zielonym i czerwonym), w którym dowolne punkty odległe o są innego koloru. Pokażemy najpierw, że każde dwapunktyodległeo 3sąpokolorowanetymsamymkolorem.Niechzatembędzie danyodcinekabdługości 3.WeźmynapłaszczyźniedwapunktyCiDtakie,że: AC=BC=AD=BD=. SątopunktyprzecięciadwóchokręgówośrodkachAiBipromieniu.Takiepunkty istnieją, ponieważ odległość środków tych okręgów jest mniejsza od sumy promieni i większa od różnicy promieni. Nietrudno teraz udowodnić, że mamy także CD =. Mianowicie AC=BC oraz AD=BD. Stądwynika,żepunktyCiDleżąnasymetralnejodcinkaAB.Niechterazprosta CD(która właśnie jest symetralną odcinka AB) przecina odcinek AB w punkcie E. WówczaspunktEjestśrodkiemodcinkaABoraz AEC=90. C A E B Z twierdzenia Pitagorasa mamy więc: D CE 2 =AC 2 AE 2 = 2 skądwynika,żece= 2.ZatemCD=. ( 3 2 ) 2 = 3 4 = 4,

W. Guzicki O kolorowaniu 2 PunktyCiDsąodległeo,więcmajądwaróżnekolory.Bezzmniejszeniaogólności możemyzałożyć,żepunktcjestniebieski,apunktdjestzielony.punktajestodległy oodpunktówcid,więcniemożebyćaniniebieski,anizielony.zatempunktajest czerwony. Dokładnie tak samo pokazujemy, że punkt B jest czerwony. Udowodniliśmy więc,żepunktyaibsątegosamegokoloru. Teraz weźmy trójkąt KLM taki, że KL=KM= 3 oraz LM=. WówczasobawierzchołkiLiMmajątensamkolorcowierzchołekK,cojestsprzeczne z przyjętym założeniem, że każde dwa punkty oddalone o mają różne kolory. Otrzymana sprzeczność kończy rozwiązanie zadania. Nieco dokładniejsza analiza przedstawionego wyżej rozumowania pokazuje, że rozwiązanie zadania sprowadza się do wykazania, że następujących siedmiu punktów płaszczyzny nie możemy pokolorować trzema kolorami tak, by punkty połączone na rysunku odcinkiem miały różne kolory(na rysunku zaznaczone są odcinki między tymi punktami, mające długość równą ): A B F E C D G A oto zadanie podobne, z tą różnicą, że tym razem rozpatrujemy dwie różne długości odcinków. 2. (Olimpiada Matematyczna Australii, 206 r.) Każdy punkt płaszczyzny pomalowano na jeden z czterech kolorów. Udowodnij, że istniejądwapunktytegosamegokoloruwodległościlub 3. Rozwiązanie. Rozpatrujemy dowolne kolorowanie punktów płaszczyzny czterema kolorami: czerwonym, niebieskim, zielonym i żółtym. Zakładamy następnie, że dowolne punktyodległeolubo 3mająróżnekolory.Najpierwpokazujemy,żeistniejądwa punkty odległe o 2 pokolorowane różnymi kolorami. W tym celu weźmy dowolny trójkąt XY Z o bokach następujących długości: XY= oraz XZ=YZ=2. ZgodniezprzyjętymzałożeniempunktyXiY mająróżnekolory.punktzmajakiś kolor:jestonróżnyodkolorupunktuxlubodkolorupunktuy(lubodobukolorów). W każdym przypadku dostajemy dwa punkty różnych kolorów odległe o 2. Niech będą topunktyaib;bezzmniejszeniaogólnościmożemyprzyjąć,żepunktamakolor

W. Guzicki O kolorowaniu 3 czerwony i punkt B ma kolor niebieski. Niech następnie punkt C będzie wybrany tak, żetrójkątabcjestrównoboczny(czyliac=bc=2).niechwreszciepunktyd,e ifbędąśrodkamibokówbc,aciabtegotrójkątarównobocznego. C E D A F B Nietrudnozauważyć,żeAE=BD=orazAD=BE= 3.Stądwynika,żeżaden zpunktówdieniemożebyćaniczerwony,aniniebieski.ponieważmamytakże DE =,więcpunktydiemusząmiećróżnekolory.bezzmniejszeniaogólności możemyprzyjąć,żepunktdjestzielony,apunkteżółty. C E D A F B Zauważmyteraz,żepunktFjestodległyoodczterechpunktówA,B,DiEmających czteryróżnekolory.niezależnieodtego,jakikolormapunktf,jestonodległyood innego punktu tego samego koloru. To jednak jest sprzeczne z przyjętym założeniem. Otrzymana sprzeczność kończy rozwiązanie zadania. Rozwiązanie zadania znów sprowadza się do stwierdzenia, że następujących dziewięciu punktów nie można pokolorować za pomocą czterech kolorów tak, by punkty połączone na rysunku odcinkiem miały różne kolory(tym razem na rysunku są zaznaczone odcinki mającedługośćrównąlub 3): B D G E F J H A C

W. Guzicki O kolorowaniu 4 Następne osiem zadań pokażę teraz bez rozwiązań. Dwa z nich zostaną rozwiązane w dalszym ciągu wykładu. 3. (XLIV OM, zadanie 4/III) Dany jest wielościan wypukły, którego wszystkie ściany są trójkątami. Wierzchołki tego wielościanu kolorujemy trzema kolorami. Udowodnij, że liczba ścian mających wierzchołki wszystkich trzech kolorów jest parzysta. 4. (LIOM,zadanie4/I) Każdy punkt okręgu jest pokolorowany jednym z trzech kolorów. Udowodnij, że pewne trzy punkty jednego koloru są wierzchołkami trójkąta równoramiennego. 5. (LIX OM, zadanie 4/III) Każdy punkt płaszczyzny o obu współrzędnych całkowitych pomalowano na biało lub czarno. Udowodnij, że ze zbioru wszystkich pomalowanych punktów można wybrać nieskończony podzbiór, który ma środek symetrii i którego wszystkie punkty mają ten sam kolor. 6. (IVOMG,zadanie6/I) Każdy punkt płaszczyzny pokolorowano na niebiesko lub czerwono. Udowodnij, że istnieje trójkąt prostokątny równoramienny, którego wierzchołki są tego samego koloru. 7. (VIII OMG, zadanie 4/II) Każdy punkt płaszczyzny należy pomalować na pewien kolor w taki sposób, aby każda prosta była jednokolorowa lub dwukolorowa. Jaka jest największa możliwa liczba kolorów, których można użyć do pomalowania punktów tej płaszczyzny? 8. (IX OMG, zadanie 4/II) Napłaszczyźniezaznaczononpunktów(n 3),zktórychżadnetrzynieleżąna jednej prostej. Każdy z tych punktów pomalowano na jeden z trzech kolorów, przy czym każdego koloru użyto przynajmniej raz. Udowodnij, że istnieje taki trójkąt o wierzchołkach w zaznaczonych punktach, którego każde dwa wierzchołki mają różne kolory i do wnętrza którego nie należy żaden zaznaczony punkt. 9. (X OMG, zadanie 2/III) Każdą liczbę całkowitą dodatnią pomalowano na pewien kolor. Okazało się, że dla każdejparyliczbcałkowitycha,bwiększychodliczbya+biabsątegosamego koloru. Wykaż, że wszystkie liczby większe od 4 zostały pomalowane tym samym kolorem. 0. (XIII OMJ, zadanie 5/II) Każdą liczbę całkowitą pomalowano na jeden z trzech kolorów. Udowodnij, że istnieją dwie różne liczby tego samego koloru, których różnica jest kwadratem liczby całkowitej.

W. Guzicki O kolorowaniu 5 2. Galeria sztuki Metoda kolorowania może być przydatna w rozwiązywaniu problemów, w których sformułowaniu kolorowanie nie występuje. Pokażę teraz jeden taki problem. Dany jest dowolny wielokąt na płaszczyźnie, niekoniecznie wypukły. Tak naprawdę zadanie jest interesujące dla wielokątów, które nie są wypukłe. Ten wielokąt jest to tytułowa galeria sztuki. Na poniższym rysunku widzimy przykład takiego wielokąta: Galeria powinna być pilnowana przez strażników. Strażnik umieszczony w dowolnym punkcie galerii(w tym także na obwodzie) widzi na ogół tylko część galerii. Reszta galerii jest zasłonięta przez ściany. Na poniższych rysunkach szarym kolorem jest zaznaczona część galerii widoczna przez strażnika umieszczonego w punkcie S. Na rysunku lewym strażnik jest umieszczony wewnątrz galerii, na rysunku prawym w wierzchołku wielokąta. S S Sformułujmy teraz nasze zadanie. Zadanie. Dana jest galeria sztuki, będąca wielokątem(niekoniecznie wypukłym) mającym n boków. Jaką najmniejszą liczbę strażników należy rozmieścić w galerii, by widzieli oni całą galerię? Rozwiązanie powyższego zadania jest zawarte w dowodzie następującego twierdzenia. Twierdzenie2..Dladowolnegowielokątamającegonbokówwystarczy n 3 strażników. Ponadto istnieją wielokąty mające n boków, w których konieczne jest rozmieszczenie n 3 strażników.

W. Guzicki O kolorowaniu 6 Naszkicuję teraz dowód twierdzenia 2.. Pierwszy krok dowodu polega na podzieleniu wielokąta przekątnymi na trójkąty. Pominę tu szczegóły dowodu tego, że taki podział dowolnego wielokąta jest możliwy. Jest oczywiste, że podział wielokąta na trójkąty jest możliwy dla wielokąta wypukłego: prowadzimy wszystkie możliwe przekątne wychodzące z jednego wierzchołka. Jednak w przypadku wielokąta niewypukłego nie jest to tak oczywiste. Dowód prowadzimy przez indukcję ze względu na liczbę boków wielokąta. Najpierw znajdujemy przekątną wielokąta całkowicie zawartą w tym wielokącie(to jest największa trudność dowodu). Następnie zauważamy, że ta przekątna dzieli wielokąt na dwa mniejsze wielokąty, które z założenia indukcyjnego można podzielić na trójkąty. Te dwa podziały łącznie dają podział całego wielokąta. Popatrzmy teraz na podział naszego przykładowego wielokąta(nie jest to jedyny taki podział): W drugim kroku kolorujemy wierzchołki wielokąta trzema kolorami w taki sposób, by każdy trójkąt, na które podzieliliśmy wielokąt, miał wierzchołki trzech kolorów. Znów pominę szczegóły dowodu tego, że takie kolorowanie istnieje. Ten dowód także prowadzimy przez indukcję ze względu na liczbę boków wielokąta. Na poniższym rysunku widzimy takie przykładowe kolorowanie: Wreszcie w trzecim kroku dowodu wybieramy ten kolor, który występuje najmniejszą liczbęrazy.oczywiścieliczbawierzchołkówtegokolorujestniewiększaod n 3.Umieszczamy strażników w wierzchołkach tego koloru i oczywiście tak rozmieszczeni strażnicy

W. Guzicki O kolorowaniu 7 widzą całą galerię. Mianowicie każdy trójkąt ma jeden wierzchołek wybranego koloru oraz cały taki trójkąt jest widoczny z tego wierzchołka. To kończy szkic dowodu pierwszej części twierdzenia 2.. W naszym przykładzie mamy n = 25 oraz 7 wierzchołków zielonych. Mamy zatem 7 8= 25. 3 Strażnicy umieszczeni w zielonych wierzchołkach widzą całą galerię(zob. rysunek poniżej po lewej stronie). Zauważmy także, że w naszej przykładowej galerii mamy 8 wierzchołków czerwonych. Strażnicy umieszczeni w wierzchołkach czerwonych także widzą całą galerię(zob. rysunek po prawej stronie). Oczywiście strażnicy umieszczeni w wierzchołkach niebieskich także widzą całą galerię, alejestichzbytwielu: 25 0>8=. 3 Popatrzmyteraznaprzykładwielokąta,wktórymumieszczenie n 3 strażnikówjestkonieczne. Poniższy wielokąt ma 5 boków i konieczne jest umieszczenie w nim 5 strażników(każdy z nich musi obserwować jeden z pięciu obszarów zaznaczonych na rysunku kolorem szarym). Skonstruowanie analogicznego przykładu dla dowolnej liczby n podzielnej przez 3 jest oczywiste. To kończy szkic dowodu drugiej części twierdzenia 2..

W. Guzicki O kolorowaniu 8 3. Kolorowanie grafów Rozwiązania zadań i 2 zostały sprowadzone do pytania o to, czy pewien skończony podzbiór płaszczyzny można pokolorować za pomocą trzech lub czterech kolorów. Rysunki tych zbiorów zostały sporządzone tak, by uwidocznić pewne odcinki mające długości istotne w zadaniu. Punkty płaszczyzny połączone tymi odcinkami miały być pokolorowane różnymi kolorami. Takie rysunki nazywamy grafami. Nie będę w tym wykładzie podawał ścisłej definicji grafu. Zadowolimy się tylko graficzną ilustracją. Graf składa się z wierzchołków na rysunku są to pogrubione punkty na płaszczyźnie oraz z krawędzi na rysunku są to odcinki łączące niektóre(lub wszystkie) wierzchołki. Wierzchołki Krawędzie Często krawędzie będą rysowane jako linie krzywe łączące wierzchołki. Te linie czasem się przecinają na rysunku. Takie punkty przecięcia nie są uznawane za wierzchołki. Możemy sobie wyobrazić, że jedna krawędź przebiega nad drugą tak jak w bezkolizyjnych dwupoziomowych skrzyżowaniach dróg. To nie jest wierzchołek Jeśli żadne krawędzie grafu na rysunku się nie przecinają, to mówimy, że został narysowany graf płaski. Oto przykład takiego grafu: Graf można na ogół narysować na wiele sposobów. Niektóre z nich są rysunkami grafów

W. Guzicki O kolorowaniu 9 płaskich, na innych krawędzie mogą się przecinać. Popatrzmy na następne trzy rysunki: Przedstawiają one ten sam graf, narysowany za każdym razem inaczej. Na pierwszym rysunku widzimy kwadrat z obydwiema przekątnymi. Te przekątne przecinają się. Na drugim rysunku jedna z tych przekątnych została wyprowadzona poza kwadrat; jest jednakże linią krzywą. Na trzecim rysunku wierzchołki zostały przesunięte tak, że krawędzie się wyprostowały i teraz są odcinkami. Graf, który można narysować jako graf płaski, nazywamy grafem planarnym. Oto inny przykład grafu planarnego. Jest to graf, który widzieliśmy w rozwiązaniu zadania. W tym rozwiązaniu był on narysowany tak, że wszystkie krawędzie miały długość równą i wtedy niektóre krawędzie przecinały się. Na poniższym rysunku jedna krawędź została wydłużona, dwie zostały skrócone i został narysowany graf płaski. Nie każdy graf jest planarny. Oto dwa przykłady grafów nieplanarnych. W dalszym ciągu wykładu naszkicuję dowód nieplanarności tych grafów. Terminologia teorii grafów pochodzi z geometrii. Przykładem grafu jest dowolny wielościan. Jego wierzchołki są wierzchołkami grafu, krawędzie wielościanu zaś są krawędziami grafu. Można wykazać, że każdy wielościan wypukły jest grafem planarnym. Oto grafy płaskie powstałe z pięciu wielościanów foremnych(czworościanu, sześcianu, ośmiościanu, dwunastościanu i dwudziestościanu): G 4 G 6 G 8

W. Guzicki O kolorowaniu 0 G 2 G 20 W tym wykładzie interesuje nas kolorowanie grafów. Każdy wierzchołek grafu kolorujemyjednymzkkolorówwtakisposób,bykażdakrawędźmiałakońceróżnychkolorów. Kolorowanie wierzchołków grafu za pomocą k kolorów, spełniające ten warunek, nazywamy k-kolorowaniem. Zazwyczaj kolory numerujemy liczbami naturalnymi od do k;kolorowaniejestwięcfunkcjązezbioruv(g)wierzchołkówgrafugwzbiórliczb naturalnychoddok: c:v(g) {,2,...,k}. Liczbą chromatyczną grafu G nazywamy najmniejszą liczbę kolorów, którymi można pokolorować graf przy zachowaniu powyższego warunku(tzn. tak, że każda krawędź ma końce różnych kolorów). Inaczej mówiąc, jest to najmniejsza liczba naturalna k, dla której istnieje k-kolorowanie grafu G. Oznaczenie: Symbolem χ(g) oznaczamy liczbę chromatyczną grafu G. Popatrzmy na przykładowe kolorowania grafu. Na poniższym rysunku widzimy tzw. graf Petersena: Ten graf możemy łatwo pokolorować pięcioma, a także czterema kolorami: Można go także pokolorować trzema kolorami: Ćwiczenie 3.. Grafu Petersena nie można pokolorować dwoma kolorami.

W. Guzicki O kolorowaniu Można także łatwo udowodnić następujące twierdzenie: Twierdzenie 3.2. Jeśli graf zawiera cykl długości nieparzystej, to tego grafu nie można pokolorować dwoma kolorami. Wniosek 3.3: Liczba chromatyczna grafu Petersena jest równa 3. Popatrzmy na dwa inne przykłady kolorowań grafów: Te dwa grafy mają liczbę chromatyczną równą 4. Popatrzmy jeszcze na kolorowania grafów wielościanów foremnych. W każdym przypadku graf został pokolorowany najmniejszą możliwą liczbą kolorów. G 4 G 6 G 8 G 2 G 20 Powstaje następujący problem: jak obliczyć liczbę chromatyczną danego grafu skończonego? Pewną informację o liczbie chromatycznej grafu podaje następujące twierdzenie udowodnione przez Brooksa. Potrzebna będzie jeszcze jedna definicja. Stopniem wierzchołka grafu nazywamy liczbę krawędzi schodzących się w tym wierzchołku(czyli inaczej, liczbę wierzchołków sąsiadujących z danym wierzchołkiem). Twierdzenie 3.4.(Brooks, 94) Niech będzie maksymalnym stopniem wierzchołka grafu G. Wówczas χ(g) +, przyczymrównośćχ(g)= +mamiejscejedyniewdwóchprzypadkach: grafgjestgrafempełnymk + (tzn.grafgma +wierzchołkówikażdedwa wierzchołki są połączone krawędzią), grafgjestcyklemdługościnieparzystej(wówczas =2iχ(G)=3). Można łatwo stwierdzić, czy χ(g) = 2: wystarczy sprawdzić, czy graf ma cykl długości nieparzystej. Problem, czy graf jest 3-kolorowalny, jest znacznie poważniejszy. Pokazano, że jest on problemem NP-zupełnym. Problem, czy istnieje efektywny algorytm rozstrzygający, czy dany graf jest 3-kolorowalny jest jednym z tzw. problemów milenijnychidotychczasjestnierozwiązany(zarozwiązaniejestnagroda0 6 dolarów).

W. Guzicki O kolorowaniu 2 4. Kolorowanie grafów płaskich i map Graf płaski dzieli płaszczyznę na obszary nazywamy je ścianami grafu płaskiego. Oto dwa przykłady grafów płaskich z ponumerowanymi ścianami: 4 4 2 3 5 3 6 2 Należy zwrócić uwagę na to, że jedną ze ścian jest obszar nieograniczony. Jednym z ważniejszych twierdzeń dotyczących grafów płaskich jest twierdzenie Eulera, które przytoczę tutaj bez dowodu. Twierdzenie 4.. Jeśli G jest grafem płaskim, to: w k+s=2, gdzie: w = liczba wierzchołków, k = liczba krawędzi, s=liczbaścian. Z twierdzenia Eulera wynikają trzy wnioski, z których w dalszym ciągu skorzystamy. Oto pierwsze dwa: Wniosek 4.2. Jeśli G jest grafem planarnym, to k 3w 6. Dowód. Zauważmy na początku, że każda ściana danego grafu płaskiego G jest ograniczonaconajmniejtrzemakrawędziami.niecha,a 2,...,A s będąwszystkimiścianami grafug.przypuśćmynastępnie,żeścianaa i mam i krawędzi.wówczasm i 3dla i=,2,...,s.oczywiściemamyrówność m +m 2 +...+m s =2k. Wynika ona stąd, że zliczając krawędzie wokół każdej ściany policzymy każdą krawędź dwukrotnie.ponieważm i 3,więc Ze wzoru Eulera wynika teraz, że 2k 3s. 2k 3 (k+2 w),

W. Guzicki O kolorowaniu 3 czyli k 3w 6. To kończy dowód. Wniosek 4.3. Jeśli G jest grafem planarnym bez cykli długości 3, to k 2w 4. Dowód. Postępujemy tak samo jak w dowodzie poprzedniego wniosku. Zauważamy jednak tym razem, że każda ściana jest ograniczona przez co najmniej trzy krawędzie, gdyżwgrafiegniemacyklidługości3.mamywięctymrazemnierównościm i 4dla i=,2,...,s,skądwynika,że2k 4s,czylik 2s.Stądwynikanierówność k 2 (k+2 w), czyli k 2w 4. To kończy dowód. Z udowodnionych dwóch wniosków wynikają dwa twierdzenia dotyczące nieplanarności grafów. Twierdzenie4.4.Następującygraf(oznaczanysymbolemK 5 )jestnieplanarny: Dowód.Tengrafma5wierzchołkówi0krawędzi.Zatemmamy: w=5 oraz k=0. Gdyby ten graf był planarny, to mielibyśmy nierówność 0=k 3w 6=3 5 6=9. Otrzymanasprzecznośćdowodzi,żegrafK 5 jestnieplanarny. Twierdzenie4.5.Następującygraf(oznaczanysymbolemK 3,3 )jestnieplanarny:

W. Guzicki O kolorowaniu 4 Dowód. Można łatwo zauważyć, że ten graf nie ma cykli długości nieparzystej; w szczególności nie ma cykli długości 3. Ponadto ma 6 wierzchołków i 9 krawędzi. Mamy zatem: w=6 oraz k=9. Gdyby ten graf był planarny, to mielibyśmy nierówność 9=k 2w 4=2 6 4=8. Tasprzecznośćdowodzi,żegrafK 3,3 jestnieplanarny. Grafy nieplanarne pokazane w twierdzeniach 4.4 i 4.5 są w pewnym sensie wzorcami nieplanarności. Twierdzenie udowodnione przez Kuratowskiego mówi, że każdy graf nieplanarny zawiera w pewnym sensie jeden z tych dwóch grafów. Trzeci wniosek z twierdzenia Eulera jest następujący: Wniosek 4.6. W każdym grafie planarnym istnieje wierzchołek stopnia co najwyżej 5. Dowód. Załóżmy, że dany graf G został narysowany jako graf płaski. Przypuśćmy, że każdywierzchołekgrafugmastopieńrównyconajmniej6.niechv,v 2,...,v w będą wszystkimiwierzchołkamigrafuginiechd(v ),d(v 2 ),...,d(v w )będąstopniamitych wierzchołków.wówczaszprzyjętegozałożeniawynika,żed(v i ) 6dlai=,2,...,w. Następująca równość jest oczywista: 2k=d(v )+d(v 2 )+...+d(v w ). Wynika ona stąd, że zliczając krwędzie wychodzące z każdego wierzchołka, policzymy każdą krawędź dwukrotnie. Mamy zatem nierówność 2k 6w, czylik 3w.Zdrugiejstrony,zwniosku4.2wynika,żek 3w 6.Łączniemamy zatem 3w k 3w 6, co jest niemożliwe. Otrzymana sprzeczność kończy dowód. Z wniosku 4.6 łatwo wynika pierwsza część następującego twierdzenia. Twierdzenie 4.7. Jeśli G jest grafem płaskim, to χ(g) 6. χ(g) 5. χ(g) 4. Pierwszej części dowodzi się przez indukcję względem liczby wierzchołków grafu. W kroku indukcyjnym znajdujemy wierzchołek stopnia co najwyżej 5 i usuwamy go z grafu. Pozostałą część grafu kolorujemy sześcioma kolorami(z założenia indukcyjnego). Jednak zauważmy, że sąsiedzi wierzchołka usuniętego zużywają tylko co najwyżej 5 kolorów; usunięty wierzchołek przywracamy i kolorujemy go szóstym kolorem.

W. Guzicki O kolorowaniu 5 Nieco bardziej skomplikowany jest dowód drugiej części. Prowadzimy go także przez indukcję. Problem powstaje wtedy, gdy sąsiedzi wierzchołka usuniętego zużywają wszystkie5kolorów.dowodzisięwtedy,żemożnatakzamienićkolorywczęścigrafu,bypotej zamianie sąsiedzi wierzchołka usuniętego zużywali co najwyżej 4 kolory. Wtedy można ten usunięty wierzchołek przywrócić i pokolorować go piątym kolorem. Trzecia część twierdzenia została udowodniona w 976 roku przez Appela i Hakena za pomocą ogromnych obliczeń komputerowych. Zagadnieniem blisko związanym z kolorowaniem grafów jest kolorowanie map. Omówię je na przykładzie. Popatrzmy na schematyczną mapę Polski z obowiązującym obecnie podziałem na województwa. Chcemy pokolorować tę mapę w taki sposób, by sąsiadujące województwa były pokolorowane różnymi kolorami. Jedna kwestia wymaga wyjaśnienia: co rozumiemy przez województwa sąsiadujące. Otóż dwa województwa sąsiadują ze sobą, jeśli mają wspólną granicę, która jest linią niezredukowaną do punktu. W każdym województwie zostało zaznaczone jedno miasto: Łączymy miasta w sąsiadujących województwach liniami przechodzącymi przez wspólną granicę:

W. Guzicki O kolorowaniu 6 Następnie usuwamy mapę. Otrzymaliśmy graf, którego wierzchołki odpowiadają województwom, a krawędzie łączą województwa mające wspólną granicę. Można zauważyć, że graf otrzymany w ten sposób z płaskiej mapy jest grafem płaskim. Oto ten sam graf, w którym krawędzie są odcinkami: Ten graf można pokolorować czterema kolorami. Przykładowe takie kolorowanie grafu województw czterema kolorami widzimy na następnym rysunku:

W. Guzicki O kolorowaniu 7 Tymi czterema kolorami możemy teraz pokolorować oryginalną mapę: Popatrzmy na jeszcze jeden przykład. Oto graf utworzony na tej samej zasadzie z podziału Polski na województwa, obowiązującego do 3 grudnia 998 roku, pokolorowany czterema kolorami. K S G E O S S GW P B T C O Ł B ZG L P K K W Ł P S W S BP L W S PT R L C JG W O C K T Z K BB K NS T K R P

W. Guzicki O kolorowaniu 8 5. Kolorowanie płaszczyzny Niechterazbędziedanapłaszczyzna R 2 zustalonąjednostkąodległości.potraktujmy tę płaszczyznę jako graf nieskończony, którego wierzchołkami są punkty płaszczyzny, a krawędzie łączą punkty odległe dokładnie o. Liczbą chromatyczną płaszczyzny nazywamyliczbęchromatycznątegografu.zatemliczbachromatycznapłaszczyznyχ(r 2 ) jest to najmniejsza liczba kolorów, którymi możemy pokolorować punkty płaszczyzny wtakisposób,byżadnedwapunktyodległedokładnieoniebyłytegosamegokoloru. Inaczej mówiąc, jest to najmniejsza liczba kolorów, którymi możemy pokolorować punkty płaszczyzny w taki sposób, by każdy odcinek długości miał końce różnych kolorów. Co wiemy o liczbie chromatycznej płaszczyzny? Mamy następujące trzy nietrudne twierdzenia. Zaczniemy od najłatwiejszego. Twierdzenie5..χ(R 2 ) 4. Dowód. Dowód tego twierdzenia został przeprowadzony w rozwiązaniu zadania. Sprowadza się on do tego, że następujący graf(którego krawędzie mają na płaszczyźnie długość równą ) ma liczbę chromatyczną równą 4. A B F E C D G Inny dowód otrzymamy rozpatrując następujący graf(którego krawędzie także mają na płaszczyźnie długość równą ): C G B D H O K A E F Twierdzenie5.2.χ(R 2 ) 9. Dowód. Narysujmy na płaszczyźnie kratki, których bok jest równy a = 0,6. Pokolo-

W. Guzicki O kolorowaniu 9 rujmy te kratki dziewięcioma kolorami tak jak na rysunku: 2 3 2 3 2 3 4 5 6 4 5 6 4 5 6 7 8 9 7 8 9 7 8 9 2 3 2 3 2 3 4 5 6 4 5 6 4 5 6 7 8 9 7 8 9 7 8 9 2 3 2 3 2 3 4 5 6 4 5 6 4 5 6 7 8 9 7 8 9 7 8 9 Wówczas odległość punktów w dwóch różnych kratkach tego samego koloru jest równa co najmniej,2. Wiemy następnie, że długość przekątnej d kwadratu spełnia nierówność d=a 2,5 a.zatemprzekątnadkratkispełnianierówność d,5 0,6=0,9<. Zatemdwapunktyznajdującesięwtejsamejkratcesąodległeomniejniż.Łącznie stąd wynika, że na tak pokolorowanej płaszczyźnie każdy odcinek długości ma końce różnych kolorów, Twierdzenie5.3.χ(R 2 ) 7. Dowód. Podzielmy płaszczyznę na sześciokąty foremne o boku długości a = 0,4 i pokolorujmy te sześciokąty tak jak na rysunku: 4 6 5 2 3 7 4 6 5 2 7 4 6 5 2 3 7 4 5 2 3 7 4 6 5 2 3 7 4 6 5 2 3 7 4 6 5 3 7 4 6 5 2 3 7 4 5 2 3 7 4 6 5 2 3 4 6 5 2 3 7 4 6 5 3 7 4 6 5 2 3 7 6 5 2 3 7 4 6 5 2 3 4 6 5 2 3 7 4 6 2 3 7 4 6 5 2 3 7 6 5 2 3 7 4 6 5 2 7 4 6 5 2 3 7 4 6

W. Guzicki O kolorowaniu 20 Sześciokąty tego samego koloru są położone tak jak na rysunku: Przypuśćmy następnie, że dany jest odcinek mający oba końce tego samego koloru. Te końce mogą leżeć w tym samym sześciokącie lub w dwóch różnych sześciokątach tego samego koloru. E D R Q 0,4 F 0,4 O C 0,4 T 0,4 0,2 0,2 S W K J A 0,4 B P L I M N G H Oczywiście najdłuższy odcinek mający końce w tym samym sześciokącie ma długość co najwyżej taką jak odcinek AD = 2a = 0,8. Natomiast najkrótszy odcinek o końcach w dwóch różnych sześciokątach tego samego koloru ma długość co najmniej taką jak odcinek CL: CL>CW=CT+TS+TW=0,4+0,4+0,2=. Długość CL możemy obliczyć z twierdzenia Pitagorasa: ( ) 2 5a CL 2 =CW 2 +LW 2 a = +( ) 2 3 = 25a2 2 2 4 Zatem CL=a 7 2,64575 a. Po podstawieniu a = 0,4, otrzymujemy CL,0583. + 3a2 4 =28a2 4 =7a 2.

W. Guzicki O kolorowaniu 2 Powyższe trzy twierdzenia dają następujący wniosek: Wniosek 5.4. Mają miejsce następujące nierówności: 4 χ(r 2 ) 7. Wkwietniu208r.AubreyD.N.J.deGreyudowodnił,żeχ(R 2 ) 5.Mianowiciewskazał on skończony graf G(mający 58 wierzchołków i 7877 krawędzi) o następujących własnościach: każdy wierzchołek grafu G jest punktem płaszczyzny, dwapunktygrafugsąpolączonekrawędziąwtedyitylkowtedy,gdyichodległość na płaszczyźnie jest równa, graf G nie może być pokolorowany za pomocą czterech kolorów. Dalsze badania pokazały, że liczbę wierzchołków odpowiedniego grafu można znacznie zmniejszyć. Znany jest odpowiedni graf mający 553 wierzchołki i 2722 krawędzie. Wyznaczeniedokładnejwartościχ(R 2 )jestnadalotwartymproblemem.

W. Guzicki O kolorowaniu 22 6. Kolorowanie liczb całkowitych Przypomnijmy zadanie 0. 0. (XIII OMJ, zadanie 5/II) Każdą liczbę całkowitą pomalowano na jeden z trzech kolorów. Udowodnij, że istnieją dwie różne liczby tego samego koloru, których różnica jest kwadratem liczby całkowitej. To zadanie jest szczególnym przypadkiem problemu znacznie ogólniejszego. Niech D będzie dowolnym podzbiorem zbioru liczb naturalnych różnych od zera: D N\{0}. Rozpatrujemy graf nieskończony, którego wierzchołkami są liczby całkowite(lub liczby naturalne). Dwie liczby m i n są połączone krawędzią, jeśli m n D. Ten graf oznaczymy symbolem G(Z, D)(lub odpowiednio G(N, D)). Symbolem χ(z, D) (lub odpowiednio χ(n, D)) będziemy oznaczać liczbę chromatyczną grafu G(Z, D)(lub G(N, D)). Zauważmy jednak, że istnieją zbiory D takie, że nie istnieje kolorowanie tych grafówzapomocąskończonejliczbykolorów.takjestnaprzykład,gdyd=n\{0}. Wówczas każde dwie liczby całkowite są połączone krawędzią, więc każda liczba musi być innego koloru. W takim przypadku piszemy, że χ(z,d)= (lubodpowiednio:χ(n,d)= ). Następne twierdzenie pozwala nam ograniczyć nasze rozważania do grafów G(N, D), czyli do kolorowania liczb naturalnych. Twierdzenie6..DladowolnegozbioruD N\{0}mamiejscerówność χ(n,d)=χ(z,d). Dowód twierdzenia 6. pominę w tym wykładzie. Popatrzmy najpierw na dwa przykłady takich grafów. Twierdzenie 6.2. Niech D będzie zbiorem potęg liczby 2: D={2 n : n N}={,2,4,8,6,...}. Wówczas mamy równość χ(n,d)=3. Dowód.Oczywiścieliczby,2i3musząmiećróżnekolory: 2 = 3 2 ==2 0 D oraz 3 =2=2 D.

W. Guzicki O kolorowaniu 23 Stąd wynika, że χ(n,d) 3. (6.) Z drugiej strony, kolorujemy liczby całkowite w następujący sposób: to znaczy c(n)=nmod3, 0, jeśli3 n, c(n)=, jeśli3 n, 2, jeśli3 n 2. Wówczas dwie liczby całkowite mają ten sam kolor wtedy i tylko wtedy, gdy ich różnica jestpodzielnaprzez3.wtedyjednakżetaróżnicaniejestpotęgąliczby2,więcnie należy do zbioru D. Zdefiniowane kolorowanie jest więc 3-kolorowaniem grafu G(N, D). To dowodzi, że χ(n,d) 3. (6.2) Łącząc nierówności(6.) i(6.2) otrzymujemy dowodzoną równość χ(n,d)=3. Twierdzenie 6.3. Niech D będzie zbiorem liczb pierwszych: Wówczas D={2,3,5,7,,3,7,...}. χ(n,d)=4. Dowód.Możnałatwozauważyć,żeliczby,2,3,4,5,6i7niemogąbyćpokolorowane trzema kolorami. Inaczej mówiąc, następujący graf nie jest 3-kolorowalny(tzn. nie istnieje 3-kolorowanie tego grafu): 7 6 5 2 4 3 Przypuśćmy bowiem, że powyższy graf skończony jest 3-kolorowalny. Liczby i 6 mają różne kolory: 7 6 5 2 4 3

W. Guzicki O kolorowaniu 24 Stądwynika,żeliczby3i4musząbyćczerwone. 7 6 5 2 4 3 Terazwidzimy,żeżadnazliczb2,5i7niemożebyćczerwona(liczby2i7sąsiadują zliczbą4,aliczba5zliczbą3;liczby3i4sązaśczerwone).liczby2,5,i7musząjednak mieć trzy różne kolory, gdyż każda sąsiaduje z dwiema pozostałymi. To jest niemożliwe. Mamy zatem nierówność χ(n,d) 4. (6.3) Z drugiej strony, kolorujemy liczby całkowite w następujący sposób: to znaczy c(n)=nmod4, 0, jeśli4 n,, jeśli4 n, c(n)= 2, jeśli4 n 2, 3, jeśli4 n 3. Wówczas dwie liczby całkowite mają ten sam kolor wtedy i tylko wtedy, gdy ich różnica jest podzielna przez 4. Wtedy jednakże ta różnica nie jest liczbą pierwszą, więc nie należy do zbioru D. Zdefiniowane kolorowanie jest więc 4-kolorowaniem grafu G(N, D). To dowodzi, że χ(n,d) 4. (6.4) Łącząc nierówności(6.3) i(6.4) otrzymujemy dowodzoną równość χ(n,d)=4. Interesujące jest badanie liczb chromatycznych dla skończonych zbiorów D. Możemy łatwo udowodnić, że jeśli D D 2 N\{0}, to χ(n,d ) χ(n,d 2 ). Stąd w szczególności wynika, że jeśli D jest podzbiorem zbioru liczb pierwszych, to χ(n, D) 4. Interesującym problemem jest znalezienie liczby chromatycznej grafu

W. Guzicki O kolorowaniu 25 G(N, D) dla dowolnego podzbioru D zbioru liczb pierwszych. Problem ten jest rozwiązany całkowicie tylko dla podzbiorów co najwyżej czteroelementowych. Powróćmy do zadania 0. Przypomnijmy to zadanie. 0. (XIII OMJ, zadanie 5/II) Każdą liczbę całkowitą pomalowano na jeden z trzech kolorów. Udowodnij, że istnieją dwie różne liczby tego samego koloru, których różnica jest kwadratem liczby całkowitej. Rozwiązanie. Pokażę najpierw rozwiązanie firmowe, pochodzące od Komisji Zadaniowej OMJ. Niech K będzie zbiorem kwadratów liczb naturalnych różnych od zera: K= { k 2 : k N\{0} } ={,4,9,4,25,...}. Kolorowanie liczb ujemnych w rozwiązaniu tego zadania nie jest konieczne. Wykażemy zatem, że nie istnieje 3-kolorowanie grafu G(N, K). Będziemy zajmować się kolorowaniami podzbiorów zbioru liczb naturalnych. Zatem k-kolorowaniem(gdzie k 2) dowolnego zbioru X N będziemy nazywać funkcję o następującej własności: c:x {,2,...,k} dladowolnychliczbnaturalnychm,n X,jeśli m n K,toc(m) c(n). Przypuśćmy zatem, że istnieje 3-kolorowanie zbioru liczb naturalnych. Pokażemy, że przyjęte założenie prowadzi do sprzeczności. Najpierw udowodnimy następujący lemat: Lemat6.4.Załóżmy,żefunkcjacjest3-kolorowaniemzbioru N.Niechnastępniem 9 orazn=m+7.wówczasc(m)=c(n). Dowód. Rozważamy cztery liczby: a=m 9, m, n oraz b=n+9. Wówczas oczywiście 0 a<m<n<b. ZzasadyszufladkowejDirichletawynika,żeconajmniejdwieliczbyzezbioru{a,m,n,b} majątensamkolor.toznaczy,żeistniejądwieróżneliczbyx,y {a,m,n,b}takie,że c(x) c(y). Zauważmy następnie, że: m a=9=3 2 K,więcc(a) c(m), n a=(m+7) (m 9)=6=4 2 K,więcc(a) c(n), b a=(n+9) (m 9)=(n m)+8=7+8=25=5 2 K,więcc(a) c(b), b m=(n+9) m=(n m)+9=7+9=6=4 2 K,więcc(m) c(b), b n=9=3 2 K,więcc(n) c(b). Pozostaje ostatnia możliwość: c(m) = c(n). To kończy dowód lematu.

W. Guzicki O kolorowaniu 26 Powróćmy do rozwiązania zadania. Rozważamy następujące liczby: 9, 6, 23, 30, 37, 44, 5i58.Zlematu6.wynika,że c(9)=c(6)=c(23)=c(30)=c(37)=c(44)=c(5)=c(58). Tojednakjestniemożliwe,gdyż58 9=49=7 2 K.Otrzymanasprzecznośćkończy rozwiązanie zadania. W powyższym rozwiązaniu rozpatrujemy tylko kolorowania skończenie wielu liczb całkowitych. Nietrudno zauważyć, że najmniejszą rozpatrywaną liczbą jest zero, największą jest 65. Zatem tak naprawdę zostało udowodnione następujące twierdzenie: Twierdzenie 6.5. Dany jest następujący zbiór liczb naturalnych: X={0,,2,...,65}. Niechnastępniebędziedanadowolnafunkcjac:X {,2,3}.Wówczasistniejąliczby m,n Xtakie,że m n Korazc(m)=c(n). Powstaje naturalne pytanie, czy liczbę 65 można zastąpić liczbą mniejszą. W tym wykładzie pokażę odpowiedź na to pytanie. Mianowicie udowodnię następujące twierdzenia: Twierdzenie 6.6. Dany jest następujący zbiór liczb naturalnych: X={0,,2,...,28}. Niechnastępniebędziedanadowolnafunkcjac:X {,2,3}.Wówczasistnieją liczbym,n Xtakie,że m n Korazc(m)=c(n).Inaczejmówiąc,nieistnieje 3-kolorowanie zbioru X. Twierdzenie 6.7. Dany jest następujący zbiór liczb naturalnych: X={0,,2,...,27}. Wówczas istnieje 3-kolorowanie zbioru X. W dowodzie twierdzenia 6.6 skorzystamy z lematu analogicznego do lematu 6.4. Lemat6.8.Załóżmy,żefunkcjacjest3-kolorowaniemzbioruX={0,,2,...,28}. Niechnastępnie9 m 2orazn=m+7.Wówczasc(m)=c(n). Dowód.Powtarzamydowódlematu6.4.Należyzauważyć,żezzałożenia9 m 2 wynika,żeliczbya,m,n,bnależądozbiorux.

W. Guzicki O kolorowaniu 27 Dowód twierdzenia 6.6. Przypuśćmy, że funkcja c jest 3-kolorowaniem zbioru X={0,,2,...,28}. Skorzystamy z lematu 6.8 dla czterech czwórek liczb: Niech a=0, m=9, n=6, b=25. Wówczas c(9) = c(6). Niech a=, m=0, n=7, b=26. Wówczas c(0) = c(7). Niech Wówczas c() = c(8). Niech Wówczas c(2) = c(9). Otrzymaliśmy zatem cztery pary liczb: a=2, m=, n=8, b=27. a=3, m=2, n=9, b=28. {9, 6}, {0, 7}, {, 8} oraz {2, 9} otejwłasności,żewkażdejparzeobieliczbymajątensamkolor: c(9)=c(6), c(0)=c(7), c()=c(8) oraz c(2)=c(9). Następnie popatrzmy na zbiór czterech liczb:{9, 0,, 2}. Z zasady szufladkowej Dirichletawynika,żeconajmniejdwieznichmajątensamkolor.Mamyterazsześć przypadków: Przypadek.c(9)=c(0). Wówczas0 9== 2 K,cojestniemożliwe. Przypadek2.c(9)=c(). Wówczaswszystkieliczbyzezbioru{9,,6,8}majątensamkolororaz co jest niemożliwe. 8 9=9=3 2 K, Przypadek3.c(9)=c(2). Wówczaswszystkieliczbyzezbioru{9,2,6,9}majątensamkolororaz co jest niemożliwe. 6 2=4=2 2 K,

W. Guzicki O kolorowaniu 28 Przypadek4.c(0)=c(). Wówczas 0== 2 K,cojestniemożliwe. Przypadek5.c(0)=c(2). Wówczaswszystkieliczbyzezbioru{0,2,7,9}majątensamkolororaz co jest niemożliwe. 9 0=9=3 2 K, Przypadek6.c()=c(2). Wówczas2 == 2 K,cojestniemożliwe. Sprzeczność otrzymana we wszystkich przypadkach dowodzi, że założenie o istnieniu 3-kolorowania jest niemożliwe. To kończy dowód twierdzenia 6.6. Dowód Twierdzenia 6.7. Wystarczy wskazać odpowiednie 3-kolorowanie zbioru X={0,,2,...27}. Wskażemy zatem funkcje c:x {,2,3} będące3-kolorowaniamizbiorux.przyjmijmy,żec(0)=orazc()=2.okazujesię, że wówczas istnieje dokładnie siedem 3-kolorowań zbioru Oto one: X={0,,2,...,27}. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 3 2 3 2 2 3 2 3 3 2 3 3 2 3 2 3 2 3 2 2 3 2 2 3 2 3 3 2 3 3 2 3 2 3 2 3 3 2 3 2 2 3 2 3 3 2 3 3 2 3 2 3 2 3 2 3 2 3 2 2 3 2 3 2 3 2 3 3 2 3 2 3 2 3 3 2 3 2 2 3 2 3 2 3 2 3 3 2 3 2 3 2 3 2 3 2 3 2 2 3 2 3 2 2 3 2 2 3 3 2 3 3 2 3 2 3 To kończy dowód twierdzenia 6.7. Istnieje znacznie krótszy dowód twierdzenia 6.6. Weźmy bowiem następujące cztery liczby: a=0, b=53 2 = 23409, c=85 2 = 34225, d=697 2 =485809.

W. Guzicki O kolorowaniu 29 Wówczas mamy: b a=53 2 0=53 2 K, c a=85 2 0=85 2 K, d a=697 2 0=697 2 K, c b=85 2 53 2 =34225 23409=086=04 2 K, d b=697 2 53 2 =485809 23409=462400=680 2 K, d c=697 2 85 2 =485809 34225=45584=672 2 K. Zatemliczbya,b,cidmusząmiećróżnekolory.Tokończydowódtwierdzenia6.6. Można udowodnić więcej. Okazuje się, że Mamy bowiem następujące twierdzenie. χ(n, K) 5. Twierdzenie 6.9. Nie istnieje 4-kolorowanie zbioru liczb naturalnych N. W dowodzie tego twierdzenia skorzystamy z następującego lematu. Lemat 6.0. Załóżmy, że funkcja c:n {,2,3,4} jest4-kolorowaniemzbioru N.Niechm 270400orazniechn=m+4432.Wówczas c(m)=c(n). Dowód. Rozważamy pięć liczb: a=m 270400, b=m 200704, m, n oraz d=n+906304. Wówczas oczywiście a<b<m<n<d. Z zasady szufladkowej Dirichleta wynika, że co najmniej dwie liczby należące do zbioru {a,b,m,n,d}majątensamkolor.zauważmynastępnie,że: b a=(m 200704) (m 270400)=270400 200704=69696=264 2 K,więc c(a) c(b), m a=m (m 270400)=270400=520 2 K,więcc(a) c(m), n a=(m+4432) (m 270400)=270400+4432=3472=56 2 K,więc c(a) c(n), d a=(n+906304) (m 270400)=4432+906304+270400=22025=05 2 K, więcc(a) c(d), m b=m (m 200704)=200704=448 2 K,więcc(b) c(m), n b=(m+4432) (m 200704)=4432+200704=245025=495 2 K,więc c(b) c(n),

W. Guzicki O kolorowaniu 30 d b=(n+906304) (m 200704)=4432+906304+200704=5329=073 2 K, więcc(b) c(d), d m=(n+906304) m=(n m)+906304=4432+906304=950625=975 2 K, więcc(m) c(d), d n=906304=952 2 K,więcc(n) c(d). Pozostaje ostatnia możliwość: χ(m) = χ(n). To kończy dowód lematu. Dowód twierdzenia 6.9. Najpierw zastosujmy lemat 6.0 do liczb m=270400 oraz n=m+4432=3472. Mamy wówczas χ(m) = χ(n). Następnie definiujemy ciąg liczb { a0 =m=270400, a n+ =a n +4432. Wówczasoczywiściea =n.zatemχ(a 0 )=χ(a ).Nietrudnozauważyć,żedlakażdej liczby naturalnej i ma miejsce równość a i =a 0 +i 4432=m+i 4432. Następnie, korzystając wielokrotnie z lematu 6.0 otrzymujemy ciąg równości: χ(a 0 )=χ(a )=χ(a 2 )=...=χ(a 4432 ). Ale a 4432 a 0 =(a 0 +4432 4432) a 0 =4432 2 K, co jest niemożliwe. Otrzymana sprzeczność kończy dowód twierdzenia. Twierdzenie 6.6 można także udowodnić w sposób bezpośredni, analizując możliwe kolorowanialiczbod0do28.pokażęteraztakidowód. Dowód twierdzenia 6.6. Liczby od 0 do 28 kolorujemy trzema kolorami: czerwonym, niebieskimizielonym.zaczynamyodtego,żeliczby0i25musząmiećróżnekolory. Niechnaprzykład0makolorniebieski,a25makolorzielony. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 25 Następnie mamy równości 9 0=9=3 2 K oraz 25 9=6=4 2 K. Stądwynika,żeliczba9niemożebyćniebieskainiemożebyćzielona,zatemmusimieć kolor czerwony. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 6

W. Guzicki O kolorowaniu 3 Następnie zauważmy, że 6 0=6=4 2 K oraz 25 6=9=3 2 K. Tak jak wyżej wnioskujemy, że liczba 6 musi mieć kolor czerwony. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 9 Terazpatrzymynakolorliczby.Ponieważ 0== 2 K,więcliczbamusi mieć kolor różny od koloru liczby 0, czyli kolor różny od niebieskego. Mamy zatem 2przypadki:liczbamakolorczerwonylubmakolorzielony.Okażesię,żewobu przypadkach kolory wielu innych liczb są zdeterminowane. Przypadek. Liczba ma kolor czerwony: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 Teraz popatrzmy na liczbę 26. Ponieważ 26 25== 2 K oraz 26 =25=5 2 K, więc liczba 26 musi mieć kolor niebieski: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 25 Następnie weźmy liczbę 0. Mamy tym razem 0 9== 2 K oraz 26 0=6=4 2 K. Stąd wynika, że liczba 0 musi mieć kolor zielony: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 6 Kolejną liczbą jest 7. Mamy teraz Zatem liczba 7 jest zielona: 7 6== 2 K oraz 26 7=9=3 2 K. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 9

W. Guzicki O kolorowaniu 32 Ponieważ 8 7== 2 K oraz 8 9=9=3 2 K, więc liczba 8 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Następną rozważaną liczbą jest 2. Mamy teraz Zatem liczba 2 jest zielona: 2 == 2 K oraz 8 2=6=4 2 K. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 Teraz zauważamy, że 27 26== 2 K oraz 27 2=25=5 2 K. Stąd wynika, że liczba 27 jest czerwona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 25 Weźmy następnie liczbę. Wówczas 2=9=3 2 K oraz 27 =6=4 2 K, skąd wynika, że liczba jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 Kolejną liczbą jest 2. Mamy Zatem liczba 2 jest zielona: 2 == 2 K oraz 6 2=4=2 2. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 4

W. Guzicki O kolorowaniu 33 Przedostatnią badaną liczbą jest 9. Teraz mamy równości 9 8== 2 K oraz 9 0=9=3 2 K. Zatem liczba 9 jest czerwona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Wreszcie popatrzmy na liczbę 3. Mamy równości 3 2== 2 K oraz 9 3=6=4 2 K. Stąd wynika, że liczba 3 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 Teraz zauważmy, że 28 27== 2 K, 28 2=6=4 2 K oraz 28 3=25=5 2 K, skądwynika,żeliczba28niemożemiećżadnegoztrzechkolorów. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 25 Przypadek jest zatem niemożliwy. Przypadek 2. Liczba ma kolor zielony. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 Teraz, w podobny sposób jak w przypadku pierwszym, znajdujemy kolory innych liczb. Mamy zatem kolejno: Liczba 0 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9

W. Guzicki O kolorowaniu 34 Liczba 7 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 6 Liczba 26 jest czerwona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 25 Liczba 8 jest zielona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Liczba 27 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Liczba 2 jest czerwona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 25 Liczba jest zielona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Liczba 2 jest niebieska: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 4

W. Guzicki O kolorowaniu 35 Liczba 9 jest czerwona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Wreszcie liczba 3 jest zielona: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 Teraz zauważmy, że 28 27== 2 K, 28 9=9=3 2 K oraz 28 3=25=5 2 K, skądznówwynika,żeliczba28niemożemiećżadnegoztrzechkolorów. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 9 25 Okazało się, że przypadek drugi także jest niemożliwy. Otrzymana sprzeczność dowodzi, że 3-kolorowanie zbioru liczb naturalnych od 0 do 28 nie jest możliwe. To kończy dowód twierdzenia 6.6. W podobny sposób można udowodnić twierdzenie 6.7. Kolorowanie znalezione w przypadku pierwszym możemy jeszcze rozszerzyć. Można łatwo przekonać się(co pozostawię jakoćwiczenie),żekoloryliczb8,24,20,4,7,3,4,5i23(wtejkolejności)sąwyznaczone jednoznacznie. Otrzymamy kolorowanie: 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 Pozostaje kolorowanie czterech liczb: 5, 6, 2 i 22. Oczywiście liczba 5 nie może mieć koloru czerwonego. Przyjmijmy zatem, że ma kolor niebieski. Wówczas liczby 6 i 2 muszą mieć kolor czerwony, a liczba 22 musi mieć kolor zielony. Otrzymamy kolorowanie 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 Ponumerujmy teraz kolory liczbami, 2 i 3. Kolor niebieski oznaczymy liczbą, kolor czerwony liczbą 2 i kolor zielony liczbą 3. 0 2 3 4 5 6 7 8 9 0 2 3 4 5 6 7 8 9 20 2 22 23 24 25 26 27 28 2 3 2 2 3 2 3 3 2 3 2 3 2 3 2 3 2 3 2 Otrzymaliśmy pierwsze kolorowanie z dowodu twierdzenia 6.7. W ten sposób bezpośrednie dowody twierdzeń 6.6 i 6.7 zostały zakończone.

W. Guzicki O kolorowaniu 36 7. Jednokolorowe ciągi arytmetyczne Przypomnijmy zadanie 4. 4. (LIOM,zadanie4/I) Każdy punkt okręgu jest pokolorowany jednym z trzech kolorów. Udowodnij, że pewne trzy punkty jednego koloru są wierzchołkami trójkąta równoramiennego. Pokażę najpierw rozwiązanie bezpośrednie. Wybierzmy na okręgu 3 punktów będących wierzchołkamitrzynastokątaforemnegoa A 2...A 2 A 3.Tewierzchołkisąpokolorowane trzema kolorami. Z zasady szufladkowej Dirichleta wynika, że co najmniej jednym kolorem(na przykład czerwonym) pokolorowano co najmniej 5 wierzchołków. Zajmijmy się teraz wierzchołkami czerwonymi. Mamy zatem następującą sytuację: spośród wierzchołków trzynastokąta foremnego wybrano 5 wierzchołków czerwonych. Pokażemy, że niezależnie od tego, w jaki sposób wybrano te 5 wierzchołków, to wśród wybranych wierzchołków znajdą się wierzchołki pewnego trójkąta równoramiennego. Popatrzmy zatem na wierzchołki trzynastokąta foremnego: A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 Prowadzimy dowód przez sprowadzenie do niedorzeczności. Zakładamy więc, że wybrano pięć wierzchołków w taki sposób, że wśród nich nie ma wierzchołków trójkąta równoramiennego. Mamy teraz dwa przypadki. Przypadek. Wśród wybranych pięciu wierzchołków nie ma dwóch wierzchołków sąsiednich. Weźmy dowolny wierzchołek, który nie został wybrany. Teraz pozostałe wierzchołki dzielimy na cztery zbiory po trzy kolejne wierzchołki. Na przykład, jeśli tym wierzchołkiem, któryniezostałwybrany,jestwierzchołeka 3,topozostałewierzchołkiA,A 2,...,A 2 dzielimy na następujące cztery zbiory: {A,A 2,A 3 }, {A 4,A 5,A 6 }, {A 7,A 8,A 9 } oraz {A 0,A,A 2 }. Z zasady szufladkowej Dirichleta wynika, że w jednym z tych czterech zbiorów znajdują się co najmniej dwa wybrane wierzchołki. Ponieważ założyliśmy w tym przypadku, że nie ma dwóch wybranych wierzchołków sąsiednich, więc w żadnym z tych zbiorów nie ma trzech wybranych wierzchołków. Ponadto w tym zbiorze, w którym znajdują się dwa wybrane wierzchołki, nie jest wybrany wierzchołek środkowy; są wybrane oba wierzchołki skrajne. Stąd wynika, że wśród wybranych wierzchołków znajdują się dwa

W. Guzicki O kolorowaniu 37 wierzchołki, między którymi jest dokładnie jeden wierzchołek niewybrany. Bez zmniejszeniaogólnościmożemyprzyjąć,żezostaływybranewierzchołkia ia 3.Wówczas wierzchołkia 3,A 2 ia 4 niezostaływybrane(przypominam,żezałożyliśmy,iżnie ma dwóch wybranych wierzchołków sąsiednich). Na poniższym rysunku wierzchołki wybrane są oznaczone kolorem czerwonym, a wierzchołki, które nie zostały wybrane, są oznaczone kolorem szarym. Kolorem białym są oznaczone wierzchołki, o których jeszcze nic nie wiemy. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 PopatrzmyteraznawierzchołekA 5.Gdybyzostałonwybrany,tomielibyśmytrójkąt równoramiennya A 3 A 5.Toznaczy,żewierzchołekA 5 niezostałwybrany.dokładnie taksamopokazujemy,żewierzchołeka 2 niezostałwybrany. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 Zostałodorozpatrzeniasześćwierzchołków:A 6,...,A.Spośródnichwybranotrzy wierzchołki; nie wybrano jednak dwóch sąsiednich. Są więc tylko dwie możliwości. WybranowierzchołkiA 6,A 8 ia 0.Tetrzywierzchołkisąjednakwierzchołkami trójkąta równoramiennego, co jest sprzeczne z przyjętym założeniem. WybranowierzchołkiA 7,A 9 ia.tetrzywierzchołkisątakżewierzchołkamitrójkąta równoramiennego, co znów jest sprzeczne z przyjętym założeniem. Przypadek okazał się niemożliwy. Przejdźmy do przypadku 2.

W. Guzicki O kolorowaniu 38 Przypadek 2. Wśród wybranych wierzchołków są dwa wierzchołki sąsiednie. Bezzmniejszeniaogólnościmożemyprzyjąć,żewybranowierzchołkiA ia 2.Wówczas niezostaływybranewierzchołkia 3,A 8 ia 3 : GdybywybranowierzchołekA 3,tomielibyśmytrójkątrównoramiennyA A 2 A 3. GdybywybranowierzchołekA 8,tomielibyśmytrójkątrównoramiennyA A 2 A 8. GdybywybranowierzchołekA 3,tomielibyśmytrójkątrównoramiennyA 3 A A 2. PrzyjrzyjmysięterazwierzchołkomA 4 ia 2. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 Mamy trzy możliwości. Przypadek 2a. Wybrane zostały oba te wierzchołki. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 Okazuje się, że wtedy żaden inny wierzchołek nie mógł być wybrany. GdybywybranowierzchołekA 5,tomielibyśmytrójkątrównoramiennyA 2 A 2 A 5. GdybywybranowierzchołekA 6,tomielibyśmytrójkątrównoramiennyA 2 A 4 A 6. GdybywybranowierzchołekA 7,tomielibyśmytrójkątrównoramiennyA A 4 A 7. GdybywybranowierzchołekA 9,tomielibyśmytrójkątrównoramiennyA A 4 A 9. GdybywybranowierzchołekA 0,tomielibyśmytrójkątrównoramiennyA 0 A 2 A. GdybywybranowierzchołekA,tomielibyśmytrójkątrównoramiennyA A A 4. Przypadek 2a okazał się więc niemożliwy.

W. Guzicki O kolorowaniu 39 Przypadek2b.WybranyzostałdokładniejedenwierzchołekspośródA 4 ia 2.Bez zmniejszeniaogólnościmożemyprzyjąć,żezostałwybranywierzchołeka 4. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 To wyklucza cztery inne wierzchołki: GdybywybranowierzchołekA 6,tomielibyśmytrójkątrównoramiennyA 2 A 4 A 6. GdybywybranowierzchołekA 7,tomielibyśmytrójkątrównoramiennyA A 4 A 7. GdybywybranowierzchołekA 9,tomielibyśmytrójkątrównoramiennyA A 4 A 9. GdybywybranowierzchołekA,tomielibyśmytrójkątrównoramiennyA A A 4. Pozostajątylkodwawierzchołki:A 5 ia 0.Ponieważdotejporywybraliśmytylko trzywierzchołki,więcobawierzchołkia 5 ia 0 musząbyćwybrane.wtedyjednak mielibyśmytrójkątrównoramiennya 0 A 2 A 5.Przypadek2btakżeokazałsięniemożliwy. Pozostał ostatni przypadek. Przypadek2c.NiewybranożadnegozwierzchołkówA 4 ia 2. A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 Zauważmy teraz, że wierzchołki, których dotychczas nie rozpatrzyliśmy, rozpadają się na dwiegrupykolejnychwierzchołków:a 5,A 6,A 7 oraza 9,A 0,A.Wkażdejztychgrup mogliśmy wybrać co najwyżej dwa wierzchołki. Wybranie wszystkich trzech wierzchołkówzjednejgrupyutworzyłobybowiemtrójkątrównoramiennya 5 A 6 A 7 luba 9 A 0 A. To oznacza także, że z każdej grupy musieliśmy wybrać co najmniej jeden wierzchołek. Terazpokażę,żeniewybranowierzchołkówA 6 ia 0.Przypuśćmybowiem,żeconajmniej jeden z tych wierzchołków został wybrany. Zauważmy teraz, że otrzymany dotychczas rysunek jest symetryczny: jego osią symetrii jest prosta przechodząca przez

W. Guzicki O kolorowaniu 40 wierzchołeka 8 iśrodekbokua A 2.Zauważmynastępnie,żewierzchołkiA 6 ia 0 są symetryczne względem tej osi symetrii. Bez zmniejszenia ogólności możemy zatem przyjąć,żezostałwybranywierzchołeka 6 : A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 WówczasniewybranożadnegozwierzchołkówA 9,A 0 ia. GdybywybranowierzchołekA 9,tomielibyśmytrójkątrównoramiennyA A 6 A 9. GdybywybranowierzchołekA 0,tomielibyśmytrójkątrównoramiennyA 0 A 2 A 6. GdybywybranowierzchołekA,tomielibyśmytrójkątrównoramiennyA A 2 A 6. Tojednakjestsprzeczneztym,żezgrupywierzchołkówA 9,A 0 ia conajmniej jeden wierzchołem musiał być wybrany. Naszeprzypuszczenie,żewybranowierzchołekA 6 doprowadziłodosprzeczności.wierzchołeka 6 niezostałzatemwybrany.zewspomnianejsymetriiwynika,żewierzchołek A 0 takżeniezostałwybrany.mamyzatemnastępującąsytuację: A 2 A 3 A A A 2 A 0 A 3 A 9 A 4 A 8 A 5 A 7 A 6 SpośródwierzchołkówA 5,A 7,A 9 ia wybranowięcjeszczetrzywierzchołki.mamy cztery możliwości. GdybywybranowierzchołkiA 5,A 7 ia 9,tomielibyśmytrójkątrównoramienny A 5 A 7 A 9. GdybywybranowierzchołkiA 5,A 7 ia,tomielibyśmytrójkątrównoramienny A 2 A 7 A.