• 検索結果がありません。

1Introducci´on SobrelaDivisibilidaddePolinomiosconCoeficientesEnteros

N/A
N/A
Protected

Academic year: 2022

シェア "1Introducci´on SobrelaDivisibilidaddePolinomiosconCoeficientesEnteros"

Copied!
4
0
0

読み込み中.... (全文を見る)

全文

(1)

Divulgaciones Matem´aticas Vol. 11 No. 2(2003), pp. 149–152

Sobre la Divisibilidad de Polinomios con Coeficientes Enteros

On the Divisibility of Polynomials with Integer Coefficients Jos´e H. Nieto ([email protected])

Departamento de Matem´atica, Facultad de Ciencias Universidad del Zulia, Maracaibo, Venezuela

Resumen

Sean f, g Z[x]. En este trabajo se prueba que g | f si y s´olo si c(g) | c(f) (dondec(f) denota elcontenido de f, es decir el m´aximo com´un divisor de sus coeficientes) y g(n) |f(n) para infinitosn Z.

Como aplicaci´on se prueba que los polinomios m´onicos irreducibles y no constantesf Z[x] tales quef(n) divide af(nk) para todo entero n (siendok 2 un entero fijo) son los polinomios ciclot´omicos Φj de ordenjcoprimo conk.

Palabras y frases clave:polinomios, divisibilidad, ciclot´omico.

Abstract

Let f, g Z[x]. In this paper it is proved that g | f if and only if c(g) | c(f) (where c(f) denotes the content of f, i.e. the greatest common divisor of its coefficients) andg(n)|f(n) for infinitely many n∈ Z. As an application it is proved that the monic irreducible non constant polynomials f Z[x] such that f(n) divides P(nk) for all integersn(k2 being a fixed integer) are the cyclotomic polynomials Φjwith orderjcoprime withk.

Key words and phrases: polynomials, divisibility, cyclotomic.

1 Introducci´ on

Denotemos con Z[x] al anillo de los polinomios con coeficientes enteros en una indeterminada x, y conQ[x] al anillo de los polinomios con coeficientes

Recibido 2002/12/17. Aceptado 2003/11/27.

MSC (2000): Primary 13F20; Secondary 11C08.

(2)

150 Jos´e H. Nieto

racionales. Sif, g∈Z[x] se dice quegdivide af enZ[x] (y se denotag|f) si existeh∈Z[x] tal quef =gh. Si g|f entonces es claro queg(n)|f(n) para todo enteron. El prop´osito de esta nota es establecer alg´un tipo de rec´ıproco para esta propiedad, en otras palabras deducir la relaci´on de divisibilidad entre dos polinomios a partir de la divisibilidad entre los valores adoptados por ellos.

El teorema de identidad de polinomios establece que si dos polinomios toman valores iguales al ser evaluados en un n´umero de valores superior al grado de ambos, entonces son id´enticos. Estamos interesados en un resultado similar pero sustituyendo la relaci´on de igualdad por la de divisibilidad. Los siguientes ejemplos muestran las dificultades inherentes a este problema.

Ejemplo 1. Sea N un entero positivo y consideremos los polinomios f(x) = x+N! yg(x) =x. Entoncesg(n)|f(n) paran= 1,2, . . . , N perog-f.

Este ejemplo muestra que ning´un n´umero finito de valores es suficiente para deducir la divisibilidad de polinomios a partir de los valores adoptados por ellos.

Ejemplo 2. Seanf(x) =x2+xyg(x) = 2. Entonces g(n)|f(n) para todo n∈Zperog-f enZ[x].

¡Este ejemplo muestra que ni siquiera la totalidad de los valores es sufi- ciente! Pero es claro que esta situaci´on es consecuencia de que los coeficientes de g admiten un divisor com´un (en este caso el 2) que no divide a todos los coeficientes def.

Definamos el contenido c(f) de un polinomio f Z[x] como el m´aximo com´un divisor de todos sus coeficientes. Si c(f) = 1 entonces se dice que el polinomio f es primitivo. Es claro que para cualquier polinomio f Z[x]

existef1Z[x] tal que f1 es primitivo yf =c(f)f1.

A continuaci´on se enuncian un resultado cl´asico de Gauss y dos corolarios inmediatos:

Lema 1 (Gauss). Sif, g∈Z[x] son ambos primitivos entonces su producto f g tambi´en es primitivo.

La demostraci´on puede verse en [3] o [1].

Corolario 1. Si f, g∈Z[x]entonces c(f g) =c(f)c(g).

Corolario 2. Si f, g∈Z[x]y g|f entonces c(g)|c(f).

2 El resultado principal

Teorema 1. Si f, g Z[X], c(g) |c(f) y g(n)| f(n) para infinitos enteros n, entonces g|f en Z[X].

Divulgaciones Matem´aticas Vol. 11 No. 2 (2003), pp. 149–152

(3)

Sobre la Divisibilidad de Polinomios con Coeficientes Enteros 151

Demostraci´on. Dividamos f entreg enQ[x] para obtenerf(x) =g(x)q(x) + r(x), conq, r∈Q[x] y el grado de r es menor que el deg. Sea mel m´ınimo com´un m´ultiplo de los denominadores de todos los coeficientes de q yr, de modo tal quemq, mr∈Z[x]. Sean1, n2, . . .una sucesi´on de enteros diferentes tales queg(ni)|f(ni) yg(ni)6= 0 para todoi= 1,2, . . .

