Archivo de la etiqueta: álgebra superior

Álgebra Superior I: Propiedades de la negación, conjunción y disyunción

Por Guillermo Oswaldo Cota Martínez

Introducción

En la entrada pasada vimos que con conectores podemos construir nuevas proposiciones a partir de otras. Y nombramos a tres de ellas: la negación, la conjunción y la disyunción.

Ahora, discutiremos sobre algunas consecuencias que tiene juntar unas con otras y diremos en términos formales qué significa que una fórmula lógica sea «igual» a otra.

Recordatorio de proposiciones vs. variables proposicionales vs. fórmulas lógicas

Como breve recordatorio, tenemos las siguientes distinciones conceptuales importantes.

«Proposición» es una afirmación que puede ser verdadera o falsa, y lo estamos usando para una proposición específica. Como ejemplo, tenemos «El cielo es azul» o «El número $5$ es primo».
«Variable proposicional» es una letra que usamos para representar una proposición arbitraria, aún no definida. Por ejemplo, $P,Q,R$. Sin saber qué proposición representa, no podemos determinar su valor de verdad.
«Fórmula proposicional» es una expresión que armamos a través de variables proposicionales y conectores lógicos. Por ejemplo, $(P\land Q) \lor (R \land \neg P)$. Sin saber quiénes son exactamente $P,Q,R$, no podemos determinar el valor de verdad. Pero sí podemos considerar todas las posibilidades mediante una tabla de verdad.

Equivalencia de fórmulas proposicionales

Volvamos a retomar un ejemplo que ya habíamos revisado anteriormente.

$P$	$\neg P$	$\neg(\neg P)$
$0$	$1$	$0$
$1$	$0$	$1$

Habíamos dicho que al coincidir las columnas de $\neg ( \neg P)$ con $P$ entonces $\neg(\neg P) \equiv P$. Esto leeremos como «$\neg(\neg P)$ es equivalente a $P$». La equivalencia de fórmulas proposicionales nos dice que sus valores de verdad siempre coinciden, sin importar el valor de verdad de las variables proposicionales que las conforman. En este ejemplo, en cualquier caso en que $\neg(\neg P)$ sea verdad, sucede que $P$ es verdad. De igual forma, cada vez que suceda que $\neg(\neg P)$ sea falso, $P$ también lo será.

Podemos dar un ejemplo más concreto. Pensemos en que nuestra proposición $P$ es: «El 2 es un número impar». En este caso $\neg(\neg P)$ corresponde a: «No es cierto que 2 no es un número impar». Observa que la proposición $P$ es falsa, y que también la proposición $\neg(\neg P)$ es falsa.

Ahora, nota que acabamos de hacer una definición, pues nombramos a dos fórmulas proposicionales que tienen la misma tabla de verdad como equivalentes. Como lo mencionamos en la entrada de los tipos de enunciados, les estamos poniendo un nombre a un objeto matemático que cumple ciertas propiedades.

Definición. Dos fórmulas proposicionales son equivalentes si sus tablas de verdad coinciden.

Esta «igualdad» en las fórmulas proposicionales nos será muy útil, pues en la matemática nos ayudará a ver algunos resultados de otra manera. Por ejemplo, retomemos $\neg(\neg P) = P$. Como sabemos que es falso que 2 es impar, en consecuencia también sabemos que es falso que «No sea cierto que 2 no es impar» y esto lo sabemos sin tener que verificar algo más, pues el hecho de que tengamos la equivalencia a nivel de fórmulas proposicionales, en particular la tenemos para cualquier proposición específica que reemplaze las variables proposicionales. Esta equivalencia también nos ayudará a demostrar otros resultados en el futuro.

Nota además lo siguiente. Piensa que $F_1$, $F_2$ y $F_3$ son fórmulas proposicionales (cada una conformada por varias variables proposicionales y conectivos). Si $F_1$ y $F_2$ son equivalentes, y $F_2$ y $F_3$ son equivalentes (es decir $F_1\equiv F_2$ y $F_2\equiv F_3$) entonces $F_1$ y $F_3$ también son equivalentes. Puedes convencerte de esto como sigue. Del hecho de que $F_1$ y $F_2$ lo sean, sale que $F_1$ y $F_2$ tienen la misma tabla de verdad. Del hecho de que $F_2$ y $F_3$ lo sean, sale que $F_2$ y $F_3$ tienen la misma tabla de verdad. Pero entonces $F_1$ y $F_3$ tienen la misma tabla de verdad (la de $F_2$). A esto se le conoce como la propiedad transitiva. No es importante que recuerdes este nombre, sin embargo después volveremos a estudiar esta propiedad con más calma. Y para recordar mejor esto, piensa en que funciona similar a la igualdad entre números, por ejemplo $2+2=4$ y $4=2^2$, entonces $2+2=2^2$.

Algunas propiedades de la conjunción y la disyunción

Hemos hablado un poco sobre la negación, pero ahora cambiemos el foco a la conjunción y la disyunción. Para empezar, recordemos que la conjunción $P\land Q$ sólo es verdadera cuando tanto $P$ como $Q$ son verdaderas, y en la entrada anterior verificamos que $Q \land P$ es equivalente a $P \land Q$.

También nos va a interesar el caso en donde combinamos más de dos proposiciones. Sin embargo, hay que tener cuidado. Por definición, la conjunción es un conector que combina únicamente dos proposiciones. Así, para unir a más de dos proposiciones mediante la conjunción, tendremos que agruparlas.

Piensa el agrupamiento como piensas la suma: si quieres sumar $2+3+4$, lo más habitual es sumar primero $2+3$ que resulta en cinco, y después sumárselo a $4$, de manera que podemos escribir la suma como $2+3+4=(2+3)+4$. Algo similar va a pasar con las proposiciones, pues podemos pensar a $P \land Q \land R$ como $(P \land Q) \land R$. Ahora piensa de nuevo en la suma $2+3+4$. El resultado de esta suma es $9$ y nosotros decidimos agrupar $2+3$ y después sumar el resultado con $4$. Pero esto es lo mismo que haber agrupado primero $3+4$ y después sumarlo a $2$. Esto no es coincidencia, pues la suma tiene una propiedad que se llama asociatividad que nos dice que $(2+3)+4=2+(3+4)$. ¿Pasará lo mismo con la conjunción? Veamos que sí.

Lo que queremos ver es si $P \land (Q \land R)\equiv (P \land Q) \land R$ es decir, queremos ver si $P \land (Q \land R)$ es equivalente a $(P \land Q) \land R$. La equivalencia está dada en términos de tablas de verdad, así que tenemos que hacer la tablas para ambas fórmulas lógicas. La presentamos a continuación.

$P$	$Q$	$R$	$Q \land R$	$P \land ( Q\land R)$	$P \land Q$	$(P \land Q) \land R$
$0$	$0$	$0$	$0$	$0$	$0$	$0$
$0$	$0$	$1$	$0$	$0$	$0$	$0$
$0$	$1$	$0$	$0$	$0$	$0$	$0$
$0$	$1$	$1$	$1$	$0$	$0$	$0$
$1$	$0$	$0$	$0$	$0$	$0$	$0$
$1$	$0$	$1$	$0$	$0$	$0$	$0$
$1$	$1$	$0$	$0$	$0$	$1$	$0$
$1$	$1$	$1$	$1$	$1$	$1$	$1$

Como puedes notar, las columnas $P \land (Q \land R)$ y $(P \land Q) \land R$ coinciden, es decir, coinciden en sus tablas de verdad, por lo tanto son equivalentes.

Con este ejemplo, vimos cómo la conjunción tiene la propiedad asociativa, es decir, cuando combinamos tres o más proposiciones mediante la conjunción, no importa «dónde pongamos los paréntesis». Lo mismo pasará con la disyunción que de igual manera es asociativa.

Combinando la conjunción con la disyunción

También podemos juntar los conectores de conjunción y disyunción. Por ejemplo, piensa que tenemos tres proposiciones $P, Q, R$ donde,

