3. Justificação Matemática
Se P = 10A + d e A = q × d, então P = 10(q × d) + d = d(10q + 1), logo d divide P. Se d divide P
e não divide k, então d divide n. Portanto, se A = q × d e n % d == 0, concluímos que d é
divisor de n, e n é composto. Esse método identifica divisores pela análise posicional do
produto, sem fatoração tradicional.
4. Casos Especiais
- Se n = 5, então n é primo.
- Se n termina em 5 e n > 5, n é composto, pois é divisível por 5.
5. Exemplos Ilustrativos
Exemplo 1: n = 21, k = 3 → P = 63 → A = 6, d = 3 → 6/3 = 2, 21 % 3 = 0 → composto.
Exemplo 2: n = 27, k = 7 → P = 189 → A = 18, d = 9 → 18/9 = 2, 27 % 9 = 0 → composto.
Exemplo 3: n = 33, k = 7 → P = 231 → A = 22, d = 11 → 22/11 = 2, 33 % 11 = 0 → composto.
Exemplo 4: n = 39, k = 7 → P = 273 → A = 27, d = 3 → 27/3 = 9, 39 % 3 = 0 → composto.
Exemplo 5: n = 77, k = 3 → P = 231 → A = 22, d = 11 → 22/11 = 2, 77 % 11 = 0 → composto.
[As próximas seções incluem: implementação computacional, discussão e conclusão com
base na versão corrigida.]
6. Implementação Computacional
O algoritmo em Python implementa o método de redistribuição decimal para verificar a
composição ou primalidade de números ímpares. Ele testa os multiplicadores {3, 7, 9, 11},
separa os dígitos do produto n × k em uma parte inteira (A) e o último dígito (d), e verifica
se A é divisível por d com quociente maior que 1. Se, adicionalmente, d também dividir n,
então d é um divisor válido e n é composto. Caso contrário, o número é considerado primo.
A eficiência do método reside no fato de que ele evita testar divisores diretamente até a raiz
quadrada de n. Em vez disso, analisa o padrão posicional gerado por multiplicações
específicas, o que permite identificar divisores verdadeiros com rapidez e precisão.
Import math, time
Def verificar_todos_os_impares(n):