Kvadratroten ur 5

Kvadratroten ur 5, eller bara roten ur 5, är det positiva reella tal som multiplicerat med sig självt ger talet 5. Talet betecknas , och är irrationellt och algebraiskt. Avrundat till tio decimaler är talet 2,2360679775 . I december 2013 hade dess numeriska värde i decimal beräknats till åtminstone tio miljarder decimaler.

Bevis på irrationalitet 
För att bevisa att kvadratroten ur 5 är irrationellt används ofta Fermats metod:

Antag att √5 är ett rationellt tal, och försök att uttrycka den i lägsta möjliga termer (det vill säga som ett fullt reducerat bråk) som  med naturliga tal m och n. Då √5 kan uttryckas i lägre termer  är det en motsägelse. De två bråkuttrycken är lika,  likställa dem, cross-multiplicera och annullera som additiva termer ger  och därmed , vilket är sant av premissen. Det andra bråkuttrycket för √5 är i lägre termer, jämför sedan nämnare,  och sedan  och sedan  och sedan . Både täljare och nämnare i det andra bråkuttrycket är positiva då  och .

Kedjebråk 
Kvadratroten ur 5 kan uttryckas som kedjebråket [2; 4, 4, 4, 4, 4 …] . Följden av bästa rationella approximationer är:

Konvergenta av kedjebråket är grönfärgade. Deras täljare är 2, 9, 38, 161, …  och deras nämnare är 1, 4, 17, 72, … . De andra (icke-färgade) termerna är semikonvergenta.

Babyloniska metoden 
När  beräknas med babyloniska metoden, som börjar med r0 = 2 och som använder rn+1 = (rn + 5/rn) / 2, är den n:te approximeringen rn lika med det 2n:te konvergent av konvergent-följden:

Förhållande till gyllene snittet och Fibonaccital 

Gyllene snittet φ är det aritmetiska medelvärdet av 1 och kvadratroten ur 5. Det algebraiska förhållandet mellan kvadratroten ur 5, gyllene snittet och konjugatet av det gyllene snittet () uttrycks i följande formler:

(Se nedan för deras geometriska tolkning som dekomponeringar av en rot-fem-rektangel.)

Kvadratroten ur 5 då siffrorna naturligt i sluten form uttrycks för Fibonaccital, en formel som brukar skrivas i termer av det gyllene snittet:

Kvoten av √5 och φ (eller produkten av √5 och Φ), och dess reciproka, ger ett intressant mönster av kedjebråk som är relaterat till förhållandet mellan Fibonaccital och Lucastal: 

Serien av konvergenta till dessa värden har serien av Fibonaccital och Lucastal som täljare och nämnare, och omvänt, respektive:

Geometri 

Geometriskt motsvarar kvadratroten ur 5 diagonalen av en rektangel vars sidor har längden 1 och 2, vilket framgår av Pythagoras sats. En sådan rektangel kan ges genom att halvera en kvadrat, eller genom att placera två lika kvadrater sida vid sida. Jämte det algebraiska förhållandet mellan √5 och φ är detta grunden för den geometriska konstruktionen av en gyllene rektangel från en kvadrat, och för den geometriska konstruktionen av en regelbunden pentagon då sida-till-diagonal-förhållandet i en regelbunden pentagon är φ.

Genom att bilda en rät torsionsvinkel med två lika stora kvadrater och halvera en 1:2 rektangel, kan det ses att √5 motsvarar mellan längden på en kubkant och det kortaste avståndet från en av dessa hörn till det motsatta, och då genomkorsa kubens yta (det kortaste avståndet vid förflyttning genom insidan av kuben motsvarar längden av rymddiagonalen i kuben, som är kvadratroten ur 3 gånger kanten).

