√2 (kvadratroten av 2): definition, egenskaper och geometri

Upptäck √2: definition, egenskaper, geometrisk tolkning och bevis — från irrationellt tal till diagonalen i en enhetskvadrat. Klara förklaringar och exempel.

Kvadratroten av 2, eller den (1/2):e potensen av 2, som i matematiken skrivs √2 eller $2 $ ^1⁄₂, är det positiva irrationella talet som, när det multipliceras med sig självt, är lika med talet 2. För att vara mer korrekt kallas det för den huvudsakliga kvadratroten av 2, för att skilja det från den negativa versionen av sig själv där det också är sant (dvs. både √2 och −√2 uppfyller x^2 = 2).

Geometriskt sett är kvadratroten av 2 längden på en diagonal över en kvadrat med sidor med längden 1. Detta kan hittas med hjälp av Pythagoras sats: i en enhetskvadrat är diagonalens längd √(1^2 + 1^2) = √2.

Exakta och algebraiska egenskaper

Talets minimalpolynom över de rationella talen är x^2 − 2 = 0. Därför är √2 ett algebraiskt tal av grad 2 (en reell kvadratrot). Dess Galois‑konjugat är −√2, och det utgör ett baselement i den kvadratiska talfältet Q(√2). Kroppen av rationella tal utvidgad med √2, Q(√2), innehåller alla tal a + b√2 med rationella a och b. Ringens heltalsdel i detta fält är Z[√2].

Decimalutveckling och approximationer

Decimalutvecklingen för √2 börjar 1,4142135623730950488... och fortsätter utan periodisk upprepning (eftersom talet är irrationellt). Vanliga rationella approximationer som ofta används är 1,41, 1,414 och 1,41421. Mer precisa approximationer fås från fortsatta bråkutvecklingar (konvergenter): 1/1, 3/2, 7/5, 17/12, 41/29, 99/70 … Dessa kommer från den enkla kontinuerliga bråkutvecklingen för √2, som är [1; 2, 2, 2, ...], dvs alla partiella kvoter efter den första är 2.

Bevis för irrationell natur

Det klassiska beviset genom contradiction är kort och tydligt: anta att √2 = p/q där p och q är heltal utan gemensam primfaktor. Då p^2 = 2q^2, så är p^2 jämnt och därmed är p jämnt. Skriv p = 2k. Då får (2k)^2 = 4k^2 = 2q^2 ⇒ q^2 = 2k^2, vilket visar att även q är jämnt. Detta står i direkt motsats till antagandet att p och q var relativt prima. Alltså kan √2 inte skrivas som ett rationellt tal, dvs det är irrationellt.

Fortsatta egenskaper och samband

Fortlöpande bråk: √2 = [1; 2, 2, 2, …] ger mycket bra rationella approximationer via konvergenterna och är nära relaterat till lösningar av Pell‑ekvationen x^2 − 2y^2 = ±1.
Trigonometriska samband: cos 45° = sin 45° = √2/2, vilket gör √2 vanligt inom geometri och trigonometriska beräkningar.
Användning i konstruktioner: √2 uppstår naturligt i geometriska konstruktioner (t.ex. diagonal i en enhetskvadrat) och i dimensioner för pappersformat (A‑serien har förhållandet mellan sidorna √2 så att när ett ark halveras bevaras samma form).

Historik och betydelse

Upptäckten att diagonalens längd i en kvadrat inte kunde uttryckas som ett förhållande mellan heltal var en viktig historisk insikt i antikens grekiska matematik och ledde till förståelsen av incommensurabla storheter. Att √2 är irrationellt tillskrivs ofta Pythagoreerna eller deras efterföljare. Idag är √2 ett grundläggande exempel i analys, talteori och algebraiska tal, och det är ofta det första icke‑rationella talet studenter möter.