Demostraciones Matematicas

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos
Formalizacin de Demostraciones o Matemticas a

Academia de Matemticas 2012 a V ctor Valdebenito S.
Liceo Pablo Neruda, Temuco
Sbado 21, Abril de 2012 a
V ctor Valdebenito S.
Formalizacin de Demostraciones Matemticas o a
Indice
1
Conceptos Fundamentales Axiomas

Axiomas Aritmticos e Axiomas en los Reales R Axiomas Geomtricos e
Postulados Teoremas
Indice
1

Postulados Teoremas Demostraciones de Teoremas Conocidos Teoremas en Geometr a Teoremas en la Aritmtica e Teoremas Algebraicos
Indice
1

Postulados Teoremas Demostraciones de Teoremas Conocidos Teoremas en Geometr a Teoremas en la Aritmtica e Teoremas Algebraicos Demostraciones Generales
Indice
1

3 4
Postulados Teoremas Demostraciones de Teoremas Conocidos Teoremas en Geometr a Teoremas en la Aritmtica e Teoremas Algebraicos Demostraciones Generales Ejercicios Propuestos
V ctor Valdebenito S. Formalizacin de Demostraciones Matemticas o a
Axiomas Postulados Teoremas
Conceptos Fundamentales
Qu es un Axioma? e
Qu es un Axioma? e Denicin o Un Axioma es una proposicin que se considera evidente y se o acepta sin requerir demostracin previa. o
Qu es un Axioma? e Denicin o Un Axioma es una proposicin que se considera evidente y se o acepta sin requerir demostracin previa. o Ejemplo
Qu es un Axioma? e Denicin o Un Axioma es una proposicin que se considera evidente y se o acepta sin requerir demostracin previa. o Ejemplo Axiomas Aritmticos. e
Qu es un Axioma? e Denicin o Un Axioma es una proposicin que se considera evidente y se o acepta sin requerir demostracin previa. o Ejemplo Axiomas Aritmticos. e Axiomas en los Reales R.
Qu es un Axioma? e Denicin o Un Axioma es una proposicin que se considera evidente y se o acepta sin requerir demostracin previa. o Ejemplo Axiomas Aritmticos. e Axiomas en los Reales R. Axiomas en la Geometr a.
Axiomas Aritmticos e
Axiomas Aritmticos e El 1 existe y es un nmero natural. 1 est en N, el u a conjunto de los nmeros naturales. u
Axiomas Aritmticos e El 1 existe y es un nmero natural. 1 est en N, el u a conjunto de los nmeros naturales. u Todo nmero natural n, tiene un sucesor n . u
Axiomas Aritmticos e El 1 existe y es un nmero natural. 1 est en N, el u a conjunto de los nmeros naturales. u Todo nmero natural n, tiene un sucesor n . u El 1 no es sucesor de ningn nmero natural. u u
Axiomas Aritmticos e El 1 existe y es un nmero natural. 1 est en N, el u a conjunto de los nmeros naturales. u Todo nmero natural n, tiene un sucesor n . u El 1 no es sucesor de ningn nmero natural. u u Si hay dos nmeros naturales n y m con el mismo u sucesor, entonces n y m son el mismo nmero natural. u
Axiomas Aritmticos e El 1 existe y es un nmero natural. 1 est en N, el u a conjunto de los nmeros naturales. u Todo nmero natural n, tiene un sucesor n . u El 1 no es sucesor de ningn nmero natural. u u Si hay dos nmeros naturales n y m con el mismo u sucesor, entonces n y m son el mismo nmero natural. u Si el 1 pertenece a un conjunto K , de n nmeros u naturales, y dado un elemento cualquiera k K ; el sucesor k tambin pertenece al conjunto K , entonces e todos los nmeros naturales pertenecen tambin a ese u e conjunto K .
Axiomas Algebraicos
Denicin (Axioma Fundamental) o Existe un conjunto que se denota por R, que satisface los axiomas algebraicos, de orden y topolgico. o
Axiomas Algebraicos
Axiomas de Adicin o
Axiomas Algebraicos
Axiomas de Adicin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x + y que llamamos la suma de x e y .
Axiomas Algebraicos
Axiomas de Adicin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x + y que llamamos la suma de x e y . x + y = y + x para todo x, y R.
Axiomas Algebraicos
Axiomas de Adicin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x + y que llamamos la suma de x e y . x + y = y + x para todo x, y R. (x + y ) + z = x + (y + z) para todo x, y , z R .
Axiomas Algebraicos
Axiomas de Adicin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x + y que llamamos la suma de x e y . x + y = y + x para todo x, y R. (x + y ) + z = x + (y + z) para todo x, y , z R . Existe un elemento en R denotado por 0, tal que x + 0 = x para todo x R.
Axiomas Algebraicos
Axiomas de Adicin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x + y que llamamos la suma de x e y . x + y = y + x para todo x, y R. (x + y ) + z = x + (y + z) para todo x, y , z R . Existe un elemento en R denotado por 0, tal que x + 0 = x para todo x R. Para cada x R, existe un y R tal que x + y = 0.
Axiomas Algebraicos
Axiomas de Multiplicacin o
Axiomas Algebraicos
Axiomas de Multiplicacin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x y que llamaremos el producto de x e y.
Axiomas Algebraicos
Axiomas de Multiplicacin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x y que llamaremos el producto de x e y. x y = y x para todo x, y R.
Axiomas Algebraicos
Axiomas de Multiplicacin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x y que llamaremos el producto de x e y. x y = y x para todo x, y R. (x y ) z = x (y z) para todo x, y , z R .
Axiomas Algebraicos
Axiomas de Multiplicacin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x y que llamaremos el producto de x e y. x y = y x para todo x, y R. (x y ) z = x (y z) para todo x, y , z R . Existe un elemento en R denotado por 1, tal que 1 x = x 1 = x para todo x R.
Axiomas Algebraicos
Axiomas de Multiplicacin o Para todo x, y R , existe un unico elemento, tambin e en R, denotado por x y que llamaremos el producto de x e y. x y = y x para todo x, y R. (x y ) z = x (y z) para todo x, y , z R . Existe un elemento en R denotado por 1, tal que 1 x = x 1 = x para todo x R. Para cada x R que no sea cero, existe un y R tal que x y = 1.
Axiomas Algebraicos
Axioma de Distribucin o
Axiomas Algebraicos
Axioma de Distribucin o Para todo x, y , z R , se cumple que: x (y + z) = x y + x z .
Axiomas de Orden
Axiomas de Orden Si x, y R , entonces se cumple una y solamente una de las siguientes armaciones: x < y ; x = y ; x > y .
Axiomas de Orden
Axiomas de Orden Si x, y R , entonces se cumple una y solamente una de las siguientes armaciones: x < y ; x = y ; x > y . Sean x, y , z R. Si x < y y adems y < z, entonces a x < z.
Axiomas de Orden
Axiomas de Orden Si x, y R , entonces se cumple una y solamente una de las siguientes armaciones: x < y ; x = y ; x > y . Sean x, y , z R. Si x < y y adems y < z, entonces a x < z. Si x < y , entonces x + z < y + z , R.
Axiomas de Orden
Axiomas de Orden Si x, y R , entonces se cumple una y solamente una de las siguientes armaciones: x < y ; x = y ; x > y . Sean x, y , z R. Si x < y y adems y < z, entonces a x < z. Si x < y , entonces x + z < y + z , R. Si x < y y z > 0, entonces xz < yz.
Axioma Topolgico o
Axioma Topolgico o Toda sucesin creciente y acotada superiormente es o convergente
Axiomas Geomtricos e
Axiomas en Geometr a Un punto es una ubicacin en el espacio, que no tiene o dimensiones.
Axiomas en Geometr a Un punto es una ubicacin en el espacio, que no tiene o dimensiones. Una recta es un conjunto innito de puntos que siguen una misma direccin, y que posee longitud. o
Axiomas en Geometr a Un punto es una ubicacin en el espacio, que no tiene o dimensiones. Una recta es un conjunto innito de puntos que siguen una misma direccin, y que posee longitud. o Un plano es un conjunto innito de puntos, que conviven en 2 dimensiones.
Axiomas en Geometr a Un punto es una ubicacin en el espacio, que no tiene o dimensiones. Una recta es un conjunto innito de puntos que siguen una misma direccin, y que posee longitud. o Un plano es un conjunto innito de puntos, que conviven en 2 dimensiones. El espacio es un conjunto tridimensional de innitos puntos.
Qu es un Postulado? e
Qu es un Postulado? e Denicin o Un Postulado es una proposicin no evidente por s misma ni o demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida.
Qu es un Postulado? e Denicin o Un Postulado es una proposicin no evidente por s misma ni o demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida. Ejemplo
Qu es un Postulado? e Denicin o Un Postulado es una proposicin no evidente por s misma ni o demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida. Ejemplo Postulados de Euclides.
Qu es un Postulado? e Denicin o Un Postulado es una proposicin no evidente por s misma ni o demostrada, pero que se acepta ya que no existe otro principio al que pueda ser referida. Ejemplo Postulados de Euclides. Postulado de Bertrand.
Postulados
Postulados de Euclides Por dos puntos diferentes, slo se puede trazar una unica o linea recta.
Postulados
Postulados de Euclides Por dos puntos diferentes, slo se puede trazar una unica o linea recta. Todo segmento rectil neo se puede prolongar indenidamente.
Postulados
Postulados de Euclides Por dos puntos diferentes, slo se puede trazar una unica o linea recta. Todo segmento rectil neo se puede prolongar indenidamente. Con un centro y un radio dado, slo se puede trazar una o unica circunferencia.
Postulados
Postulados de Euclides Por dos puntos diferentes, slo se puede trazar una unica o linea recta. Todo segmento rectil neo se puede prolongar indenidamente. Con un centro y un radio dado, slo se puede trazar una o unica circunferencia. Todos los ngulos recto son iguales. a
Postulados
Postulados de Euclides Por dos puntos diferentes, slo se puede trazar una unica o linea recta. Todo segmento rectil neo se puede prolongar indenidamente. Con un centro y un radio dado, slo se puede trazar una o unica circunferencia. Todos los ngulos recto son iguales. a Por un punto exterior P a una recta L, existe una unica recta que pasa por P y es paralela a L.
Postulados
Postulado de Bertrand Existe por lo menos un nmero primo p tal que: u n < p < 2n 2 con n > 3.
Qu es un Teorema? e
Qu es un Teorema? e Denicin o Un Teorema es una armacin que necesita ser demostrada. o Parte de una serie de premisas, las que derivan en una conclusin, a partir de una hiptesis. o o
Teoremas en Geometr a Teoremas en la Aritmtica e Teoremas Algebraicos
A continuacin presentaremos los teoremas ms o a conocidos en tres reas importantes de la matemtica, los a a cuales demostraremos para su posterior uso en demostraciones ms elaboradas. a
A continuacin presentaremos los teoremas ms o a conocidos en tres reas importantes de la matemtica, los a a cuales demostraremos para su posterior uso en demostraciones ms elaboradas. a Un buen matemtico slo usa teoremas que ha a o demostrado, o que en su defecto, conoce el principio por el que fueron demostrados.
Demostraciones en Geometr a
Demostracin de teoremas Fundamentales o
Demostremos que:
1
El rea de un tringulo es la mitad del producto entre su a a base, y la altura asociada a dicha base.
Demostremos que:
1
El rea de un tringulo es la mitad del producto entre su a a base, y la altura asociada a dicha base. La suma de los ngulos interiores de un tringulo a a cualquiera es 180 .
Demostremos que:
1
El rea de un tringulo es la mitad del producto entre su a a base, y la altura asociada a dicha base. La suma de los ngulos interiores de un tringulo a a cualquiera es 180 . La suma de los ngulos exteriores de un tringulo a a cualquiera es 360 .
Demostremos que:
1
El rea de un tringulo es la mitad del producto entre su a a base, y la altura asociada a dicha base. La suma de los ngulos interiores de un tringulo a a cualquiera es 180 . La suma de los ngulos exteriores de un tringulo a a cualquiera es 360 . Un ngulo exterior, es la suma de los 2 ngulos interiores a a no adyacentes a l. e
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera:
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema de Thales.
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema de Thales. Teorema de Pitgoras. a
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema de Thales. Teorema de Pitgoras. a Teorema de Euclides.
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema Teorema Teorema Teorema de de de de Thales. Pitgoras. a Euclides. Hern. o
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema Teorema Teorema Teorema Teorema de de de de de Thales. Pitgoras. a Euclides. Hern. o Apolonio.
Aqu tenemos una lista con los 5 teoremas bsicos de la a geometr Euclideana, ms un teorema clsico imposible de a a a dejar fuera: Teorema de Thales. Teorema de Pitgoras. a Teorema de Euclides. Teorema de Hern. o Teorema de Apolonio. Primer teorema de Ptolomeo.
Demostracin del Teorema de Thales o
Enunciado del teorema de Thales Si en la gura, se cumple que BC DE , entonces se cumple que: AB AC = BD CE
Demostracin del Teorema de Pitgoras o a
Enunciado del teorema de Pitgoras a En un tringulo rectngulo, a a se cumple que: a2 + b 2 = c 2
Demostracin Geomtrica del Teorema de Pitgoras o e a
Enunciado del teorema de Pitgoras a En un tringulo rectngulo, a a se cumple que: a2 + b 2 = c 2
Demostracin del Teorema de Euclides o
Enunciado del teorema de Euclides El teorema de Euclides se resume en tres conclusiones: 2 1 CD = p q 2 a2 = c p 3 b2 = c q Donde CD AB y ABC es recto en C .
Demostracin del Teorema de Hern o o
Enunciado del teorema de Hern o El rea de un tringulo cualquiera a a conocidos sus lados es: A = S(S a)(S b)(S c) a+b+c 2
donde S =
Demostracin del Teorema de Apolonio o
Enunciado del teorema de Apolonio Si en la gura, AD es bisectriz del BAC , entonces se cumple que: a c = b d
Demostracin del Primer Teorema de Ptolomeo o
Primer teorema de Ptolomeo En un cuadriltero c a clico, el producto de las diagonales es igual a la suma de los productos de lados opuestos.
Demostraciones en la Aritmtica e
Comencemos por demostrar los siguientes hechos:

