Kvadratrot

Kvadratroten ur ett tal x är det icke-negativa tal y vars kvadrat är lika med x, det vill säga y² = x.

Kvadratrot betecknas med ett rottecken och exempelvis är

{\sqrt {16}}=4

eftersom

4^{2}=16.

Vidare är

{\sqrt {1}}=1

eftersom

1^{2}=1.

Med ett tals kvadratrot menas den positiva kvadratroten, även kallad principalvärdet av kvadratroten. Det finns även negativa lösningar till ekvationer av typen y=x², exempelvis gäller att

(-2)^{2}=2^{2}=4

så ekvationen 4=x² har två rötter, det positiva talet 2 och det negativa talet -2.

Anledningen till att man väljer bara den icke-negativa lösningen är att man vill att ${\sqrt {x}}$ skall vara en funktion, som då enbart får anta maximalt ett värde för varje x. Det går att generalisera kvadratroten till en flervärd funktion, men detta är inte särskilt vanligt när man bara behandlar reella tal.

Kvadratrötter ur negativa tal behandlas i komplex analys. Mer generellt kan begreppet användas i sammanhang där kvadrering av ett matematiskt objekt är definierat.

Formell definition

Kvadratroten ur x är den icke-negativa lösningen y till ekvationen

\ y^{2}=x

där x är ett positivt reellt tal eller noll.

Att det finns sådana lösningar till alla positiva reella tal har inte alltid ansetts självklart. Se artikeln om kvadratroten ur två.

Kvadratroten ur negativa tal kan inte definieras på ett tillfredsställande sätt, men genom att införa de imaginära talen kan man finna lösningar till ekvationer av ovanstående typ även när x är negativt.

Mer allmänt kan kvadratrötter definieras för diverse objekt som exempelvis matriser, funktioner och heltal under moduloräkning.

Positiva tal

Räknelagar

Följande egenskaper för kvadratrötter gäller för alla positiva reella tal x och y:

{\sqrt {xy}}={\sqrt {x}}{\sqrt {y}}

{\sqrt {\frac {x}{y}}}={\frac {\sqrt {x}}{\sqrt {y}}}

Dessa samband är ganska lätta att härleda; till exempel är

{\sqrt {x}}{\sqrt {y}}={\sqrt {\left({\sqrt {x}}{\sqrt {y}}\right)\left({\sqrt {x}}{\sqrt {y}}\right)}}={\sqrt {{\sqrt {x}}{\sqrt {y}}{\sqrt {x}}{\sqrt {y}}}}={\sqrt {{\sqrt {x}}{\sqrt {x}}{\sqrt {y}}{\sqrt {y}}}}={\sqrt {xy}}

Dessutom gäller enligt definitionen av potens (se även potenslagarna) att

{\sqrt {x}}=x^{\frac {1}{2}}

Ibland används följande samband mellan kvadratrot och absolutbelopp:

{\sqrt {x^{2}}}=\left|x\right|

Kvadratroten ur ett positivt heltal n är ett heltal endast om n är ett kvadrattal, det vill säga för n = 1, 4, 9, 16, 25, …, och i annat fall ett irrationellt tal. Mer generellt är kvadratroten ur ett rationellt tal vars nämnare eller täljare inte är en perfekt kvadrat ett irrationellt tal. Kvadratroten ur 2, ungefär lika med 1,4142, var troligtvis det första kända irrationella talet, studerat av Pythagoreerna. Däremot är kvadratroten ur ett algebraiskt tal alltid algebraisk.

Beräkningsmetoder

Om exponential- och logaritmfunktionerna exp och ln finns tillgängliga kan kvadratrötter beräknas enligt

{\sqrt {x}}=e^{\frac {\ln x}{2}}

En effektiv algoritm för att approximera kvadratrötter, känd under namnet babyloniska metoden, är ett specialfall av Newton-Raphsons metod. För att beräkna roten ur x:

Starta med ett godtyckligt värde r_n (ju närmare roten, desto färre upprepningar behöver göras):r_n
ersätt r med medelvärdet av r och ${\frac {x}{r}}$ : $r_{n+1}=(r_{n}+{\frac {x}{r}}_{n})/2$
om r_n+1 - r_n inte nått önskvard noggrannhetsgräns: gå till steg två igen

Beräkningskomplexiteten för den babyloniska metoden är densamma som för multiplikation.

Negativa och komplexa tal

För att kunna lösa ekvationen r² = x där x är ett känt negativt tal har man infört talet i (kallas imaginära enheten) enligt definitionen i² = -1. Det visar sig då att man kan lösa alla typer av polynom ekvationer.

Eftersom kvadratrotsfunktionen inte är kontinuerlig så gäller oftast inte regeln ${\sqrt {zw}}={\sqrt {z}}{\sqrt {w}}$ . Detta problem uppstår på grund av friheten att välja gren, och ett liknande problem uppstår för den komplexa logaritmen och relationen $\log z+\log w=\log(zw)$ . Om man skulle använda regeln ovan utan att bestämma sig för att använda en av de två grenarna kan detta leda till felaktigheter, till exempel att -1 = 1:

