8 сентября родился ПЕРСИ ДЖОН ХЕЙВУД (1861 – 1955) — британский математик, наиболее известный работами, посвящёнными решению Проблемы четырёх красок.
Теорема о четырёх красках утверждает, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами (красками) так, чтобы любые две области с общим участком границы были раскрашены в разные цвета.
Задача раскраски карты на плоскости эквивалентна задаче на сфере.
Эта теорема была сформулирована Фрэнсисом Гутри в 1852 году, однако доказать её долгое время не удавалось. В течение этого времени было предпринято множество попыток как доказательства, так и опровержения, и эта задача носила название Проблемы четырёх красок.
В 1879 году Альфред Кемпе предложил доказательство этой теоремы.
В 1890 году Хейвуд обнаружил ошибку в доказательстве Кемпе, и на основе его идей доказал, что любую карту можно раскрасить в 5 цветов.
Окончательно Проблемы четырёх красок была решена значительно позже, в 1976 году.
|