Perfeito totiente

Em teoria dos números, um número perfeito de totiente é um número inteiro que é igual à soma de suas iterações de totiente. Ou seja, aplica-se a função totiente para um número n {\displaystyle n} , aplicá-lo de novo para o resultante da função totiente, e assim por diante, até que o número   1 {\displaystyle {\text{número}}~1} seja alcançado, e adicionar em conjunto a sequência de números resultante; Se a soma é igual a n, n {\displaystyle {\text{soma é igual a n,}}n} é um número perfeito de totiente {\displaystyle {\text{número perfeito de totiente}}} . Ou, dito de algebricamente, se[1]

n = i = 1 c + 1 φ i ( n ) , {\displaystyle n=\sum _{i=1}^{c+1}\varphi ^{i}(n),}

Onde

φ i ( n ) = { φ ( n )  if  i = 1 φ ( φ i 1 ( n ) )  caso contrário {\displaystyle \varphi ^{i}(n)=\left\{{\begin{matrix}\varphi (n)&{\mbox{ if }}i=1\\\varphi (\varphi ^{i-1}(n))&{\mbox{ caso contrário}}\end{matrix}}\right.}

são as interações da função de totiente e c {\displaystyle c} é o inteiro tal que[2]

φ c ( n ) = 2 , {\displaystyle \displaystyle \varphi ^{c}(n)=2,}

então n {\displaystyle n} é um número perfeito de totiente {\displaystyle {\text{número perfeito de totiente}}} .[3]

Os primeiros número perfeito de totiente são:

3 , 9 , 15 , 27 , 39 , 81 , 111 , 183 , 243 , 255 , 327 , 363 , 471 , 729 , 2187 , 2199 , 3063 , 4359 , 4375 , 5571. (sequência A082897 em OEIS)

Por exemplo, considerando-se o número 243 {\displaystyle 243} e aplicando-o a função de totiente , tem-se: φ ( 243 ) = 162 ,   φ ( 162 ) = 54 ,   φ ( 54 ) = 18 ,   φ ( 18 ) = 6 ,   φ ( 6 ) = 2 ,   φ ( 2 ) = 1 {\displaystyle \varphi (243)=162,~\varphi (162)=54,~\varphi (54)=18,~\varphi (18)=6,~\varphi (6)=2,~\varphi (2)=1} .


Dado que 162 ,   54 ,   18 ,   6 ,   2 ,   1 = 243 ,   243 {\displaystyle 162,~54,~18,~6,~2,~1=243,~243} é um número perfeito de totiente {\displaystyle {\text{número perfeito de totiente}}} .


Propriedades matemáticas

Muitos número perfeito de totiente são múltiplos de 3 {\displaystyle 3} . O menor número perfeito de totiente não ser divisível por 3 {\displaystyle 3} é 4375 {\displaystyle 4375} . Todos os poderes de 3 {\displaystyle 3} são números perfeitos de totiente, como pode ser verificado por indução observando que

ϕ ( 3 k ) = φ ( 2 3 k ) = 2 3 k 1 {\displaystyle \displaystyle \phi (3^{k})=\varphi (2\cdot 3^{k})=2\cdot 3^{k-1}} .

Outra família de números perfeitos de totiente, encontrada por Venkataraman (1975), é que dada pela seguinte regra:

se p = 4 x 3 k + 1 {\displaystyle p=4x3^{k}+1} é um número primo,(Mohan e Suryanarayana 1982), então 3 p {\displaystyle 3p} é um número perfeito de totiente.

Os valores principais de k {\displaystyle k} para os números perfeitos de totiente, desta forma são:

0 ,   1 ,   2 ,   3 ,   6 ,   14 ,   15 ,   39 ,   201 ,   249 ,   1005 ,   1254 ,   1635 ,   3306 , {\displaystyle 0,~1,~2,~3,~6,~14,~15,~39,~201,~249,~1005,~1254,~1635,~3306,} ... (sequência A005537 em OEIS).

De modo mais geral, se p {\displaystyle p} é um número primo maior do que 3 {\displaystyle 3} , e é um número perfeito de totiente 3 p {\displaystyle 3p} , então p 1 ( mod 4 ) {\displaystyle p\equiv 1{\pmod {4}}} [nota 1] (Mohan e Suryanarayana 1982). Nem todos p {\displaystyle p} desta forma levar a números perfeitos de Totiente; por exemplo, 51 {\displaystyle 51} não é um número perfeito de Totiente . Iannucci et al. (2003) mostrou que, se 9 p {\displaystyle 9p} é um número perfeito de Totiente, então p {\displaystyle p} é primo de uma das três formas específicas constantes do seu papel. Não se sabe se existem números perfeitos de Totiente de forma 3 k p {\displaystyle 3^{k}p} onde p {\displaystyle p} é primo e k > 3 {\displaystyle k>3} .[4][5]

Ver também

Notas e referências

Notas

Referências

  1. Pérez-Cacho Villaverde, Laureano (1939). «Sobre la suma de indicadores de ordenes sucesivos». Revista Matematica Hispano-Americana. 5 (3): 45–50  (em inglês)
  2. Guy, Richard K. (2004). Unsolved Problems in Number Theory. New York: Springer-Verlag. p. §B41. ISBN 0-387-20860-7  (em inglês)
  3. Iannucci, Douglas E.; Deng, Moujie; Cohen, Graeme L. (2003). «On perfect totient numbers» (PDF). Journal of Integer Sequences. 6 (4): 03.4.5. MR 2051959  !CS1 manut: Nomes múltiplos: lista de autores (link) (em inglês)
  4. Mohan, A. L.; Suryanarayana, D. (1982). «Perfect totient numbers». Number theory (Mysore, 1981). Lecture Notes in Mathematics, vol. 938, Springer-Verlag. pp. 101–105. MR 0665442  !CS1 manut: Nomes múltiplos: lista de autores (link) (em inglês)
  5. Venkataraman, T. (1975). «Perfect totient number». The Mathematics Student. 43: 178. MR 0447089  (em inglês)
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e
  • Portal da matemática