Det absolut simplaste beviset att √2 är irrationellt

Har du någonsin läst standardbeviset för att √2 är irrationellt och tänkt något av följande?
– ”Usch, delbarhet”,
– ”Fy, motantaganden”, eller
– ”Det här beviset var helt för kort!”
Worry not! Här delar jag med mig mitt favoritbevis, som är så självklart och trivialt att till och med humanister kunde uppskatta dess skönhet!

Vi påminner oss ännu om att ett rationellt tal kan skrivas i formen $\frac{a}{b}$ , där a och b är heltal och b ≠ 0. Ett irrationellt tal kan alltså inte skrivas på detta vis.

Påstående:

√2 är irrationellt.

Bevis:

Vi undersöker talföljder $(a_n)_{n \geq 0}$ med kraven
A) $a_n$ är rationellt för alla $n \geq 0$
B) $a_{n+1} = 2a_n^2 - 1$ för alla $n \geq 0$
C) $a_i = a_j$ för något $i \neq j$

Det visar sig att det finns ett ändligt antal talföljder som uppfyller dessa krav. Vi kan i själva verket lista upp dem alla.

Om $|a_0| > 1$ följer det från krav B att talföljden är strängt växande, dvs inget värde upprepas och krav C uppfylls inte. Vi kan alltså anta $|a_0| \leq 1$

Nu kan man substituera $a_0 = \cos{t}$ för något $t \in [0, \pi]$ . Detta kommer att ge oss en icke- rekursiv formel för talföljden.
Låt oss visa med induktion att $a_n = \cos(2^nt)$ för alla $n \geq 0$ .

Grundsteg:
$a_0 = \cos{t} = \cos{(2^0t)}$

Induktionssteg:
Med hjälp av formeln för dubbla vinklar, $\cos{(2x)} = 2\cos^2{x} - 1$ ,
får vi
$a_n = \cos{(2^nt)} \implies a_{n+1} = 2a_n^2 - 1 = 2\cos^2{(2^nt)} - 1 = \cos{(2^{n+1}t)}$

Påståendet $a_n = \cos(2^nt)$ gäller alltså för alla $n \geq 0$ .
Nu gäller det att hitta passliga värden på $t \in [0, \pi]$ så att $a_n = \cos{(2^nt)}$ är rationellt för alla $a_n \geq 0$ (krav A). I själva verket räcker det, att $\cos{t}$ är rationellt, eftersom (”selvästi nähdään”) då är också $\cos{(2t)}, \cos{(4t)}, \cos{(8t)} \dots$ rationella enligt formeln för dubbla vinklar.

För att krav C ska hålla, måste
$\cos{(2^it)} = \cos{(2^jt)}$ för något $i \neq j$

$\implies 2^it = \pm 2^jt + 2k\pi, k \in \mathbb{Z} \\ \implies t = \frac{2k}{2^i \pm 2^j}\pi$

där täljaren och nämnaren är heltal och nämaren är olika noll.
Talet t måste alltså vara en rationell multipel av pi!

Nu finns ett användbart resultat, Niven’s Theorem, som säger att de enda rationella multiplarna av pi inom $[0, \frac{\pi}{2}]$ vars cosinus också är rationellt är 0, $\frac{\pi}{3}$ och $\frac{\pi}{2}$ . Satsens bevis använder sig lyckligtvis inte av talets √2 irrationalitet.

Med Niven’s Theorem och några trigonometriska identiteter får vi att $t \in \{0, \frac{\pi}{3}, \frac{\pi}{2}, \frac{2\pi}{3}, \pi \}$ , varav följer $a_0 \in \{1, \frac{1}{2}, 0, -\frac{1}{2}, -1 \}$

Alla följder som uppfyller kraven A, B och C är alltså:
1, 1, 1, 1, 1, $\dots$
$\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, \dots$
0, -1, 1, 1, 1, $\dots$
$-\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, -\frac{1}{2}, \dots$
-1, 1, 1, 1, 1, $\dots$

Men nu märker vi ju, att talföljden
$\frac{1}{\sqrt{2}}, 0, -1, 1, 1, \dots$
uppfyller kraven B och C, men hittas inte på vår lista. Då måste krav A gå fel, och eftersom 0, -1 och 1 tydligt är rationella tal, måste
$\frac{1}{\sqrt{2}}$ och därmed $\sqrt{2}$ vara irrationellt, Q.E.D.

Funderingar

Det här beviset är ett gott exempel på hur samma matematiska påstående ofta kan bevisas på många olika sätt. Standardbeviset påminner mest om talteori, ofta kallad heltalens matematik. Beviset ovan använder sig mer av algebra (reella tal och deras räkneregler) och analys (förändringens matematik, dvs. talföljder, derivator…).

Ifall du läser detta stycke och inte har läst beviset, så gör det inte nåt. Alla är inte intresserade av matematik och ska inte heller behöva vara det. Men på samma sätt som en poet gillar att skriva och läsa dikter kan en matematiker bli riktigt begeistrad av ett vackert bevis. Det är alltid bra att ha ett öppet sinne för andras intressen, även om man inte vet vad de talar om. Då kanske det är dags för mig att plocka ner diktboken från hyllan…

Spektraklet

Det absolut simplaste beviset att √2 är irrationellt

Påstående:

Bevis:

Funderingar

Lämna ett svar Avbryt svar

Spektrum rfs medlemstidning