$P = \text{Toda persona es mortal}$

$Q = \text{2 es un número impar}$

$R = \text{2 es un número par}$

¿Qué significaría la proposición $P \lor (Q \land R)$? Si lo escribieramos en palabras, sería «Toda persona es mortal o (2 es un número impar y 2 es un número par)». Sabemos que toda persona es mortal, y también sabemos que 2 no puede ser impar y par a la vez (por ahora parece que sabemos que 2 es un número par, en otros cursos profundizarás más en lo que significa ser par). Entonces nuestra proposición está formada por dos componentes, la proposición $P$ y la proposición $Q \land R$. Como un número no puede ser par e impar a la vez, entonces la segunda proposición es falsa. Pero la primera proposición $P$ es verdadera, entonces la proposición $P \lor (Q \land R)$ es verdadera, porque para la disyunción basta que alguna de las dos sea verdadera.

Vayamos un poco más lejos. ¿Será que esta es la única forma de escribir la proposición? Resulta que no. Resulta que la disyunción y la conjunción cumplen una propiedad que se llama la propiedad distributiva. Para no quedarnos sólo con el ejemplo específico del párrafo anterior, la describimos en términos de fórmulas proposicionales: $$P \lor (Q \land R) \equiv (P \lor Q) \land (P \lor R).$$

Si te resulta un poco confuso esto, puedes pensarlo por ahora como la distribución de una multiplicación con la suma, es decir la operación $2 \times (1+3) = (2 \times 1) + (2 \times 3)$, en donde nuestra disyunción $\lor$ queda distribuida a causa de la conjunción $\land$ los distribuye.

Para convencernos de que se satisface la propiedad distributiva, veamos las tablas de verdad de cada una de las expresiones que están involucradas.

$P$	$Q$	$R$	$Q \land R$	$P \lor ( Q\land R)$	$P \lor Q$	$P \lor R$	$(P \lor Q) \land (P \lor R)$
$0$	$0$	$0$	$0$	$0$	$0$	$0$	$0$
$0$	$0$	$1$	$0$	$0$	$0$	$1$	$0$
$0$	$1$	$0$	$0$	$0$	$1$	$0$	$0$
$0$	$1$	$1$	$1$	$1$	$1$	$1$	$1$
$1$	$0$	$0$	$0$	$1$	$1$	$1$	$1$
$1$	$0$	$1$	$0$	$1$	$1$	$1$	$1$
$1$	$1$	$0$	$0$	$1$	$1$	$1$	$1$
$1$	$1$	$1$	$1$	$1$	$1$	$1$	$1$

Nota que las columnas coloreadas corresponden a las fórmulas lógicas que nos interesan y son iguales, entonces $P \lor (Q \land R) \equiv (P \lor Q) \land (P \lor R)$. Lo mismo sucede si cambiamos el orden de los conectores, es decir $P \land (Q \lor R) \equiv (P \land Q) \lor (P \land R)$, así podemos distribuir los conectores conjuntivos y disyuntivos como más nos convenga.

Agregando la negación a la mezcla

Por último, vamos a incluir a la negación en nuestra mezcla de conjunciones y disyunciones. ¿Qué pasará cuando tenemos proposiciones del estilo $\neg (P \land Q)$ y $\neg (P \lor Q)$? Sería lógico pensar en un inicio que igual la negación se va a distribuir, pero eso no es cierto. Para esto, piensa en el siguiente ejemplo:

$$P = \text{32 es un número perfecto} $$

$$ Q = 2^7-1 \text{ es un número primo} $$

Aquí hablamos de dos cosas que quizá aún no sepas: números perfectos y números primos, no te preocupes por lo que signifiquen, en otros cursos los verás con más detalle, aunque te puedo decir que sólo una de estas dos afirmaciones es correcta (¿Puedes adivinar cuál es?), entonces la conjunción es falsa, por lo que la negación de la conjunción es verdadera.

Lo que acabamos de decir es que $P \land Q$ es falsa y por consecuente $\neg (P \land Q)$ es verdadera. Si sucediera que la negación se distribuyera sobre la conjunción, entonces $\neg (P \land Q)$ sería equivalente a $\neg P \land \neg Q$. Pero esto no es cierto, porque $\neg P$ es verdadero, y $\neg Q$ es falso, y entonces $\neg P \land \neg Q$ es falso. Acabamos de llegar a una contradicción en nuestro pensar matemático es decir, primero dijimos que $\neg (P \land Q)$ es verdadera y después observamos que si la negación se distribuyera sobre la conjunción, sería falso, pero recuerda que una proposición es verdadera o falsa, no puede ser verdadera y falsa al mismo tiempo, entonces alguna de las dos suposiciones que hicimos es incorrecta. Si quieres pensarlo de otra forma, $\neg P \land \neg Q$ y $\neg (P \land Q)$ no son equivalentes pues sus tablas de verdad difieren en el renglón en el que $P$ es verdadero y $Q$ es falso.

Nuestro error fue haber distribuido la negación sin cuidado. Resulta que la negación no cumple esa propiedad, pero «casi» es distributiva. Veamos sus reglas.

$$ \neg (P \land Q) \equiv \neg P \lor \neg Q $$

$$ \neg (P \lor Q) \equiv \neg P \land \neg Q $$

En el ejemplo concreto de arriba, esto quiere decir que es lo mismo decir «No es cierto que (32 sea un número perfecto y $2^7-1$ sea un número primo)» a decir «No es cierto que 32 es un número perfecto, o no es cierto que $2^7-1$ es un número primo». Para que lo entiendas más claro, revisa la tabla de verdad:

$P$	$Q$	$P \land Q$	$\neg (P \land Q)$	$\neg P$	$\neg Q$	$\neg P \lor \neg Q$
$0$	$0$	$0$	$1$	$1$	$1$	$1$
$0$	$1$	$0$	$1$	$1$	$0$	$1$
$1$	$0$	$0$	$1$	$0$	$1$	$1$
$1$	$1$	$1$	$0$	$0$	$0$	$0$

Observa que las columnas correspondientes a las fórmulas proposicionales que queremos coinciden, lo que quiere decir que son equivalentes. Lo mismo puedes verificar para comprobar que $ \neg (P \lor Q) \equiv \neg P \land \neg Q $. A estas propiedades se les conoce como las leyes de De Morgan (más adelante volverás a oír ese nombre).

Más adelante…

Recapitulando, en esta entrada hablamos sobre las propiedades que tienen tres conectores. Vimos lo siguiente:

Hablamos de la equivalencia de fórmulas proposicionales que ocurre cuando dichas fórmulas coinciden en todos los renglones de sus tablas de verdad, sin importar la asignación de veracidad de las variables proposicionales que las conforman.
Observamos tres propiedades de los conectores: la asociatividad, la distributividad y las leyes de DeMorgan.

Todo esto nos da herramientas suficientes para ya empezar a hablar de lógica proposicional, pero esto apenas empieza. Recuerda que tenemos más conectores. Aún nos faltan revisar dos muy importantes: la implicación y la doble implicación. Estos dos las vamos a ver con más calma en la siguiente entrada.

Tarea Moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Demuestra que $\neg ( \neg (\neg P))$ es equivalente a $\neg P$.
En la entrada vimos que podemos asociar la conjunción como queramos. Ahora verifica que lo mismo pasa con la disyunción, es decir $P \lor (Q \lor R) \equiv (P \lor Q) \lor R$.
Verifica con la tabla de verdad que $P \land (Q \lor R) \equiv(P \land Q) \lor (P \land R)$.
Verifica con la tabla de verdad que $ \neg (P \lor Q) \equiv\neg P \land \neg Q $.

Entradas relacionadas

Ir a Álgebra Superior 1
Entrada anterior del curso: Conectores: negaciones, conjunciones y disyunciones
Siguiente entrada del curso: Problemas de proposiciones y conectores

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 3»

