Introduccin

Captulo 0
En nombre de Dios, clemente y misericordioso.
Alabado sea el omnipotente, creador de los mundos.
La misericordia es en Dios el atributo supremo.
Nosotros te adoramos Seor, e invocamos tu divina asistencia.
Llvanos por el camino cierto.
Por el camino de aquellos esclarecidos y bendecidos por ti.
El Corn.

Nota: A continuacin exponemos algunos conceptos que sern usuales en el presente

tratado. Posteriormente daremos una definicin ms tcnica de los mismos sin eliminar
del todo los conceptos que aqu presentamos.

Definicin: Es un enunciado que expone con claridad y precisin los caracteres de una
cosa.
Ejemplo: Tringulo es cualquier porcin del plano, no nula, limitada por tres rectas,
ninguna de ellas paralela entre s.
Nota: La definicin expresa una nocin compleja mediante la enumeracin de las
nociones ms simples que la integran. Por eso se dice que los objetos representados por
las nociones intuitivas no son definibles, por no existir nociones previas que las integren.
Una caracterstica de la matemtica moderna consiste en evitar la definicin de conceptos
que tienen poco o ningn sentido. As, por ejemplo, las definiciones tan conocidas de
Euclides1: punto es lo que no tiene partes, lnea es una longitud sin anchura, etc., se
basan en conceptos (partes y anchura) cuya definicin es ms compleja de lo que se
trata de definir.

Trminos Primitivos: Tambin llamados intuitivos, son los trminos (palabras) que no
se definen. Todos los dems trminos tcnicos de cierto discurso se definen
explcitamente mediante los trminos primitivos.
Ejemplos: Los conceptos de punto, lnea, verdad y falsedad se consideran
trminos primitivos (al menos para la mayora de los discursos matemticos).
Nota: Recordemos que en cualquier discurso lgico, en un intento de que sea claro, se
tratan de definir explcitamente los elementos del discurso, las relaciones entre estos
elementos y las operaciones que han de realizarse con ellos. No obstante, dichas
definiciones han de emplear otros elementos, relaciones y operaciones, y stos tambin
estn sujetos a definiciones explcitas. Si estos se definen, lo tienen que ser nuevamente
con referencia a ms elementos, relaciones y operaciones. Tenemos dos caminos abiertos:
o bien la cadena de definiciones ha de cortarse en un punto, o bien tienen que ser circular.
Como la circularidad no se tolera en un discurso lgico, las definiciones deben llevarse a
cerrarse en algn punto; por tanto, es necesario, que a uno o ms elementos, relaciones y
1

Estas definiciones de Euclides se hallan en su libro de Geometra, compuesto por doce tomos, llamado
Elementos (escrito alrededor de los 330-320 a. C.)

operaciones no se les d definicin explcita. Estos son los que precisamente se les
conocen como trminos primitivos o intuitivos del discurso.

Demostracin: Tambin llamada prueba, es una sucesin finita de razonamientos,

llamados argumentos de la demostracin, los cuales se hallan eslabonados mediante
reglas bien definidas, los cuales se hallan eslabonados mediante reglas bien definidas,
llamadas reglas de inferencia o reglas de deduccin, en donde los razonamientos
iniciales (o el razonamiento inicial, segn sea el caso) son conocidos como hiptesis, en
tanto que el razonamiento final, tesis. Una demostracin vaca o demostracin nula es la
demostracin que no posee razonamiento alguno, es decir, es la sucesin de
razonamientos que no posee elementos.
Ejemplo: Supngase que sea desea probar el siguiente enunciado:
La suma de los ngulos internos de un tringulo es igual a 180.
Demostracin:
Argumento 1 (hiptesis): Considrese un tringulo cualquiera ABC, como el que aparece
en la figura.

