
Sia un numero e
tale che:
ovvero:
e quindi:
Per assurdo, sia
Più precisamente, assumeremo che sia il minimo dei possibili denominatori per queste espressioni razionali di
e quindi assumiamo che sia il minimo
tale che
.
Quindi:
e pertanto, essendo dev’essere:
contro il fatto che, per ipotesi, è il minimo dei possibili denominatori per la rappresentazione razionale di
.