Álgebra Superior II: Introducción al curso y a los números naturales

Por Roberto Manríquez Castillo

Deja un comentario

Introducción

El curso de Álgebra Superior I tuvo como principal objetivo darte las herramientas necesarias para poder entender, a grandes rasgos, la teoría que sustenta las primeras asignaturas con las que te encuentras a nivel universitario en tu trayectoria matemática. Por esta razón, en el temario se incluyeron los temas de lógica, demostraciones, teoría de conjuntos, números naturales, inducción matemática, conteo y espacios vectoriales.

Sin embargo, quedaron abiertas algunas preguntas. Por ejemplo: ¿cómo sabemos que los conjuntos con los que trabajamos existen?, ¿qué es en el fondo el conjunto de números reales que usamos en los espacios vectoriales? o ¿por qué funciona el principio de inducción?

En este sentido, el curso de Álgebra Superior II es la continuación de Álgebra Superior I. El objetivo de este curso será responder estas preguntas que en el curso anterior quedaron sin responder. Con esto en mente, usaremos las herramientas de la teoría de conjuntos que desarrollamos con anterioridad para estudiar qué son los números naturales, los enteros y hasta los complejos. Haremos una escala en cada tema para poder entender a profundidad las propiedades con las que hemos estado familiarizados desde educación básicas y para conocer otras propiedades que te servirán a lo largo de tu formación matemática.

En la parte final del curso, introduciremos otra estructura con la que seguramente ya estarás familiarizado gracias al curso de Cálculo Diferencial e Integral I: el anillo de polinomios con coeficientes reales (o complejos). Como en el caso de los temas anteriores, nos detendremos a estudiar las propiedades que caracterizan a este conjunto y las similitudes que podemos encontrar con algunos de los sistemas numéricos, como los números enteros.

La intuición detrás de formalizar a los números naturales

Desde la educación básica se aprende a contar. Con el pasar del tiempo, la idea de los números naturales y las características que se necesitan para contar “de uno en uno” seguramente se han hecho muy familiares en tu mente. A grandes rasgos, cuando contamos tenemos mente a los números $$0,1,2,3,4,5,6,7,\ldots.$$ De hecho, las propiedades de estos números probablemente son tan familiares que ya no reparas en ello a la hora de contar. Al cero le sigue el uno. Al uno le sigue el dos. Y así sucesivamente. Esto resulta práctico a la hora de contar, pero algo impráctico a la hora de establecer los fundamentos matemáticos de los números naturales. Por esta razón, tomémonos un momento para pensar en las propiedades que satisface este sistema numérico.

La primera característica en la que podemos pensar es que los números naturales cuentan con un elemento especial de entre todos los demás números, el primero de todos ellos. Dependiendo del contexto, el $0$ (y no el $1$) es considerado como el primer número natural y coincide con la intuición de que podemos «tener cero cosas», es decir, ninguna. Es importante que sepas que en cierto contextos (por ejemplo, otros cursos o áreas de las matemáticas) podría no serlo. La recomendación es que siempre uses la convención del área o comunidad con la que estés trabajando. En este curso el número $0$ siempre será un número natural.

Otra característica con la que seguramente estamos muy familiarizados es que si bien los números naturales tienen un comienzo (en nuestro caso, el $0$), por otra parte nunca terminan. No importa hasta qué número podamos haber contado, siempre podemos dar un paso más y avanzar al siguiente número. Cuando tenemos un natural, decimos entonces que siempre tiene un sucesor. Sabemos que sólo hay un sucesor para cada número.

Otra característica clave de los números naturales es que, a la hora de contar, nunca regresamos a un número por el cual ya pasamos; es decir, bajo ninguna circunstancia contamos $107, 108, 109, 37, ‘ldots$. Para enunciar esto formalmente, lo diremos en dos partes. Primero, el $0$ no es el sucesor de ningún número y segundo, en ninguna circunstancia, un mismo número es el sucesor de dos números diferentes.

Existe una quinta propiedad, tal vez más sutil que las anteriores, y es que si empezamos a contar desde el cero y vamos contando de uno en uno, entonces podremos alcanzar cualquier número natural, siempre que el tiempo lo permita.

Resulta que estas propiedades intuitivas son suficientes para definir muchas otras operaciones en los números naturales y para obtener una gran cantidad de propiedades. Es por esta razón que conviene incluirlas en nuestra formalización de los naturales, como discutimos a continuación.

Los axiomas de Peano para los números naturales

A finales del siglo XIX, los matemáticos empezaron a notar que a partir de algunas propiedades tan elementales como las que discutimos arriba, se podían probar las leyes de la aritmética que conocemos. En 1889, Giuseppe Peano, basado en las propiedades que acabamos de enunciar, dio un conjunto de axiomas que usó para estudiar sistemáticamente a los números naturales. Estos axiomas son:

$0$ es un número natural.
Si $n$ es un número natural, entonces existe un único natural, denotado $\sigma(n)$ al que llamamos su sucesor.
Para todo número natural, $\sigma(n)\neq0$.
Si $n,m$ son números naturales, tales que $\sigma(n)=\sigma(m)$, entonces $n=m$.
Si $S$ es un subconjunto de números naturales tal que: $0$ está en $S$, y para todo $n$ en $S$, se cumple que $\sigma(n)$ está también en $S$, entonces $S$ es el conjunto de todos los naturales.

Nota que cada una de las cinco propiedades coinciden con una de las propiedades intuitivas que mencionamos antes.

Encontrando los primeros números naturales

El logro de Peano fue muy importante, ya que permitió reducir la teoría de los números naturales a solo cinco axiomas; sin embargo, aún quedan abiertas las preguntas ¿qué son los números naturales? y ¿cómo sabemos que existen? Aunque se hayan mencionado las propiedades de un objeto, no necesariamente tiene que existir tal objeto. Este fue el gran problema al que se enfrentaron los matemáticos cuando intentaron definir a un conjunto al que pertenecen todos los conjuntos.

Es por esta razón que debemos fundamentar la construcción de los números naturales en teoría que ya tengamos desarrollada. Por esta razón, a partir de este punto se aparece la teoría de los conjuntos, la cual nos permitirá definir formalmente lo que significan los símbolos que diariamente ocupamos (como el $0$), para después ver que en efecto estos conjuntos satisfacen los axiomas de Peano.

Definición: Definimos al cero como $0:=\emptyset$.

Cuando ponemos $:=$, quiere decir que estamos definiendo algo, típicamente un símbolo. Cuando veas algo así aparecer, puedes pensar que significa «esta es la primera vez que usamos el símbolo $0$, y lo que querrá decir es el conjunto vacío». Podemos pensar en esta definición como una simple ocurrencia de notación; sin embargo, es curioso notar que, pensando intuitivamente, $\emptyset$ tiene en efecto cero elementos. Más adelante veremos que los demás números naturales también satisfacen esta intuitiva coincidencia.

Definición: Dado un conjunto $A$ arbitrario, definimos el sucesor de $A$ como $\sigma(A):=A\cup\{A\}$.

Notemos que en realidad $\sigma$ no es en el sentido estricto una función ¿por qué? Más bien, lo que estamos haciendo es explicar a qué nos referimos con el símbolo $\sigma(A)$.

Considerando que hemos construido el primer número natural (el $0$) y hemos dado una forma de construir sucesores, parece una buena idea considerar \[\sigma(0)=\sigma(\emptyset)=\emptyset\cup\{\emptyset\}=\{\emptyset\}.\]

Y definir $1:= \{\emptyset\}$. Análogamente podemos pensar que \[2:=\sigma(1)=\sigma(\{\emptyset\})=\{\emptyset\}\cup\{\{\emptyset\}\}=\{\emptyset,\{\emptyset\}\}.\]

Podríamos continuar así sucesivamente. Observa que, efectivamente, los conjuntos $1$ y $2$ coinciden con la intuición de tener respectivamente $1$ y $2$ elementos.

Los «disfraces» de los números naturales

