Es sei
, …,
ein System von reellen
Grundeinheiten des Körpers
, wie ein solches nach Satz 127 stets existiert; dann können wir setzen:
|
(113)
|
für
, wo die Exponenten
,
,…,
ganze rationale Zahlen sind und
die in Formel (108) definierte Kreiseinheit bedeutet. Aus (113) erhalten wir:
|
(114)
|
für
, wo unter den Logarithmen deren reelle Werte verstanden werden sollen. Andererseits bringen die Definitionsgleichungen (109) der Einheiten
, …,
ein Gleichungssystem von der Gestalt
,
|
(115)
|
mit sich. Von demselben gehen wir zu den Gleichungen
|
(116)
|
|
|
über, wo für die Logarithmen wieder die reellen Werte eintreten sollen, und vermöge (114) wird hieraus
,
|
(117)
|
|
|
wo
,
, …,
die bekannten bilinearen Verbindungen der
ganzen rationalen Zahlen
,
, …,
;
,
, …,
bedeuten. Aus den Gleichungssystemen (113) und (115) entspringen jedesmal
weitere Gleichungssysteme, wenn wir auf die darin vorkommenden Einheiten die Substitutionen
,
, …,
anwenden. Indem wir dann wieder die betreffenden Logarithmen nehmen, erhalten wir diejenigen Gleichungssysteme, die aus den Gleichungssystemen (114), (116) und (117) hervorgehen, wenn man auf die darin vorkommenden Einheiten der Reihe nach durchgehends die Substitution
, bez.
, …, bez.
anwendet.
Setzen wir nun
,
,
,
|
|