“%4색 정리를 증명하는 데 왜 6색이나 쓴 걸 증명했죠?” 그건 말이다, 문제를 풀 때마다 그동안 알지 못했던 법칙이 발

견되면서 점점 목표에 근접해 가는 걸 의미한단다. 6색이면 충분

c

{1

하다는 것을 증명했으니 조만간 4색도 가능할 것이라는 희망도 al 수 있고 말이다.

수학자들은 쉽게 4색 정리가 안 풀리자 거꾸로 생각하기 시작 했단다. 만약에 4색 정리가 거짓이라면, 즉 4색만으로는 원하는

「

N ns,

+>

조건, 인접한 나라는 다른 색으로 칠하라는 조건을 만족할 수 없 는 지도가 있다면, 그중에서 가장 작은 나라로 만 도 있을 거라 생각했단다. 즉 5색 이상이 필요한 지도가 있다면

그 중에 가장 작은 나라들로 만들어진 지도도 있을 거라고 생각

d tun

수 있는 지도

했던 것이지. 5색이 필요한 지도도 찾지 못했는데 그중에서 나라의 개

수가 가장 작은 지도를 생각하는 건 말이 OF 되는 거 아닌가요?”

“사

um

그러니까 거꾸로 생각한 거지. 수학자들의 생각은 이랬단다. 4

색 정리가 거짓이라면 5색 이상을 써야만 하는 지도가 있을 것이

고, 그 지도의 개수 또한 1개 이상이겠지. 그런데 지도 속의 나라

개수는 유한개이니까 각 지도마다 나라의 개수를 셀 수 있을 테

tho