Alguns padrões
Analisemos agora os dados da seguinte tabela, que contém os ciclos de \(f_{D}\), para \(1 \leq D \leq 6\).
\(D\) | Períodos | Ciclos em \(N_{D}\) |
---|---|---|
\(1\) | \(1\) | \(\{0\}\) |
\(2\) | \(1\) \(5\) |
\(\{00\}\) \(\{09, 81, 63, 27, 45\}\) |
\(3\) | \(1\) \(5\) |
\(\{000\}\) \(\{099, 891, 693, 297, 495\}\) |
\(4\) | \(1\) \(2\) \(5\) |
\(\{0000\}\) \(\{2178, 6534\}\) \(\{0999, 8991, 6993, 2997, 4995\}\) \(\{0090, 0810, 0630, 0270, 0450\}\) \(\{0909, 8181, 6363, 2727, 4545\}\) |
\(5\) | \(1\) \(2\) \(5\) |
\(\{00000\}\) \(\{21978, 65934\}\) \(\{09999, 89991, 69993, 29997, 49995\}\) \(\{09009, 81081, 63063, 27027, 45045\}\) \(\{00990, 08910, 06930, 02970, 04950\}\) |
\(6\) | \(1\) \(2\) \(5\) \(9\) \(18\) |
\(\{000000\}\) \(\{219978, 659934\}\) \(\{021780, 065340\}\) \(\{099999, 899991, 699993, 299997, 499995\}\) \(\{090009, 810081, 630063, 270027, 450045\}\) \(\{009990, 089910, 069930, 029970, 049950\}\) \(\{000900, 008100, 006300, 002700, 004500\}\) \(\{009090, 081810, 063630, 027270, 045450\}\) \(\{090909, 818181, 636363, 272727, 454545\}\) \(\{099099, 891891, 693693, 297297, 495495\}\) \(\{978021, 857142, 615384, 131868, 736263, 373626,\) \(252747, 494505, 010989\}\) \(\{043659, 912681, 726462, 461835, 076329, 847341,\) \(703593, 308286, 374517, 340956, 318087, 462726,\) \(164538, 670923, 341847, 406296, 286308, 517374\}\) |
Notamos aqui alguns padrões. Para cada natural \(D\), a aplicação \(f_{D}\) só tem um ponto fixo. Se \( D > 1\) é ímpar, os ciclos de \(N_{D}\) surgem dos ciclos de \(N_{D-1}\) por um dos processos seguintes:
- fixamos um elemento de um ciclo de \(N_{D-1}\) e colocamos um \(9\) a meio (vejam-se, por exemplo, os ciclos \(\{2178, 6534\}\) de \(N_{4}\) e \(\{21978, 65934\}\) de \(N_{5}\));
- fixamos um elemento de um ciclo de \(N_{D-1}\) e acrescentamos um \(0\) na posição central (é, por exemplo, essa a relação entre os ciclos \[\{09009, 81081, 63063, 27027, 45045\}\] de \(N_{5}\) e \[\{0909, 8181, 6363, 2727, 4545\}\] de \(N_{4}\)).
Estes procedimentos não alteram o período do ciclo, mas nem todas as possibilidades produzem ciclos (por exemplo, \(09909\) não pertence a nenhum ciclo de \(N_{5}\)).