Entoncesmf(ni)/g(ni)−mq(ni) =mr(ni)/g(ni) parai= 1,2, . . .y como el miembro izquierdo es entero el miembro derecho tambi´en debe serlo. Pero como l´ımi→∞|ni| = y el grado de r es menor que el de g se tiene que l´ımi→∞mr(ni)/g(ni) = 0. Por lo tanto r(ni) = 0 a partir de un ciertoi0 en adelante. Esto implica que r es id´enticamente nulo y por lo tantof =gq y mf =g(mq). Aplicando ahora el Corolario 2 resulta quemc(f) =c(mf) = c(g)c(mq), y como por hip´otesisc(g)|c(f) se sigue quem(c(f)/c(g)) =c(mq).

Por lo tanto todos los coeficientes demq son m´ultiplos de my q∈Z[x], con lo cual g|f enZ[X].

3 Una aplicaci´ on

En [2] se plantea el problema siguiente: “Hallar todos los polinomios P con coeficientes enteros, irreducibles, m´onicos y de grado 2000, tales que P(n) divide a P(n2) para todo entero n”. Es f´acil hallar los polinomios de grado 1 que satisfacen las dem´as condiciones del problema, a saber xy x−1. De grado 2 hay s´olo uno, a saberx2+x+ 1. Pero tratar de hallar los de grado 2000 por m´etodos directos no parece factible. Una generalizaci´on natural de este problema consiste en buscar polinomios de grado arbitrario, irreducibles y m´onicos, tales que P(n) divida aP(nk) para todo enteron (siendok≥2 un entero fijo).

Denotemos medianteΦn alpolinomio ciclot´omicode orden n, es decir

Φn(x) =

n−1Y

(d,n)=1d=1

(x−e2πidn ).

Es bien conocido (ver [3]) que Φn es un polinomio con coeficientes enteros, m´onico e irreducible. Sus ra´ıces son las ra´ıces primitivas de la unidad de orden n, y su grado es por lo tanto igual a φ(n) (siendo φla funci´on de Euler).

Se tiene entonces el siguiente resultado:

Teorema 2. Sea k 2 un entero. Los polinomios con coeficientes enteros, m´onicos e irreducibles tales que P(n)|P(nk)para infinitos enterosnson 1,x y los polinomios ciclot´omicos Φj paraj coprimo conk.

Divulgaciones Matem´aticas Vol. 11 No. 2 (2003), pp. 149–152

(4)

152 Jos´e H. Nieto

Demostraci´on. Obviamente el polinomio constante 1 y el polinomio xsatis- facen las condiciones del problema, y los consideraremos como soluciones tri- viales. Si P es otro polinomio soluci´on entonces por el Teorema 1 se tiene que P(xk) = P(x)Q(x), para alg´un Q Z[x]. Si ζ es una ra´ız (compleja) de P entonces Pk) = P(ζ)Q(ζ) = 0, es decir que ζk tambi´en es ra´ız de P. Aplicando reiteradamente este razonamiento resulta que tambi´enζk2,ζk3, ζk4,. . . son ra´ıces de P. Pero como P s´olo puede tener un n´umero finito de ra´ıces, deben existir enteros r > s > 0 tales que ζkr = ζks, es decir que ζkskr−ks1) = 0. Peroζ6= 0 (puesP no es una de las soluciones triviales), por lo tantoζes una ra´ız de la unidad. Siζes primitiva de ordenj, entonces las dem´as ra´ıces primitivas de la unidad de orden j deben ser ra´ıces deP, es decir queP debe ser m´ultiplo deΦj, y comoP es irreducible en realidad se tiene quePj. Ahora bien, para queζk sea tambi´en primitiva de ordenj, k yj deben ser coprimos.

Referencias

[1] Herstein, I. N.Topics in Algebra, Blaisdell, Waltham, 1964. Hay traducci´on al castellano:Algebra Moderna, Trillas, M´exico, 1970.´

[2] Caragea, D., Ene, V. Problem 10802, The American Mathematical Monthly,107(5) (2000), p. 462.

[3] Lang, S. Algebra, Addison-Wesley, Reading, 1965.

Divulgaciones Matem´aticas Vol. 11 No. 2 (2003), pp. 149–152

参照

関連したドキュメント

Tambi´ en encontramos el grupo de equivalencia de la ecuaci´ on de Black Scholes lo que permite clasificar los operadores de simetr´ıa diferenciales hasta ter- cer orden, realizar

Adem´ as de lo in- teresante de esta prueba, que utiliza de manera decisiva el Teorema Central del L´ımite, Beckner deja claro la ´ıntima relaci´ on entre al An´ alisis Arm´

El análisis de supervivencia tiene entre sus objetivos encontrar esta función, que describe el riesgo de cambio de estado en diferentes periodos de tiempo y representa una secuencia

contrastes en modelos sin interacci´on, para probar hip´otesis respecto a un fac- tor, se debe determinar si el modelo es conectado, pues cuando esto sucede, se pueden

Mediante la f´ ormula anterior, se va a calcular el efecto fill-in en L t para distintas mallas utilizando el algoritmo Go-Away con CM y comparando los resultados obtenidos con

S i A es el ideal de los operadores compactos, entonces h A es la medida de no compacidad de Hausdorff [2] y si A es el ideal de los operadores d´ebilmente compactos, se tiene que h A

A partir de esta construcci´ on y otros resultados de tipo categ´ orico, se obtiene que para cada prehaz P de espacios uniformes separados existe una flecha universal de este prehaz

Para estimar la edad de inicio de la Enfermedad de Alzheimer (EA) familiar cuando las censuras son arbitrarias (censura a derecha, a izquierda o en intervalo), ¿cuál es el cambio en