Matematykaśredni
Twierdzenie o czterech barwach
Pytanie
Ile najmniej kolorów wystarczy, by pomalować dowolną mapę tak, by sąsiednie kraje miały różne barwy?
Najpierw spróbuj zgadnąć — dopiero potem odsłoń podpowiedź.
PodpowiedźPokażUkryj
Spróbuj skomplikowanej mapy — czy kiedykolwiek potrzeba piątego?
Pokaż rozwiązanie
Zawsze wystarczą cztery kolory.
Moment „aha”
Udowodniono to w 1976 — i był to pierwszy wielki dowód wykonany z pomocą komputera (sprawdził tysiące przypadków). Wywołał debatę: czy dowód, którego człowiek nie sprawdzi ręcznie, jest „prawdziwym" dowodem?