Actualmente usamos el sistema de numeración arábigo y sabemos exactamente qué quieren decir los «dibujos» $1$, $2$, $3$, $4$, etc. Si fueramos romanos, estaríamos usando los «dibujos» $I$, $II$, $III$, $IV$, etc. De manera estricta, los «dibujos» no son lo mismo que «el concepto que representan». Es decir, en el fondo, $2$ y $II$ son «disfraces distintos para el mismo concepto». Pero ninguno de esos «dibujos» es el concepto mismo, ni vive de manera formal en la teoría que estamos construyendo.

Lo que sí vive en la teoría que construimos es el $\{\emptyset,\{\emptyset\}\}$, pues a partir de los axiomas se puede garantizar su existencia. Por supuesto, en el curso usaremos los «disfraces» habituales de estos conceptos, de modo que casi siempre escribiremos $2$, $7$, $51$, etc. Sin embargo, es crucial que en todo momento tengas en cuenta que cuando escribimos esos «dibujos», en el fondo están las construcciones formales que realizaremos.

Más adelante…

Hemos empezado a definir a los números naturales a partir del $0$ (el conjunto vacío) y la función sucesor $\sigma$; sin embargo, la realidad es que el proceso que hemos descrito debe ser refinado, ya que si continuamos así, jamás acabaremos de definir la infinidad de números naturales que queremos que existan.

Incluso asumiendo que los podemos definir a todos, un segundo problema que se origina es el intentar unirlos en un solo «conjunto de los números naturales». Uno podría intentar ocupar el principio de inducción para resolver el problema. Sin embargo, recordemos que por el momento sólo contamos con los axiomas de la teoría de conjuntos, y aún no sabemos que el principio de inducción (visto como en el curso de Álgebra Superior I, o a partir de los axiomas de Peano) sea válido. Entonces, necesitaremos pensar cómo resolver el problema desde otra perspectiva.

Además, queda el problema de ver que los números naturales que definamos sí satisfagan los axiomas de Peano. También haremos esto pronto, para que a partir de ello podamos comenzar a introducir otras propiedades aritméticas y de orden.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Prueba a partir de sólo los axiomas de Peano, que $n\neq \sigma (n) $ para todo $n\in\mathbb{N}$.
¿Qué axiomas de Peano satisface el conjunto $\sigma(\mathbb{N})$, es decir, el conjunto de los números a partir del $1$?
¿Cómo será un conjunto y una función que satisfagan los axiomas 1), 2), 4) y 5) de Peano, pero que no satisfaga el 3)? ¿Puedes construir formalmente un conjunto y una función así?
A partir de la definición de $\sigma(n)$ que dimos, demuestra que para todo número natural $n$ se satisface que $n\in\sigma(n)$ y que $n\subset\sigma(n)$.
Demuestra que si $A$ es un conjunto, entonces $\sigma(A)$ es un conjunto. Para ello, tendrás que recordar los axiomas de teoría de conjuntos.

Entradas relacionadas

Ir a Álgebra Superior II
Ir a Álgebra Superior I
Siguiente entrada del curso: La construcción de los números naturales

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: Raíces de polinomios de grados 3 y 4

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

Esta es la entrada final de la unidad de polinomios y del curso. En ella hablaremos acerca de las fórmulas para encontrar las raíces de polinomios de grado $3$ y $4$. Además, en la parte final, hablaremos de polinomios de grados más altos y cómo ellos te pueden llevar a cursos muy interesantes que puedes tomar para continuar tu formación matemática.

Existen métodos generales para encontrar las raíces de polinomios de grado $3$ y $4$, ya sea en $\mathbb{R}[x]$ o en $\mathbb{C}[x]$. Para los polinomios de grado $3$, se usa el método de Cardano. Para los polinomios de grado $4$ se usa el método de Ferrari. Encontrar estas fórmulas tomó mucho tiempo. Ambas requieren de manipulaciones algebraicas muy creativas.

Raíces de polinomios de grado 3 y el método de Cardano

Tomemos un polinomio $f(x)$ en $\mathbb{R}[x]$ de grado $3$. Si $f(x)$ no es mónico, podemos multiplicarlo por el inverso de su coeficiente principal para obtener un polinomio con las mismas raíces. De esta forma, podemos suponer sin pérdida de generalidad que $f(x)$ es de la forma $$f(x)=x^3+ax^2+bx+c.$$

Consideremos al polinomio $$g(x)=f\left(x-\frac{a}{3}\right).$$ Observa que $r$ es una raíz de $g(x)$ si y sólo si $g(r)=0$, si y sólo si $f\left(r-\frac{a}{3}\right)=0$, si y sólo si $r-\frac{a}{3}$ es una raíz de $f$. De esta forma, si conocemos las raíces de $g(x)$, podemos encontrar las de $f(x)$, y viceversa.

Al hacer las cuentas (que quedan como tarea moral), se tiene que $g(x)$ se simplifica a
\begin{align*}
g(x)&=f\left(x-\frac{a}{3}\right)\\
&=x^3+\left(b-\frac{a^2}{3}\right)x+\left(-\frac{ba}{3}+c+\frac{2a^3}{27}\right),
\end{align*}

que tiene la ventaja de ya no tener término cuadrático. En otras palabras, para encontrar las raíces de polinomio cúbico, basta con poder encontrar las de los polinomios de la forma $$g(x)=x^3+px+q.$$

Tomando $x=u+v$ y haciendo las operaciones, se tiene que $$g(u+v)=u^3+v^3+(3uv+p)(u+v)+q.$$

Observa que si logramos encontrar $u$ y $v$ que satisfagan el sistema de ecuaciones
\begin{align*}
u^3+v^3&=-q\\
uv&=-\frac{p}{3},
\end{align*}

entonces tendríamos una raíz $x=u+v$.

La segunda ecuación implica $u^3v^3=-\frac{p^3}{27}$. Pero entonces conocemos la suma y el producto de las variables $u^3$ y $v^3$, con lo cual obtenemos que son las raíces del siguiente polinomio de grado $2$ en la variable $t$:
\begin{align*}
(t-u^3)(t-v^3)&=t^2-(u^3+v^3)t+u^3v^3\\
&=t^2+qt-\frac{p^3}{27}.
\end{align*}

El discriminante de esta ecuación cuadrática es $$\Delta = q^2 + \frac{4p^3}{27}.$$

Si $\Delta >0$, esta ecuación cuadrática tiene las siguientes soluciones reales:
\begin{align*}
\sqrt[3]{-\frac q2 + \sqrt {\frac {q^2}{4} +\frac {p^3}{27}}}\\
\sqrt[3]{-\frac q2 – \sqrt {\frac {q^2}{4} +\frac {p^3}{27}}}.
\end{align*}

Sin pérdida de generalidad, $u$ es la primera y $v$ la segunda. De esta forma, una raíz real para $g(x)$ es $$x= \sqrt[3]{-\frac q2 + \sqrt {\frac {q^2}{4} +\frac {p^3}{27}}} + \sqrt[3]{-\frac q2 – \sqrt {\frac {q^2}{4} +\frac {p^3}{27}}}.$$

Hasta aquí hay algunas cosas por notar:

Supusimos que el discriminante $\Delta$ es positivo.
Sólo hemos encontrado una de las $3$ raíces de $p(x)$ que garantiza el teorema fundamental del álgebra.

Cuando el discriminante es positivo, las otras dos soluciones son $\omega x$ y $\omega^2 x$, en donde $\omega$ es una raíz cúbica primitiva de la unidad.

Cuando la cuadrática tiene discriminante $\Delta<0$, tenemos que $u$ y $v$ son complejos, y entonces al sacar raíz cúbica podemos tener tres opciones para cada uno, algo que parecería dar un total de $9$ soluciones. Sin embargo, recordando que $uv=-\frac{p}{3}$, tenemos que $u$ queda totalmente determinado por $v$, así que de ahí se obtienen las tres soluciones.

