Polinomios de tercer grado con races y extremos relativos con coordenadas enteras.

Es muy habitual -por desgracia, cada vez menos- que en los libros de texto que usamos para la labor docente, los problemas que aparecen estn preparados para que sus soluciones sean nmeros enteros o fracciones sencillas. Esto tiene, desde mi punto de vista, una doble funcin: por una parte le da confianza al alumnado de que ha resuelto correctamente el problema, y por otra, fomenta la comprobacin de validez de la solucin obtenida, que tan importante es en el aprendizaje autnomo. Tambin ayuda a que el alumno no necesite la calculadora para resolver los ejercicios, aunque soy consciente de que hay discrepancia de opiniones en cuanto a que esto sea una ventaja. Desde mi punto de vista, s lo es. Obviamente, hay multitud de tipos de problemas y ejercicios para los cuales es muy fcil preparar los datos para que las soluciones sean sencillas. Por ejemplo, las ecuaciones de segundo grado. Pero hay casos donde no resulta tan sencillo. Me centro para esta comunicacin en una situacin que, a m personalmente, me ha dado bastantes quebraderos de cabeza y que se da en Bachillerato. Se trata de encontrar polinomios de tercer grado cuyas races sean enteras, y cuya derivada tenga races enteras. El objetivo es, por supuesto, que la grfica de la funcin tenga cortes con el eje OX y extremos relativos fciles de calcular. Caracterizacin de los polinomios. Teorema: Sea P x =x 3 bx 2 cx d un polinomio de tercer grado mnico con races enteras p, q, r. Entonces sus coeficientes son enteros. Adems, P ' x (la derivada de P x tiene races enteras si y slo si se cumple una de estas condiciones: A) Al menos dos de las tres races p, q, r son iguales, y su suma es mltiplo de 3. B) Existe un nmero entero k tal que mltiplo de 3. 1 1 1

kp

k q

k r

=0 (*), y p q r es

Demostracin: La primera parte de la prueba es obvia, ya que en virtud de las ecuaciones de Cardano-Vieta tenemos que
b =p qr

c =pqpr qr
d =pqr
Si se cumple la condicin A), (ponemos por ejemplo p=q ) tenemos que

P x = x p 2 x r

y entonces,

P ' x =2 x p x r x p 2
y sacando factor comn x p y operando,

P ' x = x p [3 x 2 p r ]
y entonces las races de P' son p y es mltiplo de 3. Si se da el caso B), ponemos p*=k p , q *=k q , r *=k r . Entonces las races del polinomio P * x =P x k son p * , q * , r * . Adems se cumple que 1 2 p r 3 , que son racionales, y enteras si p q r

p
es decir, que

r*

=0 ,

p * q*p * r * q* r *=0
y aplicando de nuevo las frmulas de Cardano-Vieta vemos que el coeficiente de primer grado de P * es nulo. Por tanto la derivada de P * es:

P ' x k =3 x 2 2 p *q *r * x ,
una de cuyas races es 0 y la otra 2 2 p *q *r *= 3 k p q r , 3 3 que es racional, y adems entera cuando y slo cuando p q r es mltiplo de 3. Obsrvese que para probar que es racional, la condicin sobre p q r no es necesaria. Para terminar la prueba, basta con demostrar que si las races de P ' son enteras y los nmeros p , q , r son distintos dos a dos, entonces se cumple la condicin B). Suponemos, pues, que P ' tiene races enteras. Factorizando P nos queda:

P x = x p x q x r .
Derivando:

P ' x = x p x q x p x r x q x r .
Si ahora k es una raz de P ' resulta, sustituyendo x por k y simplificando: k p k q k p k r k q k r =0 . Y dividiendo por kp k q k r nos queda la ecuacin de la condicin B), ya que k es entero por hiptesis. El hecho de que la suma p q r debe ser mltiplo de 3 se demuestra razonando como antes; es decir, ahora que sabemos que la ecuacin (*) se cumple, podemos probar como antes que las races de la derivada son enteras si y slo si p q r es mltiplo de 3.

