LAA2)
= (QEAA) A
E1AA1)
+ (QEAA)
= (S'E'AA')
EAA)
+ (P2E2AA2)
= (S" E" A,A"),
ist zu zeigen, daß
Ε'AA')
rch
ht.
= (S" E" A, A")
d. h. daß [S'S"]
E
P
0,
E = ([EE] [A₁A2]) = ([P₁P2] [Q1 Q2])
Es gehen [A₁A₂], [P₁P₂], [Q1Q2] durch einen Punkt
gen nach dem Desarguesschen Satze
z, nämlich im projektiven Fundamentalsatz, bereits vorausgesetzt
h die Beweise der assoziativen, kommutativen und distributiven Geser
h einfacher gestalten. Dagegen wird der Pascalsche Satz nicht vo
Hilberts Streckenrechnung (Grundlagen § 24, 25, 26), die sich
urfrechnung durch affine" Spezialisierung ergibt, indem man die
ne Gerade als Gerade [A₁ A₂] nimmt. Bei von Staudt und bei Hilbe
chweis des Gesetzes B. Eine neue Wurfrechnung, die die obi
gibt sich später in der affinen Geometrie.
8*