Argumento 2: Ya que dos rectas paralelas son aquellas que no tienen punto alguno en
comn (Definicin de rectas paralelas),
Argumento 3: y puesto que por un punto exterior a una recta slo puede pasar una nica
paralela (postulado de las paralelas, aceptado previamente),
Argumento 4: se sigue que, dado que el punto C es exterior a la recta AB, por C pasa una
nica paralela a AB.
Argumento 5: Por otro lado, llamaremos secante a cualquier recta que corte a dos
paralelas (definicin de recta secante),
Argumento 6: entonces AC y BC son rectas secantes a las rectas paralelas expuestas
anteriormente.
Argumento 7: Llamaremos ngulo a la porcin del plano limitada por dos rectas no
paralelas, llamados rayos, que se intersectan en un punto llamado vrtice (definicin de
ngulo entre rectas).
Argumento 8: Llamaremos ngulos congruentes entre paralelas a cualquiera de los
ngulos que forma una secante con la respectiva recta que las corta (definicin de ngulos
congruentes).

Argumento 9: De esa cuenta, y el ngulo A son congruentes, as como y B son

congruentes.
Argumento 10: Como los ngulos congruentes entre paralelas con iguales,
Argumento 11: Se sigue que los ngulos A y , as como B y , son iguales,
respectivamente, es decir, A y B .
Argumento 12: Dos ngulos son opuestos por el vrtice cuando comparten el mismo
vrtice, formando ngulos no consecutivos (es decir, ngulos que no comparten el mismo
rayo).
Argumento 13: De esa cuenta, el ngulo C y son opuestos por el vrtice.
Argumento 14: Claramente, dos ngulos opuestos por el vrtice son iguales.
Argumento 15: De esa cuenta, los ngulos C y son iguales, es decir, C .
Argumento 16 (tesis): Ya que 180 , se sigue que, A C B 180 , o lo que
es lo mismo, A B C 180.
Nota: En toda demostracin de algn enunciado, usaremos la palabra demostracin
seguida de : (dos puntos), para denotarla.

Axioma: Es un enunciado tan sencillo y evidente que se admite sin demostracin, es

decir, su demostracin es vaca.
Ejemplos:
El todo es mayor que cualquiera de sus partes.
El todo es la suma de sus partes.
Nota: As como se hace un esfuerzo por definir todos los trminos, en un discurso, sin
caer en circularidades, as tambin se debe hacer un esfuerzo por deducir lgicamente los
enunciados de un discurso y, nuevamente, para evitar el crculo vicioso, al inicio, uno o
ms enunciados deber permanecer completamente no demostrados. Estos enunciados son
precisamente los axiomas (o enunciados primarios) del discurso.

Postulado: Es un enunciado no tan evidente como un axioma pero que se admite

tambin sin demostracin, es decir, su demostracin es vaca.
Ejemplos:
Hay infinitos puntos.
Por dos puntos pasa una recta y solamente una.
Por un punto exterior a una recta pasa una y solamente una recta paralela a la
primera.
Nota: Un postulado es una verdad intuitiva cualquiera que sea su significado que
tiene suficiente evidencia para hacer aceptada como tal. La diferencia entre un postulado
y un axioma es bastante sutil: un axioma, es una verdad que es reconocida a primera vista
(sin necesidad de ulteriores explicaciones), mientras que un postulado es una verdad que
para aceptarla es necesario explicarla a travs de la exposicin de uno o varios ejemplos
que aclaren su significado. Por lo general, para aceptar un postulado es necesario tener
dominio de ciertos conceptos y trminos bsicos del discurso. En la actualidad, las
palabras axioma y postulado suelen tratarse como sinnimas dado que, por su
funcionalidad ambas denotan enunciados primarios de un discurso.

Teorema: Es un enunciado que puede ser demostrado a partir de axiomas, postulados o

