Demostracin en geometra

La demostracin de la validez de una proposicin a travs del

razonamiento se fundamenta en otras proposiciones ya
demostradas, o bien, en otras proposiciones que sin haber sido
demostradas las aceptamos como verdaderas.
Existen varios mtodos de demostracin:

Mtodo de superposicin,

Mtodo directo o deductivo y

Mtodo indirecto por reduccin al absurdo.

MTODO DE SUPERPOSICIN
Consiste este mtodo en colocar una figura sobre otra y demostrar
por el razonamiento que, dadas las condiciones supuestas, as
como la verdad de ciertas proposiciones previamente establecidas,
las dos figuras deben coincidir en todas sus partes y ser por tanto
iguales.

MTODO DIRECTO
Por demostracin directa, entendemos el encadenamiento lgico
de las proposiciones, de manera que, de las hiptesis es posible
llegar a la tesis. La demostracin en geometra generalmente
consta de:
a) Figura
b) Hiptesis
c) Tesis
d) Razonamiento
e) Conclusin

a) La FIGURA ilustra la proposicin que desea demostrar y est

constituida por trazos fundamentales y trazos auxiliares que se
indican con lneas no continuas. La claridad de la figura ayuda a la
demostracin pero de ninguna manera constituye la demostracin.
b) La HIPTESIS es el supuesto que se acepta como cierto y que
sirve de base para el razonamiento.
c) La TESIS es lo que se desea demostrar.
d) El RAZONAMIENTO es el conjunto de afirmaciones y razones
que en orden lgico relacionan la hiptesis con la tesis y permite la
deduccin de sta a partir de la hiptesis.
e) La CONCLUSIN es la tesis o proposicin deducida mediante el

razonamiento.
Independientemente del grado de dificultad que tenga la
demostracin de una proposicin siempre se llevar el camino
"hiptesis - tesis". Es tambin muy conveniente prefijar un "PLAN
de desarrollo de la demostracin" con el objeto de tener claro el
camino que a nuestro juicio es el ms conveniente para ligar lo
que suponemos cierto (la hiptesis) con lo que deseamos
demostrar (la tesis).

MTODO INDIRECTO
El mtodo indirecto, tambin llamado por reduccin al absurdo, es
un encadenamiento lgico de proposiciones que parten de
SUPONER CIERTO lo contrario de lo que se quiere demostrar (tesis)
y a partir de esa suposicin llegar a una contradiccin, que hace
evidente que la suposicin de que se parti es falsa y por lo tanto,
lo contrario (lo que se quiere demostrar) es verdadero.

RECPROCA. Si dos proposiciones son tales que lo que se supone

en la una es lo que debe demostrarse en la otra, cada una de ellas
se llama proposicin recproca, o brevemente recproca, de la otra.

Si es una proposicin se supone que AC = BC, y es preciso

demostrar que A = B.

La proposicin recproca ser suponer que AC= BC

Obsrvese muy especialmente que "de que una proposicin sea

verdadera no se sigue necesariamente que su recproca lo es".
As, de la proposicin: "si dos ngulos son rectos, son iguales", su
recproca es: "si dos ngulos son iguales, son rectos", no
necesariamente es cierta.
EJEMPLO DE DEMOSTRACIN DIRECTA
Teorema: Si dos ngulos son opuestos por el vrtice, entonces,
dichos ngulos son congruentes
Hiptesis:

ay

Tesis:

b son ngulos opuestos por el vrtice.

Demostracin:
Paso

Afirmaciones

Razones

a + c = 180

Por ser a y c suplementarios

b + c = 180

Por ser b y c suplementarios

a+c=b+c

Igualando 1) y 2)

a=b

Si a cantidades iguales se restan

cantidades iguales, los resultados son
iguales

Relacin de equivalencia

Saltar a: navegacin , bsqueda

ClasiBinaEs 004.svg
Acerca de esta imagen

En teora de conjuntos y lgebra la nocin de relacin de equivalencia sobre

un conjunto, permite establecer una relacin entre los elementos del
conjunto que comparten cierta caracterstica o propiedad. Esto permite
reagrupar dichos elementos en clases de equivalencia, es decir, paquetes
de elementos similares. Esto posibilita la construccin de nuevos conjuntos
aadiendo todos los elementos de una misma clase como un solo
elemento que los representar y que define la nocin de conjunto cociente.

ndice [ocultar]
1 Definicin 1.1 Clase de equivalencia o Relacin de equivalencia

1.2 Conjunto cociente

1.3 Particin

2 Ejemplos
3 Vase tambin
4 Referencias

Definicin[editar]

Sea K un conjunto dado no vaco y \mathcal{R} una relacin binaria definida

sobre K. Se dice que \mathcal{R} es una relacin de equivalencia si cumple
las siguientes propiedades:
Reflexividad: Todo elemento de K est relacionado consigo mismo. Es decir,
\forall x\in K \; : \quad x \mathcal{R} x .Simetra: Si un elemento de K est
relacionado con otro, entonces ese otro elemento tambin se relaciona con
el primero. Es decir,
\forall x,y\in K \; : \quad x \mathcal{R} y \; \Rightarrow \; y \mathcal{R} x
.Transitividad: Si un elemento de K est relacionado con otro, y ese otro a su
vez se relaciona con un tercero, entonces el primero estar relacionado
tambin con este ltimo. Es decir,
\forall x,y,z\in K \; : \quad x \mathcal{R} y \land y \mathcal{R} z \quad
\Rightarrow \quad x \mathcal{R} z .
Notacin:
En aritmtica modular la relacin de equivalencia entre dos elementos x e y
se denota x = y (mod R) que se lee x es equivalente a y mdulo R .Una
relacin de equivalencia \sim sobre un cuerpo K puede denotarse con el par
(K,\sim)\,.
Clase de equivalencia o Relacin de equivalencia[editar]
En lgica de clases y anlisis matemtico, la relacin de equivalencia
\mathcal{R} define subconjuntos disjuntos en K llamados clases de
equivalencia:

Dado un elemento a\in K, el conjunto dado por todos los elementos

relacionados con a definen la clase:
Al elemento a se le llama representante de la clase.

Se llama orden al nmero de clases que genera una relacin de

equivalencia; si ste es finito, se dice que la relacin es de orden finito.

El concepto de clase de equivalencia tiene importancia en ciencia, dado un

conjunto de objetos o entidades abstractas (potencialmente infinitas),
pueden establecerse relaciones de equivalencia en base a algn criterio, las
clases resultantes son los "tipos" en los que se puede clasificar toda la gama
de objetos.
Conjunto cociente
Al conjunto de todas las clases de equivalencia se denomina conjunto
cociente y se lo suele denotar como:

K/\mathcal{R} o K/\sim

Particin[editar]
Una relacin de equivalencia sobre un conjunto induce una particin del
mismo, es decir, un conjunto en el que se ha definido una relacin de
equivalencia puede ser dividido en varios subconjuntos de elementos
equivalentes entre s y tales que la reunin de esos subconjuntos coincide
con el conjunto entero. El siguiente teorema expresa en trminos ms
formales esa misma idea:
Proposicin: Una relacin de equivalencia en el conjunto no vaco K
determina una particin de este, y toda particin de K determina una
relacin de equivalencia en este.

PITGORAS

Pitgoras naci en la isla de Samos (Grecia), en el 570 a. C. y muri

en Metaponto en el 469 a. C., hijo de Mnesarco. Fue discpulo de Tales y de
Fenecidas de Siria, estudi en la escuela de Mileto. Viaj por Oriente Medio
(Egipto y Babilonia). Sufri el exilio para escapar de la tirana del dictador
Samio Polcrates, por lo que vagabunde hasta establecerse en el 531 a. C.
en las colonias italianas de Grecia donde fund su famosa escuela
pitagrica en Crotona al sur de Italia. Se cree que invent (si no l sus
discpulos), las tablas de multiplicar y que fue el primero en demostrar el
conocido Teorema de Pitgoras sobre la relacin entre los lados de un
tringulo rectngulo, aunque ya los egipcios y los babilonios lo usaban en
sus clculos, construcciones, etc..., pero sin haberlo demostrado.

La Escuela Pitagrica
La Escuela Pitagrica, al parecer fundada por Pitgoras, fue una
asociacin religiosa y poltica adems de filosfica. Para acceder a ella era
necesario abstenerse de ciertos alimentos y observar el celibato
(permanecer soltero). En los grados ms altos, los pitagricos vivan en
completa comunidad de bienes. Las enseanzas de los pitagricos se
transmitan por va oral y todo se atribua al venerado Pitgoras, fundador

