Dört Renk Teoremi nedir?
Dört renk teoremi, düz bir düzlem üzerine çizilen herhangi bir haritanın, sınır paylaşan iki bölge aynı renge sahip olmayacak şekilde en çok dört renk kullanılarak boyanabileceğini belirtir. Yalnızca tek bir noktada birbirine değen iki bölge aynı rengi paylaşabilir. Teorem, ne kadar karmaşık olursa olsun her haritaya uygulanır.
Regions 1, 2, 3, 4 each border multiple others. The left (4) and right (4) regions share no border, so they can share a colour. Exactly 4 colours needed here.
Francis Guthrie teoremi 1852'de, İngiltere kontluklarının bir haritasını boyarken öne sürdü. Dört rengin her zaman yeterli göründüğünü fark etti ama bunu kanıtlayamadı. Problem 124 yıl boyunca matematikçileri şaşırttı. Birçok yanlış kanıt yayımlandı ve çürütüldü. Beş renk her zaman yeterlidir ve düzlemsel çizgeler için Euler formülü kullanılarak elle kanıtlanabilir.
The four colour theorem took 124 years from conjecture to proof. The 1976 proof was the first major theorem verified by computer.
Kenneth Appel ve Wolfgang Haken'in 1976 kanıtı, bilgisayarla kanıtlanan ilk büyük teoremdi. Tüm olası haritaları 1.936 yapılandırmaya indirdi ve bir bilgisayarın her birini 1.200 saatten fazla CPU süresi boyunca doğrulamasını sağladı. Birçok matematikçi, elle kontrol edilemeyen bir kanıttan rahatsız oldu. Varsa, insan tarafından okunabilir bir kanıt hâlâ keşfedilmemiştir.
Five outer regions (an odd number) force the ring to use 3 colours: no 2-colouring of a 5-cycle exists. The centre region is adjacent to all five, touching all three ring colours, so it must be a fourth colour. This shows four is genuinely sometimes necessary.
Düz bir düzlem üzerine çizilen her harita, sınır paylaşan iki bölge aynı renge sahip olmayacak şekilde en çok dört renk kullanılarak boyanabilir. Francis Guthrie tarafından 1852'de öne sürüldü. Appel ve Haken tarafından 1976'da bir bilgisayar kullanılarak 1.936 yapılandırma doğrulanarak kanıtlandı; bu da onu bilgisayar yardımıyla kanıtlanan ilk büyük teorem yaptı. Robertson, Sanders, Seymour ve Thomas tarafından 1997'de yapılan daha kısa bir doğrulama bunu 633 yapılandırmaya indirdi. Teorem, yedi rengin gerekebileceği bir simit yüzeyinde geçerli değildir.
Pi
Memorize pi, e, and 40+ mathematical constants using the numpad path method
Şimdi oyna - ücretsizHesap gerekmez. Her cihazda çalışır.
