Co to liczba wymierna? Wyjaśnienie i przykłady

Liczbą wymierną nazywamy każdą wartość, którą da się przedstawić w postaci ułamka zwykłego p/q, gdzie p i q są liczbami całkowitymi, a q jest różne od zera. W rozwinięciu dziesiętnym taki ułamek daje wynik skończony lub okresowy od pewnego miejsca. Więcej wyjaśnień i konkretnych przykładów znajdziesz w dalszej części artykułu.

Jak zdefiniować liczbę wymierną?

Podstawowa definicja opiera się na pojęciu ilorazu dwóch liczb całkowitych. Zbiór wszystkich takich liczb matematycy oznaczają symbolem Q, pochodzącym od niemieckiego słowa „Quotient”, czyli właśnie iloraz. Oznacza to, że do grona liczb wymiernych zalicza się nie tylko typowe ułamki, ale także wszystkie liczby całkowite oraz zero.

W zapisie ułamka zwykłego kluczową rolę odgrywa mianownik – musi on być zawsze różny od 0. Licznik nie ma takich ograniczeń i może być dowolną liczbą całkowitą, również ujemną. Przykładowo liczba -7 jest jak najbardziej wymierna, ponieważ bez kłopotu zapiszemy ją jako -7/1.

W tym miejscu warto wspomnieć o zapisie dziesiętnym. Jeżeli po przecinku cyfry w końcu się kończą lub zaczynają powtarzać w nieskończoność ten sam wzór, patrzysz właśnie na liczbę wymierną. Ta cecha odróżnia je od liczb niewymiernych, które mają rozwinięcie nieokresowe i nieskończone.

Czym różni się ułamek od wyrażenia algebraicznego?

Proste wyrażenie takie jak 5−√2 dla wielu osób wygląda jak wielomian. Tymczasem w sensie liczbowym jest to po prostu konkretna wartość, którą można umieścić na osi liczbowej. Problem zaczyna się, gdy stawiamy pytanie: czy taki obiekt jest liczbą? W algebrze każdy zapis dający się jednoznacznie obliczyć traktujemy jak gotową liczbę – nie jako funkcję czy zmienną.

Wielomianem zostaje dopiero wtedy, gdy pojawi się zmienna. Tutaj mamy do czynienia wyłącznie z konkretami: stałą równą 5 i wartością pierwiastka z 2. Ich różnica to po prostu nowa liczba, nawet jeśli należy już do zbioru liczb niewymiernych.

Jakie liczby bez wątpienia są wymierne?

Spójrz na zestawienie niżej – pomaga ono uporządkować typowe przykłady bez konieczności długiego teoretyzowania. Wystarczy sprawdzić, czy daną wielkość da się przekształcić na ułamek dwóch całkowitych składników.

Znajdujemy tu również wyniki niektórych pierwiastków. √4 równa się 2, a 2 to po prostu 2/1 – a więc pełnoprawny element zbioru Q. Nie każdy symbol pierwiastka od razu skreśla szansę na wymierność.

Zero także bez przeszkód mieści się w regule. W liczniku może stać 0, dopóki mianownik pozostaje niezerowy – przykładowo 0/5 spełnia wszystkie warunki.

Które liczby nie pasują do zbioru Q?

Najczęściej przytaczanym przykładem jest liczba pi. Częsty błąd polega na myśleniu, że skoro w praktyce używamy przybliżenia 3,14, to da się je zapisać jako 314/100. Prawdziwa wartość pi ma jednak nieskończone, całkowicie nieokresowe rozwinięcie dziesiętne. Nie istnieje żaden ułamek zbudowany z całkowitego licznika i mianownika, który oddałby ją w pełni dokładnie.

Matematycy od dawna dowodzą, że nie istnieje liczba wymierna będąca pierwiastkiem kwadratowym z 2.

W podobnej sytuacji znajduje się każdy pierwiastek z liczby, która nie jest kwadratem liczby całkowitej. √3 nie zamienisz na ułamek ani nie zapiszesz w postaci dziesiętnej skończonej lub okresowej. Dlatego też trafia on do oddzielnej kategorii – liczb niewymiernych.

Czy rozwinięcie dziesiętne zdradza naturę liczby?

