Estructuras Alagebraicas

Sesiones Nov 2 y 3
Números algebraicos y números constructibles con regla y compás

Números constructibles
Un número real es constructible si es un número que ¨se puede construir¨ con
regla y compás, esto es, construir un segmento con regla y compás cuya longitud
sea el número dado.
Ejemplos
(i) Todos los números enteros positivos son constructibles
Si el segmento
A B
representa el segmento unidad de longitud entonces la copia sin sobreposición y
uno a continuación del otro de n de estos segmentos sobre una recta l representa
al entero n
En efecto, A BA B
C D
El segmento CD representa al entero 2
La congruencia de los distintos segmentos AB está basada en la construcción
con el compas y la recta ciertamente con la regla

(ii) Todos los números racionales son números constructibles. En particular,

1
el racional 𝑛
P’’
P’

A A’ A’’ B

Para n = 3.
Si AB representa al segmento unidad y todos los segmentos AP, PP’. P’P’’ son
segmentos congruentes entonces los segmento AA’ , A’A’’ y A’’B también son
congruentes cuando las rectas A’P, A’’P’ y BP’’ son rectas paralelas entre si.
1
Esto significa que el dibujo muestra la construcción del número racional 3 .

(ii) √𝒓𝒔 , donde r y s son números racionales positivos. es un número

constructible.

Con regla y compás podemos construir un triángulo rectángulo de

hipotenusa de longitud r + s

A r D O s B

(Teorema de Euclides) La altura h del triángulo rectángulo ABC tiene la

propiedad 𝒉𝟐 = r s

Propiedades del conjunto de los números constructibles

La suma, la diferencia, el producto y el cociente de dos números constructibles
son también números constructibles, y, por lo tanto, el conjunto de los números
algebraicos tiene la estructura de cuerpo cuando se toma en cuenta la orientación
de los segmentos que produce segmentos positivos y segmentos negativos. Para
ello es importante recordar el teorema de Thales de la geometría euclideana..

Teorema de Thales. Si los lados de un ángulo son cortados por un par de

paralelas entonces los segmentos determinados son proporcionales entre si y
recíprocamente.
D

C
O
A B
Si los segmentos OA = a y AB = b son segmentos constructibles y el
segmento OC es el segmento unidad entonces el teorema de Tales implica que
𝑏
el segmento CD representa al segmento 𝑎 Ahora si OA = a y OC es el
segmento unidad y CD el segmento b entonces el segmento AB representa al
segmento a b.

Puntos del plano y la geometría analítica

Si las coordenadas (a, b) de un punto de un plano cartesiano son números

constructibles, ciertamente podemos hablar de un punto del plano como punto
constructible (es decir, obtenido usando la regla y el compás) y viceversa.
Por otra parte, la ecuación de los puntos (x, y) obtenidos al dibujar una
circunferencia de radio (un segmento) de longitud constructible y un centro
constructible está dada por una ecuación del tipo (𝑥 − 𝑎)2 + (𝑦 − 𝑏)2 = 𝑟 2
Por otra parte, los puntos de una recta que pasa por dos puntos de coordenadas
(en este caso) números constructibles, digamos (a, b) y (c, d) tienen como
𝑥−𝑎 𝑎−𝑐
coordenadas (x, y) números tales que 𝑦−𝑏 = 𝑏−𝑑 para b ≠ 𝑑

Los puntos de intersección de estas figuras entre si tienen coordenadas números

