CAPTULO

2.1 E! proceso d-

fsPBf
de' ra?onamt

2.5 Reciproi.(4, inv!

2.6 Esquemas de ra
2 7 PO'^'M!-^''''"''^ '"'P T ^ O

2,8 A_

Repagoterfsm;(.frt

La geometra en nes
Razonamiento
en geometra
44 Razonamiento en geometra

2.1 El proceso del razonamiento

Inductivo

B.C. by pennission of Johnny Hart and Fidd Enterprises, Inc.

1 razonamiento es el proceso mediante el cual se sacan conclusiones a

partir de la informacin. En ocasiones, la gente saca conclusiones basadas
en sus propias observaciones. A l observar varias veces que una accin
produce el mismo resultado, se concluye, en general, que esa accin tendr
siempre el mismo resultado. A esta clase de razonaAiiento se le llama
razonamiento inductivo. Y a la conclusin que se saca del razonamiento
inductivo se le llama generalizacin.

Los tres ejemplos siguientes muestran cmo puede aplicarse el

razonamiento inductivo en geometra.

limpio 1 Supngase que alguien cort, de una hoja de papel, tres

tringulos diferentes.

Las esquinas de cada tringulo se cortaron y colocaron juntas tal como

se muestra a continuacin.

Qu se observa acerca de la suma de las medidas de los ngulos? Es

eso cierto para todos los tringulos?
Compltese esta generalizacin:
La suma de las medidas de los ngulos de un tringulo es X .
 2.1 El proceso del razonamiento inductivo

iMllplO 2 Supngase que alguien midi todos los lados

de tres tringulos diferentes.

n estos tringulos, la suma de las longitudes de dos Jados es mayor que

ongitud del tercer ld. s iaiWifnnitnMrvi'Cia4e:v'Mta.todos los
Bgulos?
npltese esta generalizacin:
,a suma de las longitudes de dos lados de un tringulo es que
angitud del tercer lado.

mplO 5 Supngase que alguien traza las bisectrices de cada

ngulo de tres tringulos diferentes.

encontrarn todas las bisectrices de cada tringulo en el punto F?

esa afirmacin verdadera para todos los tringulos?
sEpliese esta generalizacin:
Las bisectrices de los ngulos de un tringulo JL en un punto 1.
ee est fuera, sobre o dentro) del tringulo.

El proceso del
razonamiento
inductivo puede describirse
como se muestra aqu.
Razonamiento inductivo
Paso 1 Se observa que una propiedad es verdi
para cada caso que se verifica.
Paso 2 Dado que la propiedad es verdadera en
todos los casos verificados, se concluye
que es verdadera para todos los dems
casos y se establece una generalizacin.
46 Razonamiento en geometra

EJERCICIOS
A.
Compltese la generalizacin de los ejercicios 1 y 2.
1. Caso 1 Caso 2 Caso 3

/ l es un ngulo recto Z. es un ngulo recto Fes un ngulo re

En cada caso, cul de los tres lados del tringulo es el ms largo?
Generalizacin: En un tringulo rectngulo, el lado opuesto al
ngulo recto es el lado -L.

Caso 1 Caso 3
c
D
B

D y E son puntos Qy R son puntos P y Q son puntos

medios. Qu relacin medios. Qu relacin medios. Qu relacin
hay entre DE y Cff hay entre QR e YZ? hay entre PQ c YZ?

Generalizacin: La medida de un segmento de recta que une los puntos medios de

dos lados de un tringulo es -L el tercer lado.

ACTIVIDADES!
Todas las cuerdas determinadas por un conjunto de puntos
en un crculo dividen el interior del crculo en regiones.

Can!
mxi
Puntos regio
2 puntos 3 puntos 1
2
1. Estudese el modelo de la tabla y predgase el nmero 3
de regiones para 5, 6 y 7 puntos. 4
2. Verifiqese la prediccin dibujando figuras grandes 5
(circuios de 20 cm de dimetro, por lo menos) que 6
muestren la cantidad mxima de regiones para 5, 6 y 7 7
puntos.
 2.1 El proceso del razonamiento inductivo 47

Cada uno de los tringulos siguientes es un tringulo equiltero.

Mdanse los ngulos. (Si es necesario, prolongense los lados.)
Copese y compltese la generalizacin.

A V A,
Generalizacin: Si un tringulo es equiltero, entonces tiene
ngulos -L.
Cada uno de los tringulos siguientes tiene dos lados
congruentes. Trcense los tringulos issceles y bisquense
los ngulos formados por los lados congruentes. Obsrvese
la relacin que existe entre la bisectriz y el lado opuesto.

Generalizacin: En un tringulo con dos lados congruentes, la

bisectriz del ngulo formado por stos es JL al
tercer lado.

C
5. Trcese AABC con AB = BC = AC.
Eljase un punto P en el interior del
tringulo y trcense las perpendiculares de
P a los lados del tringulo. Mdanse h, a, b
y c al mm ms cercano. Hgase lo mismo,
con puntos P diferentes, tantas veces como
sea necesario para formular una
generalizacin.

SOLUCION D E PROBLEMAS.
- diseo de cuatro palillos representa un espejo con
i moneda en l.
'vanse slo dos palillos para formar un espejo del
;T!O tamao que ste, pero dejando la moneda (que no
T :6 moverse) fuera del espejo.
48 Razonamiento en geometra

2.2 Generalizaciones falsas

y contraejemplos
Esta caricatura ilustra
yiLCUieN ME una situacin en la que
t)ijo auE SI PONA ...TEN60 UAMPOLLA generalizacin, que se
UNA N\ON!>ft EN M A S S R R N O E G l J consideraba verdadera,
JAWS SE HA^A \ J I S T O result ser dolorosamen
falsa.
Sv>Ete
AS Q-ue^
10 I N T E N T

Copyright, 1980, Universal Press Syndicate. All rights reser%ed.

Para demostrar que una generalizacin es falsa, suele citarse un

contraejemplo.
Las situaciones que se presentan a continuacin muestran cmo un
contraejemplo pone al descubierto la falsedad de una generalizacin.

Ejemplo 1
Generalizacin falsa: Si un cuadriltero tiene cuatro lados
congruentes, tiene cuatro ngulos
congruentes.
Comentario: Para demostrar que esta generalizacin es
falsa, debe presentarse un cuadriltero
con cuatro lados congruentes que no
tenga cuatro ngulos congruentes.
Contraejemplo: La figura EFGH tiene todos sus lados
congruentes, pero no es congruente
con Z.F.
 2.2 Generalizaciones falsas y contraejemptos 49

G^ieralizacin falsa: Si un cuadriltero tiene un par de lados

paralelos, tiene un par de lados
congruentes.
Comentario: Para demostrar que la generalizacin es
falsa, debe presentarse un cuadriltero
con un par de lados paralelos que no
tenga dos lados congruentes.
Contraejemplo: La figura ABCD tiene BC\\AD, pero no tiene
dos lados congruentes. ^^....,...^^.^.,... Q

QemploS
Generalizacin falsa: Si un tringulo tiene un ngulo recto, tiene
dos lados congruentes.
Comentario: Para demostrar que la generalizacin es
falsa, debe presentarse un tringulo con
un ngulo recto que no tenga dos lados -
congruentes.
Contraejemplo: La figura TOM tiene un ngulo recto j
{ O), pero sus tres lados tienen diferentes
longitudes. T o

Vn contraejemplo puede describirse como se hace aqu. DeflnIeWn 2.1

Un contraejemplo es un solo
ejemplo que pone en evidencia
la falsedad de una
generalizacin.

emploA
Esta figura es un contraejemplo para la generalizacin falsa
siguiente.
X
Si dos rectas se intersecan, entonces forman ngulos
rectos.
50 Razonamiento en geometra

EJERCICIOS _
A.
Para los ejercicios 1 y 2 se da una generalizacin basada en los
casos presentados. Indiquese si las generalizaciones son falsas o
verdaderas. Si alguna es falsa, dse un contraejemplo.
Caso 1 Caso 2 Caso 3 Caso
<0 R

B M
ABWDC EFWHG MN\\PO RS\\l

Generalizacin: Todos los cuadrilteros tienen un par de lados paralelos.

Caso 1 Caso 2 Caso 3

B
R
J
D,EyF son puntos medios M,N y P son puntos medios H, I, J son puntos medi
El permetro de AABC es el El permetro de AXYZ es el El permetro de ARSTc
doble del permetro de doble del permetro de doble del permetro de
ADEF. AMNP. AHIJ.
Generalizacin: El permetro de un tringulo es el doble del
permetro del tringulo formado al unir los puntos
medios de los lados del primer tringulo.

ACTIVIDADES
Los contraejemplos tienen un papel importante en la
ciencia. Uno de los objetivos de los programas de
investigacin espacial es confirmar la validez o invalidez
de las teoras formuladas por los cientficos. Las
fotografas tomadas por el Voyager de los anillos de
Saturno dieron resultados sorprendentes. Antes de los
vuelos espaciales del Voyager, los astrnomos sostenan
muy diversas teoras con respecto a los anillos de
Saturno. Constituy alguno de los nuevos hallazgos un
contraejemplo de alguna de estas teoras?
Bsquense artculos periodsticos o de revistas
cientficas que apoyen sus observaciones.
 2.2 Generalizaciones falsas y contraejennplos 51

3. Para cul de las proposiciones siguientes seria un

contraejemplo la figura ABC DI
8. Cuando todos los lados de un cuadriltero tienen la misma
longitud, todos los ngulos miden lo mismo.
b. Cuando todos los ngulos de un cuadriltero Uenen la
misma medida, todos los lados son de igual longitud.
c. Cuando un par de lados de un cuadriltero es congruente, el
segundo par de lados tambin lo es.
4. Para cul de las proposiciones siguientes sera un
2 cm
contraejemplo el polgono WXYZl Y
J c
a. Un polgono con lados congruentes es un polgono regular.
1 cm 1 cm
b. Un polgono con ngulos congruentes es un polgono
regular. 1 r Z
c. Un cuadriltero con ngulos congruentes es un cuadriltero 2cm
convexo.

En los ejercicios 5 y 6, indiquese si la proposicin es falsa o

verdadera. Si es falsa, dse un contraejemplo.
5. Dado cualquier AABC, la bisectriz perpejidicular de AB
interseca a la bisectriz perpendicular de BC en un punto dentro
del tringulo.
6. Dado cualquier AABC, la recta que pasa por A y es
perpendicular a y la recta que pasa por B y es
perpendicular a A se intersecan en un punto dentro del
tringulo.

-SOLUCION D E PROBLEMAS-
Esta disposicin de nmeros, conocida como tringulo de 1
Pascal, recibe este nombre por el matemtico francs 1 1
Biaise Pascal (1623-1662).
1. Obsrvese ta relacin que existe entre cada nmero y 1 2 1
los ms prximos de la fila superior. Cpiese el diseo y 1 3 3 1
compltense por lo menos otras tres filas. 1 4 6 4 1
2. Encuntrese la suma de los nmeros de cada fila.
Establzcase una generalizacin sobre esas sumas. 1 5 10 10 5
3. Encuntrense los polinomios para (a + b)', (a + b)' y
(a + b)*. Escrbase una lista de los coeficientes de los
trminos de cada polinomio. Enuncese una
generalizacin de la relacin de este esquema con et
tringulo de Pascal.
52 Razonamiento en geometra

2.3 Desarrollo de la geometra por medio

del razonamiento deductivo
Hasta ahora se han buscado objetos de Un pnaf t u g i e r un
hexgono regular
nuestro mundo que sugieren conceptos
geomtricos. Se han elegido los conceptos
EJEMPLOS DEL
bsicos punto, recta y plano y se les ha MUNDO REAL
llamado trminos indefinidos.
A partir de estos trminos, se obtuvieron
definiciones para describir otras figuras I PLANO
I RECTA TRIANGULOun
geomtricas, como tringulos, segmentos y tnnguic es
ngulos. Tambin se definieron relaciones,
como la congruencia, el paralelismo y la TERMINOS
INDEFINIDOS DEFINICIONES
perpendicularidad.
Despus, se emple el razonamiento
inductivo para descubrir algunas
I Proposicin si'ntoncqa
generalizaciones sobre estas figuras. En este
proceso de descubrimientos se buscaron
LOGICA
contraejemplos que invalidaran las
generalizaciones.
Ahora es el momento de dar el siguiente
paso. Se requiere un mtodo para comprobar
que las generalizaciones descubiertas son
verdaderas para todos los casos. El mtodo
que se emplear se llama razonamiento
deductivo. En las secciones siguientes se
estudiar este mtodo.
El proceso del razonamiento deductivo POSTULADOS
requiere la aceptacin de unas cuantas
generalizaciones bsicas sin comprobarlas.
Estas generalizaciones se llaman postulados.
Todas las dems generalizaciones que
pueden probarse como verdaderas con la
TEOREMAS
ayuda de definiciones, postulados y la lgica
del razonamiento deductivo, se llaman
teoremas.
Finalmente, se usan los
teoremas ya probados, Encontrar el cantro
de un c i r c u l o
como ayuda para la
resolucin de problemas'
de la vida cotidiana. APLICACIONES
 2.3 Desarrollo de la geometra por medio del razonamiento deductivo 53

/POR a n a 0690 ( S I P060ES ORME U N M t P(3RE HACE Gue Pwez- yA S A B ^ Que wo

DSSWcCRMe D E BUENA ftZN. tAE CAS E S T l i P \ 0 0 ; m E S O
HAC6 aue pfrBEzovs es- POOnS PENSAR E N U N A

1961 United Feature Syndicate, Inc.

En las secciones anteriores de este captulo se us el razonamiento

inductivo para descubrir generalizaciones. Ahora se explorarn el
razonamiento lgico y el deductivo, y su funcin en la demostracin de
teoremas. El proceso del razonamiento deductivo consta de tres pasos.
En el siguiente teorema se esbozan estos tres pasos:
Si dos lados de un tringulo son congruentes,
entonces los dos ngulos opuestos son congruentes.

Razmiainfento deductivo
1 Empicese con las condiciones
es d a o P w
hiptesis).
Paso 2 Usese la lgica, definiciones, postulados
o teoremas previamente probados para
justificar una serie de proposiciones o
pasos que den el resultado deseado.
3 Afrmese el resultado (la conclusin).
Dado: AABC es un tringulo
con AB ^ AC.
Las proposiciones que proporcionan
esta conclusin no se incluyen aqu.
En este capitulo se presentan algunos
esquemas de razonamiento que
ayudarn a elegir, ordenar y dar
razones para proposiciones
adecuadas.
Por tanto, B y Z.C son congruentes.

Despus de usar la lgica para obtener las proposiciones

correctas del paso 2 del ejemplo probado en las lneas anteriores,
se habr probado este teorema:

Si dos lados de un tringulo son congruentes,

(hiptesis)

entonces los dos ngulos opuestos son congruentes.

(conclusin)
54 Razonamiento en geometra

EJERCICIOS
A.
1. Segn el diccionario, un plano es una superficie llana o lisa.
Escrbanse tres palabras de la definicin que tambin deberan
entenderse y para las cuales podra intentarse dar una definicin.
2. Denase uno de los tres trminos del ejercicio 1. Hgase una
lista de las palabras de la definicin que tambin puedan
necesitar definicin.
3. Debera considerarse el trmino plano entre los trminos
indefinidos? Expliqese la respuesta.
4. Dse una definicin de espacio que incluya los trminos
indefinidos conjunto y punto.
5. Escrbase una proposicin que sea un teorema de geometra.

ACTIVIDADES

Uno de los objetivos de los cursos de geometra es proporcionar cierta prctica

en el razonamiento lgico aplicado a situaciones de la vida cotidiana. En la vida
diaria, algunas veces se sacan conclusiones con poca o ninguna base.
Acptese esta historia como una representacin adecuada de algo que
realmente ocurri:
El pequeo Luis Medina se sent en un rincn
a comer su pastel de Navidad.
Meti su dedo entre la masa, sac una pasa
y dijo: Qu buen chico soy!
Cules de estas conclusiones pueden aceptarse (quiz de manera
inconsciente) al leer la historia?
1. Luis coma un pastel de pasas. 2. Era el da de Navidad.
3. Luis comprendi que era un buen chico 4. Luis estaba sentando en un rincn
porque sac una pasa porque estaba castigado.
5. Luis era un nio.
Ahora, lase de nuevo la historia. Cules de estas conclusiones son acertadas
basndose nicamente en la informacin que proporciona la historia?
 2.3 Desarrollo de la geometra por medio del razonamiento deductivo 55

B.
En los ejercicios 6 a 9, se formulan la informacin dada y la
conclusin basada en el razonamiento deductivo. Las
proposiciones que llevan de la hiptesis a la conclusin se omiten.
Formlese el teorema probado.

6. Dado: Las lneas ( y m forman un par 7. Dado: 1 y Z. 3 son ngulos verticales.

lineal de ngulos, 1 y 2 . 1 s 2 .

Por tanto, 1 s 3.
Por tanto, t Im.

8. Dado: Un AABC issceles con 9. Dado: M N une los puntos medios de

AB s AC, donde AD bisecta &A. AB y BC en AABC.

Por tanto, CD s DB. Por tanto, Un\\A^.

10. Desarrllese un argumento lgico para

convencer a alguien de que la distancia
ms corta entre el punto P y una recta
( es la longitud de PQ, donde ^ s t
sobre y { es perpendicular a PQ.

SOLUCION D E PROBLEMAS.
Tres embajadores de diferentes pases pagaron 30 dlares por la habitacin de
un hotel. Cada uno contribuy con 10 dlares. Ms tarde, el administrador del
hotel se percat de que slo deban haber pagado 25 dlares, por lo que llam al
botones y le dio 5 dlares para que los devolviera a los embajadores. El botones
pens que stos tendran dificultades para repartirse los 5 dlares por las
diferencias lingsticas y slo les dio 3, quedndose con los 2 dlares restantes.
As pues, cada embajador pag por la habitacin 10 dlares menos el dlar
devuelto, esto es, 9 dlares. 9 x 3 = 27. 27 dlares ms ios 2 que se qued e
botones suman 29 dlares. Pero la cuenta original era de 30 dlares. Qu pas
con el otro dlar?
56 Razonamiento en geometra

2.4 Tipos de proposiciones

Sl-Entonces
Esta caricatura ilustra un tipo de
proposicin importante para el
razonamiento deductivo. Los ejemplos
siguientes muestran proposiciones de la
forma si-entonces.
Si p, entonces q.
i SI PIENSAS QUE ESASOIRRS
Si nieva hoy, entonces esquiaremos. OUEESTfS BACiENOO SON
wciosMiENToNces esTAS
Si un tringulo issceles tiene un ngulo de
60, entonces es un tringulo equiltero.
Si Lucy no se re, entonces Snoopy est
triste.

1961 United Feature Syndicate,

La definicin 2.2 describe este tipo de Municin 2.2

proposicin. Los ejemplos que siguen Una proposicin si-entonces es una proposicin
presentan algunos aspectos de lo que se de la forma si p, entonces <y, donde py q son
requiere para trabajar con las proposiciones proposiciones simples. A p se le llama hiptesis,
si-entonces y comprenderlas. . y q es la conclusin. El simbolo p-*q (lase p
implica <?), se usa para representar una
proposicin si-entonces.

^lemplO 1 Dada una proposicin si-entonces, formlense la hiptesis y la conclusin.

Si el informe meteorolgico dice que hoy llover, entonces no jugaremos al
tenis.
Hiptesis (p): El informe meteorolgico dice que hoy llover.
Conclusin (q): N o jugaremos al tenis.

C|6inpl0 2 Dadas la hiptesis y la conclusin, formlese la proposicin si-entonces.

Hiptesis (p): La figura ABCD es un cuadrado.
Conclusin (^): Tiene cuatro lados congruentes.
Si-entonces (p -+ q): Si la figura ABCD es un cuadrado, entonces tiene cuatro lados
congruentes. ,

lyMllltfO S Dada una proposicin en otra forma formlese como una proposicin
si-entonces.
Cuando nieva, la temperatura es inferior a O''.
Si-entonces (p q): Si nieva, entonces la temperatura es inferior a 0.
 2.4 Tipos de proposiciones Si-Entonces 57

. comprender mejor el proceso de

-imiento deductivo, en primer lugar hay
der decidir si una proposicin si-
-5s como la que se muestra en la
cin es verdadera. (Es verdadera?
^uese.)

Considrese ahora el siguiente ejemplo.

>.>ngase que un profesor formula la
posicin si-entonces que aparece a
-tmuacin. En cul de estos casos puede
sentir que se le ha tratado injustamente y
..i el profesor no dijo la verdad? La
ipuesta a esta pregunta ayudar a observar
.indo una proposicin si-entonces es falsa.

>e obtiene la calificacin m s alta en todos los exmenes de geometra, entonces se

lendr la calificacin ms alta al final del curso.
Caso 1 Se obtiene la calificacin m s alta Se obtiene la calificacin ms alta al
en todos los exmenes. final del curso.
(hiptesis verdadera) (conclusin verdadera)
Caso 2 Se obtiene la calificacin ms alta N o se obtiene la calificacin ms alta
en todos los exmenes. al final del curso.
(hiptesis verdadera) (conclusin falsa)
Caso 3 N o se obtiene la calificacin ms Se obtiene la calificacin m s alta al
alta en todos los exmenes, final del curso.
(hiptesis falsa) (conclusin verdadera)
Caso 4 N o se obtiene la calificacin ms No se obtiene la calificacin ms alta
alta en todos los exmenes, al final del curso.
(hiptesis falsa) (conclusin falsa)

Se recibi un trato injusto slo en el caso 2.

Una proposicin si-entonces es verdadera si

Los resultados del ejemplo anterior se
resumen en las descripciones de las
proposiciones si-entonces falsas y
verdaderas que se presentan aqu.
cuando la hiptesis es verdadera, la
conclusin tambin lo es. En otras palabras,
una proposicin si-entonces es falsa slo
cuando la hiptesis es verdadera y la
conclusin es falsa.
58 Razonamiento en geometra

EJERCICIOS
A.
En los ejercicios 1 a 8, formlense primero la hiptesis (p) y la
conclusin ((?) de la proposicin si-entonces. Luego, decdase si la
proposicin es o no verdadera.
. Si Lisa tiene quince aos, entonces Lisa es demasiado joven
para votar en las elecciones de Puerto Rico.
2. Si una pelota se lanza hacia arriba, entonces la pelota bajar.
3. Si algunas manzanas son rojas, entonces los caballos tienen cuatro patas.
4. Si Carlos compr ana pera, entonces Carlos compr un vegetal.
5. Si dos rectas se intersecan, entonces esas dos rectas no son paralelas.
6. Si tres rectas son concurrentes, entonces las rectas son paralelas.
7. Si el AABC es issceles, entonces el AABC es equiltero.
8. Si el AABC es equiltero, entonces el AABC es issceJcs,
En los ejercicios 9 a 14, escrbanse proposiciones si-entonces {p-*q)
con la hiptesis (p) y la conclusin (q) dadas.
9. Hiptesis (p): Un hombre vive en San Juan.
CondusJn ): Vive en Puerto Rico.
10. Hiptesis (p): Dos rectas se intersecan para formar ngulos rectos.
Conclusin (q): Las rectas son perpendiculares.
11. Hiptesis (p): Dos rectas son perpendiculares.
Conclusin {q): Se intersecan para formar ngulos congruentes.
12. Hiptesis (p): Un nmero es primo.
Conclusin {q): El nmero tiene exactamente dos divisores.
13. p: Dos rectas son paralelas.
No se intersecan.
14. p: Dos ngulos son congruentes.
q: Tienen la misma medida.

ACTIVIDADES
Encuntrense planteamientos en revistas o peridicos que incluyan
proposiciones si-entonces o proposiciones que puedan formularse en la forma
si-entonces sin cambiar el significado. Anacese cada proposicin y la lgica
que ta respalda.
 2.4 Tipos de proposiciones Si-Entornes-

En los ejercicios 15 a 24, identifiqense la hiptesis y la

conclusin, y formlese la proposicin en la forma si-entonces sin
cambiar el significado.
15. Un nmero es par si termina en 2.
16. Dos rectas son perpendicuiares si se cruzan en ngulo recto,
t t . Un tringulo equingulo debe ser equiltero.
18. Un nmero es impar siempre que Tehnme <hi ^.
19. Sigue mis consejos y te hars rico.
20. Mejorars si trabajas duro.
21. Un tringulo es issceles siempre que dos de sus ngulos sean congruentes.
22. Una recta que biseca a un segmento contiene el punto medio
del segmento.
23. B es el punto medio de ^ si JB s BC.
24. Todos los tringulos son polgonos.

c.
25. Formlense todas las proposiciones si-entonces cuyo
significado sea el mismo que las proposiciones contenidas en
este anuncio de la Compaa Nowork.
Venga a la Compaa Nowork y haga dinero rpidamente.
Trabaje para Nowork y ascender en poco tiempo. Slo
contratamos gente inteligente que sea lo suficientemente
tonta como para saber que es inteligente. Nowork le
garantiza una capacitacin gratuita excelente. A usted le
gustar trabajar en la Compaa Nowork. Contratamos a
cualquier ser humano. Despedimos a cualquier ser humano.
26. Formlese una proposicin si-entonces verdadera (si a,
entonces b), y formlese de nuevo en las formas siguientes: b si
a; a slo sife;a es todo lo que se necesita para aseverarfe;fe
debe ser verdad para que a sea verdad. Cules de estas
proposiciones pueden considerarse verdaderas?

SOLUCION D E PROBLEMAS '

Cuatro adultos y dos nios deben cruzar un ro en una canoa en la que
slo cabe un adulto o dos nios a la vez. No caben un adulto y un nio
luntos. Expliqese cmo pueden cruzar las seis personas. Cul es el
nmero mnimo de veces que debe cruzar la canoa?
60 Razonamiento en geometria

2.5 Recproca, inversa

y contrarrecproca
Si se empieza con una proposicin si-entonces verdadera es posible formar
tres tipos de proposiciones relacionadas llamadas recproca, inversa y
contrarrecproca de la proposicin original. A continuacin, se describen los significa no p.
tipos y se comparan con la proposicin si-entonces original.

Proposicin: Si una bandera es la bandera de P.R.

p-*q entonces tiene estrellas.

Recproca de la Si una bandera tiene estrellas, entonces

proposicin: es la bandera de P.R.
q-^p
Cuando una proposicin si-entonces (p q) es verdadera, no se debe
suponer que su recproca {q -> p) sea necesariamente verdadera

Proposicin: Si un vehculo es un aeroplano,

p^q entonces el vehculo se construy
para volar.

Inversa de la S un vehculo no es un aeroplano,

proposicin: entonces el vehculo no se
^ p y q construy para volar.

Cuando una proposicin si-entonces (p-*q)ts verdadera, no se debe

suponer que su inversa ( ~ p sea necesariamente verdadera.

Chicago
Proposicin: Si se vive en Chicago,
entonces se vive en Illinois.
Nueva Yorlc
San Francisco
Contrarrecproca S no se vive en Illinois, entonces
de la proposicin: no se vive en Chicago. Los Angeles Miami
~ q - ~ p Wichita

Cuando una proposicin si-entonces (p q) es verdadera, se puede

suponer que su contrarrecproca (^q-* ~ p) tambin es verdadera.
 2.5 Recproca, inversa y contrarrecproca

r ; os resultados se resumen como sigue:

* proposicin dada Si p, entonces q verdad (se supone)

recproca Si q, entonces p no necesariamente
verdadera
mversa Si no p, entonces no q no necesariamente
verdadera M
contrarrecproca Si no q, entonces no p siempre verdadera

Cuando una proposicin dada y su recproca son verdaderas, pueden

awibinarse y formar una sola proposicin con la frase si, y slo si.

Proposicin:
p-q Si hoy es martes, entonces m a a n a es mircoles.

Recproca de la
proposicin: Si maana es mircoles, entonces hoy es martes.
q-*p

Proposicin
s, y slo si: Hoy es martes si, y slo si, m a a n a es mircoles.
p*^q

Toda definicin puede formularse como una proposicin si, y slo si.
Como ejemplo, considrese la siguiente definicin.
U n tringulo equiltero es un tringulo cuyos lados son congruentes
entre si.
Esto puede reformularse como sigue:
Una figura es un tringulo equiltero si, y slo si, es un tringulo con
todos sus lados congruentes entre s.
En realidad, la nueva proposicin combina dos proposiciones
\erdaderas:
1. Si un tringulo es equiltero, entonces tiene todos sus lados
congruentes.
2. Si un tringulo tiene todos sus lados congruentes, entonces es
equiltero.
Esta idea puede resumirse de la siguiente manera:
p si, y slo si, q significa lo mismo que si p, entonces q y si q, entonces
p. Cuando esta proposicin es verdadera, se dice que p y ^ son'
proposiciones equivalentes.
62 Razonamiento en geometra

EJERCICIOS _ _ _ _ _

Formlense las reciprocas de las proposiciones de los ejercicios 1 a

4. Si es necesario, formlense de nuevo en la forma si-entonces.
En qu ejercicio son verdaderas la proposicin y la reciproca?
1. Si una persona est nadando, entonces esa persona est
mojada.
2. Si dos rectas son perpendiculares, entonces se intersecan.
3. Si una persona es pobre, entonces esa persona no tiene mucho
dinero.
4. Si a fe= O, entonces a = O ofe= 0.
En los ejercicios 5 a 8, formlese la inversa de cada proposicin.
5. Si una persona roba, entonces es una persona deshonesta.
6. Si una figura es un tringulo, entonces es un polgono.
7. Cualquier equipo que gane cuatro juegos de la Serie Mundial,
gana la serie.
8. Dos planos son paralelos si no se intersecan.
Formlense las contrarrecprocas de las proposiciones de los
ejercicios 9 a 12.
9. Si una persona conduce legalmente un automvil, entonces esa
persona tiene 16 aos o ms.
10. Todos los ngulos rectos son congruentes.
11. Se ganar el campeonato si se gana el partido de esta noche.
12. Si un tringulo es equiltero, entonces es equingulo.

ACTIVIDADES!
Anlisis de un anuncio comercial (1) Si quiere sentirse en plena forma, tome una tableta ABC
Anallcemoa un anuncio al da. (2) La gente que toma vitaminas ABC se preocupa
por su salud. Usted se debe a quienes estn cerca de usted,
cudese. Empiece hoy a tomar ABC.

ABC Al escuchar proposiciones como (1), suele suponerse

equivocadamente la reciproca si toma una tableta de ABC
La vitamina todos los das, entonces se sentir en plena forma. Al
especialmente escuchar proposiciones como (2), suele suponerse
elaborada equivocadamente la inversa si yo no tomo vitaminas ABC,
para usted! entonces no me preocupo por mi salud.
Cpiese un anuncio comercial de una revista o de la
televisin y bsquense posibles errores de interpretacin.
 2.5 Reciproca, inversa y contrarrecproca 83

En los ejercicios 13 a 18, formlense dos proposiciones simples que

sean equivalentes.
13. Un tringulo es equiltero si, y slo si, es equingulo.
14. Un ngulo es un ngulo recto si, y slo si, su medida es 90.
15. Dos rectas de un plano son paralelas si, y slo si, no tienen
puntos en comn.
16. Un cuadriltero es un rectngulo si, y slo si, tiene cuatro
ngulos rectos.
17. Un cuadriltero es un paralelogramo si, y slo si, tiene dos pares
de lados paralelos.
18. Dos ngulos son complementarios si, y slo si, la suma de sus
medidas es 90.

19. Formlense la recproca, la inversa y la contrarrecproca de estas

frases de la forma p-*q.
Elabrese una tarjeta como la que se muestra a continuacin y
marqese en el lugar correspondiente si la proposicin es falsa o
verdadera
Proposicin Reciproca Inversa Contrarrecproca

Si se vive en Rio Piedras, se vive

en el rea metropolitana. V F
Si un nmero es positivo, entonces es
mayor que 6. F V
Si dos segmentos tienen la misma
longitud, entonces son congruentes.

Si una figura es un polgono regular,

entonces todos sus lados son congruentes.

SOLUCION D E PROBLEMAS - J
Dos mujeres, Alicia y Carolina, y dos hombres, Enrique y David, son
atletas. Una de estas personas practica la natacin, otra el patinaje, otra la
gimnasia y otra el tenis. Un da se reunieron y se sentaron alrededor de una
mesa cuadrada:
1. El nadador estaba a la izquierda de Alicia. 3. Carolina y David se sentaron juntos.
2. El gimnasta estaba frente a Enrique. 4. Una mujer se sent al lado del patinador.
Cul de estas personas es el tenista?
64 Razonamiento en geometra

2.6 Esquemas de razonamiento

Ahora se estudiarn diversos esquemas de razonamiento que se usarn en
la prueba de teoremas. Estudese la caricatura siguiente y el anlisis
posterior.

PEANUTS n WO HAY NAOA\

UNKPROFUHOft DEPRESIN SE
PEOR QUE LA ^ APODERI^ DE TUS HUESOS,TOOO
'DEPRESION TEDUEUE....YTESIEMTES

AAUGH
y SI AL6UIEN Si Y'd UNi\PRD\
autERRMEWaONA EN
"UW^ PERDIZ EN UN PERf^L?"
PERAL-JE DftNSft-
NAS DE SRlTftR.

1961 United Feature Syndicate, Inc

El primer esquema de razonamiento que se estudiar empieza con una

proposicin verdadera de tipo si-entonces. La hiptesis se da por
verdadera, por lo que la conclusin tambin se toma como verdadera.

p-*q es verdadera. Si alguien dice una perdiz en un peral,

entonces Lucy gritar.
Se da p. Charlie dice una perdiz en un peral.

Se concluye que q es verdad. Por tanto, Lucy grita.

El ejemplo anterior ilustra un esquema de Defuncin 2.3

razonamiento llamado afirmacin de la
hiptesis. Est basado en la aseveracin de
que la hiptesis de una proposicin si-
entonces verdadera tambin es verdadera.
Tambin se expresa con la locucin latina
modus ponens.
La afirmacin de ia hiptesis es un esquema de
razonamiento que se representa como sigue:
Siempre que p -> q sea verdad y p sea verdad,
puede concluirse que q es verdad.
 2.6 Esquemas de razonamiento

El segundo esquema de razonamiento es la

meMHMIS,t)E-
base de la prueba indirecta que se emplear J M l f t S BETOCM
EL PIRN -i nt
en captulos posteriores. En la ilustracin, el RSIAK/U
esquema es:
p-*qes verdad.
~ q (no se da q).
Se concluye que ~ p es verdadero
ftfOSE UE Um RES-i
(p es falso).

Si en realidad me amaras, dejaras de tocar

el piano.
Schroeder no dej de tocar el piano.
1971 United Feature Syndicate, Inc.
Por tanto, Schroeder no ama a Lucy.
Definicin 2.4
Este esquema de razonamiento se llama
negacin de la conclusin. Tambin se La negacin de ia conclusin es un esquema
de razonamiento que se representa como
expresa con la locucin latina modus tollens.
sigue:
La siguiente ilustracin sugiere un tercer Siempre que p -> ^ sea verdad
esquema de razonamiento que se emplea en y ~q{qes falso).
la formulacin de demostraciones. Este Se concluye: ~ p (p es falso).
esquema une una sucesin de proposiciones
en la demostracin de un teorema. El
esquema es: TlSWeS EJ.CORRZOM ROlft
NO puet)ES DORmiR.
p ^ es verdad.
^ -> r es verdad.
Se concluye que p - r es verdad.

Cadena de razonamiento de Charlie

CWW s u s SOftOES ftSTtUh- /HABUROO CON U N
Brown: DOS s e TE CLftftN EMEL ESPERTO
COSTAOO
Si se tiene el corazn roto, entonces sus
bordes astillados se clavan en el costado.
S los bordes astillados se clavan en el
costado, entonces no se puede dormir.
1971 United Feature Syndicate, Inc.
Por tanto, si se tiene el corazn roto, no se
puede dormir. Definicin 2.5
La regla de la cadena es un esquema de
Este ejemplo ilustra un esquema de
razonamiento que se representa como sigue:
razonamiento llamado regla de la cadenu.
Este esquema permite encadenar Siempre que p q es verdad
proposiciones si-entonces al formular y ( r es verdad.
demostraciones. Se concluye que p -+ r es verdad.
66 Razonamiento en geometra

EJERCICIOS
A.
En los ejercicios 1 a 6, formlese la conclusin correcta.
1. p-*q: Si Julia vota hoy, votar por Armando Amigable.
p: Julia vot hoy.
Por tanto, q: ?
2. p - ^: Si AABC es issceles, entonces tiene dos ngulos
congruentes,
p: AABC es issceles.
Por tanto, 9: ?
3. p -> q: Si nieva, la temperatura ser inferior a O C.
La temperatura es O C o superior.
Por tanto ~p: ?
4. p q: Si una figura es un tringulo equiltero, entonces
todos sus lados y ngulos son congruentes.
q -* r. Si una figura tiene todos sus ngulos y lados
congruentes, entonces es un polgono regular.
Por tanto, p - r: ?
5. p-*q: Si dos rectas son paralelas, no tienen puntos en
comn.
~ q: Las rectas my n tienen un punto en comn.
Por tanto, ~p: ?
6. p-*q: Dos rectas perpendiculares se intersecan.
q-* r. Las rectas no son paralelas si se intersecan.
Por tanto, p^r.1

ACTIVIDADES
Considrense ios siguientes ejemplos de razonamiento que suelen
encontrarse en anuncios comerciales. Decdase si las compaas que los
publicaron emplearon esquemas de razonamiento correctos o incorrectos.
1. Enve su dinero antes del 1 de octubre Unidos que estn en el continente
y compre a mitad de precio. Paula americano. Namoonie Nakak vive en el
Joseph envi su pedido el 10 de Artico. La compaa rechaz su/pedido.
octubre. La compaa cancel su Hubo justificacin para esto?
pedido. Minti la compaa? 4. Usted ser ms atractivo si usa
2. Enve su dinero antes del 1 de Neato. Jason no usa Neato pero es
diciembre y compre a mitad de precio. muy atractivo. Est equivocada la
Angelo Silva envi su dinero el 24 de compaa?
noviembre, pero la compaa rechaz 5. Bsquense e identifiqense ejemplos de
su pedido. Minti la compaa? esquemas de razonamiento correctos e
3. Esta oferta es vlida para personas incorrectos en anuncios comerciales.
que vivan en ciudades de Estados
 En los ejercicios 7 a 9, incluyase la informacin omitida para formular un
esquema de razonamiento correcto.
7. (Acptese) Un punto de la bisectriz perpendicular de un segmento equidista
de los extremos del segmento.
(Dado)? _
(Conclusin) El punto C equidista de los extremos de AB.
8. (Acptese) Todas las rectas horizontales son paralelas.
(Dado)? ^
(Conclusin) f y G/ no son rectas horizontales.
9. (Acptese) ?
(Dado) /IBC mide ms de 90.
(Conclusin) /ABC es un ngulo obtuso.

c.
Formlese la proposicin omitida en los ejercicios 10 y 11. (Aunque no se
conozca el significado de todos los trminos empleados, se deben poder
realizar estos ejercicios.)
!0, Teorema: Si ABCD es un cuadrado, entonces ABCD no es una cometa.
Pruebas: 1. Si ABCD es un cuadrado, entonces ABCD es un rombo.
2. (proposicin omitida)
3. Si ABCD es un paralelogramo, entonces ABCD no es una
cometa.
Por tanto, si ABCD es un cuadrado, ABCD no es una cometa.
11. Teorema: Si AABC es un tringulo rectngulo con C como ngulo
recto, entonces A y B son complementarios.
Pruebas:!, (proposicin omitida)
2. Si mZ. / l + m B + m C = 180 y
mLC = 90, entonces mA + m B = 90.
3. (proposicin omitida)
Por tanto, si AABC es un tringulo rectngulo con C como ngulo recto,
entonces A y -B son complementarios.

SOLUCION D E PROBLEMAS-
Tres personas, Len, Martnez y Nieves, ocupan los puestos de administrador,
cajero y encargado en un departamento de una tienda. Si Nieves es la cajera,
Martnez es el encargado. Si Nieves es la encargada, Martnez es el
administrador. Si Martnez no es el cajero, Len es el encargado. Si Len
es el administrador, Nieves es la encargada. Qu puesto ocupa cada uno?