Der Titel dieses Abschnitts ist der Titel des wunderbar zu lesenden und aufschlussreichen Buches von[i][b] J. Gebert-Richter [/b][/i]und [i][b]T. Orendt[/b][/i] [i][b][Ric_OR][/b][/i]. Es geht um den alten Traum, sowohl geometrisch einfache wie auch komplexe Zusammenhänge durch effektive Rechenverfahren, Algorithmen in den Griff zu bekommen: vielleicht sogar, um geometrische Sachverhalte mit der Maschine beweisen oder gar entdecken zu können.[br]Die Rechnungen sollen dabei nicht durch einen zu großen Aufwand an Koordinatenrechnungen die geometrischen Beziehungen verdecken, sondern es sollte ein algebraischer Werkzeugkasten bereitgestellt werden, der die Geometrie verständlich und "einfach" wiederspiegelt. Solche Werkzeugkästen sind die Grundlage für Geometriesoftware wie z.B. [i][b]Cinderella.2[/b][/i] oder[i][b] Ge[icon]/images/ggb/toolbar/mode_conic5.png[/icon]Gebra[/b][/i].[br][br]Welches sind unsrer Meinung nach die wichtigsten Werkzeuge?[br][list][*]Lineare Algebra - Determinantenkalkül : Grassmann-Algebra - Quadratische Formen[/*][*]Projektive Sichtweisen[/*][*]Komplexe Zahlen[/*][*]LIE-Gruppen und LIE-Algebren[/*][/list]In [i][b]Cinderella.2[/b][/i] konnte im Hintergrund (in Skripten) völlig problemlos mit komplexen Zahlen gerechnet werden: mit komplexen Vektoren ließ sich ohne Einschränkung rechnen: Kreuzprodukt, Skalarprodukt, Determinanten, die Exponentialabbildung usw. waren komplex verwendbar. Allerdings war die [b]3D[/b]-Ansicht[br]nur über Umwege zu erhalten. Wir vermuten, dass es zwischen Rechnungen mit komplexen Vektoren und 3D-Darstellungen prinzipielle Unverträglichkeiten gibt.[br][br]In [i][b]GeoGebra[/b][/i] dagegen ist mit 3D-Darstellungen sehr gut zu arbeiten, dafür erfährt man aus dem Handbuch, dass [i][b]GeoGebra[/b][/i] "komplexe Zahlen nicht direkt unterstützt". Nach unseren Erfahrungen kann man zwar im CAS-Modus mit komplexen Vektoren rechnen, jedoch erscheinen dadurch geometrische Ansichten stark ausgebremst. Wir haben versucht, mit komplexen Vektoren in der Tabellen-Ansicht zu arbeiten, dabei stehen aber wichtige Hilfsmittel wie Kreuzprodukt oder Skalarprodukt nicht direkt zur Verfügung, wir mussten diese Operationen in der Tabelle definieren. Dies ist nicht im Sinne von effektiven Geometrie-Kalkülen.[br][br]Das ist bedauerlich im Hinblick auf die nächsten Kapitel dieses Buches:[br][list][*]lineare und quadratische komplexe Vektorfelder[/*][*]komplexe Funktionen und deren Isothermen[/*][*]Hermitesche Formen und bizirkulare Quartiken[/*][/list]Für die ebene Möbiusgeometrie den Geradenraum als Grundlage algebraischer Berechnungen zu verwenden, hat [i]Vor-[/i] und [i]Nachteile[/i]:[br]Vorteile sind der unmittelbare Zugang zu Determinantenkalkül und komplexer Berechnung.[br][br][i][b]Nachteile und Handicaps des Geradenraum-Modells der Möbiusebene[/b][/i]: [br][br][u][b]1.[/b][/u] [i][b]Kreise[/b][/i], die eigentlichen Objekte der ebenen Möbiusgeometrie neben den Punkten, sind nur indirekt zugänglich: als Bahnkurven von W-Bewegungen, als Fixpunktmengen von Spiegelungen oder als Zerlegungen in zwei reelle polare Unterräume. Wir werden später [i]Kreisspiegelungen[/i] als involutorische hermitesche Abbildungen [math]\mathbf{K}[/math] genauer betrachten. Kreise erhält man damit als Nullstellen der hermiteschen Formen [math]\mathbf{K}\mathbf\vec{p}\bullet \mathbf\vec{p}=0[/math] für Berührgeradenvektoren [math]\mathbf\vec{p}\in \large\mathcal{ G}[/math] mit [math]\mathbf\vec{p}\bullet \mathbf\vec{p}=0[/math]. In euklidischen Koordinaten sind die Nullstellen beliebiger hermitescher Formen [math]\mathbf{H}\mathbf\vec{p}\bullet \mathbf\vec{p}=0[/math] [i][b]bizirkulare Quartiken[/b][/i].[br][br][u][b]2.[/b][/u] Die sogenannten [i][b]absoluten Kreispunkte[/b][/i] [b]I[/b] und [b]J[/b] sind im komplexen Geradenraum gewissermaßen nicht auffindbar! Die absoluten Kreispunkte erweitern die reelle projektive Ebene um zwei komplexe Punkte mit vielen verblüffenden Eigenschaften. [br]Man lese dazu die lesenswerten Seiten im oben genannten Buch "Geometriekalküle" [i][b][Ric_OR][/b][/i].[br]Kurz beschrieben: die reelle projektive Ebene wird als reeller Teil einer komplexen Ebene betrachtet, von den komplexen Elementen werden jedoch nur diese beiden absoluten Kreispunkte genutzt. Wie in dem zitierten Buch dargelegt, nützen diese zusätzlichen Punkte bei der Charakterisierung der Kreise als genau diejenigen Kegelschnitte durch 3 Punkte, die diese beiden Punkte zusätzlich enthalten. Sie dienen weiter dazu, das Messen von Winkeln und Abständen projektiv invariant zu erklären.[br]Nun ist der Geradenraum, wie wir in nutzen, eine [i]komplexe projektive Ebene[/i], die Möbiuspunkte sind Punkte auf einer [i]komplexen Quadrik[/i]. Für zusätzliche weitere komplexe Punkte wäre nur Platz, wenn man den Geradenraum nur reell betrachten würde und dann künstlich (?) komplex erweitern würde. [br][br][br][size=50]Diese Seite ist Teil des GeoGebra-Books [url=https://www.geogebra.org/m/kCxvMbHb]Moebiusebene[/url].[/size]