Teorema del ngulo Inscrito:

En toda circunferencia el ngulo del centro es el doble del ngulo inscrito que
subtiende el mismo arco.
DEMOSTRACION:
Hiptesis (Datos): Trazo OA = Trazo OB = Trazo OD (son radios)
Tesis (Lo que hay que demostrar): Medida ngulo AOB = 2 Medida ngulo
ACB

Demostracin (secuenciamiento lgico para probar la tesis):

Marcamos los ngulos 1, 2, 3, 4. Pero ngulo 1 = ngulo 2, pues forman parte
de un tringulo issceles, formado por dos radios OA y OC. Pero ngulo 3 =
ngulo 4, pues forman parte de un tringulo issceles formado por dos radios
OB y OC.
ngulo AOD = ngulo 1 + ngulo 2
ngulo DOB = ngulo 3 + ngulo 4 , Sumando estas dos ecuaciones:
ngulo AOD + ngulo DOB = ngulo 1 + gulo 2 + ngulo 3 + ngulo 4
ngulo AOB = 2 ngulo 1 + 2 gulo 3 = 2 (ngulo 1 + gulo 3)

ngulo AOB = 2 ngulo ACB

Que nooooo, que el quinto postulado no es independieeeeente

El quinto postulado de la geometra eucldea, el conocido postulado de las
paralelas, afirma (utilizando una de sus versiones ms sencillas) que a partir
de una recta y un punto exterior a la misma slo puede trazarse una nica
recta paralela a la dada que pase por dicho punto. Est demostrado que ese
postulado es independiente de los otros cuatro y que tanto tomndolo como
cierto como tomando cualquiera de los dos enunciados que obtendramos
negndolo obtenemos geometras consistentes.
Seguro? Vamos a demostrar el siguiente teorema:
Teorema:
El postulado eucldeo de las paralelas puede ser demostrado a partir
de los restantes axiomas de la geometra eucldea.
Demostracin:
En la figura adjunta tenemos un grfico de la demostracin. La recta de la que
partimos es la recta
y el punto dado es . Trazamos desde
una
perpendicular a
(puede construirse sin utilizar el postulado de las paralelas
que slo puede construirse una perpendicular como sta), obteniendo as el
punto . Por el punto trazamos la recta
, perpendicular a
(tambin
nica, por lo dicho anteriormente).
El teorema que afirma que dos rectas
perpendiculares a una dada son paralelas
puede demostrarse sin necesidad de utilizar el
postulado de las paralelas, por lo que las
rectas
y
son paralelas.
Queda demostrado entonces el postulado de
las paralelas.
perpendiculares
Con este ltimo resultado se demostraba que el quinto postulado de la
geometra eucldea no era independiente de los otros cuatro.
La demostracin planteada para este controvertido problema es perfectamente
vlida en el sentido de que por
puede construirse una recta que sea paralela
a
, pero no demuestra que dicha paralela sea nica. Hay otros muchos
mtodos para construir una paralela a la recta dada que pase por , pero
nuestra demostracin no garantiza que todas esas paralelas sean la
misma recta.

De hecho, por poner un ejemplo, en geometra hiperblica pueden trazarse

por infinitas paralelas. Dicha posibilidad slo puede descartarse aplicando el
quinto postulado o alguno equivalente a l.