Raíces de polinomios de grado 4 y el método de Ferrari

El método de Ferrari está explicado a detalle en el libro de Álgebra de Bravo, Rincón y Rincón. Ahí están las ideas principales para encontrar una fórmula general para encontrar las raíces de un polinomio de grado $4$, es decir, de la forma $$p(x)=ax^4+bx^3+cx^2+dx+e.$$ Recuerda que el libro está disponible para descarga gratuita.

Al igual que en el caso del método de Ferrari, los primeros pasos consisten en hacer simplificaciones algebraicas. Así como el método de Cardano usa la fórmula cuadrática, del mismo modo el método de Ferrari reduce el problema a encontrar soluciones a un polinomio de grado 3. Uno podría creer que este patrón se repite, y que se pueden encontrar métodos para polinomios de grado arbitrario. Esto no es así, y lo platicaremos en la siguiente sección.

Para otra derivación de la fórmula de Ferrari, compartimos el artículo «Identidades para la resolución de ecuaciones cúbicas y cuárticas» de José Leonardo Sáenz Cetina, que apareció en el número 24 de la revista Miscelánea Matemática de la Sociedad Matemática Mexicana:

Identidades para la resolución de ecuaciones cúbicas y cuárticas
Descarga

Este documento también tiene otras dos formas de resolver ecuaciones cúbicas, así que es una lectura recomendada.

Finalmente, se recomienda también echarle un ojo a la página de Wikipedia acerca de la ecuación cuártica. La entrada en inglés es mucho mejor. Sobre todo la sección referente al método de Ferrari.

Raíces de polinomios de grado 5 y más

De acuerdo al teorema fundamental del álgebra, todo polinomio sobre los complejos tiene al menos una raíz. De hecho, se puede mostrar que si es de grado $n$, entonces tiene exactamente $n$ raíces, contando multiplicidades.

Cuando tenemos polinomios de grados $2$, $3$ y $4$ podemos usar la fórmula cuadrática, el método de Cardano y el método de Ferrari para encontrar una fórmula para las soluciones. ¿Hay algún método que tenga fórmulas similares para polinomios de grado más grande?

La respuesta es que no. Aunque el teorema fundamental del álgebra garantice la existencia de las raíces, hay un teorema de Abel y Ruffini que muestra que no es posible encontrar una fórmula general. Al menos no una que ayude a poner las raíces de cualquier polinomio de grado cinco (o más) usando únicamente sumas, restas, multiplicaciones, divisiones y raíces. Esto formalmente se enuncia como que hay ecuaciones de grado 5 y más que no son solubles por radicales.

Enunciar y demostrar este teorema formalmente requiere de herramientas que quedan fuera del alcance de este curso, sin embargo, se puede estudiar en un curso avanzado de álgebra, en donde se hable de extensiones de campo y teoría de Galois.

Por otro lado, podemos dejar de lado la exactitud y preguntarnos si, dado un polinomio, podemos acercarnos a sus raíces tanto como queramos. Hoy en día eso se hace mediante métodos computacionales. Aunque la computadora sea muy buena haciendo cuentas, hay que ser particularmente cuidadoso con los errores que comete al hacer aproximaciones.

Eso es otra de las cosas que quedan fuera del alcance de este curso, y que puedes estudiar en un buen curso de métodos numéricos. Si lo que buscas es saber cómo pedirle a la computados que haga los cálculos, eso lo puedes aprender en un buen curso de programación, en donde te enseñen a usar ambientes de computación científica.

Más adelante…

Antes de concluir el curso, en la siguiente entrada, repasamos lo aprendido en esta entrada y vemos como se puede realizar una ecuación de grado $3$ y de grado $4$ usando los métodos de Cardano y de Ferrari, sin embargo, es importante no olvidar que antes de estos métodos, tenemos otros teoremas importantes que en principio podrían ser más simples para obtener las soluciones a una cúbica o cualquier ecuación.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Completa las cuentas faltantes en la discusión del método de Cardano.
Muestra que un polinomio de grado $3$ y coeficientes reales tiene exactamente cero o dos raíces complejas distintas.
¿Cuántas raíces complejas distintas puede tener un polinomio de grado $4$ con coeficientes reales? Encuentra un ejemplo para cada una de las respuestas.
Encuentra las raíces del polinomio cuártico $$p(x)=x^4+2x^3-12x^2-10x+4.$$ Después, compara tu respuesta con el Ejemplo 216 del libro de Álgebra de Bravo, Rincón, Rincón.
Lee las entradas en Wikipedia acerca de ecuaciones cúbicas y ecuaciones cuárticas.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: Multiplicidad de raíces de polinomios
Entrada siguiente del curso: Raíces de polinomios de grados 3, 4 o más

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: El criterio de la raíz racional para polinomios de coeficientes enteros

Por Leonardo Ignacio Martínez Sandoval

Deja un comentario

Introducción

En esta entrada veremos el criterio de la raíz racional. Este es un método que nos permite determinar las únicas raíces racionales que puede tener un polinomio con coeficientes enteros. Es una más de las herramientas que podemos usar cuando estamos estudiando polinomios en $\mathbb{R}[x]$.

Si encontramos una raíz con este método, luego podemos encontrar su multiplicidad mediante el teorema de derivadas y multiplicidad. Esto puede ayudarnos a factorizar el polinomio. Otras herramientas que hemos visto que nos pueden ayudar son el algoritmo de Euclides, la fórmula cuadrática, el teorema del factor y propiedades de continuidad y diferenciabilidad de polinomios.

El criterio de la raíz racional

Si un polinomio $p(x)$ en $\mathbb{R}[x]$ cumple que todos sus coeficientes son números enteros, entonces decimos que es un polinomio sobre los enteros. Al conjunto de polinomios sobre los enteros se le denota $\mathbb{Z}[x]$.

Teorema (criterio de la raíz racional). Tomemos un polinomio $p(x)$ en $\mathbb{Z}[x]$ de la forma $$p(x)=a_0+a_1x+\ldots+a_nx^n.$$ Supongamos que el número $\frac{p}{q}$ es número racional simplificado, es decir con $p$ y $q\neq 0$ enteros primos relativos. Si $\frac{p}{q}$ es raíz de $p(x)$, entonces $p$ divide a $a_0$, y $q$ divide a $a_n$.

Demostración. Por definición, si $\frac{p}{q}$ es una raíz, tenemos que $$0=a_0+a_1\cdot \frac{p}{q} + \ldots + a_n \cdot \frac{p^n}{q^n}.$$

Multiplicando ambos lados de esta igualdad por $q^n$, tenemos que

$$0=a_0q^n+a_1pq^{n-1}+\ldots+a_{n-1}p^{n-1}q+a_np^n.$$

Despejando $a_0q^n$, tenemos que

\begin{align*}
a_0q^n&=-(a_1pq^{n-1}+\ldots+a_{n-1}p^{n-1}q+a_np^n)\\
&=-p(a_1q^{n-1}+\ldots+a_{n-1}p^{n-2}q+a_np^{n-1})
\end{align*}

Esto muestra que $a_0q^n$ es múltiplo de $p$. Pero como $\MCD{p,q}=1$, tenemos que $p$ debe dividir a $a_0$.

De manera similar, tenemos que

\begin{align*}
a_np^n&=-(a_0q^n+a_1pq^{n-1}+\ldots+a_{n-1}p^{n-1}q)\\
&=-q(a_0q^{n-1}+a_1pq^{n-2}+\ldots+a_{n-1}p^{n-1}).
\end{align*}

De aquí, $q$ divide a $a_np^n$, y como $\MCD{p,q}=1$, entonces $q$ divide a $a_n$.

$\square$

Como cualquier natural tiene una cantidad finita de divisores, el criterio de la raíz racional nos permite restringir la cantidad posible de raíces de un polinomio con coeficientes enteros a una cantidad finita de candidatos. Veamos un par de ejemplos.

Aplicación directa del criterio de la raíz racional

