Citat:
Ursprungligen postat av Papers Tigern
När jag satt igår lyckades jag finta mig själv så det blev fel. Men mina beräkningar ser rätt ut för mig. Skulle något matematikgeni kunna förklara detta för mig:
1) Ursprungstalet är kvadratroten ur -3 i kvadrat
2) Kvadratroten kan även skrivas som ^½
3) Ursprungstalet kan skrivas som: -3^2^½
4) Enligt exponentregler multiplicerar man då exponenterna, dvs. 2*½ = 1
5) Ursprungstalet blir då -3^1 = -3
Hur har jag lurat mig själv här? Är det nån exponentregel eller liknande som gör denna beräkning omöjlig?
Nu är vi faktiskt inne på farligt territorium. Kvadratroten som reell funktion betraktat är inte definierad för negativa argument. Istället måste du använda den komplexa varianten av kvadratrotsfunktionen som gäller för alla komplexa tal. Denna funktion visar sig vara flervärd, alltså för varje argument kan du få flera värden. Eftersom man ofta vill ha en envärd funktion så väljer man en
gren av funktionen som är envärd.
Felet du gör i din beräkning är att du hoppar mellan olika grenar av den komplexa kvadratrotsfunktionen. Det är alltså inte tillåtet att göra uppdelningen sqrt((-3)^2) = sqrt(-3)*sqrt(-3).
I en annan tråd skrev jag:
För att krångla till det lite... Låt oss säga att vi inte vet huruvida x^(0.5) är
en flervärd funktion eller inte för komplexa x. Notera att sqrt(y) används
för den positiva reella roten ur det positiva reella talet y.
Antag x komplext och låt log vara den komplex logaritmfunktionen, ln den
reella naturliga logaritmfunktionen, arg(x) argumentet för x, och Arg(x)
principialargumentet för x. Vi har nu
x^(1/2) = exp(1/2*log(x)) = exp(1/2*(ln|x|+i*arg x))=exp(1/2*ln|x|)*exp(i/2*arg(x)) = sqrt(|x|)*exp(i/2*arg(x))
Argumentet kan skrivas arg x = Arg x + 2*n*pi, där pi>=Arg(x)>-p.
Om vi väljer principialgrenen så sätter man således arg(x)=Arg(x) och funktionen blir envärd. Man kan då skriva
(-3)^(1/2) = sqrt(3)*exp(i/2*pi) = i*sqrt(3) (Arg(x)=pi eftersom -3 ligger på vinkeln pi).
Då har vi
sqrt(-3)*sqrt(-3) = i*sqrt(3)*i*sqrt(3) = - 3 (i^2 = -1).
Å andra sidan har vi
((-3)^2)^(1/2) = sqrt(3^2)*exp(i/2*arg((-3)^2)) =
=sqrt(3)*sqrt(3)*exp(i/2*0)=sqrt(3)*exp(0)*sqrt(3)*exp(0) = sqrt(3)*sqrt(3). (Arg(9)=0)
Man ser alltså att det inte existerar en faktorisering som ger
sqrt((-3)^2)^(1/2) = (-3)^(1/2)*(-3)^(1/2).