teoremas previos, es decir, es un enunciado cuya demostracin es no vaca. La
demostracin de un teorema consta de una sucesin de razonamientos que conducen a la
evidencia de la verdad que se quiere demostrar. Todo teorema consta de dos partes:
hiptesis y tesis. La hiptesis es la suposicin que se da por sentado en el teorema, es lo
que se supone vlido dentro del mismo. La tesis es la conclusin del teorema, es lo que se
quiere demostrar a partir de la hiptesis del mismo.
Ejemplo: La suma de los ngulos interiores de un tringulo vale dos ngulos rectos2 (o
simplemente dos rectos).
La hiptesis y la tesis de este teorema pueden enunciarse as:
HIPTESIS: Sean A, B y C los ngulos interiores de un tringulo dado.
TESIS: La suma de los ngulos A, B y C es dos rectos. Esto es, si R denota un ngulo
recto3, A B C 2R.
Nota: En la demostracin se utilizan los conocimientos adquiridos hasta el momento,
enlazados de una manera lgica. Un teorema, es pues, una verdad cualquiera que sea
su significado no evidente, pero demostrable. Tanto el teorema como el postulado (as
como el axioma) tienen una parte condicional (hiptesis) y una conclusin (tesis), que se
supone se cumple, en caso de tener validez la hiptesis. En el postulado, as como en el
axioma, este cumplimiento se acepta tcitamente. En el teorema es necesaria la
demostracin, que consiste en una serie de razonamientos eslabonados, los cuales se
apoyan en propiedades intuitivas (postulados, axiomas), en otros teoremas ya
demostrados o en ambos. Bsicamente, un teorema se distingue de un axioma o un
postulado por el hecho de que su demostracin no es vaca.

Corolario: Es un teorema que se deduce de un teorema previamente demostrado, como

consecuencia del mismo.
Ejemplo: Del teorema
la suma de los ngulos interiores de un tringulo es dos rectos,
se deduce el siguiente corolario:
la suma de los ngulos agudos de un tringulo rectngulo, es un recto.
Nota: Un corolario es pues un enunciado que se deriva como consecuencia, siempre de
otro teorema previamente demostrado.

Teorema Recproco o Converso: Es un teorema cuya hiptesis y tesis son,

respectivamente, la tesis y la hiptesis de un teorema que, en este caso, se llama teorema
directo.
Ejemplo: El recproco (converso) del teorema
la suma de los ngulos interiores de un tringulo es dos rectos
Es
si la suma de los ngulos interiores de un polgono4 es dos rectos, el polgono es un
tringulo
2
3

Aqu equivale a 180.

Un ngulo recto es un ngulo de 90.

La hiptesis y tesis del recproco son, respectivamente:

HIPTESIS: Sea un polgono cuyos ngulos interiores suman dos ngulos rectos.
TESIS: El polgono es un tringulo.
Nota: No todo recproco es verdadero, de esa cuenta, no todo recproco es teorema.

Lema: Es un teorema que debe anteponerse a otro por ser necesario para la
demostracin de este ltimo. Es como un teorema preliminar a otro que se considera ms
importante.
Ejemplo: Para demostrar el volumen de una pirmide se tiene que demostrar antes el
lema que dice un prisma triangular se puede descomponer en tres tetraedros
equivalentes.
Nota: Un lema es un teorema que sirve a la demostracin de otro teorema. Actualmente
se ha prescindido bastante del uso de la palabra lema y se le suele llamar teorema o bien,
teorema preliminar.

Escolio: Es una nota, advertencia u observacin que se hace sobre un teorema

previamente demostrado, o bien acerca de alguna cuestin matemtica cualquiera.
Ejemplo: Despus de demostrar el teorema que dice: en una misma circunferencia o en
circunferencias iguales, a mayor arco corresponde mayor cuerda (considerando arcos
menores que una semicircunferencia), se podra aadir como escolio: si no se
consideran arcos menores que una semicircunferencia, a mayor arco corresponde menor
cuerda.
Nota: Actualmente apenas se usa la palabra escolio por sustituto de observacin o nota.
En nuestro estudio a desarrollar, tomaremos como conceptos primitivos (intuitivos) los
conceptos de verdadero y falso.

Polgono es una regin del plano, no nula, delimitada por cuatro o ms rectas, no todas paralelas entre s.