Técnica para recuperar un número racional desconocido p/q a partir de su imagen modular r módulo un entero M, típicamente encontrando numerador y denominador pequeños coherentes con r mediante fracciones continuas o métodos basados en redes.

Principio

Combinar residuos modulares con cotas sobre numerador y denominador y usar aproximantes por fracciones continuas o reducción de redes para identificar una fracción única cuyo imagen modular coincide con el residuo dado bajo restricciones de tamaño.

Demostración

Dado r ≡ p·q^{-1} (mod M) y cotas |p|≤P, 0

Aplicación incorrecta

Aplicar reconstrucción racional sin verificar las cotas o la magnitud del módulo: intentar reconstruir cuando PQ no es suficientemente pequeño frente a M puede producir racionales falsos o múltiples candidatos, engañando a cálculos algebraicos posteriores.

Consecuencia

Cuando se cumplen las cotas y condiciones sobre el módulo, la reconstrucción racional produce coeficientes racionales exactos a partir de cómputos modulares, permitiendo el levantamiento correcto de factorizaciones modulares de polinomios y cálculos de resultantes hacia Q o Z.

Inversión

La inversión es tratar residuos arbitrarios como reales no recuperables: aceptar residuos modulares como opacos y no intentar la reconstrucción hace perder la oportunidad de recuperar datos racionales exactos de cálculos modulares.

Límite

Válida cuando existen cotas probadas o creíbles sobre numerador/denominador y el módulo M es grande respecto a PQ; excluye casos ambiguos con múltiples candidatos cortos o residuos ruidosos por errores aritméticos o denominadores no invertibles módulo M.

Tensión semántica

Existe tensión entre los métodos por fracciones continuas y las reconstrucciones basadas en redes; ambos buscan recuperar racionales pero difieren en robustez frente a ruido, límites de tamaño y facilidad de demostrar unicidad.

Síntesis

La Reconstrucción Racional combina un residuo modular con cotas de tamaño y fracciones continuas o reducción de redes para recuperar p/q de forma única cuando el módulo y las cotas garantizan unicidad.