Академический Документы
Профессиональный Документы
Культура Документы
K.
Nos centraremos nicamente en las extensiones de la forma K=K(x), esto es, el
menor cuerpo que contenga a K ya x, siendo x un elemento que no pertenezca a K
(si perteneciese, entonces K(x)=K).
Denicin 3. Se dene el grado de una extensin K
Q. Entonces tenemos la
extensin Q (2, que ser de grado 2), pues cualquier elemento de este nuevo
cuerpo ser de la forma a +b2 con a, b
2=0. Luego la
extensin Q
Q (2) es de grado 2.
Asimismo, sabemos que i verica el polinomio irreducible en R, x
2
+1=0, luego la
extensin
R (i)=C es de grado dos tambin.
Existen extensiones de cualquier grado. Sin ir ms lejos, en 1882 Linderman
prob que es trascendente; esto es, no verica ningn polinomio con coecientes
racionales. Luego la extensin Q
n+1.
Ahora vamos a demostrar, por n, uno a uno la imposibilidad de los tres
Problemas Clsicos:
4.1. Triseccin de un ngulo arbitrario
Universidad Nacional Abierta
Didctica de la Geometra Seleccin de Lecturas
Distribucin Gratuita
46
Vamos a ver que no se puede trisecar el ngulo de 60
o
. Si fuese posible entonces
obtendramos el ngulo de 20
o
:
Es decir, podramos realizar la extensin Q
Q (cos20
o
). Pero teniendo en
cuenta la frmula trigonomtrica COS3A =4COS3A
Q (cos20
o
) es de grado 3, lo
cual contradice todos los razonamientos anteriores pues 3 no es potencia de 2.
4.2. Duplicacin de un cubo
Vamos a ver que no se puede duplicar el volumen de un cubo de lado 1.
Supongamos un cubo de lado 1, y por tanto volumen 1. Si se pudiese duplicar su
volumen obtendramos un segmento es tal que s
3
=2, esto es, s vericara el
polinomio irreducible x - 2= 0, que es irreducible. Por lo tanto la extensin Q
Q (s)
es de grado 3, y he aqu nuevamente la contradiccin.
4.3. Cuadratura del crculo
Construyamos un crculo de radio unidad. Su rea es . Si fusemos capaces
de construir un cuadrado de igual rea, su lado sera un segmento de longitud s tal
que s
2
=p. Luego habramos construido el nmero , y por tanto tambin
podramos construir (Teorema de Thales).Luego la extensin Q
Q () sera de
grado 2
t
, para cierto t