Número esfênico

Um número esfênico (do grego antigo σφήνα) é um número inteiro positivo que é o produto de três fatores primos distintos. A função de Möbius retorna -1 para todo número esfênico. [1]

Note que essa definição é mais restringente que se exigisse simplesmente que o inteiro tivesse exatamente três fatores primos; exemplo: 60 = 2² × 3 × 5 tem exatamente 3 fatores primos, mas não é esfênico.

Todos os números esfênicos têm exatamente oito divisores. Se o número esfênico for expresso como n = x y z {\displaystyle n=x\cdot y\cdot z} , então seus divisores serão (possivelmente não ordenados):

{ 1 ,   x ,   y ,   z ,   x y ,   x z ,   y z ,   n } {\displaystyle \left\{1,\ x,\ y,\ z,\ xy,\ xz,\ yz,\ n\right\}}

Os primeiros números esfênicos são: 30, 42, 66, 70, 78, 102, 105, 110, 114, 130, 138, ... (sequência A007304 na OEIS)

Números esfênicos consecutivos

O menor par de números consecutivos esfênicos é (230, 231), uma vez que 230 = 2×5×23 e 231 = 3×7×11. A menor tripla de números consecutivos esfênicos é (1309, 1310, 1311), já que 1309 = 7×11×17, 1310 = 2×5×131, e 1311 = 3×19×23. Não existe uma sequência de números esfênicos consecutivos com mais de 3 elementos. Em outras palavras, para cada n-upla (lê-se ênupla) ( α 1 , α 2 , . . . , α n ) {\displaystyle (\alpha _{1},\alpha _{2},...,\alpha _{n})} :

  • α 1 , α 2 , . . . , α n {\displaystyle \alpha _{1},\alpha _{2},...,\alpha _{n}} podem ser esfênicos se e somente se n = 2 {\displaystyle n=2} ou n = 3 {\displaystyle n=3} ;
  • α 1 , α 2 , . . . , α n {\displaystyle \alpha _{1},\alpha _{2},...,\alpha _{n}} não são esfênicos   n 4. {\displaystyle \forall \ n\geq 4.}

As primeiras triplas de números esfênicos são:

(1309, 1310, 1311), (1885, 1886, 1887), (2014, 2015, 2016), (2665, 2666, 2667), ... (sequência A165936 na OEIS)

Maior número esfênico conhecido

Uma vez que existem infinitos números primos, também existem infinitos números esfênicos.

O maior número esfênico conhecido é [2]

(274.207.281 − 1) × (257.885.161 − 1) × (243.112.609 − 1).

Produto dos três maiores números primos conhecidos. Foi definido em janeiro de 2016.

Divisão entre números consecutivos

Na divisão entre dois números consecutivos temos dois casos:

Caso 1 - Caso em que o número maior tem paridade par

Caso 2 - Caso em que o número maior tem paridade impar


Caso 1 -

Sejam dois números consecutivos A , B {\displaystyle A,B} com A > B {\displaystyle A>B} e de paridade par.

A divisão A / B = 1 + 1 / B {\displaystyle A/B=1+1/B} e a outra divisão B / A = 1 1 / A {\displaystyle B/A=1-1/A}

Na imensa maioria dos casos cada uma dessas expressões tem como resultados números, com infinitos algarismos após o ponto decimal.

Em absolutamente todos os casos ao menos uma das duas expressões acima apresenta infinitos algarismos após o ponto decimal.

No nosso sistema decimal a decomposição única do número 10 {\displaystyle 10} é 10 = 2.5 {\displaystyle 10=2.5} , então a fração 1 / B {\displaystyle 1/B} só não será uma dizima infinita quando B = 5 n {\displaystyle B=5^{n}} pois B {\displaystyle B} é um número de paridade impar.

A fração 1 / A {\displaystyle 1/A} só não será uma dizima infinita quando A = 2 m . a n {\displaystyle A=2^{m}.a^{n}} onde a = 10 {\displaystyle a=10} .

A expressão 5 n {\displaystyle 5^{n}} termina sempre no número 25 {\displaystyle 25} exceto para n = 1 {\displaystyle n=1} .

Para termos dois números consecutivos nas condições acima o número A {\displaystyle A} tem que terminar em 26 {\displaystyle 26} exceto para o primeiro caso onde A = 6 {\displaystyle A=6} , e o número A {\displaystyle A} , terá que ser da forma 2 m {\displaystyle 2^{m}} onde a expressão 1 / A {\displaystyle 1/A} não será uma dizima infinita.

Como os números da forma 2 m {\displaystyle 2^{m}} com o algarismo 6 {\displaystyle 6} na última posição são sempre terminados em 16 , 56 , 96 , 36 , 76 {\displaystyle 16,56,96,36,76} , jamais teremos o par consecutivo com os dois últimos algarismos sendo 25 , 26 {\displaystyle 25,26} e com a propriedade de serem da forma 5 n , 2 m {\displaystyle 5^{n},2^{m}} .

Esta divisão é aplicada na solução para o Ultimo Teorema de Fermat e para a Conjectura de Beal.

Caso 2

Sejam dois números consecutivos B , A {\displaystyle B,A} com B > A {\displaystyle B>A} e de paridade impar.

A divisão B / A = 1 + 1 / A {\displaystyle B/A=1+1/A} e a outra divisão A / B = 1 1 / B {\displaystyle A/B=1-1/B}

Na imensa maioria dos casos, cada uma destas expressões tem como resultado números com infinitos algarismos após o ponto decimal.