Ejercicio. Usa el criterio de la raíz racional para enlistar a todos los posibles números racionales que son candidatos a ser raíces del polinomio $$h(x)=2x^3-x^2+12x-6.$$ Después, encuentra las raíces racionales de $p(x)$.

Solución. El polinomio $h(x)$ tiene coeficientes enteros, así que podemos usar el criterio de la raíz racional. Las raíces racionales son de la forma $\frac{p}{q}$ con $p$ divisor de $-6$, con $q$ divisor de $2$ y además $\MCD{p,q}=1$. Los divisores enteros de $-6$ son $$-6,-3,-2,-1,1,2,3,6.$$ Los divisores enteros de $2$ son $$-2,-1,1,2.$$

Pareciera que hay muchas posibilidades por considerar. Sin embargo, nota que basta ponerle el signo menos a uno de $p$ o $q$ para considerar todos los casos. Así, sin pérdida de generalidad, $q>0$. Si $q=1$, obtenemos a los candidatos $$-6,-3,-2,-1,1,2,3,6.$$ Si $q=2$, por la condición de primos relativos basta usar los valores $-3,-1,1,3$ para $p$. De aquí, obtenemos al resto de los candidatos $$-\frac{3}{2},-\frac{1}{2},\frac{1}{2},\frac{3}{2}.$$

En el peor de los casos, ya solo bastaría evaluar el polinomio en estos $12$ candidatos para determinar si son o no son raíz. Sin embargo, a veces podemos hacer algunos trucos para disminuir todavía más la lista.

Observa que si evaluamos $$h(x)=2x^3-x^2+12x-6$$ en un número negativo, entonces la expresión quedará estrictamente negativa, así que ninguno de los candidatos negativos puede ser raíz. De este modo, sólo nos quedan los candidatos $$1,2,3,6,\frac{1}{2},\frac{3}{2}.$$

Si evaluamos en $x=2$ o $x=6$, entonces la parte de la expresión $2x^3-x^2+12x$ es múltiplo de $4$, pero $-6$ no. De esta forma, $h(x)$ no sería un múltiplo de $4$, y por lo tanto no puede ser $0$. Si evaluamos en $x=1$ o $x=3$, tendríamos que la parte de la expresión $2x^3+12x-6$ sería par, pero $-x^2$ sería impar, de modo que $h(x)$ sería impar, y no podría ser cero. Así, ya sólo nos quedan los candidatos $$\frac{1}{2},\frac{3}{2}.$$

Para ellos ya no hagamos trucos, y evaluemos directamente. Tenemos que
\begin{align*}
h\left(\frac{1}{2}\right) &= 2\cdot \frac{1}{8} – \frac{1}{4} + 12 \cdot \frac{1}{2}-6\\
&=\frac{1}{4}-\frac{1}{4}+6-6\\
&=0.
\end{align*}

y que
\begin{align*}
h\left(\frac{3}{2}\right) &= 2\cdot \frac{27}{8} – \frac{9}{4} + 12 \cdot \frac{3}{2}-6\\
&=\frac{27}{4}-\frac{9}{4}+18-6\\
&=\frac{9}{2}+12\\
&=\frac{33}{2}.
\end{align*}

Habiendo considerado todos los casos, llegamos a que la única raíz racional de $h(x)$ es $\frac{1}{2}$.

$\triangle$

Aplicación indirecta del criterio de la raíz racional

El criterio de la raíz racional lo podemos usar en algunos problemas, aunque en ellos no esté escrito un polinomio de manera explícita.

Problema. Muestra que $\sqrt[7]{13}$ no es un número racional.

Solución. Por definición, el número $\sqrt[7]{13}$ es el único real positivo $r$ que cumple que $r^7=13$. Se puede mostrar su existencia usando que la función $f:\mathbb{R}\to\mathbb{R}$ dada por $f(x)=x^7$ es continua, que $f(0)=0$, que $f(2)=128$, y aplicando el teorema del valor intermedio. Se puede mostrar su unicidad mostrando que la función $f$ es estrictamente creciente en los reales positivos. Lo que tenemos que mostrar es que este número real no es racional.

Si consideramos el polinomio $p(x)=x^7-13$, tenemos que $p(r)=r^7-13=0$, de modo que $r$ es raíz de $p(x)$. Así, para terminar el problema, basta mostrar que $p(x)$ no tiene raíces racionales.

El polinomio $p(x)$ tiene coeficientes enteros, así que podemos aplicarle el criterio de la raíz racional. Una raíz racional tiene que ser de la forma $\frac{p}{q}$ con $p$ divisor de $-13$ y $q$ divisor de $1$.

Sin perder generalidad, $q>0$, así que $q=1$. De esta forma, los únicos candidatos a ser raíces racionales de $p(x)$ son $-13,-1,1,13$. Sin embargo, una verificación de cada una de estas posibilidades muestra que ninguna de ellas es raíz de $p(x)$. Por lo tanto, $p(x)$ no tiene raíces racionales, lo cual termina la solución del problema.

$\square$

Aplicación en polinomio con coeficientes racionales

A veces un polinomio tiene coeficientes racionales, por ejemplo, $$r(x)=\frac{x^3}{2}+\frac{x^2}{3}-4x-1.$$

A un polinomio con todos sus coeficientes en $\mathbb{Q}$ se les conoce como polinomio sobre los racionales y al conjunto de todos ellos se le denota $\mathbb{Q}[x]$. Para fines de encontrar raíces racionales, los polinomios en $\mathbb{Q}[x]$ y los polinomios en $\mathbb{Z}[x]$ son muy parecidos.

Si tenemos un polinomio $q(x)$ en $\mathbb{Q}[x]$, basta con multiplicar por el mínimo común múltiplo de los denominadores de los coeficientes para obtener un polinomio $p(x)$ con coeficientes enteros. Como $q(x)$ y $p(x)$ varían sólo por un factor no cero, entonces tienen las mismas raíces. Por ejemplo, el polinomio $r(x)$ de arriba tiene las mismas raíces que el polinomio $$s(x)=6r(x)=3x^3+2x^2-24x-6.$$ A este nuevo polinomio se le puede aplicar el criterio de la raíz racional para encontrar todas sus raíces racionales.

Ejemplo. Consideremos el polinomio $$q(x)=x^3+\frac{x^2}{3}+5x+\frac{5}{3}.$$ Vamos a encontrar todos los candidatos a raíces racionales. Para ello, notamos que $q(x)$ y $p(x):=3q(x)$ varían sólo por un factor multiplicativo no nulo y por lo tanto tienen las mismas raíces. El polinomio $$p(x)=3x^3+x^2+15x+5$$ tiene coeficientes enteros, así que los candidatos a raíces racionales son de la forma $\frac{a}{b}$ con $a$ y $b$ primos relativos, $a\mid 5$ y $b\mid 3$. Sin pérdida de generalidad $b>0$.

Los divisores de $5$ son $-5,-1,1,5$. Los divisores positivos de $3$ son $1$ y $3$. De esta forma, los candidatos a raíces racionales son $$-5,-1,1,5,-\frac{5}{3},-\frac{1}{3},\frac{1}{3},\frac{5}{3}.$$

Si ponemos un número positivo en $p(x)$, como sus coeficientes son todos positivos, tenemos que la evaluación sería positiva, así que podemos descartar estos casos. Sólo nos quedan los candidatos $$-5,-1,-\frac{5}{3},-\frac{1}{3}.$$

La evaluación en $-5$ da
\begin{align*}
-3\cdot 125 + 25 – 15\cdot 5 +5&=-375+25-75+5\\
&=-295,
\end{align*}

así que $-5$ no es raíz.

La evaluación en $-1$ da
\begin{align*}
-3+1-15+5=-12,
\end{align*}

así que $-1$ tampoco es raíz.

Como tarea moral, queda verificar que $-\frac{5}{3}$ tampoco es raíz, pero que $-\frac{1}{3}$ sí lo es.

