Przegląd

Pierwiastek kwadratowy z 2, zwykle zapisywany jako √2 lub 2^{1/2}, to dodatnia liczba rzeczywista spełniająca równość (√2)^2 = 2. Jest jednym z najwcześniej rozpoznanych przykładów liczby niewymiernej: jej rozwinięcie dziesiętne jest nieskończone i nieokresowe (około 1,41421356…). Symbolicznie √2 jest pierwiastkiem wielomianu x^2 − 2, co czyni ją liczbą algebraiczną stopnia drugiego.

Właściwości i typowe dowody

Najczęściej cytowany dowód, że √2 jest niewymierna, polega na rozumowaniu nie wprost: przyjmując, że √2 = p/q w postaci ułamka nieskracalnego, otrzymujemy p^2 = 2q^2, skąd wynika parzystość p i q, co stoi w sprzeczności z założeniem nieskracalności. Krótkie omówienie tego klasycznego argumentu znajdziesz pod linkiem dowód irracjonalności. Matematycznie √2 jest tzw. liczbą kwadratową (quadratic irrational) i generuje rozszerzenie kwadratowe Q(√2).

Istotną cechą √2 jest jej okresowy rozwój w postaci łańcucha ułamków prostych: ma postać [1; 2, 2, 2, …], co daje szybkie i optymalne przybliżenia wymierne. Kolejne zbieżne tego rozwinięcia to m.in. 1, 3/2, 7/5, 17/12, 41/29, 99/70 — używane do praktycznych szacunków i analizy błędu przybliżeń.

Interpretacja geometryczna

Geometrycznie √2 pojawia się jako długość przekątnej kwadratu o boku długości 1. Zależność tę można odtworzyć prostym zastosowaniem twierdzenia Pitagorasa: dla boku długości 1 przekątna ma długość √(1^2+1^2) = √2. Więcej informacji o związku z geometrią i twierdzeniem Pitagorasa dostępne jest pod odpowiednim omówieniem.

Zastosowania i przykłady

  • W praktyce technicznej i projektowaniu √2 występuje m.in. w formacie papieru serii A (ISO 216): stosunek boków arkusza A0 wynosi √2, co umożliwia dzielenie arkusza na pół przy zachowaniu tego samego proporcji — więcej na ten temat pod linkiem format A i proporcja √2.
  • W algebrze i teorii liczb √2 jest podstawowym przykładem liczby generującej pierścień liczb całkowitych w ciele kwadratowym Q(√2); pojawia się w rozwiązaniach równań diofantycznych, w obliczeniach dotyczących rozkładów i jednostek w tych ciałach.
  • W przybliżeniach numerycznych oraz grafice komputerowej używa się szybkich estymat przybliżających √2 dla obliczeń geometrycznych i transformacji.

Historia i znaczenie

Odkrycie niewymierności długo przypisywane jest szkołom pitagorejskim w starożytnej Grecji, choć liczba i jej przybliżenia znane były też w innych kulturach. Fakt, że przekątna jednostkowego kwadratu nie daje się wyrazić jako stosunek dwóch całkowitych liczb, miał dalekosiężne konsekwencje w rozwoju matematyki, prowadząc do powstania pojęcia liczb niewymiernych i rozbudowy teorii liczb rzeczywistych. Dla zainteresowanych źródłami algebraicznymi i historycznymi odsyłamy do opracowań matematycznych.