√2 är längden på diagonalen i en enhetskvadraten. Placera en kvadrat med sidlängden 1 på ett bord. Avståndet från ett hörn till det motsatta hörnet är exakt √2. Det är Pythagoras sats: 1² + 1² = (√2)².
Pythagoréerna upptäckte runt 500 f.Kr. att √2 inte kan uttryckas som ett bråk p/q där p och q är heltal. Motstridighetsbeviset är elegant: antag att √2 = p/q i lägsta termer. Då är 2q² = p², alltså är p² jämnt, alltså är p jämnt, skriv p = 2k. Då är 2q² = 4k², alltså q² = 2k², alltså är q också jämnt. Det motsäger att p/q är i lägsta termer. √2 är irrationellt.
Konvergenter från kedjebråket [1; 2, 2, 2, …]. Varje bråk är den bästa rationella approximationen med den nämnaren.
Convergents of square root of 2 from continued fraction
| fraction | decimal | error |
|---|---|---|
| 1/1 | 1.000 | 0.41421 |
| 3/2 | 1.500 | 0.08579 |
| 7/5 | 1.400 | 0.01421 |
| 17/12 | 1.41667 | 0.00246 |
| 99/70 | 1.41429 | 0.0000849 |
√2 är algebraiskt (det uppfyller x² = 2) men irrationellt. I trigonometri: sin(45°) = cos(45°) = 1/√2. A-pappersserien (A4, A3, A2…) använder förhållandet 1:√2, så att halveringen av ett ark ger samma proportioner. Beräknat med full precision: 1,41421356237309504880168872…
Varje rätvinklig triangel har en katet lika med den föregående hypotenusan och en katet lika med 1. Hypotenusorna är √1, √2, √3, √4, √5… De flesta är irrationella. √2 (röd) var den första som bevisades irrationell, av pythagoréerna runt 500 f.Kr.
Kvadratroten ur 2 är ungefär 1,41421356237309504880. Det var det första tal som någonsin bevisades irrationellt, av de gamla grekerna runt 500 f.Kr. Det är algebraiskt och uppfyller x² = 2. Det förekommer som diagonallängden i enhetskvadraten, i likvävd stämning för musik (varje halvton multiplicerar frekvensen med 12:e roten ur 2), i A-seriens papperdimensioner (A4 vikt ger A5, samma proportioner) och i Pythagoras sats när kateterna är lika långa.