![]() |
z^(m/n)-z0=0
************************************************** *****
Hi Hab die Threadteile hier verschoben Im alten Forum ging es mal um komplexe Zahlen. Ich hatte mir dann die Aufgabe ausgedacht die Wurzeln der Gleichung z^(1/Pi)=i zu berechnen. Mit folgendem Hintergedanken : Eigenzitat aus dem alten Thread Zitat: Bei der Aufgabenstellung z^(1/Pi)=i lag der Gag in der unendlichen Anzahl von Loesungen. Ich war mir dabei aber nicht sicher. Pi oder e sollten nur Repraesentanten fuer irrationale Zahlen sein. Ich war mir auch nicht sicher, ob in der Aufgabenstellung z^(n/m)=i, z=i^(m/n) (m,n element N, teilerfremd) der Zaehler m Einfluss auf die Anzahl der Loesungen nimmt. Eine kleine Beispielrechnung hat gezeigt : - Alleine n bestimmt die Anzahl der Loesungen - m bestimmt die Anzahl der "Umdrehungen" in der komplexen Ebene bis eine Periodizitaet auftritt. z^(1/Pi)=i besitzt also unendlich viele Loesungen auf dem Einheitskreis. Ebenso z^(1/e)=i Jede Gleichung der Form z^(1/p)=i, (p irrational) weist unendlich viele Loesungspunkte auf dem Einheitskreis auf. Dabei hatte ich folgende Umformung benutzt: i^p=exp(ln(i^p))=exp(p*ln(i))= exp( p * [ ln|i| + i*(arg(i)+2*k*Pi) ] )= exp( p * [ i*(Pi/2+2*k*Pi) ] )= cos(p*(Pi/2+2*k*Pi))+i*sin(p*(Pi/2+2*k*Pi)); Selbiges Ergebnis erhaelt man ueber 1) i^p= 2) (exp(i*(Pi/2+2*Pi) ))^p = 3) exp(i*p*(Pi/2+2*k*Pi) ) = 4) cos( p*(Pi/2+2*k*Pi) ) +i*sin( p*(Pi/2+2*k*Pi) ) k element N Diese Umformung scheint mir aber nicht fuer alle Zahlen p=m/n gueltig. Fuer m=1 funktioniert die Rechnung. Ist z^(1/p)=i nicht aequivalent zu allen Wurzeln von z=i^p ? Wie berechne ich korrekt alle Loesungen von z^(n/m)=i ? ************************************************** ***** Hi Bin am verzweifeln, denn auch Maple liefert das falsche Ergebnis. Beispiel: z^(2/3)=i Mein Loesungsweg liefert : z1=-1/2*2^(1/2)+1/2*I*2^(1/2) z2= 1/2*2^(1/2)-1/2*I*2^(1/2) Selbiges Ergebnis liefert Maple wenn man eintippt: > r:=solve(z^(n/m)=I,z); Macht man nun die Probe erhaelt man : z1^(2/3)= I (Der Hauptwert ist also korrekt) z2^(2/3)= .8660254036-.4999999999*I Was laeuft denn hier schief ? |
AW: z^(m/n)-z0=0
HAMILTONS ANTWORT
du suchst die z, die die Gleichung z^(n/m) -z0 = 0 erfüllen !? Dann mach doch z0 = r * exp(iφ) Dann kannst Du schreiben: z = r^(m/n) * exp{ i m/n ( φ + 2πk) } wobei k jetzt alle Ganzen Zahlen sind. φ = arg(z0) und r = |z0| wenn k = n/m ist, hast Du alle verschiedenen Lösungen, wenn das nie passiert, gibt es ein paar mehr |
AW: z^(m/n)-z0=0
Hi Hamilton
Danke fuer deinen Vorschlag. Das ist aber genau der Weg den ich die ganze Zeit benutzt habe. Nur ging dabei in den meisten Faellen die Probe nicht auf. Die User im Alpha Centauri Forum haben mir weitergeholfen. Das Problem ist inzwischen fuer mich geloeset. Ich habe immer mit dem Moivre Ansatz und als Test mit Maple gerechnet. -Maple (als Testpartner) ist mit der Aufgabenstellung voellig ueberfordert. Auch in der Probe liefert es nichts brauchbares mit der solve() Funktion. (Auch eine Erkenntnis) - Meine Probe war unvollstaendig. Man darf nicht erwarten,dass der Hauptwert diese erfuelt, sondern "darf", muss auch hier die Nebenwerte betrachten. Die Gleichung z^(n/m)=z0 hat somit n verschiedene Loesungen. Dabei wird der Betragskreis m Mal umrundet. Die Tuecke im Detail war aber : Fuer jede Probe der n Loesungen zn erhaelt man m Probeloesungen zur Verifikation. Nur eine davon kann die Probe erfuellen,(denn alle sind verschieden). Das muss nicht der Hauptwert sein ! Die restlichen Probeloesungen sind nur Loesungen der Gleichung : zn=z0^(m/n) jedoch nicht von zn^(n/m)=z0 Recht einfaches Beispiel: Eigenzitat aus Alpha Centauri Zitat:
Die Methode von Moivre habe ich inzwischen inclusive Probe fuer beliebige m,n,z0 automatisiert. (Programmiert) Bisher ging fuer alle m,n die Probe auf :-) Viele Gruesse Zitat:
|
AW: z^(m/n)-z0=0
Stand meiner Ergebnisse bei Alpha Centauri:
Phi=goldener Schnitt, 0.681.... Zitat:
Zitat:
Den aus obigen Ueberlegungen folgt, dass ansonsten die Bruchdarstellung von Pho 1/0 oder 0/1 sein muesste. Auf jeden Fall gehoert frac(Phi)=frac(1/Phi) zu den fundamentalen Eigenschaften von Phi. Es gibt keine andere Zahl, die dies erfuellt. Wettbewerb ********* Finde den kuerzesten Beweis, dass Phi irrational ist. (EDIT: Mein Ansatz hier war falsch) |
AW: z^(m/n)-z0=0
Na klar geht es schneller:
Phi = (1 + sqrt(5)) / 2 da sqrt(5) irrational ist auch Phi irrational. |
AW: z^(m/n)-z0=0
Hi zusammen,
Falls ihr beide mal draufgehen solltet, seid darüber nicht traurig. Ihr verliert dabei nur einige eurer Funktionen.:D |
AW: z^(m/n)-z0=0
@Lorenzy
He he ... sicherlich alle physikalischen Funktionen. Und andere ? :-) @hamilton 1. Platz :-) Kuerzer gehts nicht. Jedenfalls wenn du auch in einer Zeile zeigen kannst, dass sqrt(5) irrational ist :-) Das wuerde ich hinzuzaehlen. und will ich vermeiden, weil ich den Aufwand fuer Phi und sqrt(n) vergleichen will. Ok, das hatte ich nicht explizit geschrieben. Also elementar. Fuer sqrt(2) gibts es den bekannten Beweis von Euklid. http://de.wikipedia.org/wiki/Euklids...t_von_Wurzel_2 Der funktioniert in der Form aber nur fuer gerade Zahlen unter der Wurzel. Geht man bei ungeraden Zahlen genauso vor ? Wahrscheinlich. EDIT GELOESCHT Wozu das Ganze ? Ich will ja nichts besseres Herleiten als Euklid. Aber wegen frac(Phi)=frac(1/Phi) meine ich, dass es speziell fuer Phi (auch ohne komplexe Zahlen) einen einfacheren Beweis geben sollte. Auch weil Phi im Sinne einer Bruchapproximation am irrationalsten ist. Hier die Frac-Loesung nochmals in anderen Worten: ************************************** Und ich glaube diesmal liege ich richtig. Vorbemerkung: Die Funktion frac(a/b*n) hat die Peridendauer b, denn frac(a/b*(n+b))= frac(a/b*n+a)=frac(a/b*n) Die Funktion frac(b/a*n) hat die Peridendauer a Beweis Phi irrational : Waere Phi eine Bruchdarstellung Phi=a/b teilerfremd, dann haette Die Funktion frac(Phi*n) die Peridendauern a UND b denn frac(Phi*n)=frac(a/b*n)=frac(1/Phi*n)=frac(b/a*n) Fuer b>a muesste dann gelten b=k*a (diesmal k wirklich ganzzahlig) oder Fuer a>b muesste dann gelten a=k*b Phi muesste also ganzzahlig sein. Damit gibt es keine Bruchdarstellung fuer Phi. Die Periodendauer frac(Phi*n) ist unendlich. ciao |
AW: z^(m/n)-z0=0
Hi
Zitat:
Aber vielleicht etwas kuerzeres ? Die Frac Methode funktioniert auch fuer Wurzel 2 ! denn x=2+1/x hat die Loesungen sqrt(2)+1 und 1-sqrt(2) (allgemein hat x=a+1/x die Loesungen 1/2a +- 1/2 Sqrt(a^2+4)) Damit gilt frac(sqrt(2)+1)=frac(1/(sqrt(2)+1)) und damit laesst sich die frac Methode anwenden um zu zeigen, dass Sqrt(2)+1 und damit auch sqrt(2) irrational ist. Uebrigends interessant, denn frac(sqrt(2)+1) = frac(sqrt(2)) Was bedeutet dies in der komplexen Ebene ? Was kann ich mit der Erkenntnis noch anfangen ? Zum Beispiel kann ich sofort anschreiben Die Differenzengleichung x(k+1)=2+1/x(k),x0=1 konvergiert gegen 1+Wurzel(2) ************************************************** ******** Das ist aber noch nicht alles. Die rechte Seite der DzGL stellt einen Kettenbruch dar. Den kann man sukzessive vereinfachen und stellt dann fest, dass Nenner und Zaehler aus einer modifizierten Fibonacci Folge gebildet werden, naemlich : fib2(k+2)=2*fib2(k+1)+fib2(k), fib2(0)=1 fib2(1)=1 ************************************** Hier ein paar Zahlenwerte : y1 := 1 y2 := 1 y3 := 3 y4 := 7 y5 := 17 y6 := 41 y7 := 99 y8 := 239 y9 := 577 y10:= 1393 .... Satz: Der Grenzwert limit k->00, fib2(k+1)/fib2(k) konvergiert gegen 1+Wurzel(2) ************************************************** ******** Beispielwerte : Wurzel(2) etwa 4/3 = 1.333333 Wurzel(2) etwa 10/7 = 1.428571 Wurzel(2) etwa 24/17 = 1.411764 Wurzel(2) etwa 58/41 = 1.414634 Wurzel(2) etwa 140/99 = 1.414141 Wurzel(2) etwa 338/239 = 1.414225 Wurzel(2) etwa 816/577 = 1.414211 Wurzel(2) etwa 1970/1393 = 1.414213 Wurzel(2) etwa 4756/3363 = 1.414213 Wurzel(2) etwa 11482/8119 = 1.414213 Wurzel(2) etwa 27720/19601 = 1.414213 Wurzel(2) etwa 66922/47321 = 1.414213 Wurzel(2) etwa 161564/114243 = 1.414213 Wurzel(2) etwa 390050/275807 = 1.414213 Wurzel(2) etwa 941664/665857 = 1.414213 Wurzel(2) etwa 2273378/1607521 = 1.414213 Wurzel(2) etwa 5488420/3880899 = 1.414213 Wurzel(2) etwa 13250218/9369319 = 1.414213 Wurzel(2) etwa 31988856/22619537 = 1.414213 Kann man natuerlich beliebig verlaengern. Waere mal interessant wie mit dieser Approximation die Funktion frac(sqrt(2)*k)) aussieht. Genauso ein Vergleich mit dem Newtom Verfahren. Was man nicht alles aus z^(m/n)-z0=0 herleiten kann :-) Aber lauschen wir weiter den interessanten Beitraegen von Z. Kann mir jemand Bescheid sagen, wenn er fertig ist :D ? ciao |
AW: z^(m/n)-z0=0
Hallo richy,
(.)^a steht im reellen Fall für eine Funktion wie sin oder cos. Ist a keine ganze Zahl, muss man den Definitionsbereich und das Ziel auf die positiven Zahlen einschränken. (.)^1/n ist nicht auf C erweiterbar, weil es keine ausgezeichnete Lösung der Gleichung x^n = z gibt. Es wird lässig von n-te Wurzel aus Eins gesprochen, gemeint ist, die Menge der Lösungen der Gleichung x^n = 1. Die Gleichung z^(m/n) = z0 hat also keinen Sinn, weil links eine Menge steht, und rechts eine Zahl. mfg fransmanegeng |
AW: z^(m/n)-z0=0
Man kann die Gleichung aber im Komplexen loesen.
Die Loesungen erfuellen auch die Probe. Was stellen die Loesungen dann deiner Meinung nach dar ? 1 ist eine komplexe Zahl ohne Imaginaerteil. Wo ist das Problem ? Die Abbildung ist mehrdeutig das ist klar. Ist die Gleichung x^2=1 deiner Meinung nach auch nicht sinnvoll ? Hier der momentane stand zum Beweis von Wurzel(2)=irrational Zitat:
|
AW: z^(m/n)-z0=0
Hallo richy,
die Gleichung x^2 = 1 ist sinnvoll, weil (.)^2 eine Funktion ist. Für jede Zahl x ist x^2 eine Zahl. Die "mehrdeutige Abbildung" ist keine Abbildung, deshalb muss man z^1/n definieren, wenn man es schreibt. Man kann eindeutig definieren durch Einschränkung des Definitionsbereichs, also nicht überall definiert. Oder mehrdeutig, also, z^1/n ist eine Menge für jede beliebige Zahl z, nämlich die Lösungsmenge der Gleichung x^n = z. Man kann aber nicht behaupten, dass die Menge (1,2,3) und die Zahl 2 gleich sind, nur weil 2 in der Menge enthalten ist. Wurzel(2) irrational beweist man indirekt. Angenommen Wurzel(2) = p/q, p und q teilerfremd. Daraus folgt p^2 = 2q^2, also p^2 durch 2 teilbar, also p durch 2 teilbar, p = 2r. 2q^2 = p^2 = (2r)^2 = 4r^2, also q^2 = 2r^2, also q^2 durch 2 teilbar und somit auch q. Das ist ein Widerspruch, da p und q teilerfremd sind. |
AW: z^(m/n)-z0=0
Hi
Den Beweis kenne ich. Das ist der von Euklid. Die frac Methode ist aber schneller. Wurzel(2) ist irrational weil frac(1/sqrt(2))=frac(sqrt(2)) Fuer die Bedingung ist die Zahl eins eine Ausahme. Deine obigen Aussagen kann ich ueberhaupt nicht nachvollziehen. > die Gleichung x^2 = 1 ist sinnvoll, weil (.)^2 eine Funktion ist. z^(a/b) ist ebenfalls eine komplexe Funktion. Denke nur nicht holomorph. > Man kann aber nicht behaupten, dass die Menge (1,2,3) und die Zahl 2 gleich sind, nur weil 2 in der Menge enthalten ist. > Die Mehrdeutigkeit hast du auch bei x^2=1 Die Loesungsmenge ist x={-1,1} Es wuerde aber doch kein Mensch auf die Idee kommen zu sagen, dass die Gleichung x^2=1 sinnlos ist, weil links eine Loesungsmenge {-1,1} steht und rechts eine Zahl (1). Also das ist schon sehr zweifelhaft was du da schreibst. |
AW: z^(m/n)-z0=0
Hallo richy,
du verwechselst anscheinend 1. nicht injektive Abbildung mit Relation = "mehrdeutige Abbildung" 2. Urbild einer Abbildung mit Umkehrabbildung. (.)^n ist für eine ganze Zahl n ein Homomorphismus von der multiplikativen Gruppe C ohne Null in sich, surjektiv für n ungleich Null, nicht injektiv für n ungleich +1,-1. Der Kern der Abbildung ist die n-te Einheitswurzel, e^2(pi)ik/n. Die Lösungen der Gleichung z^1/n = z0 sind die Urbilder von z0 bezüglich der Abbildung (.)^n. Die Lösung ist i.A. wegen der Nichtinjektivität nicht eindeutig, das heißt, es gibt mehrere Lösungen. Ist w eine Lösung der Gleichung z^1/n = z0, dann sind w.e^2(pi)ik/n alle Lösungen der Gleichung, sie sind die Urbilder von z0 bezüglich der Abbildung (.)^n. Das Symbol (.)^1/n habe ich oben für Urbild verwendet, es ist wohldefiniert (= widerspruchfrei). Du musst das Symbol bei deiner Gleichung zuerst definieren,sonst kommst du nicht weiter. a) Ist es eine Abbildung in C, dann musst du für jede z genau eine Zahl w aus der Lösungen der Gleichung x^n = z auswählen und deklariert z^1/n = w. Dann musst du noch (.)^m/n definieren, ist das ((.)^m)^1/n oder ((.)1/n)m, denn bei dem Auswahlverfahren sind sie nicht immer gleich. b) Steht (.)^1/n für Urbild, dann ist sie eine Abbildung in die Potenzmenge von C, und die Gleichung z^m/n = z0 ergibt ohne weitere Definitionen keinen Sinn. |
AW: z^(m/n)-z0=0
Hi fransmane
An einigen Stellen im www bin ich schon auf den Hinweis gestossen, dass die Funktion z^(m/n) nur mit auesserster Vorsicht anzuwenden ist. Auch dass die Potenzgesetze im Komplexen teilweise nicht gueltig sind.Ich denke mal deine Argumentation geht in diese Richtung. Verstehe sie aber noch nicht ganz. Zitat:
keine Rolle spielen wuerde, aber wohl im Komplexen. Meine Loesung fuer z^(m/n)=z0 waere |z0|^(n/m)*e^(arg(z0)+i(n/m)*2*Pi*k,k=0,1,2..3)= |z0|^(n/m)*cos(arg(z0)+i(n/m)*2*Pi*k)+i*sin(arg(z0)+i(n/m)*2*Pi*k,k=0,1,2..3) Ich sehe aber nicht an welcher Stelle des Loesungsweges ich die Auswahl ((.)^m)^1/n oder ((.)1/n)m treffe. Kannst du mir weiterhelfen ? Welcher Auswahl entspricht diese Loesung ? Welche Loesung ergaebe sich bei der alternativen Wahl ? Meine Loesungen erfuellen in der Probe die Gleichung. Verstehe ich dich richtig ? Es gibt also nochmal solch eine Menge von Loesungen ? Kann man die Problematik auch in etwas anschaulicher Form darstellen ? Haengt dies mit der analytischen Fortsetzung der komplewertigen Log Funktion zusammen ? Vielen Dank im Voraus Viele Gruesse |
AW: z^(m/n)-z0=0
Hi richy,
bevor wir fortfahren, möchte ich betonen, dass ich in diesem Gebiet kein Experte bin. Das Problem ist die Definition von (.)^1/n. a) Nehmen wir aus C die negativen Zahlen und die Null weg, dann kann man jedes z eindeutig in Koordinaten schreiben z = (r,t), wenn z = re^it, t aus (-pi,+pi). Man kann hier z^1/n = (r,t)^1/n = (r^1/n,t/n) setzen. Es gilt (z^1/n)^n = z. Betrachten wir jetzt z^m/n für z = i = (1,pi/2), m = 3, n = 2. (i^3)^1/2 = (-i)^1/2 = (1,-pi/2)^1/2 = (1,-pi/4) (i^1/2)^3 = ((1,pi/2)^1/2)^3 = (1,pi/4)^3 = (1,3pi/4) b) Nehmen wir die Urbildmenge für z^1/n, also die Lösungsmenge der Gleichung x^n =z. In diesem Fall gilt: (z^m)^1/n = (z^1/n)^m. Die Aufgabe lautet dann: Die Menge aller z mit der Eigenschaft, z0 ist ein Element aus z^m/n. Sie ist äquivalent mit der Gleichung z^m = z0^n. Ist z0 = (r,t), wobei t jetzt beliebig ist, dann sind w = (r^n/m,tn/m) die Lösungen. (r,t + 2pi/n) bezitzt die gleiche Lösung. Muss man bei deiner Lösung: 1) arg(z0) mit n/m multiplizieren 2) arg(z0) bei e mit i multiplizieren 3) i bei cos und sin weglassen? Man kann a) so modifizieren, dass man immer genau eine Lösung bekommt, sie ist in b) enthalten. Grüsse fm |
Alle Zeitangaben in WEZ +1. Es ist jetzt 23:10 Uhr. |
Powered by vBulletin® Version 3.8.8 (Deutsch)
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
ScienceUp - Dr. Günter Sturm