Para "demostrar $f$ es un bijection" (es decir, #1): en primer lugar, mostrar $f$ es inyectiva. Así, supongamos $f(a) = f(b)$ donde $a, b \in D$. Ahora, para $a$ $b$ existen enteros positivos $n$ $m$ tal que $f^n(a) = a$ $f^m(b) = b$ (donde $f^n$ es la notación estándar para la iteración: $f^n = f \circ f \circ f \circ \cdots \circ f\ (n\ \mathrm{times})$, e $f^0 = \mathrm{id}$, la función identidad.). Estas ecuaciones dan $f^{n-1}(f(a)) = a$$f^{m-1}(f(b)) = b$. Ahora, desde la $f(a) = f(b)$,$f^{m-1}(f(a)) = b$. Es decir, $f^m(a) = b$. Ahora también, $f^{n-1}(f(b)) = a$$f^n(b) = a$. Lo $f^m(a) = b$ muestra es que el ciclo que contiene a $a$ también contiene $b$, así que los dos ciclos no son disjuntas, y de hecho son el mismo ciclo. Por lo tanto, $f^n(b) = b$ (tenga en cuenta que un periodo de un punto en un ciclo es un período de cada punto), y por lo $a = b$.
Ahora a $f$ es surjective. Supongamos $a$ es un elemento de $D$. A continuación, queremos encontrar una $b$ que $f(b) = a$. Desde $f^n(a) = a$ algunos $n$,$f(f^{n-1}(a)) = a$, y por lo $b = f^{n-1}(a)$ va a trabajar.
Por eso, $f$ es tanto inyectiva y surjective. Por lo tanto, $f$ es bijective.
Para el "conversar" (es decir, #2): Supongamos $f$ es bijective. Ahora, considere la posibilidad de $f^n(a)$ algunos $a \in D$ y enteros positivos $n$. Ahora, hay sólo un número finito de posibilidades para $f^n(a)$, por lo que debe haber algo de n para el cual $f^n(a) = f^m(a)$ para algunos m <= n. Entonces, desde el $f$ es bijective, es invertible, y tenemos la existencia de la negativa recorrer $f^{-m} = (f^{-1})^m$, que es la inversa de a $f^m$, y podemos aplicar eso a ambos lados para obtener $f^{n-m}(a) = a$.
Q. E. D.