Liczby niewymierne — te, których nie zapiszesz ułamkiem

🎯 Po co Ci to?

Narysuj kwadrat o boku $1$. Jak długa jest jego przekątna? Twierdzenie Pitagorasa daje odpowiedź natychmiast: $\sqrt{1^2 + 1^2} = \sqrt{2}$. Prosta, konkretna długość; możesz ją zmierzyć linijką. A jednak ta liczba kryje sekret, który wstrząsnął starożytną matematyką: $\sqrt{2}$ nie da się zapisać żadnym ułamkiem. To odkrycie zmusiło ludzi do dobudowania ostatniego, najważniejszego piętra liczb.

✅ Czego się nauczysz

• zrozumieć, czym jest liczba niewymierna i dlaczego $\sqrt{2}$ nią jest;
• przeczytać (i docenić) słynny dowód nie wprost;
• widzieć ℝ jako komplet: wymierne + niewymierne.

📘 Wyjaśnienie

Spróbuj zapisać $\sqrt{2}$ dokładnie. $1{,}4$? Za mało ($1{,}4^2 = 1{,}96$). $1{,}41$? $1{,}414$? $1{,}4142$? Zbliżasz się, ale nigdy nie trafiasz: rozwinięcie ciągnie się bez końca i bez powtarzającego się wzorca. To już wygląda podejrzanie. A matematyka nie zadowala się „wygląda" (pamiętasz §1.5?): żąda dowodu.

Twierdzenie. Nie istnieją liczby całkowite $p, q$ takie, że $\sqrt{2} = \frac{p}{q}$. Innymi słowy: $\sqrt{2}$ jest niewymierna.

Dowód (nie wprost: §1.5). Przypuśćmy przeciwnie: że $\sqrt{2} = \frac{p}{q}$, i to ułamek już skrócony do końca (nie da się skrócić bardziej). Podnieśmy do kwadratu: $$2 = \frac{p^2}{q^2}, \quad \text{czyli} \quad p^2 = 2q^2.$$ Prawa strona jest parzysta, więc $p^2$ jest parzyste, a to znaczy, że i $p$ jest parzyste (kwadrat liczby nieparzystej jest nieparzysty). Zapiszmy więc $p = 2k$. Wtedy $p^2 = 4k^2$, i po podstawieniu: $$4k^2 = 2q^2 \quad\Longrightarrow\quad q^2 = 2k^2.$$ Ta sama rozgrywka: $q^2$ parzyste, więc $q$ parzyste. Ale zaraz: wyszło, że $p$ i $q$ są oba parzyste, czyli oba dzielą się przez 2. To znaczy, że ułamek $\frac{p}{q}$ dało się jeszcze skrócić, a założyliśmy, że był skrócony do końca. Sprzeczność! Fałszywe okazało się więc założenie: $\sqrt{2}$ nie jest żadnym ułamkiem. ∎

Poczuj piękno tego manewru: nie policzyliśmy $\sqrt{2}$; udowodniliśmy, że nie może być ułamkiem, zapędzając samo założenie w pułapkę. To jest siła dowodu nie wprost.

📐 DEFINICJA (liczba niewymierna i liczby rzeczywiste): liczba niewymierna to taka, której NIE da się zapisać ułamkiem $\frac{p}{q}$, jej rozwinięcie dziesiętne jest nieskończone i nieokresowe (np. $\sqrt{2} = 1{,}41421356\ldots$, $\pi = 3{,}14159\ldots$). Wszystkie liczby (wymierne i niewymierne razem) tworzą zbiór liczb rzeczywistych $\mathbb{R}$.

Dopiero ℝ nie ma dziur: każdemu punktowi na osi odpowiada jakaś liczba i odwrotnie. Matrioszki są kompletne: $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R}$.

⚠️ Uwaga, pułapka

$\sqrt{2}$ to nie jest „w przybliżeniu $1{,}41$". To dokładna, konkretna liczba (długość przekątnej), która po prostu nie ma skończonego zapisu dziesiętnego. Kalkulator pokazuje $1{,}41421356$, ale to tylko przybliżenie (więcej o przybliżeniach w §2.5). Prawdziwa $\sqrt{2}$ jest jedna i idealnie określona.

🕰️ Skąd to się wzięło

Odkrycie niewymierności przypisuje się szkole Pitagorasa (VI w. p.n.e.), która wyznawała, że „wszystko jest liczbą", a przez „liczbę" rozumiała właśnie ułamki. Gdy jeden z nich, Hippasos, pokazał, że przekątna kwadratu wymyka się temu (dokładnie tym dowodem), podważył samą wiarę szkoły. Legenda głosi, że bracia utopili go za zdradę tajemnicy. Prawda czy nie: odkrycie zostało. Dwa tysiące lat później Johann Lambert (1761) udowodnił, że niewymierna jest też $\pi$. Oś liczbowa okazała się o wiele bogatsza, niż ktokolwiek podejrzewał.

📌 Najważniejsze w pigułce

• Liczba niewymierna = nie da się jej zapisać ułamkiem; rozwinięcie nieskończone i nieokresowe.
• $\sqrt{2}$ jest niewymierna: dowód nie wprost (założenie „$=\frac{p}{q}$ skrócony" prowadzi do sprzeczności).
• $\mathbb{R}$ = wymierne $\cup$ niewymierne = pełna oś bez dziur.

🎒 Zadania

1. Wyjaśnij własnymi słowami, dlaczego z „$p^2$ jest parzyste" wynika „$p$ jest parzyste".
2. Które są wymierne, a które nie: $\frac{3}{7}$, $\sqrt{9}$, $\sqrt{3}$, $0{,}101001000\ldots$ (coraz więcej zer), $\pi$?
3. Powtórz szkic dowodu niewymierności, ale dla $\sqrt{3}$. Gdzie użyjesz podzielności przez 3?

Rozwiązanie krok po kroku

1. Kwadrat liczby nieparzystej jest nieparzysty: $(2k+1)^2=4k^2+4k+1$; zawsze nieparzyste. Więc gdyby $p$ było nieparzyste, $p^2$ też by było. Skoro $p^2$ jest parzyste, $p$ nie może być nieparzyste → $p$ jest parzyste.

2. Wymierne: $\tfrac37$ oraz $\sqrt9=3$ (pułapka, to zwykła trójka). Niewymierne: $\sqrt3$, $\pi$ oraz $0{,}101001000\ldots$ (rozwinięcie nieskończone i nieokresowe; odstępy zer rosną, nic się nie powtarza).

3. Załóż $\sqrt3=\tfrac pq$ (skrócony), podnieś do kwadratu: $3=\tfrac{p^2}{q^2}$, czyli $p^2=3q^2$. Prawa strona podzielna przez $3$, więc $p^2$, a stąd i $p$ dzieli się przez $3$ (tu rola „$3$"). Zapisz $p=3k$: $9k^2=3q^2\Rightarrow q^2=3k^2$, więc i $q$ dzieli się przez $3$. Oba podzielne przez $3$ → ułamek dało się skrócić; sprzeczność ze „skróconym". ∎

🔍 Sprawdź, czy umiesz

• odróżnić liczbę wymierną od niewymiernej po rozwinięciu;
• odtworzyć ideę dowodu niewymierności $\sqrt{2}$.

---