-1=i\cdot i={\sqrt {-1}}\cdot {\sqrt {-1}}={\sqrt {-1\cdot -1}}={\sqrt {1}}=1

Historik

Det äldsta kända exemplet på kvadratrotsberäkningar finns i den egyptiska Rhindpapyrusen från 1650 f.Kr.

Kvadratroten användes också i både det antika Kina och Indien. I Indien finns metoder för att beräkna närmevärden till kvadratrötter beskrivna på 500-talet f.Kr., i bland annat Baudhayanasutran. I Aryabhatas Aryabhatiya finns en metod för att beräkna kvadratroten ur tal med många siffror.

Den äldsta kända kinesiska matematiska texten Texter om beräkning är författad någon gång mellan 202 f.Kr. och 186 f.Kr., under den tidiga Handynastin. Där finns en metod beskriven för att finna närmevärden till kvadratrötter.

Heron anses ha varit den förste som angav en explicit iterativ metod för att beräkna kvadratrötter, vilken baserades på vad som ofta kallas den babyloniska metoden. Herons metod är ett specialfall av den långt senare angivna Newton-Raphsons metod. I Europa började man beräkna kvadratrötter på medeltiden. Symbolen √ började användas på 1500-talet.

Alternativa representationer

Förkortningen sqrt (från engelskans square root) används inom olika programspråk som operator för kvadratrotsfunktionen. Vanligast är formatet: Sqrt(operand), men de flesta basicdialekter använder det något kortare SQR(x). Sqrt används även ofta i elektroniskt kodad text som ASCII eller Unicode då möjlighet att skriva ett kvadratrotstecken saknas och lånar då formatet mer eller mindre direkt från programspråket C.

Decimalutvecklingar

$\scriptstyle {\sqrt {0}}$	$\scriptstyle =\,$	0
$\scriptstyle {\sqrt {1}}$	$\scriptstyle =\,$	1
$\scriptstyle {\sqrt {2}}$	$\scriptstyle \approx$	1,414213562373095048801688724209698078569671875376948073176679737990732478462	1 miljon, 2 miljoner, 5 miljoner och 10 miljoner decimaler
$\scriptstyle {\sqrt {3}}$	$\scriptstyle \approx$	1,732050807568877293527446341505872366942805253810380628055806979451933016909	1 miljon decimaler
$\scriptstyle {\sqrt {4}}$	$\scriptstyle =\,$	2
$\scriptstyle {\sqrt {5}}$	$\scriptstyle \approx$	2,236067977499789696409173668731276235440618359611525724270897245410520925638	1 miljon decimaler
$\scriptstyle {\sqrt {6}}$	$\scriptstyle \approx$	2,449489742783178098197284074705891391965947480656670128432692567250960377457	1 miljon decimaler
$\scriptstyle {\sqrt {7}}$	$\scriptstyle \approx$	2,645751311064590590501615753639260425710259183082450180368334459201068823230	1 miljon decimaler
$\scriptstyle {\sqrt {8}}$	$\scriptstyle \approx$	2,828427124746190097603377448419396157139343750753896146353359475981464956924	1 miljon decimaler
$\scriptstyle {\sqrt {9}}$	$\scriptstyle =\,$	3
$\scriptstyle {\sqrt {10}}$	$\scriptstyle \approx$	3,162277660168379331998893544432718533719555139325216826857504852792594438639	1 miljon decimaler
$\scriptstyle {\sqrt {11}}$	$\scriptstyle \approx$	3,316624790355399849114932736670686683927088545589353597058682146116484642609
$\scriptstyle {\sqrt {12}}$	$\scriptstyle \approx$	3,464101615137754587054892683011744733885610507620761256111613958903866033818
$\scriptstyle {\sqrt {13}}$	$\scriptstyle \approx$	3,605551275463989293119221267470495946251296573845246212710453056227166948293
$\scriptstyle {\sqrt {14}}$	$\scriptstyle \approx$	3,741657386773941385583748732316549301756019807778726946303745467320035156307
$\scriptstyle {\sqrt {15}}$	$\scriptstyle \approx$	3,872983346207416885179265399782399610832921705291590826587573766113483091937
$\scriptstyle {\sqrt {16}}$	$\scriptstyle =\,$	4
$\scriptstyle {\sqrt {17}}$	$\scriptstyle \approx$	4,123105625617660549821409855974077025147199225373620434398633573094954346338
$\scriptstyle {\sqrt {18}}$	$\scriptstyle \approx$	4,242640687119285146405066172629094235709015626130844219530039213972197435386
$\scriptstyle {\sqrt {19}}$	$\scriptstyle \approx$	4,358898943540673552236981983859615659137003925232444936890344138159557328203
$\scriptstyle {\sqrt {20}}$	$\scriptstyle \approx$	4,472135954999579392818347337462552470881236719223051448541794490821041851276
$\scriptstyle {\sqrt {21}}$	$\scriptstyle \approx$	4,582575694955840006588047193728008488984456576767971902607242123906868425547

Se även

Matematikportalen – portalen för matematik på svenskspråkiga Wikipedia.