Citat:
Ursprungligen postat av muminporr
Jaha okej, det förklarar saken! Tack för hjälpen. När det gäller det andra så är jag osäker på om jag förstår vad du menar. Dubbelförhållande känner jag inte igen i det här sammanhanget, och troligen är det inte så det är meningen att uppgiften ska lösas. Jag håller med om att det känns onödigt krångligt att inte beräkna transformationen direkt, men jag antar att det ska öka förståelsen hur transformationen beter sig.
När det gäller den imaginära axeln försökte jag mig på det här resonemanget tidigare i tråden, men det var mest vilt spekulerande:
Citat:
Med t.ex. den imaginära axeln, kan det vara så att man anser det vara en cirkel i ℂ* som då är ortogonal mot cirklar i ℂ? Vi vet att ortogonala linjer avbildas ortogonalt och att 0 som ligger på den imaginära axeln avbildas på 1+i. Alltså borde den imaginära axeln avbildas på linjen som går genom punkten 1+i och är ortgonal mot den givna linjen?
Vet inte riktigt hur du menar, den imaginära axeln är inte ortogonal mot alla cirklar i C. Men huvudidén är definitivt bra, t.ex. funkar ju detta för den reella axeln:
Låt R vara den rella axeln, och låt R' vara dess bild. Då innehåller R 0 och 2, så R' innehåller i-1 och ∞. Vidare är R ortogonal mot cirkeln |z-1| = 1, så då måste R' vara ortogonal mot linjen genom 0 och i-1. Men det finns bara en sån cirkel/linjen, det är linjen som går igenom i-1 "snett 45° åt höger och uppåt". Så detta måste vara R'.
För den imaginära axeln I kan vi använda att den tangerar cirkeln |x-1| = 1 vid 0, så då måste I' tangera linjen genom 0 och i-1 vid i-1. Men det finns många cirklar som gör det. Så vi måste göra nåt annat. Håll i hatten nu.
Låt L vara linjen genom 0 och 2. Då korsar L cirkeln |z-1| = 1 med vinkel 45°. Men då måste L avbildas på någon cirkel eller linje som passerar genom i-1, ∞ samt korsar linjen genom i-1 och 0 under 45 graders vinkel. Men då måste L' (bilden av L) vara den imaginära axeln. (vi använder här orientationen vid korsningen mellan cirkeln |z-1| = 1 och L vid i+1 för att sluta oss till att det är den reella axeln och inte den reella axeln.)
Men L korsar också I under 45° vinkel, så vi vet alltså att I' är en cirkel, tangerandes linjen genom i-1 och 0 vid i-1, och som korsar den imaginära axeln under 45° vinkel. Vi vet också att det ligger i halvplanet ovanför linjen genom i-1 och 0. Då är det inte svårt att med vanlig hederlig geometri övertyga sig om att I' är cirkeln med centrum i -1/2 + 3i/2 och radie 1/√2.
Med reservation för att jag räknat fel.