Skończone rozwinięcie, na przykład 0,25, od razu wskazuje na ułamek 1/4. Problem pojawia się dopiero przy postaci nieskończonej. Jeżeli cyfry powtarzają się według stałego wzorca – mamy okres, a więc i wymierność. Całkowity brak reguły oznacza już terytorium liczb niewymiernych.

Sprytnym przykładem są tu konstrukcje takie jak 0,101001000100001… i odpowiednio dobrany do niej ciąg uzupełniający. Po zsumowaniu dają one 0,(1), czyli 1/9. To dowód, że nawet dwie liczby o kompletnie nieuporządkowanym rozwinięciu mogą dać razem efekt bardzo przewidywalny i wymierny.

Jakie własności ma zbiór liczb wymiernych?

W algebrze abstrakcyjnej liczby wymierne tworzą wraz z dodawaniem grupę przemienną. Gdy dołożymy do tego mnożenie, struktura awansuje do rangi ciała – to odróżnia ją od pierścienia liczb całkowitych, gdzie dzielenie przez element nieodwracalny wypada poza zbiór.

Inną ciekawą cechą jest gęstość. Oznacza to, że pomiędzy dwiema dowolnymi liczbami wymiernymi zawsze znajdziesz jakąś trzecią. Dla każdych x oraz y istnieje choćby średnia arytmetyczna (x+y)/2, która oczywiście pozostaje w Q. Dzięki temu na osi liczbowej miejsca odpowiadające ułamkom leżą niesłychanie blisko siebie.

Zbiór Q jest przeliczalny – równoliczny ze zbiorem liczb naturalnych, co w teorii mnogości bywa zaskakujące. Wyobraźnia podpowiada, że ułamków jest „więcej”, jednak formalna moc obu zbiorów pozostaje taka sama. Do pokazania równoliczności konstruuje się odpowiednią bijekcję, porządkując pary liczb całkowitych w przejrzystą tablicę.

Porządek i jego konsekwencje

Porządek liczb wymiernych nie jest ciągły. Można to zaobserwować na przykładzie rosnącego ciągu ułamków dążącego do √2 – granica istnieje w dziedzinie liczb rzeczywistych, ale sama w sobie nie leży już w Q. Konieczność uzupełnienia tych „luk” stała się historycznym motorem powstania zbioru liczb rzeczywistych.

Jednocześnie każdą liczbę wymierną da się rozwinąć w skończony ułamek łańcuchowy. Ta wyróżniająca je cecha znajduje zastosowanie w algorytmach obliczeniowych i dowodach niewymierności konkretnych stałych.

Skończone ułamki łańcuchowe

Skończony ułamek łańcuchowy oznacza, że proces rozkładania na odwrotności liczb całkowitych kiedyś się zatrzymuje. Dla wartości niewymiernych procedura ciągnie się w nieskończoność, co bywa pierwszym sygnałem, że mamy do czynienia z czymś spoza Q.

Czy suma liczb niewymiernych może okazać się wymierna?

Odpowiedź brzmi: tak, i to w bardzo oczywisty sposób. Weźmy parę √2 oraz −√2. Każda z tych wartości z osobna jest niewymierna, ale ich suma wynosi 0, które bezdyskusyjnie leży w zbiorze Q.

Możesz użyć też bardziej złożonych konstrukcji. Wyrażenie 5−√2 plus √2 daje dokładnie 5. Na tym polega pułapka – fakt, że składniki wyglądają na „obce” w sensie zapisu, nie przesądza o charakterze ich sumy.

Z rozwojeń dziesiętnych również da się taki efekt uzyskać. Przy odpowiednim doborze ciągów cyfr po przecinku, dwóch chaotycznie wyglądających partnerów sumuje się do nieskończonego okresu, a więc do zwykłego ułamka. Jeden z ładniejszych przykładów podaje parę: 0,101001000100001… oraz 0,010110111011110…, które razem tworzą 0,(1)=1/9.

Wystarczy para a=√2 i b=−√2 – obie są niewymierne, ale a+b=0, a zero jest liczbą wymierną.

Nauczycielki i podręczniki czasem wchodzą w spór właśnie przy tym zagadnieniu, jednak najważniejszy wniosek płynie z samej definicji: to końcowy wynik dodawania decyduje o przynależności, a nie pochodzenie składników.