Publicidad
el teorema chino del residuo . Este comando se puede utilizar con polinomios,
así como con números enteros (la función ICHINREM). La entrada consiste en
dos vectores [expresión_1, modulo_1] y [expresión_2, modulo_2]. La salida
es el vector [expression_3, modulo_3], en el cual modulo_3 se relaciona con
el producto (modulo_1)⋅(modulo_2).
1'],['X+1','X^2']) = ['X+1',-(X^4-X^2)]
Enunciado del teorema chino del residuo para los números enteros
Si m
, m
,...,m
son números naturales de manera que cada par constituye
1
2
r
números primos relativos, y a
un número entero x que satisface simultáneamente las congruencias: x ≡ a
), x ≡ a
(mod m
(mod m
1
2
cualquier solución entonces el resto de las soluciones son congruentes a un
modulo igual al producto m
La función EGCD
EGCD significa, en inglés, Extended Greatest Common Divisor (Máximo
Común Divisor Extendido). Dados dos polinomios, A(X) y B(X), la función
EGCD produce los polinomios C(X), U(X), y V(X),
U(X)*A(X) + V(X)*B(X).
EGCD(A(X),B(X)) = {2, 1, -1}. Esto es, 2 = 1*( X^2+1')-1*( X^2-1). Así mismo,
EGCD('X^3-2*X+5','X') = { 5, '-(X^2-2)', 1}, es decir, 5 = – (X^2-2)*X +
1*(X^3-2*X+5).
La función GCD
La función GCD (en inglés, Greatest Common Denominator, o Máximo
Común Denominador) puede ser utilizada para obtener el máximo
denominador común de dos polinomios o de dos listas de polinomios de la
misma longitud. Los dos polinomios o listas de polinomios serán puestos en
los niveles 2 y 1 del "stack" antes de usar GCD. Los resultados serán un
polinomio o una lista que representa el máximo común denominador de los
dos polinomios o de cada lista de polinomios. Ejemplos, en modo RPN, se
presentan a continuación (calculadora fijada en modo Exacto):
'X^3-1'`'X^2-1'`GCD produce: 'X-1'
{'X^2+2*X+1','X^3+X^2'} `
{'X+1' 1}
Ejemplo: CHINREM(['X+1', 'X^2-
, a
, ..., a
son números enteros, entonces existe
1
2
r
), ..., x ≡ a
(mod m
). Además, si x = a es
2
r
r
⋅m
⋅ ... m
.
1
2
r
Por ejemplo, para A(X) = X^2+1, B(X) = X^2-1,
{'X^3+1','X^2+1'} `
1
de forma que C(X) =
GCD produce
Página 5-20
Publicidad
