No livro “1001 problema in classical Number Theory”, publicado pela AMS, (American Mathematical Society), os autores juntaram 1001 questões interessantes e a questão 37, no capítulo “divisibility” é uma conjectura devida ao matemático Duro Kurepa que eu descrevo no link
A proposta do exercício 37 do livro mencionado, consiste em que se escreva um programa numa linguagem de programação que teste a conjectura apenas até 1000.
Primeiro eu tentei resolvê-la usando geogebra
e logo tive a primeira dificuldade com “fatorial” que não encontrei definido nativamente, então eu teria que criar uma nova ferramenta e aqui novamente, inexperiente, falhei. Eu estou fazendo um curso sobre geogebra
e neste momento estou na tarefa 7.
A tarefa 7 abre uma possibilidade que estou usando de certa forma “pulando a cerca”. Eu escrevi um programa em python para atender à condição do exercício 37 do livro citado, um programa que teste a conjectura para n=1000. No link citado acima você pode encontrar também um programa escrito em calc, uma linguagem para pesquisa em Teoria dos Números junto com o programa escrito em python, na esperança de estar apresentando algo interessante, mas sobretudo para que alguém me informe como calcular fatorial em geogebra porque, definitivamente, não acredito que o fatorial não seja nativo do geogebra
, (seria impossível calcular polinômios de Taylor sem o fatorial).
Interessante.