1. Demuéstrese que no existen más que cinco sólidos regulares.

R//
Demostremos que solo existen 5 solidos regulares o también llamado 5 poliedros
regulares y que son convexo, de las cuales cumplen estas condiciones para poder
llamarse poliedros, que, C= al números de caras, n = número de lados de cada cara, y
este debe ser 6> n≥ 3, V= al número de vértices, A= al número de aristas y m= al número
de aristas concurrentes en un vértice, con m ≥ 3.
Algunas propiedades de los polígonos regulares y que son convexo son la siguientes:
nC = 2A, ya que cada arista es común a dos caras.
mV = 2A, ya que cada arista es común a dos vértices.
De la cual podemos sacar dos ecuaciones que nos ayudaran a demostrar lo querido,
estas son:
nC = mV
nC
A= (1).
2
nC
V= (2).
m
Usaremos el teorema de Euler de la cual dice, Dado un poliedro convexo, la suma del
número C de caras más el número V de vértices excede en dos unidades al número A de
aristas, dando la siguiente formula:

C+V = A+2 (3).

Esta última ecuación será clave, ya que esta es la que me ayudara a demostrar cuantos
poliedros pueden existir cumpliendo las anteriores condiciones, porque me dará la
cantidad de caras a medida que voy reemplazando los valores posibles para un poliedro y
estas mismas caras son las que me determinan lo anterior dicho.
Reemplazando la ecuaciones (1) y (2) en (3) obtenemos lo siguiente:
nC nC
C+ = +2
m 2
Despejando C nos queda que.
4m
C= (4).
2m+2 n−mn
Ahora sabiendo que, 6> n≥ 3 y que m ≥ 3 de lo planteado anteriormente, podemos evaluar
la formula (4) para saber los valores que hacen posibles dicha fórmula y también saber
cuántos poliedros son posibles de construir, como se quiere demostrar.
Bien sabemos que n solo puede tener los valores de, 3, 4 y 5 por cómo está definida, y
así solo teniéndose 3 casos, ahora reemplazando valores en la ecuación (4), Tenemos lo
siguiente:
Caso: 1 cuando n=3
Cuando, n=3 y m=3.

4 (3) 12 12
C=
2(3)+ 2(3)−(3)(3)
= =
12−9 3
=4

C=4 y esto es un tetraedro.

Cuando, n=3 y m=4.

4(4) 16 16
C= = =
2(4)+2( 3)−( 4)(3) 14−12 2
=8
C=8 y esto es un octaedro.
Cuando, n=3 y m=5

4 (5) 20 20
C=
2(5)+ 2(3)−(5)(3)
= 16−15 = 1
= 20

C=20 y esto es un icosaedro.

Cuando, n=3 y m=6

4 (6) 24 24
C=
2(6)+2(3)−(6)(3)
= 18−18
= 0
= No existe.

A partir de acá, cuando le seguimos dando valores a m ya sea 7, 8, 9…, ∞ . El resultado

dará negativo, y esto no puede darse ya que se trata de planos geométricos, por ende,
acá termina el caso 1, en el caso 2 tenemos que:

Caso: 2 cuando n=4

Cuando, n=4 y m=3

4 (3) 12 12
C=
2(3)+ 2(4)−(3)(4)
= 14−12
= 2
=6
C=6 y esto es un cubo o hexaedro.

Cuando, n=4 y m=4

 4(4) 16 16
C=
2(4)+2(4)−(4)(4)
= 16−16
= 0
= No existe.
A partir de acá, cuando seguimos dando valores a m ya sea 5, 6, 7…,∞ . El resultado dará
negativo, y esto no puede darse ya que se trata de planos geométricos, por ende, acá
termina el caso 2, en el caso 3 y ultimo tenemos que:
Caso: 3 cuando n=5
Cuando n=5 y m=3

4 (3) 12 12
C=
2(3)+ 2(5)−(3)(5)
= 16−15
= 1
= 12
C=12 y esto es dodecaedro.
Cuando n=5 y m=4

4( 4) 16
C=
2(4)+2(5)−( 4)(5)
= 18−20
= −16
2
= -8 y esto no puede darse.
A partir de acá, cuando seguimos dando valores a m ya sea 5,6,7…,∞ . El resultado dará
negativo, y esto no puede darse ya que se trata de planos geométricos, por ende, acá
termina el caso 3 y último.
Es importante aclarar que solo se pueden dar esos 3 caso con esos únicos 5 resultados,
ya que si n=6,7,8,9….,∞ igual que con m=3,4,5,6….,∞ , los resultados darán negativos o
que simplemente no existen.
Así, queda demostrado que solo existe 5 solidos regulares de los cuales son, el
tetraedro, el cubo, el dodecaedro, el octaedro y el icosaedro.∎
2. Demuéstrese que √ 3es irracional.
R//.
Esta demostración lo haremos por contradicción.

Como lo haremos por contradicción supondremos que √ 3 es racional, Es decir, Existe un

a y b en los enteros con b≠ 0 , tal que son coprimos, esto significa que no tienen ningún
factor primo en común. Dicho de otra manera, no tienen otro divisor común más que 1, y
lo escribiremos de la siguiente manera de cómo está definido un numero racional.
a
√3 =b (1)

Elevábamos al cuadrado a los dos lados para desaparecer la raíz cuadrada.

a2
3= 2
b

despejando a se obtiene que, 3b =a 2. (2)

2 2

Se puede apreciar que a 2 es un múltiplo de 3 por como este esta igualado, ahora bien,
como a 2 es multiplico de 3 entonces, a también debe ser múltiplo de 3, así podemos
escribir a = 3k con k en los enteros.
Reemplazando en la ecuación anterior (2).

3b 2 =(3 k ) 2 = 3b 2 =9 k 2 y esto simplificando seria, b

2
=3 k 2
De donde se puede obtener que b 2 es también múltiplo de 3, entonces b también debe ser
múltiplo de 3, así los podemos escribir b=3p con p en los enteros.

Reemplazando en la ecuación (1).

3k
√3 =3 p

De esta ecuación se puede observar que hay una contradicción puesto que se había
dicho que a y b eran coprimos, es decir no tienen divisor común más que 1, pero pudimos
llegar a que si hay otro divisor común y es el 3.

Así, √ 3 no puede ser racional, es decir √ 3 es irracional como se quería demostrar.∎

3. Realice una explicación detallada del proceso de duplicación del cubo por Menecmo.
R//.
Menecmo usaba las curvas en los planos para encontrar esa duplicación del cubo,
también utilizaba las propiedades de la hipérbola rectangular y la parábola para resolver el
problema de la duplicación del cubo.
Si situamos en un sistema de coordenadas:

a
.Una parábola con función en la recta : y 2 = x . (1)
2

.una hipérbola con función en la recta: xy=a 2 . (2)

Entonces el punto de intersección tendrá por coordenadas:

X = a√
3
2
a
y=
√2
3

Luego la coordenada x será la arista del cubo de volumen doble buscado.∎