Es sei
eine
rationale Zahl,
von der wir annehmen können, dass sie in
liegt. Es sei
-
die nach
Fakt
zugehörige Zifferenentwicklung gemäß dem Rekursionsschema
und
.
Es ist einerseits
und andererseits sind die
rationale Zahlen mit
als Nenner. D.h.
muss eine der
Zahlen
-
sein. Unter den
muss es also irgendwann eine Wiederholung geben, sagen wir
mit
.
Da die Zahlen
und
nur von
abhängen, ist
,
,
u.s.w, d.h., es liegt eine Periodizität vor.
Es liege eine periodische Ziffernentwicklung für die reelle Zahl
vor. Da sich die Eigenschaft, eine rationale Zahl zu sein, weder bei Multiplikation mit einer rationalen Zahl
noch bei Addition mit einer rationalen Zahl ändert, können wir sofort annehmen, dass die Ziffernentwicklung die Form
-
besitzt. Die dadurch definierte Zahl können wir als
-
auffassen, wobei die Einsen an der
-ten,
-ten u.s.w. Stelle stehen. Wir müssen uns also nur noch um periodische Ziffernentwicklungen von dieser speziellen Art kümmern. Wir betrachten die Folge
-

deren Glieder approximierende abbrechende Ziffernentwicklungen von
sind
(wobei manche übersprungen werden).
Aufgrund von
Aufgabe
ist
-

Der Limes davon
(für
gegen unendlich)
ist, da ja
gegen
konvergiert, gleich
-

wobei jeweils
Neunen vorkommen. Diese Zahl ist also rational.