√5 är algebraiskt och geometriskt relaterad till kvadratroten ur 2 och kvadratroten ur 3, eftersom den är längden av hypotenusan i en rätvinklig triangel med katetmätning av √2 och √3 (vilket Pythagoras sats bevisar). Rätvinkliga trianglar av en sådan omfattning kan hittas inuti en kub: sidorna av en triangel definieras av mittpunkten av en kub, ett av dess hörn, och mittpunkten av en sida som ligger på en ytorna som innehåller detta hörn och motsatsen till det , är i förhållandet √2:√3:√5. Detta framgår av de geometriska förhållanden mellan en kub och de kvantiteter som √2 (kant-till-framsidan-diagonalförhållande, eller avståndet mellan motsatta kanter), √3 (kant-till-kub-diagonalförhållande) och √5 (förhållandet ovan nämnt).

En rektangel med sidoförhållandet 1:√5 kallas för en rot-fem-rektangel och är en del av serien av rot-rektanglar, en delmängd av dynamiska rektanglar, som är baserade på att √1 (= 1), √2, √3, √4 (= 2), √5 … och successivt konstruerade med diagonalen i föregående rot-rektangel, med utgångspunkt från en kvadrat. En rot-5-rektangel är särskilt anmärkningsvärd i att det kan delas upp i en kvadrat och två lika gyllene rektanglar (av dimensionerna Φ × 1), eller i två gyllene rektanglar i olika storlekar (av dimensionerna Φ × 1 och 1 × φ). Den kan också dekomposteras enligt unionen av två lika gyllene rektanglar (med dimensionerna 1 × φ) vars skärningspunkt bildar en kvadrat. Allt detta kan ses som den geometriska tolkningen av de algebraiska förhållandena mellan √5, φ och Φ. Rot-fem-rektangeln kan konstrueras från en 1:2-rektangel (rot-fyra-rektangeln), eller direkt från en kvadrat på ett sätt liknande det för den gyllene rektangeln visas på bilden, men genom att förlänga båglängden  till båda sidor.

Trigonometri 
Liksom √2 och √3 framgår √5 i stor utsträckning i formlerna för exakta trigonometriska konstanter, även i sinus- och cosinussvängningar av varje vinkel i grader är gradantalet delbart med 3 men inte med 15. Den enklaste av dessa är

  

  

  

  

Därmed är beräkning av dess värde viktigt för generering av trigonometriska tabeller. Eftersom √5 är geometrisk kopplad till halv-kvadratiska rektanglar och pentagoner, framgår det också ofta i formler för geometriska egenskaper hos figurer som härrör från dem, sådana som i formeln för volymen av en dodekaeder.

Diofantiska approximationer 
Hurwitz sats i diofantiska approximationer anges att varje irrationellt tal x kan approximeras med oändligt många rationella tal m/n i lägsta termer på ett sådant sätt att

och att √5 är bästa möjliga, i den meningen att för varje större konstant än √5 finns det några irrationella tal x för vilka endast ändligt många sådana approximationer existerar.

Nära besläktat med detta är den sats att av tre på varandra följande konvergenta pi/qi,
pi+1/qi+1,
pi+2/qi+2, av ett tal α, gäller åtminstone följande olikheter:

Och √5 i nämnaren är den bästa möjliga bindningen eftersom konvergenta av gyllene snittet gör att differensen återfinns på vänster sida slumpmässigt nära värdet på höger sida. I synnerhet kan inte en stramare bindning ges genom att beakta följder av fyra eller fler på varandra följande konvergenta.

Algebra 
Ringen  innehåller tal av formen , där a och b är heltal och  är det imaginära talet . Denna ring är ofta hänvisad på exempel på ett integritetsområde som inte är en EF-ring. Talet 6 har två olika faktoriseringar inom denna ring:

Kroppen , som alla andra kvadratiska kroppar, är en abelsk extension av de rationella talet. Kronecker-Webers sats säkerställer därför att kvadratroten ur 5 kan skrivas som en rationell linjär kombination av enhetsrötter:

Identiteter av Ramanujan 
Kvadratroten ur 5 förekommer i flera intressanta formler av Ramanujan. Exempelvis är:

Referenser

Noter

Externa länkar 
 1 miljon decimaler

Irrationella tal
Algebraiska tal