Está en la página 1de 17

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

TEMA 0-. INTRODUCCIN AL CONCEPTO DE MATEMTICA.


Profesor: Jos Juan Gonzlez Gmez
Si algo he conseguido, es
porque me he encaramado a
hombros de gigantes.
Isaac Newton
NDICE.
1-. EL CONCEPTO DE MATEMTICA.
2-. LA VERDAD MATEMTICA Y SU RIGOR COMO CIENCIA.
3-. LA INTUICIN Y LA CREACIN EN LAS MATEMTICAS.
4-. FUNDAMENTOS DE LA MATEMTICA GRIEGA.
5-. LA DEMOSTRACIN MATEMTICA.
5.1-. El Mtodo Axiomtico. Los elementos de Euclides.
5.2 La reduccin al absurdo.
5.3 La induccin natural completa.
5.4 La deduccin matemtica.
5.5 Bsqueda de contraejemplos.
6-. REPRESENTACIN Y SIMBOLISMO MATEMTICO
7-. LA MATEMTICA DE LAS APLICACIONES.
8-. EL PAPEL DE LA MATEMTICA EN NUESTRA CULTURA
BIBLIOGRAFA.

1-. EL CONCEPTO DE MATEMTICA.


Matemtica (del lat. matemtica, y ste del gr. mazematike, ciencia, conocimiento, aprendizaje).
Ciencia que se encarga del estudio de entes abstractos (nmeros, figuras geomtricas,...)
y del anlisis de los patrones en las estructuras de los mismos, as como de las
relaciones entre ellos. Entendiendo por patrn a una forma, modelo, simulacin o
paradigma (o, en general, un conjunto de reglas) que pueden ser usadas para crear o
generar entidades o partes de una entidad.
Algunos matemticos (mathematiks: amante del conocimiento) se refieren a ella
como la Reina de las Ciencias, aunque ella misma no se considera una ciencia

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

natural, basada en la experiencia sensible. Principalmente, los matemticos definen e


investigan estructuras y conceptos abstractos por razones puramente internas a la
matemtica, debido a que tales estructuras pueden proveer, por ejemplo, una
generalizacin elegante, o una til herramienta para clculos frecuentes (sentido
aplicado). Otros matemticos estudian sus reas de preferencia simplemente por razones
estticas, viendo as la matemtica como una forma del arte en vez de una ciencia
prctica o aplicada. Sin embargo, las estructuras que los matemticos investigan a la
postre s tienen su origen en las ciencias naturales, y muchas veces encuentran sus
aplicaciones en ellas, particularmente en la Fsica.
La matemtica es un arte, pero tambin una ciencia de estudio. Informalmente, se
puede decir que la matemtica es el estudio de los entes y smbolos. Es decir, es la
investigacin de estructuras abstractas definidas axiomticamente utilizando la lgica y
la notacin matemtica. Es tambin la ciencia de las relaciones espaciales y
cuantitativas. Se trata de relaciones exactas que existen entre cantidades y magnitudes, y
de los mtodos por los cuales, de acuerdo con estas relaciones, las cantidades buscadas
son deducibles a partir de otras cantidades conocidas o presupuestas.
No es infrecuente encontrar a quien describe la matemtica como una simple
extensin de los lenguajes naturales humanos, que utiliza una gramtica y un
vocabulario definidos con extrema precisin, cuyo propsito es la descripcin y
exploracin de relaciones conceptuales y fsicas. No obstante, las teoras modernas
apuntan a que los lenguajes naturales (como el espaol y el francs) y los lenguajes
formales (como la matemtica y los lenguajes de programacin) son estructuras con
naturaleza bsicamente diferente.
La matemtica es una exploracin de ciertas estructuras omnipresentes y ms o
menos complejas que aparecen en nuestra realidad y que admiten ese acercamiento
racional, manipulable mediante smbolos, que pone en nuestras manos un cierto
dominio de la realidad a que se refieren y que llamamos matematizacin. La matemtica
se acerca a la multiplicidad de las cosas y crea la aritmtica, se aproxima a forma y se
origina la geometra, explora el propio smbolo surgido en la mente y nace el lgebra,
analiza los cambios y transformaciones en el espacio y en el tiempo y surge el anlisis
matemtico,... Explora tambin mundos que se contraponen a la intuicin (geometras
no euclideas, teora de Fractales, teora del Caos...). Podemos entenderla como un gran
rbol en continuo crecimiento con ramas milenarias (Aritmtica y Geometra), otras ms
nuevas (Anlisis, Topologa, Estadstica...), y con nuevas tendencias y teoras que se
conforman en brotes que sern (o no) nuevas ramas.
Podemos decir, no obstante, que las disciplinas matemticas fundamentales son:
1. Aritmtica.
2. Geometra.
3. lgebra.
4. Anlisis matemtico, en el cual se hace uso de letras y smbolos, y que incluye la
geometra analtica y el clculo (diferencial e integral).
5. Topologa.

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

6. Estadstica y Clculo de Probabilidades.