1
Si a, b N, entonces: MCM(a, b) mcd(a, b) = a b

1
Un nmero es divisible por 3, si sus cifras suman un u mltiplo de 3. u

1
Un nmero es divisible por 3, si sus cifras suman un u mltiplo de 3. u El producto de 4 nmeros naturales, nunca es un u cuadrado perfecto.
Demostraciones en el Algebra
Demostremos que:
Demostremos que:
1
Si a, b, c R, la solucin de la ecuacin de segundo o o grado ax 2 + bx + c = 0 , est dada por: a b b 2 4ac x= 2a
Demostremos que:
1
Si a, b, c R, la solucin de la ecuacin de segundo o o grado ax 2 + bx + c = 0 , est dada por: a b b 2 4ac x= 2a La suma de los primeros n trminos de una progresin e o geomtrica, de razn r , est dada por: e o a Sn =
a1 (1 r n ) 1r
Demostraciones Formales a Problemas Matemticos a
A continuacin: o 1 Intentaremos dar demostracin a distintos problemas o propuestos en diferentes competencias y niveles.
A continuacin: o 1 Intentaremos dar demostracin a distintos problemas o propuestos en diferentes competencias y niveles. 2 Luego, resolveremos ejercicios propuestos sobre demostraciones de todo tipo.
Problema 1 Demostrar que el rea de un tringulo es el semi-producto a a entre su per metro y el radio de la circunferencia inscrita en l. e
Problema 2 Demostrar que el nmero: u 254 + 1 5 es entero y no primo.
Problema 3 Si a, b y c son tres reales positivos cualesquiera, demuestre que se cumple: a+b b+c a+c + + 6 c a b
Problema 4 Sean p, q, r nmeros enteros, donde r no es un cuadrado u perfecto. Suponga que: x=