de la escuela. La escuela se fue transformando en una hermandad con ritos

y ceremonias secretas de las que se sabe muy poco. Este secretismo se
extenda a todo lo que rodeaba la escuela, incluidos sus trabajos y
descubrimientos matemticos, por eso no se tiene certeza sobre qu
descubrieron y quin lo descubri. La doctrina de los pitagricos tena
esencialmente carcter religioso, fundamentalmente consisti en que la
sustancia de las cosas era el nmero. La naturaleza, las estrellas, ... todo
estaba basado en relaciones numricas enteras o fraccionarias.
La secta acab teniendo un carcter poltico lo que provoc
enfrentamientos, persecucin y por fin su prctica ruina con el exilio y un
cierto grado de dispersin. Las sedes de su escuela fueron incendiadas, y
slo tiempo despus los desterrados pudieron volver a su patria. Es
probable que Pitgoras se viese obligado por estos movimientos
insurreccionales, a dejar Crotona para irse a Metaponto. Parece ser que fue
el exilio lo que provoc que se abrieran en cierta medida y que se
conocieran gran parte de sus conocimientos. En matemticas fueron
importantes: los nmeros, sus relaciones, la aritmtica, la geometra,...
aunque tambin la msica, en la que vean la influencia de los nmeros al
obtener diferentes sonidos relacionados entre s al dar diferentes tamaos a
las cuerdas de una lira. Pitgoras y los pitagricos tuvieron gran
influencia en el desarrollo posterior de las matemticas.
Las Matemticas de los pitagricos
Como hemos dicho ms arriba se les atribuyen numerosos e importantes
descubrimientos en el terreno de las Matemticas. Vamos a destacar
algunos:
El teorema de Pitgoras
Se atribuye a la escuela pitagrica la demostracin del Teorema de
Pitgoras. Como hemos dicho ms arriba, ya los babilonios y los egipcios,
usaban con una eficacia asombrosa, la relacin establecida en el Teorema
de Pitgoras para resolver problemas prcticos, pero no conocan la
demostracin.
Los nmeros irracionales
Como consecuencia del Teorema de Pitgoras, tambin se les considera
descubridores de los nmeros irracionales. Estos nmeros contradecan la
doctrina bsica de la escuela: haban descubierto que existan nmeros
"inexpresables", como

, que no eran ni enteros ni fraccionarios.

Clasificaciones de los nmeros

La obsesin por los nmeros y la adoracin que les profesaban, condujeron
a los pitagricos a un estudio minucioso de los nmeros. Establecieron
diversas clasificaciones, entre otras la distincin entre pares e impares tal y
como lo hacemos hoy, tambin otras ms curiosas. Hemos elegido algunas
de ellas y te proponemos que las pienses para divertirte un rato:

Nmeros triangulares. Son nmeros naturales que se pueden expresar en

forma de tringulo, tal y como los de la figura siguiente:

Seras capaz de encontrar y dibujar los tres siguientes?

Nmeros cuadrados. De igual forma que los anteriores, son nmeros que
se pueden expresar en forma de cuadrados como en la figura siguiente:

Seras capaz de encontrar y dibujar los tres siguientes?

Nmeros perfectos. Son los nmeros que son iguales a la suma de todos
sus divisores excepto l mismo, por ejemplo, el 6 es un nmero perfecto
puesto que 6=1+2+3. Eres capaz de encontrar el siguiente? Los dems
son ms complicados. Prueba con el siguiente al 6.
Los slidos csmicos
Slo existen cinco poliedros regulares, que los pitagricos veneraban y que
llamaban slidos csmicos aunque fue Euclides el que demostr que no
hay ms poliedros regulares. Estas cinco figuras geomtricas fueron
admiradas, entre otros, por Platn que pens que representaban los
elementos fundamentales que constituan el mundo: AIRE, AGUA, FUEGO,
TIERRA y COSMOS:
OCTAEDRO, ocho caras que son tringulos equilteros. Para Platn EL
AIRE.

ICOSAEDRO, veinte caras que son tringulos

equilteros. EL AGUA para Platn.

TETRAEDRO, cuatro caras que son tringulos equilteros.

EL FUEGO para Platn.

CUBO, seis caras que son cuadrados. Segn Platn LA

TIERRA.

DODECAEDRO, doce caras que son pentgonos regulares.

Platn lo identific con EL COSMOS