ÁLGEBRA (MATEMÁTICAS)

TEMA 2: POLINOMIOS

Ejercicio 27. Un cuerpo de característica cero se llama pitagórico si toda suma de cuadrados de elementos
de K es de hecho el cuadrado de un elemento de K. Probar que esta condición es equivalente a la siguiente:
( ) Si un poliomio de grado 3, f K[T ], se descompone en K[T ] en producto de factores lineales, lo
mismo ocurre con su derivada f .
T

Solución:

Vamos a expresar la condición ( ) con otra equivalente. Tomemos un polinomio f de K[T ] que se
descompone en producto de factores lineales. Esto es

f  k(T  a )(T  b )(T  c ) , con k K 0

Desarrollamos los productos del polinomio para proceder con su derivación. Tenemos que

f  k ( T 3  (a  b  c )T 2  (ab  bc  ac )T  abc )

f  k ( 3T 2  2(a  b  c )T  ab  bc  ac )
T

Dicho polinomio se expresará como producto de factores lineales si y sólo si el polinomio

3T 2  2(a  b  c )T  ab  bc  ac

tiene raíces en K . Esto, a su vez, ocurrirá si y sólo si el discriminante de dicho polinomio es un cuadrado en
K . Calculemos dicho discriminante, el cual llamaremos (a, b, c )

(a, b, c )  (2(a  b  c )) 2  4 3 (ab  bc  ac )  4(a 2  b 2  c 2  2ab  2bc  2ac )  12(ab  bc  ac ) 

 4(a 2  b 2  c 2  ab  bc  ac )

Y, como 4 es un cuadrado en K , dicho discriminante será un cuadrado en K si y sólo si lo es

(a, b, c )  a 2  b 2  c 2  ab  bc  ac

Por tanto, la condición ( ) equivale a la siguiente condición: para cualesquiera a, b, c K se tiene que
(a, b, c ) es un cuadrado en K .

Supongamos ahora que K es pitagórico. Entonces, tenemos que 2  1  1  1 2  1 2  x 2 para cierto x K.

Cuando c  0 , tenemos que
2 2 2 2 2 2
ab  ax
2
 bx  a  b  2 ab  a  b  a 2  b 2  ab  (a, b, 0 )  (a, b, c )
x x 2 2 2 2 2

Y, evidentemente, (a, b, c ) es un cuadrado en K porque es una suma de cuadrados en K y hemos

supuesto que el cuerpo es pitagórico.

Cuando c 0 tenemos que

 ÁLGEBRA (MATEMÁTICAS)
TEMA 2: POLINOMIOS

(a, b, c ) a 2  b 2  c 2  ab  bc  ac 2
 ac  bc 1 a b  b  a
2
 c c c
c2 c2 b

Llamando ahora d  ac , e  bc , tenemos que

2 2 2
d1  ex  1x  dx  ex 
x x
2 2 2 2
 d  1  d  e  1  e  d  e  de  d 2  e 2  1  de  e  d 
2 2 2 2 2 2
2 (a, b, c )
 ac  bc 1 a b  b  a 
2
b c c c c2

(a, b, c )
Y, por tanto, es un cuadrado en K por ser suma de cuadrados en K . De esto se deduce que
c2
(a, b, c ) es un cuadrado en K . Con esto queda probado que si K es pitagórico, entonces se verifica la
condición ( ) .

Supongamos ahora que se verifica la condición ( ) . Entonces, por lo que probamos al principio del
ejercicio, se verificará que (a, b, c ) es un cuadrado para cualesquiera a, b, c K . Tenemos entonces que
existe un y K tal que

y2  (1, 2, 3 )  1 1  2 2  3 2  1 2  2 3  1 3  1  4  9  2  6  3  3

Por tanto, existe y K tal que y 2  3 , es decir, 3 es un cuadrado en K . Entonces se tiene para todo
u, v K que
2 2 2
u, vy ,  vy  u 2  v  v  u vy  v  u vy  u 2  v 2
3 3 3

Y se tiene entonces que u 2  v 2  u, vy ,  vy que es un cuadrado en K por hipótesis. Por tanto, K es

pitagórico.

Queda así probada la equivalencia del enunciado.