Em absolutamente todos os casos ao menos uma destas duas expressões apresenta como resultado números com infinitos algarismos após o ponto decimal.

No nosso sistema decimal a composição única do número 10 {\displaystyle 10} é 10 = 2.5 {\displaystyle 10=2.5} , então a fração 1 / A {\displaystyle 1/A} só não será uma dizima infinita quando A = 2 m {\displaystyle A=2^{m}} .

A fração 1 / B {\displaystyle 1/B} só não será uma dizima infinita quando B = 5 n {\displaystyle B=5^{n}}

A expressão 5 n {\displaystyle 5^{n}} termina sempre no número 25 {\displaystyle 25} exceto para n = 1 {\displaystyle n=1} .

Para termos dois números consecutivos nas condições acima o número A {\displaystyle A} tem que terminar em 24 {\displaystyle 24} , exceto para o primeiro caso onde A = 4 {\displaystyle A=4} , e o número A {\displaystyle A} terá que ser da forma 2 m {\displaystyle 2^{m}} , onde a expressão 1 / A {\displaystyle 1/A} não será uma dizima infinita. O valor de A {\displaystyle A} só termina em 24 {\displaystyle 24} , para m = 10 , 30 , 50 , 70 , 90 , 110... {\displaystyle m=10,30,50,70,90,110...} e para nenhum destes casos o número sucessivo terminado em 25 {\displaystyle 25} é da forma 5 n {\displaystyle 5^{n}} ., impedindo que tenhamos números consecutivos terminados em 24 , 25 {\displaystyle 24,25} que sejam da forma 2 m , 5 n {\displaystyle 2^{m},5^{n}} .


Ligações externas

da On-Line Encyclopedia of Integer Sequences, em inglês.

«Números esfênicos» 

Referências

  1. Emma Lehmer, "On the magnitude of the coefficients of the cyclotomic polynomial", Bulletin of the American Mathematical Society 42 (1936), nº 6, pág. 389–392.[1].
  2. http://primes.utm.edu/top20/page.php?id=3


  • v
  • d
  • e
Potências e números relacionados
Da forma a × 2b ± 1
Outros números polinomiais
  • Carol
  • Hilbert
  • Idôneo
  • Kynea
  • Leyland
  • Números da sorte de Euler
  • Repunit
Números definidos recursivamente
Possuindo um conjunto específico
de outros números
Expressáveis via somas específicas
  • Não-hipotenusa
  • Polido
  • Prático
  • Primário pseudoperfeito
  • Ulam
  • Wolstenholme
Gerado via uma teoria dos crivos
  • Sorte
Relacionado a codificação
  • Meertens
Números figurados
2D
centrado
  • Triangular centrado
  • Quadrado centrado
  • Pentagonal centrado
  • Hexagonal centrado
  • Heptagonal centrado
  • Octagonal centrado
  • Nonagonal centrado
  • Decagonal centrado
  • Estrela
não-centrado
3D
centrado
  • Tetraédrico centrado
  • Cúbico centrado
  • Octaédrico centrado
  • Dodecaédrico centrado
  • Icosaédrico centrado
Não-centrado
  • Tetraédrico
  • Octaédrico
  • Dodecaédrico
  • Icosaédrico
  • Stella octangula
Piramidal
4D
centrado
  • Pentácoro centrado
  • Triangular quadrado
Não-centrado
  • Pentácoro
Pseudoprimos
  • Número de Carmichael
  • Pseudoprimo de Catalan
  • Pseudoprimo elíptico
  • Pseudoprimo de Euler
  • Pseudoprimo de Euler–Jacobi
  • Pseudoprimo de Fermat
  • Pseudoprimo de Frobenius
  • Pseudoprimo de Lucas
  • Pseudoprimo de Somer–Lucas
  • Pseudoprimo forte
Números combinatoriais
  • Bell
  • Bolo
  • Catalan
  • Dedekind
  • Delannoy
  • Euler
  • Fuss–Catalan
  • Número poligonal central
  • Lobb
  • Motzkin
  • Narayana
  • Ordenado de Bell
  • Schröder
  • Schröder–Hipparchus
Funções aritméticas
Por propriedades de σ(n)
  • Abundante
  • Quase perfeito
  • Aritmético
  • Colossalmente abundante
  • Descartes
  • Hemiperfeito
  • Altamente abundante
  • Altamente composto
  • Hyperperfeito
  • Multiplamente perfeito
  • Perfeito
  • Número prático
  • Primitivo abundante
  • Quase perfeito
  • Refactorável
  • Sublime
  • Superabundante
  • Superior altamente composto
  • Superperfeito
Por propriedades de Ω(n)
Por propriedades de φ(n)
  • Altamente cototiente
  • Altamente totiente
  • Não-cototiente
  • Não-totiente
  • Perfeito totiente
  • Esparsamente totiente
Por propriedades de s(n)
Dividindo um quociente
  • Wieferich
  • Wall–Sun–Sun
  • Primo de Wolstenholme
  • Wilson
  • Outros números relacionados com
    fator primo ou divisor
    • Blum
    • Erdős–Woods
    • Friendly
    • Frugal
    • Giuga
    • Harmônico divisor
    • Lucas–Carmichael
    • Oblongo
    • Regular
    • Rugoso
    • Liso
    • Sociável
    • Esfênico
    • Størmer
    • Super-Poulet
    • Zeisel
    Matemática recreativa
    Números
    dependentes de base
    • Sequência de Aronson
    • Ban
    • Número panqueca
    Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
    • v
    • d
    • e