Teorema de Euclides

Euclides formul la primera demostracin en la proposicin 20 del libro IX de su

obra Elementos.
1
Una adaptacin comn de esta demostracin original sigue as:
Se toma un conjunto arbitrario pero finito de nmeros primos p
1
, p
2
, , p
n
, y se considera el
producto de todos ellos ms uno, q=p
1
p
2
p
n
+1. Este nmero es obviamente mayor que 1 y
distinto de todos los primos p
i
de la lista. El nmero q puede ser primo o compuesto. Si es
primo tendremos un nmero primo que no est en el conjunto original. Si, por el contrario, es
compuesto, entonces existir algn factor p que divida a q. Suponiendo que p es alguno de
los p
i
, se deduce entonces que p divide a la diferencia q-p
1
p
2
p
n
=1, pero ningn nmero
primo divide a 1, es decir, se ha llegado a un absurdo por suponer que p est en el conjunto
original. La consecuencia es que el conjunto que se escogi no es exhaustivo, ya que existen
nmeros primos que no pertenecen a l, y esto es independiente del conjunto finito que se
tome.

Demostracin teorema de Euclides y su aplicacin


La demostracin de teoremas geomtricos, en general, es un desafo para
los estudiantes de enseanza media, ya que deben establecer relaciones
con otros conocimientos y teoremas, para posteriormente en una cadena
lgica de argumentos llegar a demostrar nuevas proposiciones. A raz de esto,
trabajar con visualizaciones es un buen recurso para facilitar la comprensin
en los estudiantes
.
Entre los aprendizajes esperados de geometra para este nivel, existe una fuerte
carga hacia la demostracin de teoremas, entre ellos el de Euclides.
En este caso los estudiantes deben establecer conexin con conocimientos
previos tales como la semejanza de tringulos y el teorema de Thales. Just
amente el desafo est en que recuerden y puedan aplicar dichos
conocimientos, de lo contrario la demostracin pierde sentido.

Para un buen desempeo de los estudiantes, la actividad supone que ellos
ya han establecido el teorema particular de Thales (o teorema fundamental
de semejanza), deben haber trabajado con relaciones proporcionales y tener
claridad respecto de los elementos del tringulo rectngulo, en particular la
altura y las proyecciones de los catetos sobre la hipotenusa.

1. Conocimientos Previos.

1.1 Suma de los ngulos interiores de un tringulo:

La suma de los ngulos interiores de un tringulo es igual a 180
Se traza una paralela a la base por el vrtice opuesto.
El ngulo a = a, se dicen alternos internos. El ngulo c = c por el mismo motivo.
a + b + c = 180
Por lo tanto:
a + b + c = 180




1.2 Tringulo rectngulo:

Definicin: En geometra, se llama tringulo rectngulo a todo tringulo que posee
un ngulo recto, es decir, un ngulo de 90-grados.

Se denomina hipotenusa al lado mayor del tringulo, el lado opuesto al ngulo
recto. Se llaman catetos a los dos lados menores, los que conforman el ngulo
recto.

1.3 Teorema de Pitgoras:

Definicin: El Teorema de Pitgoras establece que en un tringulo rectngulo, el
cuadrado de la hipotenusa (el lado de mayor longitud del tringulo rectngulo) es
igual a la suma de los cuadrados de los catetos (los dos lados menores del
tringulo, los que conforman el ngulo recto).

Si un tringulo rectngulo tiene catetos de longitudes \(a\) y \(b\), y la medida de
la hipotenusa es \(c\) , se establece que:
$$a^{2}+b^{2}=c^{2}$$

1.4 Tringulos semejantes:
Definicin: Dos tringulos son semejantes cuando tienen la misma forma, sus
ngulos correspondientes son congruentes, sus lados proporcionales pero con
distinta medida.
Notacin: ~


Sea \(< CAB= <CAB\),
\(< ABC= <ABC\) y \(< BCA= <BCA\) y adems

\(\dfrac {\overline {AB}} {AB}=\dfrac {\overline {BC}} {\overline {BC}}=\dfrac
{\overline {CA}} {\overline {CA}}\)
entonces se puede decir que:

\(\Delta ABC\sim \Delta ABC\)

1.4.1 Criterios de Semejanza de Tringulos:
Para saber si dos tringulos son semejantes utilizamos algunos de los criterios de
semejanza:

Criterio 1: ngulo ngulo (AA)
Dos tringulos son semejantes cuando tienen dos de sus ngulos respectivamente
congruentes.


Hiptesis: \(<CAB = <CAB\)
Tesis: \(\Delta ABC\sim \Delta ABC\)
Demostracin:
Se traza el segmento \(\overline {MN}\) tal que:\(\overline {MN}\parallel \overline
{AB}\)
Formdose el \(\Delta CMN\).
Luego en el \(\Delta MNC\) y \(\Delta ABC\):
\(\overline {CM} = \overline {CA}\) / Por construccin
\(< BCA = < BCA\) / Por hiptesis


\(< CMN = < CAB\) / ngulos correspondientes entre \(\overline
{MN}\parallel \overline {AB}\)
\(< CAB = < CAB\) / Por hiptesis
Por lo tanto, \(< CMN = < CAB\) / Por transitividad
Por lo tanto, \(\Delta MNC\) = \(\Delta ABC\) (1) por tener un lado
congruente y los dos ngulos adyacentes.
como \(\Delta ABC\) = \(\Delta MNC\) (2) Teorema fundamental de existencia
Comparando (1) y (2), tenemos:
\(\Delta ABC\) = \(\Delta ABC\)

Criterio 2: Lado ngulo lado (LAL)
Dos tringulos son semejantes cuando tienen, respectivamente dos de sus lados
proporcionales y el ngulo formado por ellos congruentes.

Hiptesis: Sea \(\Delta ABC\) = \(\Delta ABC\)
\(< BCA = < BCA\)
\(\dfrac {\overline {AC}} {AC}=\dfrac {\overline {BC}} {\overline {BC}}\)


Tesis: \(\Delta ABC\) = \(\Delta ABC\)
Demostracin: Tomando \(\overline {CM}=\overline {CA}\) y tracemos
\(\overleftrightarrow {MN}\parallel \overleftrightarrow {AB}\), formdonse el \(\Delta
MNC\).
En \(\Delta MNC\) y \(\Delta ABC\):
\(\overline {CM}=\overline {CA}\) / (1) por construccin.
<BCA = <BCA / por hiptesis
En los \(\Delta ABC\) y \(\Delta MNC\)
\(\dfrac {\overline {AC}} {MC}=\dfrac {\overline {BC}} {\overline {NC}}\) / (2) por
construccion \(\overline {CM}=\overline {CA}\)
Sustituyendo (1) en (2), tenemos lo siguiente:
\(\dfrac {\overline {AC}} {AC}=\dfrac {\overline {BC}} {\overline {NC}}\) / (3)

pero como: \(\dfrac {\overline {AC}} {AC}=\dfrac {\overline {BC}} {\overline
{BC}}\) / (4) Hipotesis
Comparando (3) y (4): \(\dfrac {\overline {BC}} {NC}=\dfrac {\overline {BC}}
{\overline {BC}}\) / por Transitividad
Despejando \(\overline {NC}=\dfrac {\overline {BC}.\overline {BC}} {\overline
{BC}}\) (\overline {NC}=\overline {BC}\)
\(.:\Delta MNC = \Delta ABC\) / por tener dos lados congruentes e igual ngulo
comprendido.

Y como \(\Delta ABC \sim \Delta MNC\) / teorema fundamental de existencia

y \(\Delta MNC \sim \Delta ABC\) /carcter idntico.
Resulta \(\Delta ABC \sim \Delta ABC\) /por transitividad.

Criterio 3: Lado lado - lado (LLL)
Dos tringulos son semejantes cuando tienen sus tres lados, respectivamente,
proporcionales.


Hiptesis: Sean \(\Delta ABC\) y \(\Delta ABC\)
\(\dfrac {\overline {AB}} {\overline {AB}}=\dfrac {\overline {BC}} {\overline
{BC}}=\dfrac {\overline {CA}} {\overline {CA}}\)
Tesis: \(\Delta ABC \sim \Delta ABC\)

Demostracin: Tomando \(\overline {CM}=\overline {CA}\) y
tracemos \(\overleftrightarrow {MN}\parallel \overleftrightarrow {AB}\),
formando \(\Delta MNC \sim \Delta ABC\)

Como: \(\dfrac {\overline {AB}} {\overline {MN}}=\dfrac {\overline {BC}} {\overline
{NC}}=\dfrac {\overline {CA}} {\overline {CM}}\) / (1) por construcion \(\Delta ABC
\sim \Delta MNC\)


Pero: \(\overline {CM}=\overline {CA}\) / (2) por construccion
Sustituyendo (2) en (1);
\(\dfrac {\overline {AB}} {\overline {MN}}=\dfrac {\overline {BC}} {\overline
{NC}}=\dfrac {\overline {CA}} {\overline {CA}}\) / (3)

Pero:

\(\dfrac {\overline {AB}} {\overline {AB}}=\dfrac {\overline {BC}} {\overline
{BC}}=\dfrac {\overline {CA}} {\overline {CA}}\) / (4) por hipotesis

Comparando (3) y (4):

\(\dfrac {\overline {AB}} {\overline {MN}}=\dfrac {\overline {BC}} {\overline
{NC}}=\dfrac {\overline {AB}} {\overline {AB}}=\dfrac {\overline {BC}} {\overline
{BC}}\) / por transitividad
Despejando \(\overline {MN}\): \(\overline {MN}=\dfrac {\overline {AB}.\overline
{AM}} {\overline {AB}}\)