$\triangle$

Más adelante

Hemos visto como podemos encontrar algunas raíces de los polinomios con coeficientes en $\mathbb{Q}$, esta herramienta es extremadamente fuerte, porque aún encontrando solo una raíz para el polinomios, usando el teorema del factor, podemos cambiar nuestro polinomio por uno de al menos un grado menor.

La importancia de disminuir el grado de un polinomio, es que si logramos reducirlo a un polinomio de grado cuatro, entonces podremos encontrar todas las raíces, aunque estas pueden ser un poco complicadas.

El justificar la aseveración anterior, requiere esfuerzo, y será nuestra siguiente tarea, dar todas las soluciones a cualquier polinomio de grado menor o igual $4$.

Por lo mientras, para practicar los temas vistos, en la siguiente sección repasaremos algunos ejercicios para familiarizarnos con las técnicas que hemos visto.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Realiza las evaluaciones que faltan en el último ejemplo.
Determina las raíces racionales del polinomio $$x^7-6x^4+3x^3+18x-1.$$
Muestra que $\sqrt[3]{12}$ no es un número racional.
Encuentra todos los candidatos a ser raíces racionales de $$x^3+\frac{2x^2}{3}-7x-\frac{14}{3}.$$ Determina cuáles sí son raíces.
Puede que un polinomio en $\mathbb{Z}[x]$ no tenga raíces racionales, pero que sí se pueda factorizar en $\mathbb{Z}[x]$. Investiga acerca del criterio de irreducibilidad de Eisenstein.

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: El teorema de derivadas de polinomios y multiplicidad
Entrada siguiente del curso: Multiplicidad de raíces de polinomios

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: El teorema de derivadas y multiplicidad

Por Leonardo Ignacio Martínez Sandoval

2 respuestas

Introducción

En entradas anteriores definimos qué quiere decir que un real sea una raíz de un polinomio. Luego, vimos que mediante el teorema del factor se puede definir una relación entre las raíces de un polinomio y los polinomios lineales que lo dividen. Sin embargo, es posible que un real sea una raíz de un polinomio «más de una vez», que fue un concepto que formalizamos en la entrada de desigualdades de polinomios. En esta entrada veremos que a través de las derivadas de polinomios, podemos determinar la multiplicidad de sus raíces.

Como recordatorio, la multiplicidad de una raíz $r$ de un polinomio $p(x)$ en $\mathbb{R}[x]$ es el mayor entero $m$ tal que $(x-r)^m$ divide a $p(x)$ en $\mathbb{R}[x]$. También, en esta entrada haremos uso de la regla del producto para derivadas.

El teorema de derivadas y multiplicidad

El siguiente resultado es fundamental para la detección de raíces múltiples. Su demostración es sencilla pues usamos varios de los resultados que hemos obtenido anteriormente.

Teorema (derivadas y multiplicidad). Sea $r$ una raíz del polinomio $p(x)$ en $\mathbb{R}[x]$ de multiplicidad $m$. Si $m>1$, entonces $r$ es una raíz de la derivada $p'(x)$, y es de multiplicidad $m-1$. Si $m=1$, entonces $r$ no es raíz de $p'(x)$.

Demostración. Como $r$ es una raíz de $p(x)$ de multiplicidad $m$, entonces se puede escribir $p(x)=(x-r)^m q(x)$, en donde $q(x)$ es un polinomio que ya no es divisible entre $x-r$. Derivando, por regla del producto tenemos que
\begin{align*}
p'(x)&=m(x-r)^{m-1}q(x) + (x-r)^m q'(x)\\
&=(x-r)^{m-1}(mq(x)+(x-r)q'(x)).
\end{align*}

Afirmamos que $x-r$ no divide a $mq(x)+(x-r)q'(x)$. Si lo dividiera, como divide a $(x-r)q'(x)$ entonces también tendría que dividir a $mq(x)$ y por lo tanto a $q(x)$. Pero esto sería una contradicción con la elección de $q(x)$.

De esta forma, si $m=1$ entonces $x-r$ no divide a $p'(x)$ y por el teorema del factor entonces $r$ no es raíz de $p'(x)$. Y si $m>1$, entonces $(x-r)^{m-1}$ divide a $p'(x)$ por la expresión que encontramos de la derivada, pero $(x-r)^m$ no, pues $x-r$ no divide al segundo factor. Esto termina la prueba.

$\square$

Ejemplo. Consideremos al polinomio $p(x)=(x-3)^3(x+1)$. Tanto $3$ como $-1$ son raíces de $p(x)$. La multiplicidad de la raíz $3$ es tres y la multiplicidad de la raíz $-1$ es uno. Si derivamos a $p(x)$ usando la regla del producto, tenemos que
\begin{align*}
p'(x)&=3(x-3)^2(x+1)+(x-3)^3\\
&=(x-3)^2(3x+3+x-3)\\
&=4x(x-3)^2
\end{align*}

Observa que $p'(x)$ en efecto tiene a $3$ como raíz de multiplicidad dos y ya no tiene a $-1$ como raíz.

$\triangle$

Es muy importante respetar la hipótesis de que $r$ sea raíz de $p(x)$. Por ejemplo, en el ejemplo anterior $1$ es raíz de $p'(x)$ de multiplicidad $1$, pero $1$ no es raíz de $p(x)$ (y mucho menos de multiplicidad $2$).

El teorema de derivadas y multiplicidad es interesante, pero todavía no es útil en aplicaciones prácticas. Sin embargo, tiene dos consecuencias que sí se pueden usar para estudiar polinomios concretos.

Encontrar la multiplicidad de una raíz

El teorema de derivadas y multiplicidad nos dice que la multiplicidad de una raíz «baja en uno» al pasar de un polinomio a su derivada, pero aún no nos dice cuál es esa multiplicidad. Sin embargo, lo podemos aplicar repetidamente para obtener esta información. Recuerda que para $k$ un entero no negativo y $p(x)$ en $\mathbb{R}[x]$, usamos $p^{(k)}(x)$ para denotar $k$-ésima derivada de un polinomio. Aquí $p^{(0)}(x)$ es simplemente $p(x)$.

Proposición. Sea $r$ una raíz del polinomio $p(x)$ en $\mathbb{R}[x]$ de multiplicidad $m$. Si $k$ el mayor entero positivo tal que $r$ es raíz de $$p^{(0)}(x), p^{(1)}(x),\ldots,p^{(k)}(x),$$ entonces $m=k+1$.

Demostración. Usando el teorema anterior de manera inductiva, tenemos que para cada entero $0\leq \ell<m$, se tiene que $r$ es raíz de multiplicidad $m-\ell$ de $p^{(\ell)}(x)$ En particular, es raíz de todas estas derivadas. Además, por el mismo teorema, se tiene que $r$ ya no es raíz de $p^{(m)}(x)$. De esta forma, tenemos que $k=m-1$, de donde se obtiene el resultado deseado.

$\square$

La proposición anterior ahora sí nos da una manera de encontrar la multiplicidad de una raíz de un polinomio.

Ejemplo. Sabiendo que $3$ es una raíz del polinomio $$p(x)=x^5-9x^4+28x^3-36x^2+27x-27,$$ vamos a encontrar su multiplicidad.

Para esto, vamos a calcular sus derivadas:
\begin{align*}
p'(x)&=5x^4-36x^3+84x^2-72x+27\\
p^{(2)}(x)&=20x^3-108x^2+168x-72\\
p^{(3)}(x)&=60x^2-216x+168\\
p^{(4)}(x)&=120x-216\\
p^{(5)}(x)&=120\\
p^{(6)}(x)&=0
\end{align*}

Tenemos que
\begin{align*}
p'(3)&=5\cdot 81 – 36 \cdot 27 +84 \cdot 9 -72\cdot 3 + 27\\
&=405-972+756-216+27\\
&=0.
\end{align*}

Hasta aquí, sabemos que $3$ es raíz de multiplicidad al menos dos. Tenemos también que
\begin{align*}
p^{(2)}(3)&=20\cdot 27-108\cdot 9 +168 \cdot 3 – 72\\
&=540-972+504-72\\
&=0.
\end{align*}

Hasta aquí, sabemos que $3$ es raíz de multiplicidad al menos tres. Siguiendo,
\begin{align*}
p^{(3)}&=60\cdot 9-216\cdot 3 +168\\
&=720-648+168\\
&=240.
\end{align*}

Como la tercera derivada ya no se anuló en $3$, la multiplicidad de $3$ como raíz es exactamente tres.

$\triangle$

Es importante que revisemos todas las derivadas, y que sea una por una. En el ejemplo anterior, $p^{(6)}(3)=0$, pero eso no quiere decir que $3$ sea raíz de multiplicidad $7$, pues la evaluación falla desde la tercera derivada.

Simplificar un polinomio para encontrarle sus raíces

Hay otra consecuencia práctica del teorema de multiplicidades y derivadas, que puede ser de utilidad en algunos problemas. Recuerda que para polinomios $p(x)$ y $q(x)$ en $\mathbb{R}[x]$ usamos $\MCD{p(x),q(x)}$ para denotar al máximo común divisor de dos polinomios. En particular, divide a $p(x)$ en $\mathbb{R}[x]$, de modo que $$\frac{p(x)}{\MCD{p(x),q(x)}}$$ es un polinomio en $\mathbb{R}[x]$.

Proposición. Sea $p(x)$ un polinomio en $\mathbb{R}[x]$ y $p'(x)$ su derivada. El polinomio $$q(x):=\frac{p(x)}{\MCD{p(x),p'(x)}}$$ es un polinomio en $\mathbb{R}[x]$, con las mismas raíces reales que $p(x)$, pero todas ellas tienen multiplicidad $1$.

