Difference between revisions of "TU Wien:Mathematik 1 UE (diverse)/Übungen WS06/Beispiel 303"

From VoWi
Jump to navigation Jump to search
m (replaced forum links)
m
Line 4: Line 4:
  
 
==Hilfreiches==
 
==Hilfreiches==
<div style="background-color:#FFDFDF; border:1px dotted; margin:1em; padding:1em;">Es existiert ein [[Image:M302.java|Programm-Entwurff als .java]] ([[M302.java.txt|als Text]]) zur Suche der Restklassen-Elemente.</div>
+
<div style="background-color:#FFDFDF; border:1px dotted; margin:1em; padding:1em;">Es existiert ein [[Image:M302.java.gz|Programm-Entwurf als .java.gz]] zur Suche der Restklassen-Elemente.</div>
  
 
{{Quadratische Gleichung}}
 
{{Quadratische Gleichung}}
Line 24: Line 24:
 
Auf dem Restklassenring <math>\mathbb{Z}/7\mathbb{Z}</math> können wir die Diskriminante in den Bereich <math>\geq0</math> zwingen, indem wir andere Werte aus den jeweiligen Restklassen der Angabewerte (aus <math>\mathbb{Z}_7</math>) zur Lösung in <math>\mathbb{Z}</math> verwenden.
 
Auf dem Restklassenring <math>\mathbb{Z}/7\mathbb{Z}</math> können wir die Diskriminante in den Bereich <math>\geq0</math> zwingen, indem wir andere Werte aus den jeweiligen Restklassen der Angabewerte (aus <math>\mathbb{Z}_7</math>) zur Lösung in <math>\mathbb{Z}</math> verwenden.
  
'''Z.B.''' (Werte mit o.g. [[Image:M302.java|Java-Programm;]] gefunden):
+
'''Z.B.''' (Werte mit o.g. [[Image:M302.java.gz|Java-Programm;]] gefunden):
  
 
<math>\begin{array}{lll}a=3,&b=2+1m|_{m=7}=9_\mathbb{Z},&c=6\end{array}</math>:
 
<math>\begin{array}{lll}a=3,&b=2+1m|_{m=7}=9_\mathbb{Z},&c=6\end{array}</math>:
Line 129: Line 129:
  
 
==Links==
 
==Links==
*[[Image:M302.java|Java-Programm-Entwurf;]]
+
*[[Image:M302.java.gz|Java-Programm-Entwurf;]]
 
*[[f.thread:49827|Diskussion im Informatik-Forum]]
 
*[[f.thread:49827|Diskussion im Informatik-Forum]]
  

Revision as of 21:11, 28 January 2010

Man bestimme mit Hilfe der Lösungsformel für quadratische Gleichungen alle Lösungen von über dem Körper .

Hilfreiches

Es existiert ein Datei:M302.java.gz zur Suche der Restklassen-Elemente.

Vorlage:Quadratische Gleichung Vorlage:Restklassen Vorlage:Restklassenring

Lösung von Baccus

Der naive Versuch, eine Lösung auf zu finden, schlägt fehl: Der Wert der Diskriminante besagt, daß keine Lösung (in M ) existiert.


Nachdem wir aber auf dem Restklassenkörper operieren, kommen zwei Lösungsmöglichkeiten in Betracht:

  • wir verallgeimeinern die gegebenen Werte aus auf , lösen das Problem in und spezialisieren das Ergebnis wieder auf .
  • wir lösen das Problem vollständig in , wobei wir aber für die Zwischenergebnisse immer wieder passende Restklassenwerte finden müssen.


Lösung auf Z:

Auf dem Restklassenring können wir die Diskriminante in den Bereich zwingen, indem wir andere Werte aus den jeweiligen Restklassen der Angabewerte (aus ) zur Lösung in verwenden.

Z.B. (Werte mit o.g. Datei:M302.java.gz gefunden):

:

Diskriminante Lösung existiert (in ); falls die Gleichung ganzzahlig aufgeht (was sie mit den gewählten Zahlenwerten auch tut), ist die Lösung auch in .



Lösung auf Z7:

Die Diskriminante ist negativ, aber in .

Also erweitern wir z.B. mit : .

Dann ist

,

.

Kontrolle der Ergebnisse auf Z7:

(Fleißaufgabe):


Baccus 01:12, 14. Jan 2007 (CET)

(Danke Hapi, Navyseal)


Lösung von Hapi

Da man mit mit Restklassen rechen kann, sollte man für b = 2 mod 7 wie folgt einsetzen: b = 9


Das ergibt dann nach der Formel (die Restklassen darf ich ja in 7-er Schritten erweitern!)

 =   = -2 bzw. -1.

Das Einsetzen der Werte ergibt folgende Gleichungen mit Restklassen:

*(-1)² + bzw *(-2)² +

denn -2*7 und -1*7 sind zulässige Erweiterungen bei Modulo 7.

Hapi


Urbanek hat noch eine andere Lösungsvarieante gebracht:

Ergebnis 1 :

Ergebnis 2 :

Er hat statt durch Restklasse 6 dividiert mit dem Inversen davon multipliziert, was zufälligerwiese wieder 6 ist. Außerdem hat er nach jedem Rechenschritt die jeweilige Restklasse mod 7 verwendet, z.b. statt 72 nur 2, etc.

Hapi

Links

Wikipädia:

Ähnliche Beispiele: