Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estos pasos deben estar fundamentados tericamente (ya sea por un sistema de axiomas
o por un conjunto de proposiciones-teoremas anteriormente demostrados):
TEOREMA:
HIPTESIS TESIS
a2 = b2 + c2
El hecho de no conocer ninguna demostracin de un teorema no implica su no
veracidad; slo la demostracin de la negacin de este resultado implica que es falso.
Si una proposicin P trae como consecuencia otra P`, diremos que P implica P`,
denotndolo como sigue:
P
P
P P
Diremos que dos proposiciones son equivalentes cuando de una pueda inferirse la
otra, y viceversa, en cuyo caso escribiremos:
En este caso, si sabemos que B es cierta, tambin lo ser A, ya que son equivalentes.
Aunque en general no existe un procedimiento nico de demostracin de teoremas, s
existen diferentes tipos de demostraciones que son utilizados comnmente en
matemticas:
p
Teorema: 2 es un nmero irracional (no puede expresarse como razn entre dos
nmeros enteros).
Demostracin: utilizaremos la reduccin al absurdo y un lgebra sencilla en lugar de la
demostracin exclusivamente geomtrica descubierta por los pitagricos. El estilo del
argumento, el modo de pensar, es por lo menos tan interesante como la conclusin:
2.
Por lo tanto p2 es algn nmero multiplicado por 2. Es decir que p 2 es un nmero par.
Pero el cuadrado de cualquier numero impar es tambin impar (1=1 , 32=9 , 5=25,
etc.). Por lo tanto tambin p ha de ser par, y podemos escribir 2s, siendo s algn entero.
Si sustituimos este valor de p en la ecuacin anterior obtenemos:
10
Ejercicios:
1-. Demuestra que n3-n es mltiplo de 6 para cualquier natural n.
11
12
REPRESENTACIN
De una pipa
13
REPRESENTACIN
2
14
16
expresado uno de los filsofos ms clarividentes de nuestro propio siglo, Alfred North
Whitehead:
La nocin de modelo (pattern) es tan antigua como la civilizacin. Todo arte est
fundamentado en el estudio del modelo. La cohesin de los sistemas sociales depende del
mantenimiento de modelos de conducta, y los progresos de la civilizacin dependen de la
modificacin acertada de ellos. Por eso la impregnacin de modelos en el curso de la
naturaleza y la estabilidad de tales modelos, as como la modificacin de ellos es la condicin
necesaria para la realizacin del Bien. La matemtica es la tcnica ms poderosa para la
comprensin del modelo y para el anlisis de la relacin entre modelos... Considerando la
inmensidad de su campo de accin, la matemtica, incluso la matemtica moderna, es una
ciencia en su infancia. Si la civilizacin contina avanzando, en los prximos dos mil aos, la
novedad predominante en el pensamiento humano ser el seoro de la inteleccin
matemtica.
BIBLIOGRAFA.
Amado Rodrguez, M. Teresa (2004). Los griegos y las matemticas. Departamento de Latn y Griego.
Universidad de Santiago de Compostela. Documento electrnico sin publicar.
De Guzmn, Miguel (2002). El sentido de la educacin matemtica y
la orientacin actual de nuestro sistema educativo. Discurso ante la Real Academia de Ciencias. Madrid.
Dou, Alberto (1974). Fundamentos de la Matemtica. Ed. Labor.
Euclides .Los elementos de Euclides. Ed. Gredos. Madrid.
Peirce, C. S. (1902). La esencia de la matemtica, Traduccin castellana de Manuel Sacristn. En: La
forma del pensamiento matemtico, Antologa y notas de James R. Newman, Grijalbo, Barcelona 1974,
pp. 30-46.
Platn. La Repblica. Ed. EDAF. Madrid.
Rodrguez Prez, Mara (2004). A propsito del poder de las construcciones simuladas: La invencin
de Morel y Ceci n'est pas une pipe. En Espculo. Revista de estudios literarios. Universidad Complutense
de Madrid.
De Saint-Exupry, Antonine. El Principito. Ed. Enrique Sainz Editores (2002). Madrid.
17