Obtencin efectiva de polinomios con estas caractersticas: El caso de dos races iguales es sencillo. Si deseamos un polinomio con races distintas, 1 1 1 =0 debemos primero encontrar tres nmeros enteros P , Q , R tales que P Q R (**) y su suma sea mltiplo de 3; esta ltima condicin no es necesaria si nos conformamos con que las races de la derivada sean una entera y otra una fraccin con un 3 en el denominador. Despus elegimos otro entero k , y el polinomio

[x P k ][x Q k ][ x R k ]
tendr necesariamente las caractersticas buscadas. El problema ahora es encontrar los nmeros P , Q , R. En primer lugar, observamos que no pueden ser los tres del mismo signo, pues si as fuera, la suma de los inversos no podra ser cero. Es claro que si P ,Q , R cumplen la condicin, entonces P , Q , R tambin la cumplen, as que podemos suponer que P y Q son positivos y R negativo. La ecuacin (**) es equivalente a

P Q 1 = PQ R
Obsrvese que de una terna solucin P , Q , R podemos obtener infinitas multiplicando las tres componentes por cualquier entero. Sea d =mcd P , Q , dP ' =P , dQ' =Q . Sustituyendo,

P 'Q ' 1 = , dP ' Q ' R

lo cual es posible si y slo si dP ' Q ' es mltiplo de P ' Q ' . Como mcd P ' , Q ' = 1 , esto es equivalente a que d sea mltiplo de P ' Q ' . Algoritmo: INPUT: P', Q', r, k; P', Q' deben ser del mismo signo y primos entre s, y r, k enteros cualesquiera (r no nulo).

S:=P'+Q'; P:=rSP'; Q:=rSQ'; R:=-rP'Q';

SI ( P Q R no es mltiplo de 3) ENTONCES P : = 3 P , Q : =3 Q ,R : =3 R ; OUTPUT: [x P k ][x Q k ][ x R k ] Ejemplo: Primero elegimos dos enteros positivos primos entre s, por ejemplo, 2 y 5. Ahora elegimos cualquier mltiplo de 2+5, como el 7. Entonces,

1 2 7

1 57

2 5 2 57

1 10

Como 14+35-10=39, que es mltiplo de 3, nos vale con la terna (14, 35, -10); si no, la multiplicaramos por 3. Ahora elegimos un entero, por ejemplo, el -12 (es cercano al opuesto de la media, elegido a propsito para que los nmeros no salgan demasiado grandes). Sumamos y obtenemos (2, 23, -22). El polinomio mnico con esas races es

x 3 3 x 2 504 x 1012
cuya derivada es 3 x 2 6 x 504 que tiene por races 14 y -12, como se puede comprobar fcilmente. Conclusiones: Vemos que el mtodo expuesto resuelve completamente el problema, pero no muy satisfactoriamente. A pesar de que los nmeros primos entre s elegidos inicialmente eran relativamente pequeos, y de que el mltiplo de su suma escogido era el menor posible, el trmino independiente del polinomio obtenido era ya de cuatro dgitos. Los clculos no son demasiado incmodos, pero la representacin (con cierto grado de precisin) de una funcin polinmica con coeficientes de ese tamao no es posible en la prctica. Con la notacin del algoritmo, el trmino independiente, para k=0, es r 3 P 2 Q 2 S 2 , nmero que es ciertamente incmodo salvo que r y P ( Q ) valgan ambos 1. La operacin de multiplicar por 3 para hacer que las races de la derivada sean enteras y no slo racionales, es prohibitiva, ya que multiplica a este trmino por 27. Sin embargo, an podemos obtener ejemplos tiles -con races racionales de la derivada- con el input P'=1, Q'=2, como x 3 4 x 2 11 x 30 , donde r=1, k=-1. Dndole pequeos valores a k, se puede obtener un juego de unos 5 6 polinomios. Poniendo r=-1 resultan otros tantos, pero como se ve, no hay demasiada variedad ms all de estos pocos ejemplos.