Comprobador de coprimalidad

El comprobador de coprimalidad responde a una pregunta básica de teoría de números: ¿dos enteros comparten solo el uno como divisor positivo común? Proporcione los enteros a y b y la herramienta devuelve tanto el máximo común divisor como un indicador booleano coprime que es true exactamente cuando ese mcd es igual a uno. El motor usa el algoritmo euclidiano clásico sobre valores absolutos, así que el resultado es exacto, determinista y libre de deriva de punto flotante. Nunca llama a la red, nunca muestrea aleatoriedad, y nunca depende del reloj.

Qué significa coprimo y qué contiene la respuesta

Dos enteros son coprimos, o primos entre sí, cuando su único divisor positivo común es uno. De forma equivalente, el mcd de a y b es igual a uno. Ejemplos clásicos incluyen ocho y quince, cuyos divisores no se superponen más allá del uno, y catorce y veintiuno, que comparten el siete.

Este comprobador devuelve los enteros originales a y b tal como se analizaron, el mcd positivo, y un campo booleano coprime que es true si y solo si ese mcd es exactamente uno. El caso especial a igual a cero y b igual a cero se rechaza porque el mcd de cero y cero no está definido en este contexto y la coprimalidad no se puede decidir. En cambio, cero y cinco es válido: el mcd es cinco y coprime es false.

Las entradas negativas se permiten y se reducen mediante valores absolutos, siguiendo la convención matemática habitual de que el mcd es no negativo. Si necesita los factores primos de un solo entero en lugar de una prueba de mcd por pares, use una herramienta de factorización; esta página responde solo a la pregunta de coprimalidad y mcd de dos enteros.

Cómo se leen las entradas y cómo se mantiene exacto el mcd euclidiano

Se permiten signos más o menos iniciales opcionales; los espacios incrustados, los prefijos hexadecimales y la notación exponencial se rechazan para que una celda mal escrita no se convierta en un indicador incorrecto. El motor se mantiene dentro de los enteros seguros de JavaScript, lo cual es más que suficiente para problemas de aula, concursos de programación y la mayoría de las comprobaciones aplicadas sobre inversos modulares o razones simplificadas.

Internamente, los valores absolutos se alimentan al algoritmo euclidiano: se reemplaza repetidamente el par mayor-resto hasta que el resto es cero, y entonces el último resto distinto de cero es el mcd. Ese procedimiento tiene siglos de antigüedad, necesita solo un puñado de divisiones para entradas ordinarias, y nunca aproxima. No hay ningún paso de punto flotante que pudiera redondear un casi-entero hacia una falsa afirmación de coprimalidad.

Dónde encajan las comprobaciones de coprimalidad en el estudio, la intuición criptográfica y el código

Los estudiantes se encuentran con los pares coprimos al reducir fracciones, al demostrar que el totiente de Euler cuenta los enteros hasta n que son coprimos con n, y cuando un inverso modular existe precisamente porque el coeficiente y el módulo son coprimos. Los docentes pueden generar claves de respuesta para hojas de trabajo sin confiar en apps de calculadora opacas que ocultan el mcd.

Los desarrolladores usan el mismo contrato para validar que dos valores semilla son primos entre sí antes de construir un generador congruencial lineal, para comprobar de antemano relaciones e y phi de estilo RSA en demostraciones educativas, o para condicionar un paso de normalización de fracciones en canalizaciones de datos. La práctica de concursos suele necesitar una fuente rápida y sin conexión de respuestas de mcd y coprimalidad para que las soluciones puedan verificarse sin descargar tablas.

Combínela con la factorización en primos cuando necesite las potencias primas detrás de un solo entero, y con una herramienta de n-ésimo primo cuando necesite rangos en lugar de divisores por pares.