Cada una de estas categoras se divide a su vez en pura o abstracta, en donde se
consideran las magnitudes o cantidades abstractamente, sin relacin a la materia; y en
aplicada, la cual trata las magnitudes como substancia de cuerpos materiales, y por
consecuencia se relaciona con consideraciones fsicas. Aunque la tendencia moderna es
a fusionar ambas concepciones, ya que suele pasarse de una a otra en multitud de casos.
2-. LA VERDAD MATEMTICA Y SU RIGOR COMO CIENCIA.
Parece que slo las ciencias matemticas ofrecen verdades incuestionables, al ser
obtenidas a partir de sistemas formales independientes de toda experiencia natural. Por
un lado dichas verdades no son triviales (normalmente) y por otro alcanzan el ideal de
verdad absoluta que el ms exigente cientfico puede apetecer (necesidad y
universalidad). Basta echar un vistazo a alguna revista especializada en matemticas
para ver que los teoremas publicados son teoras muy elaboradas, cuya comprensin
requiere unos estudios especializados de varios aos. No obstante el progreso de la
Matemtica ha puesto de manifiesto numerosas dificultades, y los trabajos sobre los
fundamentos matemticos, realizados en el s. XX, nos hace cautos y pone en duda
nuestra conviccin acerca de la absolutez de las verdades matemticas: no existe para el
hombre la verdad absoluta ni siquiera en las matemticas.
Parece ser esencial a la nocin de verdad matemtica la progresiva situacin
alcanzada por la Matemtica, la Filosofa Matemtica y la Ontologa: todas las cuales no
parecen tender en el tiempo hacia algo acabo y definitivo, incontrovertible y cerrado en
s mismo, sino posiblemente se hallan sumergidas en un proceso dinmico siempre
abierto.

Tradicionalmente se ha visto en la Matemtica la ciencia fundamental que permea


todas las dems ciencias, las cuales aparecen como tales en la medida de su
matematizacin. Entendemos, como ms adelante se afirma, que la lgica es posterior a
la Matemtica, o en todo caso, parte de la misma. Las Matemticas constituyen la
estructura formal de todas las ciencias, y las impregna de armazn lgico-deductivo. No
obstante, como ms adelante se expone, los sistemas formales que utiliza la matemtica
tienen lmites, que hacen que los sistemas de verdades inferidos deban entenderse
ciertos salvo en sus cimientos, donde hemos de realizar un auto de fe.
La Matemtica aplica, con sumo rigor, el mtodo racional; pero no ser hasta el s.
XX en que matemticos como Frege, Hilbert, Brouwer y otros dan una satisfactoria
explicacin de la naturaleza de esta racionalidad del mtodo matemtico, aunque
siguiendo distintas vas y sistemas filosficos (formalismo, intuicionismo, etc...). El
sistema ms extendido hoy da es el formalismo matemtico.

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

3-. LA INTUICIN Y LA CREACIN EN LAS MATEMTICAS.


Las matemticas que figuran en cualquier libro de texto aparecen al estudiante como
algo definitivo y cerrado: antes de conocer el teorema de Pitgoras poda existir cierta
curiosidad por saber si el cuadrado de un lado del tringulo rectngulo es mayor o
menor que la suma de los cuadrados de los otros dos; una vez descubierto, la curiosidad
se desvanece.
A pesar de lo que pueda parecer, una de las notas propias ms importantes de la
matemtica moderna es su exigencia extraordinaria de intuicin y creatividad.
Entendamos esto con un smil: una demostracin podra ser como el sol luminoso que
convierte una flor en un fruto, pero ello no sucede sin que simultneamente y a partir
del mismo proceso de maduracin surjan nuevas flores y despuntes yemas que puedan
originar incluso nuevas ramas de la Matemtica. La demostracin definitiva mata la
curiosidad previa, pero en compensacin despierta nuevas sugerencias y conjeturas, de
modo que la periferia del rbol de la matemtica (frontera del saber matemtico) ha
aumentado a lo largo de la historia y todava lo sigue haciendo.
El mismo proceso de demostracin de un teorema no deja de tener gran valor en s
mismo. Si bien es verdad que destruye la previa expectacin, tambin lo es que la
demostracin en s misma tiene un valor esttico y artstico, en tanto que se trata de un
proceso que transforma los datos amorfos de partida en una estructura cristalina de
resultado.
4-. FUNDAMENTOS DE LA MATEMTICA GRIEGA.
La matemtica griega se centrar en el hecho de que la raz ltima de mtodo
matemtico parece, pues, que hay que ponerla en la aplicacin de esa actividad tpica y
peculiar de la inteligencia: el razonamiento. Para un conocimiento del mtodo
matemtico resulta imprescindible la experiencia personal de su ejercicio; como sucede
con el conocimiento propio del color rojo, para lo cual las descripciones o definiciones
son insuficientes y se requiere la vivencia de su visin. Los griegos recogen la
matemtica de civilizaciones anteriores (babilonios, egipcios) que haban resuelto ya
ecuaciones de segundo grado (vg.). Pero en el hecho de la matemtica griega hay,
adems de la formacin de sistemas de verdades profundos y coherentes, la
determinacin de la entidad de los objetos matemticos de una forma tan peculiar. Estos
objetos aparecen espontneamente en nuestra mente, como si sbitamente fuesen
descubiertos o creados por ella, sin relacin con el tiempo y el espacio, de modo que nos
es fcil distinguir entre el polgono convexo regular inscrito en una circunferencia y con
123456 lados, del mismo polgono con 123457 lados. Todo ello en evidente oposicin a
los objetos del mundo sensible que nos son familiares a travs de nuestros sentidos, que
no suelen ser ni perfectos ni regulares ni responden fcilmente a modelos matemticos.
En el sexto libro de la Repblica, Platn sostiene que el carcter esencial de la
matemtica consiste en la naturaleza y grado peculiares de su abstraccin, que es mayor
que la de la fsica, pero menor que la abstraccin de lo que hoy llamamos filosofa.
Leeremos a continuacin un fragmento de la Repblica (coloquios VI y VII) donde se
hace patente todo lo que venimos diciendo (ver aparte). Ms adelante se describir,
como obra cumbre de la Matemtica que es, el mtodo axiomtico que Euclides de
Alejandra sigui en sus Elementos.

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

5-. LA DEMOSTRACIN MATEMTICA.


La Matemtica posee un mtodo propio de trabajo, que consiste en la obtencin de
consecuencias necesarias y suficientes a partir de diferentes situaciones hipotticas. sta
es su esencia y su definicin, que no debe coincidir con la de la lgica deductiva: segn
R. Dedekind, la Matemtica es una rama de la lgica pues es la ciencia de la obtencin
de conclusiones necesarias (lo cual coincidira con la lgica deductiva); aunque
realmente es ms la ciencia que obtiene conclusiones necesarias, valindose de dicha
lgica.
El matemtico se interesa intensamente por mtodos de razonamiento eficaces,
considerando su posible ampliacin a nuevos problemas; pero, qua matemtico, no se
molesta en analizar detalladamente las partes de su mtodo cuya correccin es cosa
admitida. Los diferentes aspectos que toma el lgebra de la lgica para las dos
profesiones es instructiva a este respecto. El matemtico se pregunta qu valor tiene esa
lgebra en tanto que es clculo. Puede aplicarse para desenmaraar una cuestin
complicada? Producir rpidamente alguna consecuencia remota? Al lgico no le
interesa que ese lgebra tenga tal carcter. Por el contrario, el mayor nmero de pasos
lgicos distintos en que el lgebra de la lgica descompone la inferencia constituye para
l una superioridad respecto de otros clculos que avancen ms rpidamente hasta la
conclusin. Lo que el lgico pide es que esa lgebra analice un razonamiento hasta sus
pasos ms elementales. As pues, lo que para uno de esos dos profesionales es un mrito
del lgebra lgica es un defecto para el otro. El uno estudia la ciencia de la obtencin de
conclusiones, el otro la ciencia que obtiene conclusiones necesarias.
Por tanto, todo en ella, excepto los primeros preceptos para la construccin de las
hiptesis, tiene que ser de la naturaleza de la inferencia apodctica 1. Sin duda podemos
razonar imperfectamente y saltar sin justificacin a una conclusin; pero aun as la
conclusin conseguida no significa en todo caso sino que dada cierta situacin real, algo
sera necesariamente verdadero. A la inversa, toda inferencia apodctica es, hablando
estrictamente, matemtica. Pero la matemtica, como ciencia seria, tiene, por encima de
su carcter esencial, el ser hipottica, una peculiaridad caracterstica accidental -un
proprium, como decan los aristotlicos- que presenta el mayor inters lgico. Se trata
de lo siguiente: aunque todos los "filsofos" siguen a Aristteles en la doctrina de que la
nica demostracin plenamente satisfactoria es la que llaman directa, o demostracin
quia o de por qu -una demostracin que no usa ms que conceptos generales y no
concluye sino algo que quedara absorbido por una definicin si todos sus trminos
estuvieran precisa y explcitamente definidos-, los matemticos, por el contrario,
desprecian ese estilo de razonamiento y aprecian la demostracin que los filsofos
estigmatizan como "meramente" indirecta, o demostracin quod o de qu.
A continuacin se exponen resultados bsicos de la lgica proposicional que el
alumno debe conocer, pues se aplicarn en la demostracin de algunos teoremas
matemticos a lo largo de este curso.
Entenderemos por proposicin a una afirmacin efectuada en trminos inequvocos
que puede ser verdadera o falsa. Demostrar una proposicin consiste en dar una
sucesin coherente de pasos lgicos que, tomando como verdadero un conjunto de
premisas llamado hiptesis (conjeturas, supuestos a priori) permite asegurar la
veracidad de una tesis (lo que se pretende demostrar).
1

Que no admite contradiccin ni discusin.


5

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

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

Teorema de Pitgoras. En el espacio euclideo, se verifica la siguiente relacin

entre los lados de un tringulo rectngulo: el cuadrado de la hipotenusa es igual a la


suma de los cuadrados de los catetos.

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:

En este caso si P es verdadera tambin lo es P`.Suelen darse en Matemticas


numerosas cadenas de implicaciones, en el desarrollo de las diferentes teoras que la
conforman, desde un punto de vista totalmente lgico-deductivo:

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:

Demostracin por contraejemplos.

Demostracin por reduccin al absurdo.

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

Induccin matemtica completa.

Deduccin (cadena de implicaciones, equivalencias...).

Demostraciones automticas: existen tcnicas computacionales que permiten


hacer demostraciones sobre todo en el campo de las ecuaciones numricas y
diferenciales, y en la Teora de Juegos y de Grafos.

Por otra parte el matemtico busca y halla frecuentemente el cambio de un problema


reducido que supone excepciones particulares por un problema ms amplio y libre de
ellas: no se puede negar, por ejemplo, que el ajedrez es matemtica en un cierto sentido;
pero, a causa de las excepciones particulares con que el matemtico tropieza por todas
partes en l -los lmites del tablero, los particulares movimientos del rey, el caballo y el
pen, el nmero finito de casillas, el particular modo de matar de los peones, el enroque,
etc.-, resulta una matemtica de alas cortadas, que no puede sino corretear por el suelo.
5.1-. El Mtodo Axiomtico. Los elementos de Euclides.
El razonamiento matemtico debe ser llevado de tal modo que engendre conviccin
en el que lo ejercita, que obligue al asentimiento y cree una certeza necesaria en el
sujeto. En el mtodo axiomtico es necesario apoyarse en proposiciones que no sean
absolutamente convincentes, o susceptibles de ser demostradas. Habr que especificar
dicho sistema de proposiciones e indicar que el sistema de verdades que se est
construyendo est basado en la admisin (auto de fe) de esas proposiciones que no se
imponen per se. Estas proposiciones son de dos clases:
a-. Los axiomas o nociones comunes, que afectan a todas las ciencias y a todo
razonar.
b-. Los postulados, que solo afectan a la ciencia, teora o sistema de verdades que se
est construyendo.
En Los Elementos de Euclides se establecen nueve axiomas (o nociones comunes) para
la geometra:
1. Cosas iguales a una tercera son iguales entre s.
2. Si a cosas iguales se aaden cosas iguales, los totales son iguales.
3. Si a cosas iguales se sustraen cosas iguales, las diferencias son iguales.
4. Cosas que pueden llevarse a ser congruentes son iguales.
5. El todo es mayor que la parte.
y cinco postulados (premisas referidas nicamente a la geometra):
1. Desde cualquier punto se puede trazar una recta a cualquier otro punto.
2. Un segmento rectilneo puede ser indefinidamente prolongado.

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

3. Existe una nica circunferencia con un centro y dimetro dados.


4. Todos los ngulos rectos son iguales.
5. Postulado de las paralelas: Si una secante corta a dos rectas formando a un
lado ngulos interiores cuya suma es menor que dos rectos, las dos rectas
suficientemente prolongadas se cortan en este mismo lado.
Actualmente se llaman sencillamente axiomas a los principios que se aceptan sin
demostracin al desarrollar una teora. O mejor an, los axiomas caracterizan y definen
la estructura que estudie la teora en cuestin. As, hablamos de los axiomas de grupo,
los axiomas de anillo, los axiomas de la geometra proyectiva, de la geometra afn o de
la geometra eucldea, etc. El mtodo axiomtico ser, pues, el que se basa en la
utilizacin de axiomas y postulados en el desarrollo de la base de una teora o sistema
de verdades, que deben ser independientes unos de otros, y con un carcter universal.
Nos falta ahora definir la familia de objetos matemticos, que deben ser requisito
para el comienzo del discurso matemtico. La solucin proporcionada por Euclides es
suministrar de antemano una coleccin de entidades matemticas mediante
definiciones, descripciones que deben excitar en la mente del lector la idea u objeto
matemtico, cuya definicin exacta e independiente debe parecer a los griegos como
imposible y en ocasiones ciertamente ridcula. Ejemplos de definiciones son:
1-. Un punto es aquello que no tiene partes.
2-. Una lnea es una longitud sin anchura.2
3-. Las extremidades de una lnea son puntos.
4-. Una recta es una lnea que yace por igual respecto todos sus puntos.
5-. Rectas paralelas son aquellas que, estando en el mismo plano, por ms que se
prolonguen en ambos sentidos nunca se encuentran.
A lo largo de la historia numerosos matemticos dedicaron su vida,
infructuosamente, a demostrar que el postulado de las paralelas poda ser inferido a
partir de los anteriores. Aunque la estructura de los Elementos es extraordinariamente
lgica en el sentido moderno, en Euclides no aparece referencia alguna a reglas lgicas
de inferencia, ya que posiblemente no se considerasen un requisito para la matemtica,
sino ms bien como un producto espontneo de la misma. Naturalmente, en los
Elementos tambin se encuentran algunas insuficiencias y puntos oscuros:
a-. Defectos producidos por las definiciones: la definicin de recta es igualmente
conveniente a una circunferencia, a ciertas espirales y a la hlice. Los verdaderos
objetos matemticos son solamente sugeridos o iluminados como afirma
Aristteles (ver texto) mediante las figuras que se hacen y las definiciones.
b-. La distribucin entre postulados y nociones comunes dista de ser clara.
Adems, algunas definiciones tienen tambin carcter de postulado: por ejemplo, la
definicin cuarta del libro V afirma que dos magnitudes forman razn cuando cada
2

Lnea aqu se entiende como curva, finita o indefinidamente prolongable.


8

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

una admite un mltiplo que es mayor que la otra es equivalente al actualmente


llamado postulado de Arqumedes.
c-. La lista de postulados es insuficiente; as, la proposicin I del libro I supone, sin
que pueda derivarse de la lista de axiomas y postulados previos, que dos
circunferencias, cada una pasando por el centro de la otra, se cortan en dos puntos.
Faltan, adems, postulados de orden.
d-. Falsedad de la proposicin 16 del libro I: en todo tringulo, si se prolonga uno
de los lados, el ngulo exterior es mayor que cualquiera de los ngulos interiores
adyacentes al lado opuesto. La demostracin es falsa, y el fallo consiste en la
excesiva confianza de la intuicin geomtrica de la infinitud de la longitud de una
recta.
Kurt Gdel demostr a mediados del siglo XX que cualquier sistema axiomtico
(con unos axiomas y mtodos de deduccin bien definidos y establecidos) que sea
consistente (sin contradicciones) e incluya a la Aritmtica posee serias limitaciones,
pues siempre habr una proposicin P que es verdadera pero no es demostrable a partir
de tales axiomas con las reglas de deduccin establecidas3. De hecho Gdel prueba que
en cualquier sistema formal que incluya la Aritmtica puede formarse una proposicin P
que esencialmente afirma Este enunciado no es demostrable. Si se pudiera demostrar
P, el sistema tendra contradiccin: no sera consistente. Luego P no es demostrable y
por tanto P es verdadero! Este teorema de Gdel a menudo ha sido interpretado en un
sentido pesimista, como una especie de limitacin esencial del conocimiento humano o
algo as. Pero ese no es el caso, debe notarse que Gdel demuestra que tal enunciado P
es verdadero, as que el resultado de Gdel realmente muestra que ningn sistema
axiomtico consistente (entendido como mquina de deducir) agota la capacidad de
demostracin de la razn humana. Por el contrario, su verdadero sentido es que ningn
ordenador ni proceso meramente mecnico puede emular el raciocinio humano, que
nuestro espritu no es lo que hoy en da entendemos como mquina.
5.2 La reduccin al absurdo.
El argumento pitagrico original sobre la irracionalidad de la raz cuadrada de 2
dependa de una clase de argumento llamado reduccin al absurdo: suponemos de
entrada la verdad de una afirmacin, seguimos sus consecuencias y desembocamos en
una contradiccin, lo que nos permite determinar su falsedad. Tomemos un ejemplo
moderno y consideremos el aforismo del gran fsico del siglo veinte, Niels Bhr: Lo
contrario de cualquier gran idea es otra gran idea. Si as es, la afirmacin contraria, lo
contrario de cualquier gran idea no es una gran idea tambin debe ser cierta. Hemos
llegado entonces a una reduccin al absurdo. Si la afirmacin contraria es falsa podemos
dejar de lado el aforismo porque ha confesado claramente que no es una gran idea.
El modo de interpretar en lgica proposicional este mtodo es el siguiente: la
implicacin AB es equivalente a la implicacin no Bno A. Por eso, si
queremos demostrar una proposicin X, podemos hacerlo negndola (no X) y deducir
de ah alguna falsedad con nuestro sistema lgico. De donde se concluir que X es
verdadera.

Teorema de incompletud de Gdel.


9

Curso 2005-06. IES Ildefonso Serrano. Departamento de 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:

Consideremos un cuadrado cuyos lados miden una unidad de longitud. La lnea


diagonal BC divide al cuadrado en dos tringulos, cada uno de los cuales contiene un
angulo recto. En estos tringulos rectngulos es vlido el teorema de Pitgoras:
1 + 1= X2. Pero 1+1=2 , por lo tanto x = 2 y escribiremos x =
2

2.

2 sea un nmero racional: 2 = p / q. donde p y q son


Supongamos que
nmeros enteros y no tienen factores comunes. Si elevamos al cuadrado los dos
p

2 = p / q, obtenemos 2 = p2/q2, y luego multiplicando


trminos de la ecuacin
ambos trminos de la ecuacin por q2 llegamos a:

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:

Dividiendo ambos miembros de esta ltima igualdad por 2, obtenemos:

Por lo tanto q2 es tambin un nmero par y se deduce por el mismo argumento


utilizado con p que q tambin es un nmero par. Pero si p y q son ambos nmeros pares,
ambos divisibles por 2, no se redujeron a su mnimo comn denominador, lo cual
contradice uno de nuestros supuesto (contradiccin con la hiptesis).
Ejercicios:

10

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

1-. Demostrar que si dos rectas no coincidentes y contenidas en un plano son


perpendiculares a otra recta, entonces las dos primeras son paralelas.
2-. Tres de los ngulos de un cuadriltero miden 30, 130 y 140. Demuestra que
dicho cuadriltero no puede inscribirse en una circunferencia.
5.3 La induccin natural completa.
Cuando pretendemos demostrar una proposicin para todos los nmeros naturales
(de ah el nombre de induccin natural), vamos a seguir un mtodo muy til, que para
entendernos podra ser equivalente a resolver el problema: si tenemos una escalera con
infinitos peldaos, cmo describir un proceder que nos permita asegurar que subimos
todos los peldaos, una vez subido el primero? Una manera de resolver esto sera:
a-. Subo el primer peldao.
b-. Suponiendo que hemos subido hasta un peldao cualquiera, siempre es posible
subir hasta el siguiente.
El mtodo inductivo pretende, pues, generalizar el caso particular, mediante un
proceso ascendente, y obtener una formulacin general que resuma todos los casos
posibles.
El Principio de Induccin natural puede resumirse, formalmente, en el siguiente
enunciado:
Si pretendemos demostrar una proposicin P sobre todos los nmeros naturales,
que est definida con total precisin, el mtodo ser:
a-. Comprobar que dicha proposicin se verifica para el primer nmero natural (el 0
o el 1, segn diferentes corrientes filosficas).
b-.Suponiendo que P es cierta para cualquier nmero natural, demostraremos que es
cierta para el siguiente: P(n) cierta P(n+1) cierta
Normalmente el proceso suele ser as: si es cierto para n=0 o n=1, supongmoslo
cierto hasta n=k-1; a partir de aqu se demuestra para n=k, y como k es cualquier
natural, la proposicin P puede considerarse cierta.
Ejemplo: Demostrar, mediante el mtodo de induccin, que la suma de los n primeros
nmeros naturales responde a la siguiente frmula.

Ejercicios:
1-. Demuestra que n3-n es mltiplo de 6 para cualquier natural n.

11

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

2-. Demuestra la igualdad natural : (1+2+...+n)2=13+23+...+n3


3-. Demuestra que 62n-1 es divisible por 35 para cualquier valor de n natural.

5.4 La deduccin matemtica.


A partir de un sistema formal (definiciones, axiomas, postulados, otros teoremas y
proposiciones), y mediante un proceso lgico-deductivo, se pretende demostrar cierta
proposicin P enunciada como un binomio hiptesis-tesis.
El mtodo deductivo puede resumirse en los siguientes pasos:
Deseamos demostrar la veracidad de una proposicin X. Partimos del
conocimiento de ciertas proposiciones-teoremas cuya veracidades ya estn
contrastadas, o tienen el carcter de axioma o postulado: de una P1 llegamos a otra
P2, de esta a otra P3, etc..., y as, mediante una cadena de implicaciones (finita) se
llega a concluir la proposicin X.
El mtodo deductivo est considerado, en la actualidad, como el mtodo de
demostracin por excelencia de las Matemticas. Una variante del mismo es,
precisamente, la reduccin al absurdo que ya hemos visto, y tambin la reduccin por
deduccin a proposiciones equivalentes ya demostradas.
Ejemplo: Demostrar, mediante deduccin, que la suma de los n primeros nmeros
naturales responde a la siguiente frmula.

Ejemplo: Demostrar que, en un tringulo rectngulo, la suma de las reas de los


semicrculos que pueden trazarse tomando como dimetro cada cateto coincide con el
rea del semicrculo que puede trazarse tomando como como dimetro la hipotenusa.

Ejercicio (investigacin): Demuestra el teorema de Pitgoras a partir del teorema del


cateto y del teorema de la altura.

5.5 Bsqueda de contraejemplos.


Consiste en la bsqueda de un caso particular que haga evidente la falsedad de la
proposicin.
Ejemplo: todo nmero de la forma n2 n + 41 es un nmero primo.

12

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

Un evidente caso particular que no cumple la proposicin es n=41.

6-. REPRESENTACIN Y SIMBOLISMO MATEMTICO.


La Matemtica, como venimos diciendo, trabaja fundamentalmente con entidades
abstractas e investiga relaciones entre las mismas, estableciendo pratrones y modelos
tericos, que algunas veces tienen aplicaciones en otras reas de la Ciencia. A lo largo
de su desarrollo histrico, la Matemtica ha necesitado, y lo sigue haciendo, de una
simbologa y notaciones que les son propias: notacin algebraica, notacin geomtrica,
notacin del anlisis, etc... Las primeras representaciones de entes matemticos
aparecieron en el mbito de la Aritmtica Elemental: los sistemas numricos que
nuestros antepasados inventaron al descubrir o intuir el concepto de nmero, cualidad o
cantidad que tenan en comn distintos tipos de conjuntos que aparecan en su universo.
Este primer paso de simbolizar una idea abstracta mediante smbolos o signos supuso el
primer gran salto en el pensamiento humano para emanciparnos definitivamente de un
pensamiento animal, basado en el instito, para llegar a un pensamiento transcendente y
racional.
El problema del simbolismo y notaciones matemticas es el de su idoneidad para
representar las teoras abstractas. Estas representaciones son totalmente independientes
del mundo real, sin posibilidad de comparacin con objetos reales, ya que se trata de
objetos creados por el intelecto, aunque eso si, sobre intuiciones reales. Esto no ocurre
con la mayora de representaciones en el arte o la tcnica, que se basan en objetos que si
estn en nuestro universo. Recordemos la obra pictrica de Ren Magritte:

Ceci nest pas une pipe


Podemos preguntarnos es realmente una pipa? o una representacin de la idea de pipa
que tenemos en nuestra mente? En este caso, existe una clara correspondencia entre:
MUNDO REAL
Pipa material

MUNDO DE LAS IDEAS


Idea de pipa

REPRESENTACIN
De una pipa

El mundo de las representaciones de los objetos reales no est exento de trampas y e


interpretaciones sesgadas, pues cada cual puede tener una nocin del objeto
representado segn sus propias experiencias; recordemos el cuento El principito, de A.
de Saint-Exupry, en el que el mismo autor representaba un dibujo (para l una boa que
se haba tragado un elefante) que a todos pareca un modelo de sombrero:

13

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

Boa con elefante (de A. De Saint-Exupry)


En el universo matemtico no ocurre esto, pues no hemos tenido contacto con los
entes matemticos; por ejemplo, el smbolo 2, del sistema numrico decimal indio, no
existe realmente en nuestro mundo, es un smbolo arbitrario pero inequvoco, y sabemos
bien que su significado es la dualidad o paridad:
MUNDO REAL
No existe

MUNDO DE LAS IDEAS


Lo dual

REPRESENTACIN
2

Aunque lo verdaderamente importante es la idea de nmero dos, y cualesquier otro


tipo de ente matemtico, definido independientemente de cualquier situacin real,
nosotros deberemos inevitablemente trabajar con smbolos que representen esas
abstracciones.
No debemos sentir miedo ante esos smbolos, pues no son ms que representaciones
de lo que es puro, eterno, inmutable. Los conceptos de la Matemtica no son fcilmente
asimilables, requieren de un estudio sistemtico, sosegado y no exento de esfuerzo,
sobre una simbologa y notaciones adecuadas. Aprendamos este curso a manejar dichos
smbolos matemticos y habremos dado el primer paso para amar las Matemticas por
s mismas y no solo por las aplicaciones reales que puedan tener. Recuerda: nada
material sacaremos de esta vida; por tanto, por qu preocuparse de ello?.
7-. LA MATEMTICA DE LAS APLICACIONES.
En el fondo de la actividad matemtica subyacen motivaciones muy variadas que,
lejos de ser antagnicas, se complementan profundamente. La matemtica naci con el
intento de explorar las armonas y recurrencias del universo fsico en las culturas
mesopotmicas y se hizo adulta en el mundo griego constituyndose en ciencia, en
enseanza (mazesis) por antonomasia, en mtodo de pensamiento. Ha sido cultivada
como disciplina formativa del pensamiento, como matriz de estructuras mentales bellas
y armoniosas, como modelo y dechado de conocimiento... Pero, especialmente desde los
tiempos de Galileo, su desarrollo ha estado ntimamente ligado con aquellos fenmenos
del mundo fsico en los que el hombre ha estado interesado, guiando al mismo tiempo
este inters al proporcionarle herramientas que de algn modo posibilitan el acceso del

14

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

conocimiento humano a tales fenmenos. El progreso del pensamiento colectivo del


hombre manifiesta as una profunda unidad. La que hemos llamado matemtica
fundamental est fuertemente condicionada en su desarrollo, lo hemos podido observar,
por los problemas internos propios de cada campo, pero no deja de experimentar en los
puntos de cambio de rumbo de su trayectoria la robusta influencia que ha ejercido sobre
ella la posibilidad, siempre presente, de su utilizacin para la exploracin de nuevos
fenmenos. Dnde se detecta especialmente en la matemtica contempornea esta
interaccin profunda con la intencin exploratoria del entorno del hombre? No se puede
pretender aqu realizar una enumeracin exhaustiva de los numerossimos puntos de
todas las ciencias actuales en que se proponen a la matemtica problemas propios y muy
profundos que estn estimulando la elaboracin de herramientas matemticas originales
para su tratamiento.
La fsica matemtica ha sido y sigue siendo el campo de las aplicaciones en que esta
interaccin alcanza su mayor amplitud y profundidad. Tanto es as, que durante mucho
tiempo matemtica aplicada ha sido sinnimo de fsica matemtica. Tal vez una de las
caractersticas ms importantes de nuestros das en este terreno consista en que los
avances del anlisis matemtico actual han comenzado a hacer posible una
aproximacin no lineal a fenmenos que no son lineales y que en tiempos pasados, o no
pudieron ser tratados en absoluto, o fueron tratados en una primera aproximacin burda
como si fuesen lineales, por carecerse de herramientas suficientemente poderosas para
enfrentarse con el fenmeno en toda su complejidad.
Uno de los impactos ms llamativos, en las ciencias contemporneas y en nuestra
cultura en general, de los desarrollos matemticos de nuestros das ha corrido a cargo de
la estadstica. El desarrollo de la teora de la probabilidad y su aplicacin a los
fenmenos aleatorios han conseguido crear una matemtica que en cierto modo logra
dominar y manejar con acierto la incertidumbre misma. Lo que originariamente aparece
como caos regido por el azar y opaco a la inteleccin, la estadstica lo ordena y lo
somete finalmente a leyes aleatorias que arrojan sobre los fenmenos una luz tan intensa
como la que las leyes deterministas de la fsica matemtica irradian sobre los objetos a
los que se aplican. Un enorme nmero de ciencias y tcnicas se han beneficiado de esta
iluminacin y dominio de la incertidumbre que la estadstica proporciona. Entre ellas la
biologa, la medicina, las tcnicas y ciencias econmicas, el estudio de poblaciones, la
investigacin sobre la produccin industrial y sobre mercados, la psicologa, la
sociologa, la antropologa, la lingstica...

8-. EL PAPEL DE LA MATEMTICA EN NUESTRA CULTURA


La matemtica, tal como la entendemos y practicamos hoy da, naci en la comunidad
cientfico-religiosa de los pitagricos, en el siglo VI a. de C., y fue concebida como una
va, un mtodo, a travs del cual el hombre pudiera asomarse a lo profundo del
universo, a eso que los pitagricos expresaban como "las races y fuentes de la
naturaleza". En aquel tiempo, el quehacer matemtico estaba muy lejos de ser la mera
tcnica rutinaria para dominar algunos aspectos de nuestro entorno fsico en que en gran
parte lo hemos convertido hoy. Lo que Pitgoras y los pitagricos comenzaron a percibir
en su contemplacin matemtica, y de ello fueron muy conscientes, eran las armonas
ms hondas presentes en la estructura misma de este universo en el que vivimos. Y en
tal contemplacin basaban su misma vida tica y religiosa. El punto de vista Pitagrico
era el de las Matemticas como una va de entendimiento y participacin de lo sagrado.
15

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

Si el universo todo est construido de forma tan armoniosa como lo percibimos a


travs del conocimiento matemtico, les resultaba claro que nuestra propia vida humana
debera tratar de acomodarse a esa armona, primero contemplndola, y despus
respetndola y favorecindola, tanto en sus aspectos fsicos ms externos como tambin
en los ms especficamente humanos, a travs del respeto especial hacia los seres vivos,
y muy en particular a travs de las relaciones mutuas con los dems seres, tanto
humanos como divinos. El quehacer matemtico fue entre los pitagricos en cierto
modo una gua de contemplacin y de comportamiento
Esta va estaba, no obstante, sujeta a una vida que Artistofonte describe
despectivamente en una de sus comedias (sentimiento generalizado en la Grecia Clsica
hacia los mismos):

La matemtica ha cumplido, a lo largo de la historia del pensamiento, una funcin


muy peculiar. Desde los tiempos de Pitgoras la matemtica ha constituido el armazn,
en su forma ms pura, del pensamiento fundamental de nuestra cultura occidental: la
inteligibilidad del universo mediante la razn, y precisamente mediante la razn
cuantificadora. Para la cultura occidental el universo no es caos, es cosmos, orden. La
naturaleza es regular, es decir, sigue unas reglas, unas pautas. Nuestro pensamiento
puede captar estas normas de actuacin de la naturaleza. La matemtica es la
herramienta a su disposicin para hacerse con ellas. Para la cultura oriental india, la
matemtica formaba parte de lo sagrado, eterno e inmutable, aspectos que en nuestro
mundo, hoy da, ya no existen y son difcilmente imaginables en el sentido antiguo. La
matemtica no era entonces, en absoluto, una ciencia aplicada ni fcilmente asimilable,
sino solo para iniciados e se estudiaba como independiente del mundo material, cercano
a lo sagrado.
Actualmente, la matemtica es consenso, es sometimiento a la realidad, pero es
tambin, y de forma muy importante, libertad creativa. Como George Cantor, el creador
de la teora de conjuntos afirmaba solemnemente al comienzo del siglo XX, "la esencia
de la matemtica es la libertad". Y es que, al igual que el artista que pretende expresar
para los dems una vivencia, una visin muy especial que tiene, tambin el matemtico
dispone de muchos procedimientos posibles para hacerlo. La matemtica es, sin duda,
descubrimiento, pero tambin creacin libre, aventura. Y es este espritu, este
sentimiento de fusin de creatividad, libertad, espontaneidad y orden que subyace a la
actividad matemtica, la contribucin ms importante que la matemtica puede ofrecer a
nuestra sociedad actual. Contribucin que va mucho ms all de la mera utilidad
prctica de las diferentes creaciones concretas de la matemtica.
Aqu estriba, por otra parte, el valor educativo ms profundo de la matemtica, el que
los filsofos ms profundos, Pitgoras, Platn, Descartes, Leibnitz, Pascal, Gauss,
Hilbert,.... han sabido ver en ella. En nuestra transmisin de la herencia matemtica es
ste el aspecto que deberamos tratar de hacer ms explcito. He aqu cmo lo ha

16

Curso 2005-06. IES Ildefonso Serrano. Departamento de Matemticas.

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

También podría gustarte