NexTutor
Wirtualne laboratorium/Przełomy matematyczne

Przełomy matematyczne

Nobla z matematyki nie ma — jego odpowiednikami są Medal Fieldsa, Nagroda Abela i Nagroda Turinga (informatyka). Odtwórz przełomowe odkrycia, które zmieniły matematykę: od mostów królewieckich po hipotezę Poincarégo. Każdy eksperyment żyje w swoim dziale — tutaj układają się w oś czasu wielkich odkryć.

✦ W kolekcji: 87 eksperymentów
  1. Wielkie odkrycie 600 p.n.e. — TalesMatematyka · Geometria
    Twierdzenie Talesa — dowód

    twierdzenie Talesa — proste równoległe wyznaczają odcinki proporcjonalne

  2. Wielkie odkrycie 500 p.n.e. — PitagorasMatematyka · Geometria
    Twierdzenie Pitagorasa — dowody wizualne

    twierdzenie Pitagorasa — wizualne dowody a²+b²=c²

  3. Wielkie odkrycie 500 p.n.e. — HippasosMatematyka · Teoria liczb
    Niewymierność √2 — dowód nie wprost

    niewymierność √2 — dowód nie wprost

  4. Wielkie odkrycie 450 p.n.e. — Zenon z EleiMatematyka · Analiza matematyczna
    Paradoks Zenona — Achilles i żółw

    paradoks Achillesa i żółwia — zbieżny szereg geometryczny

  5. Wielkie odkrycie 400 p.n.e. — Teodoros z CyrenyMatematyka · Geometria
    Spirala Teodorosa — pierwiastki geometrycznie

    spirala Teodorosa — geometryczna konstrukcja pierwiastków √n

  6. Wielkie odkrycie 300 p.n.e. — EuklidesMatematyka · Geometria
    Złoty podział

    złoty podział odcinka — proporcja φ w geometrii

  7. Wielkie odkrycie 300 p.n.e. — EuklidesMatematyka · Teoria liczb
    Liczby doskonałe

    liczby doskonałe — równe sumie swoich dzielników właściwych

  8. Wielkie odkrycie 240 p.n.e. — EratostenesMatematyka · Teoria liczb
    Sito Eratostenesa

    sito Eratostenesa i nieskończoność liczb pierwszych

  9. Wielkie odkrycie 200 p.n.e. — ApoloniuszMatematyka · Geometria
    Krzywe stożkowe

    krzywe stożkowe — okrąg, elipsa, parabola, hiperbola

  10. Wielkie odkrycie 1202 — Fibonacci (Leonardo z Pizy)Matematyka · Analiza matematyczna
    Złota liczba i ciąg Fibonacciego

    ciąg Fibonacciego i złota liczba φ

  11. Wielkie odkrycie 1202 — FibonacciMatematyka · Analiza matematyczna
    Fibonacci i kąt złoty w przyrodzie

    kąt złoty i liczby Fibonacciego w upakowaniu nasion (fyllotaksja)

  12. Wielkie odkrycie 1350 — OresmeMatematyka · Analiza matematyczna
    Szereg harmoniczny — rozbieżność

    rozbieżność szeregu harmonicznego mimo malejących wyrazów

  13. Wielkie odkrycie 1643 — TorricelliMatematyka · Analiza matematyczna
    Róg Gabriela — skończona objętość, nieskończone pole

    róg Gabriela — skończona objętość, nieskończone pole

  14. Wielkie odkrycie 1644 — MersenneMatematyka · Teoria liczb
    Liczby pierwsze Mersenne'a

    liczby pierwsze Mersenne'a (2ᵖ−1) — największe znane liczby pierwsze

  15. Wielkie odkrycie 1654 — PascalMatematyka · Kombinatoryka
    Trójkąt Pascala

    trójkąt Pascala — współczynniki dwumianowe

  16. Wielkie odkrycie 1654 — PascalMatematyka · Teoria liczb
    Indukcja matematyczna — efekt domina

    zasada indukcji matematycznej — dowód dla wszystkich liczb naturalnych

  17. Wielkie odkrycie 1669 — NewtonMatematyka · Analiza matematyczna
    Metoda Newtona — szukanie pierwiastków

    metoda stycznych (Newtona) — szybkie znajdowanie pierwiastków

  18. Wielkie odkrycie 1691 — Huygens, Leibniz, BernoulliMatematyka · Analiza matematyczna
    Krzywa łańcuchowa (katenaria)

    krzywa łańcuchowa (katenaria) — zwisający łańcuch to cosh, nie parabola

  19. Wielkie odkrycie 1696 — J. BernoulliMatematyka · Analiza matematyczna
    Brachistochrona

    brachistochrona — najszybszy zjazd to cykloida, nie linia prosta

  20. Wielkie odkrycie 1735 — EulerMatematyka · Analiza matematyczna
    Problem bazylejski — π w sumie odwrotności kwadratów

    problem bazylejski — suma odwrotności kwadratów równa π²/6

  21. Wielkie odkrycie 1736 — EulerMatematyka · Teoria grafów
    Mosty królewieckie — narodziny teorii grafów

    narodziny teorii grafów

  22. Wielkie odkrycie 1748 — EulerMatematyka · Algebra
    Tożsamość Eulera — najpiękniejszy wzór

    tożsamość Eulera e^(iπ)+1=0 — najpiękniejszy wzór matematyki

  23. Wielkie odkrycie 1748 — EulerMatematyka · Analiza matematyczna
    Liczba e — granica i procent składany

    liczba e — granica ciągu i procent składany

  24. Wielkie odkrycie 1752 — EulerMatematyka · Geometria
    Wzór Eulera dla wielościanów

    wzór Eulera dla wielościanów V−E+F=2

  25. Wielkie odkrycie 1763 — BayesMatematyka · Prawdopodobieństwo
    Twierdzenie Bayesa — paradoks testu

    twierdzenie Bayesa — paradoks testu na rzadką chorobę

  26. Wielkie odkrycie 1777 — BuffonMatematyka · Prawdopodobieństwo
    Igła Buffona — π z rzutów igłą

    igła Buffona — π z prawdopodobieństwa geometrycznego

  27. Wielkie odkrycie 1777Matematyka · Prawdopodobieństwo
    Prawdopodobieństwo geometryczne

    prawdopodobieństwo geometryczne — stosunek pól zamiast zliczania

  28. Wielkie odkrycie 1806 — Argand, GaussMatematyka · Algebra
    Liczby zespolone na płaszczyźnie

    geometryczna interpretacja liczb zespolonych na płaszczyźnie

  29. Wielkie odkrycie 1810 — Gauss, LaplaceMatematyka · Prawdopodobieństwo
    Krzywa Gaussa i centralne twierdzenie graniczne

    centralne twierdzenie graniczne i rozkład normalny

  30. Wielkie odkrycie 1817 — BolzanoMatematyka · Analiza matematyczna
    Twierdzenie o wartości pośredniej

    twierdzenie o wartości pośredniej — istnienie miejsca zerowego

  31. Wielkie odkrycie 1824 — Abel, GaloisMatematyka · Algebra
    Równania 5. stopnia — nie ma wzoru

    brak ogólnego wzoru na pierwiastki równań stopnia ≥5 (Abel-Ruffini, teoria Galois)

  32. Wielkie odkrycie 1829 — Łobaczewski, Bolyai, RiemannMatematyka · Geometria
    Geometria nieeuklidesowa

    geometrie nieeuklidesowe — suma kątów trójkąta inna niż 180°

  33. Wielkie odkrycie 1834 — DirichletMatematyka · Kombinatoryka
    Zasada szufladkowa Dirichleta

    zasada szufladkowa: N obiektów w M<N szufladach wymusza kolizję

  34. Wielkie odkrycie 1837 — Gauss, WantzelMatematyka · Geometria
    Konstrukcje cyrklem i linijką

    konstrukcje cyrklem i linijką — co wykonalne (17-kąt), co niemożliwe (trisekcja)

  35. Wielkie odkrycie 1857 — HamiltonMatematyka · Teoria grafów
    Cykl Hamiltona a droga Eulera

    cykl Hamiltona (każdy wierzchołek raz) kontra droga Eulera (każda krawędź raz)

  36. Wielkie odkrycie 1858 — Möbius, ListingMatematyka · Geometria
    Wstęga Möbiusa

    wstęga Möbiusa — powierzchnia nieorientowalna

  37. Wielkie odkrycie 1872 — KleinMatematyka · Geometria
    Przekształcenia geometryczne

    przekształcenia geometryczne — izometrie i jednokładność

  38. Wielkie odkrycie 1874 — CantorMatematyka · Teoria liczb
    Nieskończoności Cantora

    różne „wielkości" nieskończoności — nieprzeliczalność liczb rzeczywistych

  39. Wielkie odkrycie 1875 — ReuleauxMatematyka · Geometria
    Trójkąt Reuleaux

    trójkąt Reuleaux — figura o stałej szerokości inna niż koło

  40. Wielkie odkrycie 1882 — LindemannMatematyka · Geometria
    Kwadratura koła — dlaczego jest niemożliwa

    kwadratura koła — niemożliwa, bo π jest przestępna

  41. Wielkie odkrycie 1882 — Hermite, LindemannMatematyka · Teoria liczb
    Liczby przestępne — π i e

    liczby przestępne (π, e) — nie są pierwiastkami żadnego wielomianu wymiernego

  42. Wielkie odkrycie 1882 — KleinMatematyka · Geometria
    Butelka Kleina — powierzchnia bez wnętrza

    butelka Kleina — domknięta powierzchnia jednostronna bez wnętrza

  43. Wielkie odkrycie 1883 — CantorMatematyka · Fraktale i chaos
    Zbiór Cantora

    zbiór Cantora — miara (długość) zero, a nieprzeliczalnie wiele punktów

  44. Wielkie odkrycie 1889 — GaltonMatematyka · Prawdopodobieństwo
    Deska Galtona

    deska Galtona — z losowych odbić kulek rodzi się krzywa dzwonowa (CTG)

  45. Wielkie odkrycie 1890 — PeanoMatematyka · Fraktale i chaos
    Krzywa Peano — linia wypełniająca kwadrat

    krzywa Peano — ciągła linia wypełniająca cały kwadrat

  46. Wielkie odkrycie 1890 — PoincaréMatematyka · Geometria
    Problem trzech ciał

    problem trzech ciał — brak ogólnego wzoru, ruch chaotyczny

  47. Wielkie odkrycie 1899 — PickMatematyka · Geometria
    Twierdzenie Picka

    twierdzenie Picka — pole wielokąta kratowego = i + b/2 − 1

  48. Wielkie odkrycie 1899 — MorleyMatematyka · Geometria
    Twierdzenie Morleya

    twierdzenie Morleya — trisektory kątów dowolnego trójkąta tworzą trójkąt równoboczny

  49. Wielkie odkrycie 1901 — RussellMatematyka · Teoria liczb
    Paradoks Russella

    paradoks Russella — sprzeczność naiwnej teorii mnogości

  50. Wielkie odkrycie 1904 — von KochMatematyka · Fraktale i chaos
    Płatek Kocha — nieskończona długość, skończone pole

    płatek Kocha — nieskończona długość przy skończonym polu

  51. Wielkie odkrycie 1909 — BorelMatematyka · Teoria liczb
    π zawiera wszystko — liczby normalne

    liczby normalne — w rozwinięciu π (prawdopodobnie) znajduje się każda sekwencja cyfr

  52. Wielkie odkrycie 1911 — BrouwerMatematyka · Geometria
    Twierdzenie o punkcie stałym Brouwera

    twierdzenie o punkcie stałym — ciągłe przekształcenie dysku ma punkt stały

  53. Wielkie odkrycie 1912 — BrouwerMatematyka · Geometria
    Twierdzenie o włochatej kuli

    twierdzenie o włochatej kuli — zawsze istnieje punkt bezwietrzny

  54. Wielkie odkrycie 1913 — RamanujanMatematyka · Analiza matematyczna
    Suma 1+2+3+... = -1/12

    suma 1+2+3+... regularyzowana do -1/12 (funkcja dzeta)

  55. Wielkie odkrycie 1913Matematyka · Prawdopodobieństwo
    Paradoks hazardzisty

    paradoks (błąd) hazardzisty — przy zdarzeniach niezależnych historia nie zmienia szansy

  56. Wielkie odkrycie 1915 — SierpińskiMatematyka · Fraktale i chaos
    Trójkąt Sierpińskiego

    trójkąt Sierpińskiego — fraktal o polu dążącym do zera (polski akcent)

  57. Wielkie odkrycie 1924 — HilbertMatematyka · Teoria liczb
    Hotel Hilberta — nieskończoność w praktyce

    paradoks nieskończonego hotelu — arytmetyka nieskończoności

  58. Wielkie odkrycie 1924 — Banach, TarskiMatematyka · Geometria
    Paradoks Banacha-Tarskiego

    paradoks rozkładu kuli na dwie identyczne (przy aksjomacie wyboru) — polski wkład

  59. Wielkie odkrycie 1930 — RamseyMatematyka · Teoria grafów
    Twierdzenie Ramseya — porządek w chaosie

    twierdzenie Ramseya — w grupie 6 osób zawsze jest trójka znajomych lub obcych

  60. Wielkie odkrycie 1931 — GödelMatematyka · Teoria liczb
    Twierdzenie Gödla o niezupełności

    twierdzenia o niezupełności — granice systemów formalnych

  61. Wielkie odkrycie 1936 — TuringMatematyka · Teoria grafów
    Problem stopu (Turing) — granice komputerów

    problem stopu — nierozstrzygalność i granice obliczalności

  62. Problem otwarty 1937 — CollatzMatematyka · Teoria liczb
    Problem Collatza (3n+1)

    problem Collatza (3n+1) — prosty do sformułowania, nierozwiązany

  63. Wielkie odkrycie 1938 — BenfordMatematyka · Prawdopodobieństwo
    Prawo Benforda — pierwsza cyfra

    prawo Benforda — logarytmiczny rozkład pierwszej cyfry, wykrywanie oszustw

  64. Wielkie odkrycie 1938 — Banach, SteinhausMatematyka · Geometria
    Twierdzenie o kanapce z szynką

    twierdzenie o kanapce z szynką — jedno cięcie połowi trzy bryły naraz (szkoła lwowska)

  65. Wielkie odkrycie 1939 — von MisesMatematyka · Prawdopodobieństwo
    Paradoks urodzinowy

    paradoks urodzinowy — prawdopodobieństwo wspólnych urodzin

  66. Wielkie odkrycie 1945 — von NeumannMatematyka · Teoria grafów
    Algorytmy sortowania — złożoność

    złożoność algorytmów sortowania — n² kontra n·log n

  67. Wielkie odkrycie 1946 — Ulam, von NeumannMatematyka · Prawdopodobieństwo
    Liczba π metodą Monte Carlo

    metoda Monte Carlo — losowa estymacja liczby π

  68. Wielkie odkrycie 1947 — GrayMatematyka · Teoria liczb
    Kod Graya

    kod Graya — kolejne wartości różnią się jednym bitem

  69. Wielkie odkrycie 1950 — NashMatematyka · Prawdopodobieństwo
    Równowaga Nasha — dylemat więźnia

    równowaga Nasha i dylemat więźnia (teoria gier)

  70. Wielkie odkrycie 1951 — SimpsonMatematyka · Prawdopodobieństwo
    Paradoks Simpsona

    paradoks Simpsona — odwrócenie trendu po agregacji danych

  71. Wielkie odkrycie 1951 — ArrowMatematyka · Prawdopodobieństwo
    Twierdzenie Arrowa — nie ma idealnych wyborów

    twierdzenie Arrowa o niemożliwości idealnie sprawiedliwego systemu wyborczego

  72. Wielkie odkrycie 1960Matematyka · Prawdopodobieństwo
    Problem sekretarki — reguła 37%

    problem sekretarki — optymalna strategia „reguła 37%" (1/e)

  73. Wielkie odkrycie 1963 — Lorenz, FeigenbaumMatematyka · Fraktale i chaos
    Teoria chaosu — równanie logistyczne

    teoria chaosu — równanie logistyczne i efekt motyla

  74. Wielkie odkrycie 1963 — UlamMatematyka · Teoria liczb
    Spirala Ulama — wzory wśród liczb pierwszych

    spirala Ulama — liczby pierwsze układają się w ukośne linie (polski akcent)

  75. Wielkie odkrycie 1971 — GrahamMatematyka · Teoria liczb
    Liczba Grahama — większa niż da się zapisać

    liczba Grahama — skończona, ale większa niż da się zapisać we Wszechświecie

  76. Wielkie odkrycie 1975 — SelvinMatematyka · Prawdopodobieństwo
    Problem Monty Halla — słynny paradoks

    słynny paradoks probabilistyczny (problem Monty Halla)

  77. Wielkie odkrycie 1976 — Appel, HakenMatematyka · Teoria grafów
    Twierdzenie o czterech barwach

    twierdzenie o czterech barwach — pierwszy dowód z użyciem komputera

  78. Wielkie odkrycie 1980 — MandelbrotMatematyka · Fraktale i chaos
    Zbiór Mandelbrota — geometria fraktalna

    geometria fraktalna — pierwsza komputerowa wizualizacja zbioru Mandelbrota

  79. Wielkie odkrycie 1991 — FeldMatematyka · Teoria grafów
    Paradoks przyjaźni

    paradoks przyjaźni — Twoi znajomi mają średnio więcej znajomych niż Ty

  80. Problem milenijny 2000Matematyka · Teoria liczb
    Hipoteza Riemanna

    hipoteza o ukrytej regularności rozkładu liczb pierwszych (nierozwiązana od 1859)

  81. Problem milenijny 2000Matematyka · Teoria grafów
    Problem komiwojażera — P kontra NP

    problem P kontra NP — czy każdy szybko weryfikowalny problem da się szybko rozwiązać? (nierozwiązany)

  82. Problem milenijny 2000Matematyka · Teoria grafów
    Problem plecakowy — optymalizacja

    problem plecakowy — optymalizacja NP-trudna (związek z P vs NP)

  83. Nagroda Turinga 2002 — Rivest, Shamir, AdlemanMatematyka · Kryptografia
    RSA i liczby pierwsze

    kryptografia klucza publicznego RSA

  84. Wielkie odkrycie 2003 — Gál, MiltersenMatematyka · Prawdopodobieństwo
    Sto więźniów i pudełka

    sto więźniów i pudełka — strategia cyklowa daje ~31% szans zamiast praktycznie zera

  85. Medal Fieldsa 2006 — PerelmanMatematyka · Geometria
    Hipoteza Poincarégo

    dowód hipotezy Poincarégo — odmówił Medalu Fieldsa i miliona dolarów

  86. Wielkie odkrycie 2010Matematyka · Teoria grafów
    Kostka Rubika — matematyka grup

    kostka Rubika — 4,3·10¹⁹ ułożeń, „liczba Boga" = 20 ruchów (teoria grup)

  87. Nagroda Abela 2016 — WilesMatematyka · Teoria liczb
    Wielkie Twierdzenie Fermata

    dowód Wielkiego Twierdzenia Fermata