Art. 45-47..
63
punkten des Netzes. Nunmehr ordne man die abzählbare oder end-
liche Menge von Punkten
([PP], [PP₁]),
h
h
..
h<i
(h<k<1)
für jeden Index h in eine Reihe P (1), P₁₂(2), und diese mit den
Grundpunkten zusammen in die Reihe:
P1, P2, P₁(1), P3, P₂(1), P₁(2), P4, P3(1), P₂(2), P₁(3),..,
aus der man ebenso eine neue Reihe von Punkten ableiten und in
diese einordnen kann. Nach jeder endlichen Anzahl von Schritten
findet man so die Gesamtheit der konstruierten Punkte in eine Reihe
geordnet, also endlich oder abzählbar.
aus
Ist die Gesamtheit der Punkte endlich, so gehen durch zwei be-
liebige Punkte, z. B. P1, P2 gleichviel Gerade; denn man kann die
Punkte P1, P2, P3,
der Reihe nach den Punkten P2, P1, P3.
und dann die durch Konstruktion aus P1, P2, P3, abgeleiteten
Punkte und Geraden den durch entsprechende Konstruktion
P2, P1, P3, abgeleiteten Punkten und Geraden zuordnen. Ebenso
zeigt man, daß auf zwei beliebigen Geraden des Netzes gleichviel
Punkte des Netzes liegen. Ist also (mu, n₁) die Konfiguration des
Netzes, so liegen auf jeder der u durch einen Netzpunkt gehenden
Geraden v - 1 der m Punkte; demnach ist
..
m = μ (ν − 1) +1 und ebenso
n
ν (μ – 1) + 1.
Ferner fallen die m(m-1) Verbindungslinien je zweier der m Punkte
zu je
ν 2
v (-1) auf eine der n Geraden, also ist
2
m (m-1) ν (ν – 1)
2
2
n,
woraus durch Einsetzung der obigen Werte für m und n
(μ - 1) (ν −1)2 (μ – ν) = 0,
also, wegen μ >1, ν > 1,
folgt.
μ = ν,
m=n
=
2
μ +1
με
Ein ebenes Netz mit endlich viel Punkten kann man z. B. folgender-
maßen bilden. Es sei peine beliebige Primzahl. Ein Tripel von drei
ganzen Zahlen x, y, z, die nicht zugleich = 0 (mod p) sind, heiße ein
Punkt (x, y, z). Zwei Punkte (x, y, z), (x', y', z') heißen identisch,
wenn und nur wenn x'=kx, y'=ky, z=kz (mod p) ist. Unter
denselben Festsetzungen soll ein Tripel von drei ganzen Zahlen ξ, η, ζ