Four-Color Theorem

四色定理是一个数学结果，它指出任何平面地图都可以用不超过四种颜色进行着色，使得任意两个相邻区域颜色不同。该定理最早于1852年提出猜想，并最终于1976年通过计算机辅助证明得以证实，这标志着计算方法在数学领域应用的一个重要里程碑。

El Teorema de los Cuatro Colores es un resultado matemático que establece que cualquier mapa plano puede colorearse con no más de cuatro colores de manera que dos regiones adyacentes no compartan el mismo color. Fue formulado por primera vez en 1852 y finalmente demostrado en 1976 mediante una demostración asistida por computadora, marcando un hito en el uso de métodos computacionales en matemáticas.

يُعد نظرية الألوان الأربعة نتيجة رياضية تنص على أن أي خريطة سطحية يمكن تلوينها بأقل من أربعة ألوان بحيث لا تشترك أي منطقتان متجاورتان في نفس اللون. وقد تم اقتراح هذه النظرية لأول مرة عام 1474ه، وتم إثباتها في النهاية عام 1396ه باستخدام إثبات مساعَد بالحاسوب، مما يُعد إنجازاً كبيراً في استخدام الأساليب الحاسوبية في الرياضيات.

O Teorema das Quatro Cores é um resultado matemático que afirma que qualquer mapa plano pode ser colorido com no máximo quatro cores de forma que duas regiões adjacentes não compartilhem a mesma cor. Foi pela primeira vez conjecturado em 1852 e finalmente provado em 1976 com a utilização de uma prova assistida por computador, marcando um marco no uso de métodos computacionais na matemática.

चार रंग प्रमेय एक गणितीय परिणाम है जो बताता है कि कोई भी समतलीय मानचित्र चार रंगों से रंगा जा सकता है, जिसमें दो आसन्न क्षेत्र समान रंग के नहीं होते हैं। इसका पहला अनुमान 1852 में लगाया गया था और इसे अंततः 1976 में कंप्यूटर सहायता से सिद्ध किया गया, जिससे गणित में कंप्यूटेशनल विधियों के उपयोग के क्षेत्र में एक महत्वपूर्ण चरण के रूप में इसका स्थान हासिल हुआ।

Teorema Empat Warna adalah hasil matematis yang menyatakan bahwa setiap peta datar dapat diwarnai dengan tidak lebih dari empat warna sehingga tidak ada dua wilayah yang berbatasan memiliki warna yang sama. Teorema ini pertama kali dicurigai pada tahun 1852 dan akhirnya terbukti pada tahun 1976 menggunakan bukti yang dibantu komputer, menandai tonggak sejarah dalam penggunaan metode komputasional di matematika.

Le théorème des quatre couleurs est un résultat mathématique affirmant qu'une carte plane peut toujours être coloriée avec au plus quatre couleurs de manière à ce que deux régions adjacentes n'aient jamais la même couleur. Il fut énoncé pour la première fois en 1852 et démontré définitivement en 1976 à l'aide d'une preuve assistée par ordinateur, marquant un jalon dans l'utilisation des méthodes computationnelles en mathématiques.

四色定理（しきいろていり）とは、どのような平面地図も隣接する領域が同じ色にならないように、高々四色で塗り分けることができるという数学的結果である。この定理は1852年に初めて予想され、1976年にコンピュータを用いた証明によって最終的に証明された。これは数学における計算機の利用に新たな里程を刻むものとなった。

Теорема о четырёх красках — математический результат, утверждающий, что любую плоскую карту можно раскрасить не более чем четырьмя цветами так, чтобы никакие две смежные области не имели одинакового цвета. Гипотеза впервые была выдвинута в 1852 году и в конечном итоге была доказана в 1976 году с использованием компьютерной проверки, что стало важным этапом в применении вычислительных методов в математике.

Der Vier-Farben-Satz ist ein mathematisches Ergebnis, das besagt, dass jede ebene Karte mit nicht mehr als vier Farben so gefärbt werden kann, dass keine zwei benachbarten Gebiete die gleiche Farbe teilen. Er wurde erstmals 1852 vermutet und 1976 schließlich mit einem computerbasierten Beweis bewiesen, was einen Meilenstein in der Anwendung von Rechenmethoden in der Mathematik markierte.

4색 정리(4색 정리)는 수학적 결과로, 어떤 평면지도라도 인접한 영역이 같은 색이 되지 않도록 최대 4가지 색으로 색칠할 수 있다는 내용이다. 이 정리는 1852년에 처음 추측되었으며, 1976년에 컴퓨터의 보조를 받은 증명을 통해 최종적으로 증명되었다. 이는 수학에서 계산 기법을 활용하는 데 있어 중요한 이정표를 세운 사건이다.