\(\overline {MN}=\overline {AB}\)
Tomando la 3era y la 4ta razn:
\(\dfrac {\overline {BC}} {\overline {NC}}=\dfrac {\overline {BC}} {\overline {BC}}\)
Despejando: \(\overline {NC}\): \(\overline {NC}=\dfrac {\overline {BC}.\overline
{BC}} {\overline {BC}}\)
\(\overline {NC}=\overline {BC}\)
Entonces \(\overline {MN}=\overline {AB}\), \(\overline {NC}=\overline {BC}\) y
\(\overline {CM}=\overline {AC}\) / Por construccin
\(.:\Delta MNC = \Delta ABC\) / Por tener 3 lados congruentes.
y como \(\Delta ABC \sim \Delta MNC\) /Por teorema fundamental.
y \(\Delta MNC \sim \Delta ABC\)
Resulta que el \(\Delta ABC \sim \Delta ABC\)

Teorema de Thales
Existen dos teoremas relacionados con la geometra clsica que reciben el
nombre de teorema de Tales, ambos atribuidos al matemtico griego Tales de
Mileto en el siglo VI a. C.
El primero de ellos explica esencialmente una forma de construir un tringulo
semejante a uno previamente existente ("los tringulos semejantes son los que
tienen iguales ngulos y sus lados homlogos proporcionales"). Mientras que el
segundo desentraa una propiedad esencial de los circuncentros de todos los
tringulos rectngulos ("encontrndose stos en el punto medio de su
hipotenusa"), que a su vez en la construccin geomtrica es ampliamente utilizado
para imponer condiciones de construccin de ngulos rectos. Si tres o ms rectas
paralelas son intersecadas cada una por dos transversales, los segmentos de las
transversales determinados por las paralelas, son proporcionales.
Primer teorema: Como definicin previa al enunciado del teorema, es necesario
establecer que dos tringulos son semejantes si tienen los ngulos
correspondientes iguales y sus lados son proporcionales entre s. El primer
teorema de Tales recoge uno de los resultados ms bsicos de la geometra, al
saber, que:
Teorema primero
Si en un tringulo se traza una lnea paralela a cualquiera de sus lados, se obtiene
un tringulo que es semejante al tringulo dado.
Tales de Mileto
Segn parece, Tales descubri el teorema mientras investigaba la condicin de
paralelismo entre dos rectas. De hecho, el primer teorema de Tales puede
enunciarse como que la igualdad de los cocientes de los lados de dos tringulos
no es condicin suficiente de paralelismo. Sin embargo, la principal aplicacin del
teorema, y la razn de su fama, se deriva del establecimiento de la condicin de
semejanza de tringulos, a raz de la cual se obtiene el siguiente corolario.
Corolario: Del establecimiento de la existencia de una relacin de semejanza entre
ambos tringulos se deduce la necesaria proporcionalidad entre sus lados. Ello
significa que la razn entre la longitud de dos de ellos en un tringulo se mantiene
constante en el otro.
Por ejemplo, en la figura se observan dos tringulos que, en virtud del teorema de
Tales, son semejantes. Entonces, del mismo se deduce a modo de corolario que
el cociente entre los lados A y B del tringulo pequeo es el mismo que el cociente
entre los lados D y C en el tringulo grande. Esto es, que como por el teorema de
Tales ambos tringulos son semejantes, se cumple que:

Este corolario es la base de la geometra descriptiva. Su utilidad es evidente;
segn Herdoto, el propio Tales emple el corolario de su teorema para medir la
altura de lapirmide de Keops en Egipto. En cualquier caso, el teorema demuestra
la semejanza entre dos tringulos, no la constancia del cociente.
Del primer teorema de Tales se deduce adems lo siguiente (realmente es otra
variante de dicho teorema, y, a su vez, consecuencia del mismo): Si las rectas A,
B, C son paralelas y cortan a otras dos rectas R y S, entonces los segmentos que
determinan en ellas son proporcionales.
Segundo teorema: El segundo teorema de Tales de Mileto es un teorema
de geometra particularmente enfocado a los tringulos rectngulos, las
circunferencias y los ngulos inscritos, consiste en el siguiente enunciado:


Teorema segundo
Sea B un punto de la circunferencia de dimetro AC, distinto de A y de C.
Entonces el tringulo ABC, es un tringulo rectngulo.


Teorema de Pitgoras
El teorema de Pitgoras establece que en todo tringulo rectngulo, el cuadrado
de la hipotenusa (el lado de mayor longitud del tringulo rectngulo) es igual a la
suma de los cuadrados de los catetos (los dos lados menores del tringulo, los
que conforman el ngulo recto).
Teorema de Pitgoras
En todo tringulo rectngulo el cuadrado de la hipotenusa es igual a la suma de
los cuadrados de los catetos.
Pitgoras de Samos
Si un tringulo rectngulo tiene catetos de longitudes y , y la medida de
la hipotenusa es , se establece que:
(1)
De la ecuacin (1) se deducen fcilmente 3 corolarios de aplicacin prctica:






Repblica Bolivariana De Venezuela
Ministerio Del Poder Popular Para La Educacin Universitaria
Universidad Nacional Experimental Rafael Mara Baralt
UNERMB

















Integrantes:
Mogollon Jess C.I.25.700.216 Pigas
Rosales Diego C.I Pimm
Seccin: 05


Esquema


Teorema de Euclides
Demostracin del Teorema de Ecludis
Teorema de Tholes
Teorema de Pitagoras