Neste trabalho, estudaremos o Teorema das Quatro Cores, problema que, apesar de simples de enunciar, ficou por mais de um século sem uma prova concreta. O resultado foi conjecturado em 1852, quando um matemático sul-africano ...