Mathematische Exkursionen FAQIR Formelsprache für A über Q zur Implementierung auf Rechnern

Das Ergebnis der Matrix

  e0 e1 m1 
e1 m1 
f1 n1 
m0
n0
e0 e1 m2 
e1 m2 
f0 f1 
f1
m2
f0 f1 n1
1
1 1 0 0 0 0 0 0 0 0 aa ab ac
u 0 1 0 0 0 0 0 0 0 ad 0 ae
u² 0 0 1 0 0 0 0 0 0 af 0 ag
j 0 0 0 1 0 0 0 0 0 ah 0 ai
uj 0 0 0 0 1 0 0 0 0 aj 0 ak
u²j 0 0 0 0 0 1 0 0 0 al 0 am
j² 0 0 0 0 0 0 1 0 0 an 0 ao
uj² 0 0 0 0 0 0 0 1 0 ap 0 aq
u²j² 0 0 0 0 0 0 0 0 1 ar 0 as
 
aa, ab, ..., as sind Multiplikationen, Divisionen, Additionen oder Subtraktionen aus b0, b1, ..., b8, d0, d1, ..., d8
 
f1 + ar m2 + as = 0 f1 = - ar m2 - as
m0 + ah m2 + ai = 0 m0 = - ah m2 - ai
n0 + aj m2 + ak = 0 n0 = - aj m2 - ak
e1 m2 + an m2 + ao = 0 e1 = (- an m2 - ao) / m2
e1 m1 + ad m2 + ae = 0 m1 = - ad m2 / e1 - ae / e1
f0 f1 + ap m2 + aq = 0 f0 = - ap m2 / f1 - aq / f1
f1 n1 + af m2 + ag = 0 n1 = - af m2 / f1 - ag / f1
e0 e1 m1 + aa m2 + f0 f1 n1 ab + ac = 0 e0 = - aa m2 / e1 m1 - f0 f1 n1 ab / e1 m1 + ac / e1 m1
 
Das bedeutet, dass es für jedes m2 immer einen Schnittpunkt gibt, da f1, m0, n0, e1, m1, f0, n1 und e0 von m2 abhängig sind.
Da es also immer einen Schnittpunkt gibt, ist damit der Satz hinfällig.
 
Seite 1 - Die Konstruktion der Algebra
Seite 2 - Die Multiplikationstafel
Seite 3 - Die Addition und Multiplikation
Seite 4 - Die Inversenbildung
Seite 5 - Die Berechnung von a * b * c
Seite 6 - Der Satz
Seite 7 - Die Berechnung von  e•1/d•id•e  und  f•1/b•ib•f
Seite 8 - Die Berechnung der Punkte c1 und c2
Seite 9 - Die erste Matrix
Seite 10 - Die vereinfachte Matrix
Seite 11 - Das Ergebnis