3
p+
r+
es un nmero racional. Demuestre que p = q. u
Problema 5 Sea el ABC issceles, de base BC . Se elige un punto p sobre o la base del tringulo y se trazan desde p, dos perpendiculares, a una hacia cada lado del tringulo. Demuestre que no importa a donde este p sobre BC , la suma de dichas perpendiculares es constante e igual a la medida de la perpendicular trazada desde el vrtice B hacia el lado AC . e
Problema 6 Dentro de un cuadrado, se eligen dos puntos al azar. Luego cada uno de ellos se une mediante segmentos, con los 4 vrtices del cuadrado, dando lugar a 9 regiones. Demuestre e que es imposible encontrar una posicin ideal para ambos o puntos, en la que las 9 regiones tengan la misma rea. a

Ejercicios Propuestos En un tringulo equiltero, se elige un punto interior al a a azar. Desde all se trazan tres perpendiculares, una hacia cada lado del tringulo. Demuestre que la suma de dichas a perpendiculares es constante y equivale a la altura de dicho tringulo. a

Ejercicios Propuestos En un tringulo equiltero, se elige un punto interior al a a azar. Desde all se trazan tres perpendiculares, una hacia cada lado del tringulo. Demuestre que la suma de dichas a perpendiculares es constante y equivale a la altura de dicho tringulo. a Demuestre que al multiplicar todos los mltiplos de 6 u menores que 1000, se obtiene un nmero que termina con u 40 ceros.
Ejercicios Propuestos Considere dos circunferencias concntricas, de radios R y e r , con R > r . Se traza una recta tangente a la circunferencia ms pequea, que corta en los puntos A y a n B a la circunferencia ms grande. Demuestre que: a
1
El rea entre ambas circunferencias no depende de sus a radios, sino slo del valor de AB. o Calcule dicha rea, para AB = 4. a
Ejercicios Propuestos Considere dos circunferencias concntricas, de radios R y e r , con R > r . Se traza una recta tangente a la circunferencia ms pequea, que corta en los puntos A y a n B a la circunferencia ms grande. Demuestre que: a
1
El rea entre ambas circunferencias no depende de sus a radios, sino slo del valor de AB. o Calcule dicha rea, para AB = 4. a
Demuestre que 3, 5 y 7 es el unico tr de nmeros o u impares primos consecutivos que existe.

Demostraciones Matematicas

Загружено:

Сведения о документе

Исходное описание:

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Demostraciones Matematicas

Загружено:

Авторское право:

Доступные форматы

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Formalizacin de Demostraciones o Matemticas a

Sbado 21, Abril de 2012 a

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Conceptos Fundamentales Axiomas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Conceptos Fundamentales Axiomas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Conceptos Fundamentales Axiomas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Conceptos Fundamentales Axiomas

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos

Axiomas Postulados Teoremas

Formalizacin de Demostraciones Matemticas o a

Conceptos Fundamentales Demostraciones de Teoremas Conocidos Demostraciones Generales Ejercicios Propuestos