Autor Tema: Calculadora de factorización y raíces exactas de polinomios

0 Usuarios y 1 Visitante están viendo este tema.

28 Septiembre, 2020, 05:25 pm
Leído 191 veces

alpertron

  • $$\pi$$
  • Mensajes: 5
  • País: ar
  • Karma: +0/-0
Gente:

En la página Web https://www.alpertron.com.ar/FACTPOL.HTM hice una calculadora que permite factorizar polinomios enteros (hasta grado 1000) utilizando el algoritmo de Van Hoeij, que es sumamente rápido. Hay que tener en cuenta que es posible que la factorización no termine por problemas de memoria si el grado del polinomio es muy elevado.

Además el programa puede factorizar polinomios módulo una potencia de un número primo.

En el caso de polinomios enteros, también muestra las raíces exactas del polinomio usando sumas, restas, multiplicación, división, raíces y funciones trigonométricas para los polinomios irreducibles de grado menor o igual que 5. Hay que tener en cuenta que la gran mayoría de las ecuaciones de grado 5 no se pueden representar mediante las operaciones indicadas. También muestra las raíces de polinomios ciclotómicos, que son aquéllos de la forma x^n-1 y sus divisores), y los polinomios de las formas ax^n + b y ax^(2n) + bx^n + c.

Como ejemplo, les muestro una de las raíces de x^51-1 halladas por la calculadora:

x44 = cos (80*pi/51) + i *sen(80*pi/51) = -(1/32)*(-1+17^(1/2)-(34-2*17^(1/2))^(1/2)+2*(17+3*17^(1/2)+(170+38*17^(1/2))^(1/2))^(1/2)) + (1/16)*(3)^(1/2)*(34-2*17^(1/2)-2*(34-2*17^(1/2))^(1/2)+4*(17+3*17^(1/2)-(170+38*17^(1/2))^(1/2))^(1/2))^(1/2)-(i/32)*(3)^(1/2)*(-1+17^(1/2)-(34-2*17^(1/2))^(1/2)+2*(17+3*17^(1/2)+(170+38*17^(1/2))^(1/2))^(1/2))-(i/16)*(34-2*17^(1/2)-2*(34-2*17^(1/2))^(1/2)+4*(17+3*17^(1/2)-(170+38*17^(1/2))^(1/2))^(1/2))^(1/2)

Por último, agregué soporte para lectores de pantalla, para que gente que no pueda ver el monitor escuche los resultados.

Por favor, avísenme si encuentran errores o si creen que falta algo.

29 Septiembre, 2020, 07:48 pm
Respuesta #1

mathtruco

  • Moderador Global
  • Mensajes: 4,990
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
  • El gran profesor inspira
Hola alpertron, se ve bueno tu sitio, debe haber mucho trabajo ahí. Además noté que compartes el código que hay detrás en github, lo que me parece excelente.

29 Septiembre, 2020, 08:51 pm
Respuesta #2

geómetracat

  • Moderador Global
  • Mensajes: 1,866
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Está muy bien la calculadora, y parece que funciona bastante rápido.

Pero he encontrado un fallo: cuando introduces un polinomio que tiene factores repetidos, como \( x^2+2x+1 \) te dice que el polinomio es irreducible, cuando claramente no lo es.
La ecuación más bonita de las matemáticas: \( d^2=0 \)

29 Septiembre, 2020, 09:32 pm
Respuesta #3

alpertron

  • $$\pi$$
  • Mensajes: 5
  • País: ar
  • Karma: +0/-0
Acabo de corregir el error. Refresca la página para asegurar que la fecha diga 29 de septiembre y prueba de nuevo.

29 Septiembre, 2020, 10:08 pm
Respuesta #4

geómetracat

  • Moderador Global
  • Mensajes: 1,866
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Acabo de corregir el error. Refresca la página para asegurar que la fecha diga 29 de septiembre y prueba de nuevo.

Ahora va perfecto, gracias.
La ecuación más bonita de las matemáticas: \( d^2=0 \)

05 Octubre, 2020, 12:21 am
Respuesta #5

alpertron

  • $$\pi$$
  • Mensajes: 5
  • País: ar
  • Karma: +0/-0
Cuando el polinomio irreducible tiene grado >= 5, ahora mi código factoriza este polinomio módulo diferentes primos menores que 100.

Si las condiciones del paper de Keith Conrad, que se puede ver en https://kconrad.math.uconn.edu/blurbs/galoistheory/galoisSnAn.pdf , son verdaderas, entonces el grupo de Galois es \( A_n \) o \( S_n \), y en ese caso mi aplicación indica que las raíces del polinomio no se pueden expresar mediante radicales, mostrando también las condiciones que llevan a esa conclusión.

Un ejemplo de la nueva salida:

Polinomio ingresado
\( x^{183} + 332x^{73} − 1 \)

Factores irreducibles del polinomio
El polinomio es irreducible

Raíces
Las 183 raíces son:
x1 a x183 : Las raíces del polinomio no se pueden expresar mediante expresiones radicales. Los grados de los factores del polinomio módulo 37 son 1, 3, 8, 10, 11, 28 y 122 (el grupo de Galois contiene un ciclo de longitud 3) y los grados de los factores del polinomio módulo 7 son 1, 2, 4, 13 y 163 (el grupo de Galois contiene un ciclo de longitud primo mayor que la mitad del grado del polinomio)