Demostración. Factoricemos a todas las raíces reales de $p(x)$ con sus multiplicidades correspondientes para escribir $$p(x)=(x-r_1)^{m_1}\cdot \ldots \cdot (x-r_n)^{m_n} r(x),$$ en donde $r(x)$ ya no tiene raíces reales. De acuerdo al teorema de derivadas y multiplicidad, podemos escribir $$p'(x)=(x-r_1)^{m_1-1}\cdot \ldots \cdot (x-r_n)^{m_n-1} s(x),$$ en donde ningún $x-r_i$ divide a $s(x)$. Es sencillo entonces mostrar, y queda como tarea moral, que $\MCD{p(x),p'(x)}$ es $$(x-r_1)^{m_1-1}\cdot \ldots \cdot (x-r_n) \cdot \MCD{r(x),s(x)}.$$

A partir de esto, concluimos que
\begin{align*}
q(x)&=\frac{p(x)}{\MCD{p(x),p'(x)}}\\
&= (x-r_1)\cdot \ldots \cdot (x-r_n) \cdot \frac{r(x)}{\MCD{r(x),s(x)}}.
\end{align*}

De aquí se ve que $r_1,\ldots,r_n$ son raíces de multiplicidad $1$ de $q(x)$. No hay más raíces reales en $\frac{r(x)}{\MCD{r(x),s(x)}}$, pues si hubiera una raíz $\alpha$, entonces por el teorema del factor $x-\alpha$ dividiría a este polinomio, y por lo tanto a $r(x)$, de donde $\alpha$ sería raíz de $r(x)$, una contradicción.

$\square$

La proposición anterior se puede usar de manera práctica como sigue:

Para empezar, tomamos un polinomio arbitrario $p(x)$.
Luego, lo derivamos para obtener $p'(x)$.
Después, usando el algoritmo de Euclides, encontramos al polinomio $\MCD{p(x),q(x)}$.
Ya con el máximo común divisor, hacemos división polinomial para encontrar $q(x)=\frac{p(x)}{\MCD{p(x),q(x)}}$.
Si $p(x)$ tenía raíces repetidas, entonces ahora $q(x)$ será de grado menor, y quizás más fácil de estudiar. Encontramos las raíces de $q(x)$. Estas son las raíces de $f(x)$.
Finalmente, usamos el teorema de la sección anterior para encontrar la multiplicidad de cada raíz.

Veamos un problema interesante en el que se conjuntan varias ideas de esta entrada.

Problema. Factoriza en $\mathbb{R}[x]$ al polinomio $$-x^5+5x^4+5x^3-45x^2+108.$$

Solución. Este es un polinomio de grado cinco, para el cual hasta antes de ahora no teníamos muchas herramientas para estudiarlo. Vamos a aplicar el método explicado arriba. Lo primero que haremos es factorizar un $-1$ para volver este polinomio mónico. Recordaremos poner este signo al final. Tomemos entonces $$p(x)=x^5-5x^4-5x^3+45x^2-108.$$ Su derivada es $$p'(x)=5x^4-20x^3+15x^2+90x,$$

Se puede verificar, y queda como tarea moral, que el máximo común divisor de $p(x)$ y $p'(x)$ es el polinomio $$M(x)=x^3-4x^2-3x+18.$$ Haciendo la división polinomial, tenemos que $$\frac{p(x)}{M(x)}=x^2-x-6=(x+2)(x-3).$$ Como este polinomio tiene las mismas raíces que $p(x)$, concluimos que $-2$ y $3$ son las raíces de $p(x)$.

Usando la proposición para multiplicidades de raíces (que también queda como tarea moral), se puede verificar que $-2$ es raíz de multiplicidad dos y que $3$ es raíz de multiplicidad $3$. Como $p(x)$ es un polinomio de grado $5$ y es mónico, entonces se debe de dar la igualdad $$p(x)=(x+2)^2(x-3)^3.$$

Al regresar al polinomio original, debemos agregar un signo menos. Concluimos que la factorización del polinomio del problema es $$-(x+2)^2(x-3)^3.$$

$\triangle$

Esta proposición nos da una manera de encontrar raíces. En las siguientes dos entradas veremos otras dos formas de encontrarlas. Para cuando los polinomios son de grado $3$ y $4$, podemos encontrar las raíces de manera explícita. Para cuando los polinomios tienen coeficientes enteros, podemos encontrar una cantidad finita de candidatos a ser raíces racionales.

Más adelante…

En esta entrada dimos varias herramientas para encontrar las raíces de un polinomio y por lo tanto, para poder factorizar los polinomios, nota que estas entradas dependieron fuertemente del uso del cálculo, y del concepto de la derivada. Sin embargo, regresaremos una última vez al terreno algebraico para poder dar más formas de poder encontrar raíces de un polinomio.

Sin embargo, en las entradas siguientes, pondremos a prueba todo lo aprendido en el curso, desde las propiedades de la teoría de los números enteros, hasta la de los números complejos, y obviamente seguiremos ocupando los teoremas que hemos desarrollado en esta sección de polinomios.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

Verifica que $1$ es raíz del polinomio $$x^8-x^7-9x^6+19x^5+5x^4-51x^3+61x^2-31x+6$$ y encuentra su multiplicidad.
En la demostración de la última proposición, muestra la igualdad $$\MCD{p(x),p'(x)}=(x-r_1)^{m_1-1}\cdot \ldots \cdot (x-r_n) \MCD{r(x),s(x)}.$$
En el último ejemplo, aplica el algoritmo de Euclides a $p(x)$ y $p'(x)$ para mostrar que el máximo común divisor es el que se afirma.
Aplica la proposición de multiplicidad de raíces en el último ejemplo para verificar que en efecto las multiplicidades de $2$ y $3$ son las que se afirman.
Aplica el mismo método que en la última sección para factorizar el polinomio $$x^6+8x^5+18x^4-4x^3-47x^2-12x+36.$$

Entradas relacionadas

Ir a: Álgebra Superior II
Entrada anterior del curso: La continuidad de funciones polinomiales
Entrada siguiente del curso: El criterio de la raíz racional para polinomios de coeficientes enteros

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»