obtenidos por cálculo de raíces cuadradas de números constructibles, nunca por
ejemplo, aparece una raíz cúbica de números
Por ejemplo, la circunferencia de centro (0, 0) y radio 2 intersecta a la recta de
ecuación x + y = 1 en los puntos P y Q de coordenadas, obtenidas del sistema
𝑥2 + 𝑦2 = 4
{
𝑥+𝑦 = 1
P
1

1 2

1−√7 1+√7 1+√7 1−√7

P( , ), Q( , )
2 2 2 2
Números algebraicos
Un número real se dice un número algebraico si es solución de una ecuación
algebraica de la forma:
𝒂𝒏 𝒙𝒏 + 𝒂𝒏−𝟏 𝒙𝒏−𝟏 + … + 𝒂𝟎 = 0
donde: (i) n ≥ 𝟏 es es el grado del polinomio
(ii) los coeficientes del polinomio son todos números racionales.
Se dice que un número algebraico es de grado n si es raíz de una ecuación
algebraica de grado n pero no lo es de una ecuación algebraica de grado menor.

Ejemplos
(i) Todos los números racionales son algebraicos ya que todo racional de la
𝑚
forma 𝑛 es solución de una ecuación de la forma n x - m
𝐧
(ii) √𝐫 donde r es un número entero es un número algebraico; 𝒙𝒏 - r

(iii) Los números constructibles son algebraicos.

Propiedades del conjunto de los números algebraicos

Sea a un número algebraico de grado n; entonces la colección de todos los

números reales de la forma 𝜶𝒏−𝟏 𝒂𝒏−𝟏 + … + 𝜶𝟎 cuando 𝜶𝒊 , i = 0, 1, 2, …, n-1,
recorre el conjunto Q de los números racionales es un espacio vectorial sobre
los números racionales de dimensión n.
Una base de este espacio vectorial sobre los racionales es el conjunto de
números { 1, α, 𝒂𝟐 , …. , 𝒂𝒏−𝟏 }

Ejemplo
Considerar el número algebraico √2, entonces la colección de números reales de
la forma α + b √2, cuando a y b recorren el conjunto de números racionales
tiene la estructura de un espacio vectorial de dimensión 2 sobre el cuerpo de los
números racionales.
Más aún, (α + b √2 )(α’ + b’ √2 ) = (a a’ + 2 b b’) + (a b’ + b a’) √2, es decir el
conjunto es cerrado para la multiplicación de sus elementos. Como el
1 𝑎 𝑏
número 𝛂 + 𝐛 = 𝑎2 − 2 𝑏2 - 𝑎2 − 2 𝑏2 √2 podemos afirmar que el conjunto
√2
es cerrado para las divisiones y así podemos decir que tiene estructura de cuerpo
.
.
Ejercicios
1. Dado el número a que sabemos es constructible ¿podemos afirmar
que los números 𝒂𝟐 , 𝒂𝟒 , … , 𝒂𝟐𝒏 son números constructibles para
cualquier entero n positivo? Justifique su respuesta. ¿qué puede
afirmar sobre la constructibilidad de los números obtenidos para n
entero negativo?
2. Si a es un número constructible ¿podemos afirmar que cualquier
número obtenido ¨cómo polinomio en a¨ cuyos coeficientes son
números racionales es un número constructible? O más aún, si los
coeficientes de ese polinomio son números constructibles.
3. (i) Determine un polinomio con coeficientes racionales que admite a
3
√2 + √3
(ii) Determine un polinomio con coeficientes racionales que admite
3
a √2 - √3
(iii) Determine un polinomio con coeficientes racionales que admite
3 3
a (√2 + √3 ) (√2 - √3 )
4. En un plano cartesiano considere la circunferencia C de centro
(1, 2) y radio 3 y la recta que pasa por los puntos (2, √3) y (0, 1)
Determine puntos cuyas coordenadas son números algebraicos y
están en ambas figuras geométricas.
5. Demuestre que si un número real es raíz de un polinomio con
coeficientes racionales entonces él es raíz de un polinomio con
coeficientes enteros.
6. Si a ≠ 0 es raíz de un polinomio p(x) de grado n ¿podemos afirmar
1
que también es raíz de un polinomio de grado n?
𝑎
7. Escriba un polinomio de menor grado posible que admita a los
números reales a y b como raíces.