Revista Escolar de la Olimpada Iberoamericana de Matemtica

Nmero 50 (septiembre 2013 - mayo 2014)

ISSN 1698-277X

NDICE
Editorial en el cincuentenario, por Francisco Bellot
Artculos, Notas y lecciones de preparacin de Olimpiadas (50)
Lo que se piensa bien por Claude Villers.
Introduccin a la teora de grafos, por A. Kiselev y Ekaterina Zhukova.
La suficiencia de la equivalencia e independencia de las desigualdades de
Cauchy-Buniakowski-Schwarz y de

Bergstrm, por

D.M. BtineuGiurgiu y

NeculaiStanciu.
Problemas para los ms jvenes (50)
Problemas de la Brother
Introductory Division

Alfred

Brousseau

Mathematics

Competition,

Soluciones a los problemas PMJ48-1, PMJ48-2, PMJ48-3 y PMJ48-4, por Luis

Miguel Marav Zavaleta, Huamachuco, Per.
Problemas de nivel medio y de Olimpiadas (50)
Problemas de la Ronda Final de la 26 Olimpiada de Corea del Sur (2013)
Problemas (50)
Problemas propuestos 246-255
Problemas resueltos
Problema 241

Recibidas soluciones de Daniel Lasaosa Medarde, Pamplona, Espaa; Marcos

Martinelli, Brasilia, Brasil; y de los proponentes
Problema 242
Recibidas soluciones de Daniel Lasaosa Medarde, Pamplona, Espaa y de los
proponentes.
Problema 243
Recibidas soluciones de Daniel Lasaosa Medarde, Pamplona, Espaa; Marcos
Martinelli, Brasilia, Brasil y de los proponentes.
Problema 244
Recibidas soluciones de Ignacio Larrosa Caestro, La Corua, Espaa; Daniel
Lasaosa Medarde, Pamplona, Espaa; Marcos Martinelli, Brasilia, Brasil; y del
proponente.
Problema 245
Recibidas soluciones de Saturnino Campo Ruiz, Salamanca, Espaa; Andrea
Fanchini, Cant, Italia; Daniel Lasaosa Medarde, Pamplona, Espaa.
El editor se complace en comunicar la recuperacin de David Monk, autor del
problema 245.
Noticia de congresos, referencia de pginas web y resea de libros
(50)
Tres necrolgicas: Pawel Jarek , Leon van den Broek y Marie Hlne Deledicq,
por F. Bellot
Congreso Iberoamericano de Ciencia, Tecnologa, Innovacin
Educacin, Buenos Aires (Argentina). 12 al 14 de noviembre de 2014

Divertimentos Matemticos (50)

Los Caballeros de la Larga Bsqueda (3 y ltima parte), por Vctor Bujn
Delgado

Otras informaciones
Cursos de GeoGebra
Para Primaria
http://www.ibertic.org/primariageogebra/
Para Secundaria
http://www.ibertic.org/ticymatematica/
Formacin Docente
Especializacin en Educacin Matemtica (secundaria)
http://www.oei.es/cursomatematica/
Curso Programacin, Creatividad y Resolucin de Problemas con Scratch
http://www.ibertic.org/scratch/
Colaboracin docentes alumnos
Club Iberoamericano GeoGebra
http://www.ibertic.org/clubgeogebra.php
Realizado en el marco del Instituto Iberoamericano de Enseanza
de las Ciencias y la Matemtica (IBERCIENCIA) con la colaboracin
de la Consejera de Economa, Innovacin, Ciencia y Empleo de la
Junta de Andaluca

EDITORIAL EN EL CINCUENTENARIO
El que la Revista Escolar de la O.I.M. llegue a su volumen nmero 50
justifica, en mi opinin, un editorial. Y lo primero que hay que decir son dos
palabras: gracias y perdn.
Gracias a todos los colaboradores, y lectores de la Revista. Gracias, sin
duda a la OEI, en cuyas generosas pginas web se alberga la REOIM y sin
cuyo decidido apoyo desde el primer momento no hubiera sido posible llevar
a efecto la iniciativa. Gracias a los ms de treinta mil quinientos
suscriptores, que, aparte del aviso por email de que el siguiente nmero
est en la red, no reciben otros beneficios. Muchas gracias a todos.
En segundo lugar, el editor tiene que pedir perdn. En 2006, un persistente
vrtigo provoc un impasse de varios meses en la publicacin. Ahora se ha
vuelto a producir una larga interrupcin, afortunadamente no por
enfermedad, sino por un exceso de trabajo (parece mentira que esto lo diga
un jubilado): la Olimpiada Matemtica Espaola, el Concurso Canguro
Matemtico, los Seminarios de Problemas, el proyecto ESTALMAT
Por eso presento mis excusas a los lectores de la Revista, y aprovechando
que 50 es un nmero redondo, en lugar de los cinco problemas propuestos
en cada nmero, en ste proponemos 10, e incluimos las soluciones de los
problemas del nmero anterior de todos los que nos las han hecho llegar.
Quisiera mencionar tambin a los autores de los Artculos que presentamos
en este volumen.
El Prof. Claude Villers es un veterano matemtico belga, cuyo artculo fue
presentado en el Congreso de la Sociedad Belga de Profesores de
Matemticas de expresin francesa celebrado en 2010 en Dinant, una de las
ciudades con emplazamiento ms espectacular en el valle del ro Meuse, y
que ha accedido amablemente a que lo traduzcamos para los lectores de la
REOIM.
Los Prof. Batinetzu-Giurgiu y Neculai Stanciu, de Rumania, nos hicieron
llegar el artculo complementario del que apareci en el vol. 49 al poco

tiempo de la publicacin de ste, y han tenido que esperar pacientemente la

aparicin del volumen 50.
La profesora Ekaterina Zhukova, de la Universidad de Electrotecnia de San
Petersburgo, y su colaborador A. Kiselev, de la Universidad de San
Petersburgo contribuyen con un artculo de Introduccin a la teora de
grafos que espero sea del agrado de todos los lectores, y en especial de los
jvenes. Contiene un gran nmero de ejercicios, cuyas soluciones se
incluyen en la ltima parte de su contribucin. Creo que es una excelente
muestra de la manera de ensear en los centros rusos.
Los posibles errores son imputables al editor, naturalmente.
Las tres notas necrolgicas afectan en esta ocasin a tres destacados
miembros de la Asociacin Kangourou Sans Frontires que han
desaparecido entre febrero de 2013 y abril de 2014: Pawel Jarek, de
Polonia; Leon van den Broek, de Holanda, y Marie Hlne Deledicq, de
Francia. Nuestras ms sinceras condolencias a sus familiares y amigos.
La OEI est ahora inmersa en la organizacin, el prximo mes de
noviembre, de un macro congreso en Buenos Aires sobre Ciencia,
Tecnologa, Innovacin y Educacin Matemtica en Iberoamrica. Por eso la
seccin Noticia de Congresos est dedicada a este magno acontecimiento.
Y la seccin de Divertimentos Matemticos contiene el tercer y ltimo
captulo del relato Los Caballeros de la Larga Bsqueda, del Prof. Vctor
Bujn Delgado, de Costa Rica.
Repito mis palabras iniciales: Muchsimas gracias a todos, y perdn por el
retraso en la salida de este vol. 50 de la REOIM.
Francisco Bellot Rosado
Valladolid, mayo de 2014.

Artculos, Notas y lecciones de preparacin de Olimpiadas

Loquesepiensabien.

ClaudeVillers
Direccindelautor:

RueLouisPirard,297022Hyon
Mail:claude.villers@swing.be

EstetextoeselsoportedelaconferenciapresentadaenDinant,elmircoles25deagostode2010,
en el marco del 36e congreso de la SBPMef (Socit Belge des Professeurs de Mathmatiques
dexpressionfranaise).
Las matemticas no se aprenden : se comprenden.
Autor desconocido

1Introduccin
Mathsetmotseraeltemaprincipaldelcongreso.
Untemavasto,sindudaalguna,yparticularmenteabierto.
Puede, evidentemente, suscitar la expresin de numerosos puntos de vista yendo en sentidos
diversosyencontrarsetambinenelorigendedebates,discusiones,textos,intervenciones,sin
dudamuyinteresantes.
Porotraparte,eltemahasidotratadodediferentesformasennumerosasobrascuyasreferencias
puedenencontrarsefcilmenteenInternetutilizandoalgnmotordebsqueda.

Esbastanteevidentequelamatemtica,tantoensuenseanzacomoensusaplicacionesyensus
investigaciones,necesita,almenosparasucomunicacin,elusodediversoslenguajes,entrelos
cuales est el lenguaje coloquial, formado por frases constituidas a su vez por palabras, y que
tieneciertamenteunlugarimportante.

Labsquedadelacalidaddeestacomunicacinydesupercepcinaparecenabundantementeen
las recomendaciones metodolgicas que acompaan a los programas de los cursos de
matemticas,especialmentelosdelosdosprimeroscursosdelaenseanzasecundaria.

Enlaslistasdecompetenciasadesarrollarqueconciernenallenguaje,estnporejemplo::
Expresarsecorrectamente,
Formularcorrectamentelosrazonamientos,
Enunciar y redactar claramente la respuesta a la pregunta planteada o la conclusin del
razonamientoelaborado,
Comprenderunmensaje,
Analizarlaestructuraglobaldeuntextoydistinguirenlloesencialdeloaccesorio,
Traducirunainformacindeunlenguajeaotro,
Pasardellenguajecoloquialalalgebraicooalgrficoyrecprocamente,
Dominarelvocabularioyelsimbolismo,
Explicaryredactarunademostracin,
Extenderunaregla,unenunciadoounapropiedadaundominiomsamplio,
etc
1


Todos nosotros estamos ciertamente convencidos de la necesidad de alcanzar lo mejor posible
esosobjetivos,perotambinsabemosquenosiempreesevidenteconseguirlototalmenteyque,
a veces, son esas pasadas de frenada en el nivel de la lengua utilizada las que plantean
problemasaciertosalumnos.

Heaquunejemplovividoporm,hace.muchotiempo.
El ejercicio propuesto a los alumnos les peda dibujar las flechas de la composicin de dos
relacionesmedianteflechasdecolores.
Laconsignaaaplicareralasiguiente:Cadavezqueaunaflechaverdelesigueunaflechaazul,
entoncessetrazaunaflecharojadirecta.

Lasituacininicialera,porejemplo:

Un alumno ha propuesto la construccin de la

derecha, justificndola porque si una flecha verde
est seguid de una azul, es que la azul est detrs
delaverdeynodelantedeella.

Otroejemplo.
Qusignificadosatribumosalapalabraaltura?cuandosedice:
Elreadeuntringuloesigualalamitaddelproductodesubaseporsualtura.
Las tres alturas de un tringulo se cortan en un mismo punto, llamado ortocentro del
tringulo.

Enelprimercaso,laalturaeslalongituddeunsegmento(labasetambin).
Enelsegundo,lasalturassiguensiendosegmentos?

Esosdosejemplosilustranbienqueunamismapalabrapuedetenerdiferentessignificadossegn
elcontextoenqueseencuentraenelmomentoenqueseutiliza.
Sinembargo,esopuederesultarperturbadorparalosalumnosquenosescuchan.Conviene,por
tanto,estaratentos.

Vamosahoraapresentaralgunassituacionesdeenseanzaqueilustranlasrelacionesdecausaa
efectoquepuedenexistirentrelasmatemticasylaspalabras.
Enestaocasin,severnsituacionesmuysencillasquepermitanreencontrarnocionesenseadas
que aclaren, quiz un nuevo da y que ofrezcan a menudo la oportunidad de abordar nociones
matemticasnuevas.

2Matemticassinpalabras
Esposiblepracticarocasionalmentematemticassinutilizarpalabras.Eselcaso,porejemplo,en
algunasdemostraciones.
SepuedenencontrarnumerososejemplosenunlibrocomoProofswithoutwordsdeRogerB.
NelsenoensitiosdeInternet.

Sinembargo,deberanacompaaroseguiraesasfigurasalgunoscomentariosoralesoescritos.

Heaquejemplosdetalesjustificacionessinpalabras.

Sumadelosngulosdeuntringulo

Lasumadelostresngulosinterioresdeuntringuloesel
ngulollano.

Diferenciadedoscuadrados
a

a-b

(a+b)(ab)=ab
a

ElteoremadeViviani

Teorema:lasumadelasdistanciasdeunpuntointeriorauntringuloequilteroalostreslados
esigualalalongituddelaalturadeltringulo.

ElteoremadePitgorasporLeonardodaVinci
Deizquierdaaderechaydeabajoaarriba.

Esta justificacin es espectacular, pero hay que probar que el cuadriltero de trazo pleno es
efectivamenteuncuadrado.

Heaqu,pues,unapropuestadedemostracindelarelacinencuestin.

BAC es un tringulo rectngulo; BAGD y CAFE son los cuadrados construdos sobre los lados del
ngulorecto.
F

Trazamoselsegmento[GF].
|GF|=|BC|(isometradelostringulosAGFyABC)
Trazamos[DA]y[AE].
D,AyEestnalineadosporqueelnguloDAEmide
45+90+45esdecir180(diagonalesdecuadrados
ytringulorectngulo)

Consideremos la
imagenEGFDdeDGFEporlasimetraortogonalcuyoejeesla
mediatrizde[DE].
Toda simetra ortogonal conserva las longitudes, las reas y las
medidasdelosngulosenvalorabsoluto.
LuegoDGFEyEGFDtienenlamismareayporconsiguientelos
hexgonosBDGFECyBDFGECtienentambinlamismarea.

Los puntos D, G y F estn alineados pues los ngulos no

orientadosGDAyFDAmidenlosdos45.
IgualmenteE,GyFestnalineados.

Setienetambin|FG|=|FG|.
Pero|FG|=|BC|=|BF|=|CG|(tringulosisomtricos).
Luego|BF|=|FG|=|GC|=|BC|.

F'

G'
E
A

D
P

F
F'

G'

ObservemoselhexgonoBDFGEC.
Tracemos[BF]y[CG]

ElcuadrilteroBCGFesunrombopuessuscuatro
ladossondelamismalongitud(ladelahipotenusa
deltringulorectnguloBAC).

SeaPunpuntodelarectaCB(verlafigura).
DByACsonperpendicularesaAB(cuadradoytringulorectngulo),luegoDB//AC.
Los ngulos PBD y PCA son isomtricos (ngulos correspondientes formados por dos paralelas y
unasecante).
Ahorabien,losngulosBCAyBFDsonisomtricos(tringulosisomtricos).
LosngulosDBFyBFDsontcomplementarios(triangulorectngulo)luegolosngulosDBFyDBP
tambinloson.
PBFespuesunngulorecto,ascomoFBC.
6

ElromboBCFGtieneunngulorectoyportantoesuncuadrado.

Comparandolasegundaycuartafigurasquetienenlamismareayhaciendoabstraccindelos
dostringulosrectngulosisomtricosqueaparecenenellas,resultaquelasumadelasreasde
loscuadradosconstrudossobrelosladosdelngulorectodeuntringulorectnguloesigualal
readelcuadradoconstrudosobrelahipotenusa.

3Matemticasconpalabras
En el sentido estricto del ttulo, es cierto que es posible encontrar matemticas y desarrollar
nocionesdelosprogramasutilizandodiversostextosenloscualeslaspalabrasolosconjuntosde
palabrassonconsideradosnicamentecomosimplesobjetos.

HeaquunejemplosacadodeElBurgusGentilhombredeMolirequepuedeabrirelcaminoal
anlisiscombinatorio.

M.JOURDAIN.No,no,no,yonoquierotodoeso:yonoquieromsqueloqueoshedicho:Belle
marquise,vosbeauxyeuxmefontmourird'amour.
MAESTRODEFILOSOFA.Esprecisoextenderunpocoelasunto.

Loscincotrminosqueson:bellemarquisevosbeauxyeuxmefontmourird'amour,pueden
serpermutados.Engendranas120anstrofes.Heaqu10.

1:(bellemarquisevosbeauxyeuxmefontmourird'amour)
2:(vosbeauxyeuxbellemarquisemefontmourird'amour)
3:(mefontbellemarquisevosbeauxyeuxmourird'amour)
4:(bellemarquisemefontvosbeauxyeuxmourird'amour)
5:(vosbeauxyeuxmefontbellemarquisemourird'amour)
6:(mefontvosbeauxyeuxbellemarquisemourird'amour)
7:(mourirbellemarquisevosbeauxyeuxmefontd'amour)
8:(bellemarquisemourirvosbeauxyeuxmefontd'amour)
9:(vosbeauxyeuxmourirbellemarquisemefontd'amour)
10:(mourirvosbeauxyeuxbellemarquisemefontd'amour

Naturalmente, queda el problema de construirlos todos de manera organizada y no

anrquicamente.Ahaparecelanocindealgoritmo.
Quizeselmomentoderesolverloencolaboracinconelcursodeinformtica.

4Lasmatemticasdespusdelaspalabras
Una lectura, una afirmacin o una reflexin bien entendidas son a menudo ocasiones de
establecerunabsquedadeloquepuededesembocarenalgocreativoeneldominiomatemtico.
Veamosunejemplo.
Es bien conocida la emisin Cifras y letras de las emisoras de TV, y en particular, su
componenteLacuentaestbien.
Elobjetivodeesteltimojuegoconsisteenformar,enuntiempolimitado,unnmeronaturalde
3 cifras (por tanto entre 100 y 999), utilizando las operaciones elementales(suma, resta,
multiplicacinydivisinexacta)sobre6nmerosnaturalessacadosalazardeentrelosnmeros
naturales siguientes: los que van de 1 a 10, que pueden aparecer dos veces cada uno, como
mximo, ms 25, 50, 75 y 100 , es decir 24 possibilidades en total que se pueden suponer
equiprobables.

41Lacuentasueleestarbien.
Esteeselttulodeunartculoquetratadeljuego,publicadoenelnmerodemarzoabrilde2010
delboletnn487delAPMEP(AssociationdesProfesseursdeMathmatiquesdelEnseignement
Public(France)),firmadoporMichelLafond.
El autor estudia este juego bajo diversos aspectos combinatorios y muestra de manera muy
detalladaquelaprobabilidaddehacerbienlacuentaesparticularmentegrande.
Paraello,elautorcalculaelnmerototaldecasosdeljuego,loquenoplanteagrandificultadsise
disponedeelementosdeanlisiscombinatorio.
EsenmeroesC(24,6)X900osea121136400.
Acontinuacin,medianteunclculodetalladoybastantecomplejodemuestraqueelnmerode
casosquepermitenobtenerelresultadocorrectoes113554259.
Laprobabilidadencuestinespues113554259/121136400esdecir0,93740823567

42Laspalabrasencuestin
Eneltranscursodeunaemisin,losdosconcursantesdebantratardeformarelnmero864 o
aproximarseallomsposible,conlosnmeros2,1,5,3,1,9.
Amboshanrespondido540efectuando(2+1)x(3+1)x5x9.

Elpresentadorhadeclaradoentoncesque540eraefectivamenteelmximovalorposibleysobre
todohaaadidoconinsistenciaqueambosconcursanteshabanaplicadobienlasiguienteregla
quenomecansoderepetir.

Si aparece un 1 entre los nmeros extrados, entonces el producto de otros

dos de los nmeros extrados sera el mayor posible si se suma el 1 al menor de
los dos nmeros, antes de multiplicarlos .
Efectivamente,enelcasodelasituacinpropuestaespreferiblecalcular(2+1)x(3+1)x5x9envez
de2x3x(5+1)x(9+1)quevalesolamente360.
Reacciones
Unaprimerareaccinconsisteenpreguntarsesilareglaenunciadaescorrecta.Algunosejemplos
numricos utilizando los nmeros autorizados por el juego (e incluso otros) parecen ir en el
sentidodeunarespuestaafirmativa.

Yalmismotiempoesasverificacionesnumricasnosempujanaabandonarelestrictodominiode
losnmerosutilizableseneljuegoyageneralizarlareglaaloselementosdelconjuntoNdelos
nmerosnaturales.
Esconvenienteentoncesrecurriraunademostracin,esdecir,utilizarvariablesquegeneralicenel
estudihecho.

Sean dos naturales a y b tales que a b y el nmero 1 que se sumar a uno u otro antes de
efectuarelproducto.

Comparemoss
(a+1)bcona(b+1)esdecirab+bconcab+a.
Setiene:
ab=ab
Y

a b
Deah, ab + a ab + b
Obien ab + b ab + a loquedavalidezalareglaenunciada.

10

5Lasmatemticasantesdelaspalabras
51Puestaensituacin

a y b son dos nmeros tales que a ab + b = 0.

Qu significa esta igualdad? Qu interpretacin darle ?

Existen, desde luego, diferentes maneras de traducir esta espresin al lenguaje ordinario,
transformndola.
Asseutilizalacompetenciadeinterpretacinquedasentidoalaescrituradelafrmula.

aab+b=0seescribecomo(a+b)ab=0
Ladiferenciaentrelasumadedosnmerosaybysuproductoesnula.

aab+b=0seescribetambina+b=ab
Lasumadedosnmerosaybesigualasuproducto.

Se observar que esas expresiones no traducen en ningn modo una propiedad general de los
nmeros,sinounaigualdadlocal.

Estasituacinambiguapodaevitarseenunciando:

aybsondosnmerostalesqueladiferenciaentresusumaysuproductoesnula.
aybsondosnmerostalesquesusumaesigualasuproducto.

52Investigaciones
Busquemos,enprimerlugar,valoresnaturalesdeayb.
Seobtienenrpidamentelosvaloressiguientes:
a=b=0dana+b=0=abya=b=2dana+b=4=ab

Otrosensayosdanlugaracasosinteresantesquegeneranterminologamatemtica.
Porejemploa=1da1b+b=0osea1=0queesimposible.anopuedevaler1.
Lacuestinesahorabuscarsiexistenpares(a,b)deNxNdistintosde(0,0)y(2,2)queverifiquenla
igualdad.Esoexigeuntratamientomatemticoqueconstittuyeunaciertaformadeinvestigacin.
53Bsquedadepares(a,b)deNxN
Vamosaexpresarbentrminosdeaperotambinseraposibleescribiraentrminosdeb.
Asaparecenlasnocionesdevariableindependienteydevariabledependiente.
Seapuesaab+b=0.
a
.Laleydeformacindebentrminos
Entoncesab(a1)=0obiena=b(a1)luego b
a 1
deaesbastantesimple.
El denominador a1 no puede anularse pues a no puede valer 1. Volvemos a encontrar la
condicinhalladapreviamente.

11


Ademssetieneb=a/(a1)oseab=(a1+1)/(a1)1
Esdecirb=1+1/(a1)

Paraquebseaunnmeronatural,esnecesarioquea1dividaa1,loquedaa1=1a1=1de
dondea=2a=0.
Lasdosnicasparejasdenaturalessonpues(2,2)y(0,0).
Estoconfirmaloquehabamoshalladoantesyrespondeanuestrapregunta.

54YenRxR?
Todovalordea,distintode1,proporcionaunvalorcorrespondienteparab.
5
3
1
1
,etc)
(Ejemplos:a=5da b ,a=3da b , a da b
6
4
4
3
Esclaroqueexisteninfinitasparejas(a,b)denmerosrealestalesque
aab+b=0
Latablamuestraalgunasdeellas.

a
2,00
1,50
1,00
0,50
0,00
0,50
1,00
1,50
2,00
2,50

b
0,67..
0,60
0,50
0,33..
0,00
1,00

3,00
2,00
1,67..

La transformation de la fraction utilise ici pourra tre rinvestie dans la rencontre ultrieure dautres notions
(asymptoteoblique,p.ex.).

12

55Representacionesgrficas
aybsonahoranmerosreales.
Podemosrepresentarlosvaloresdeasobreunarectadotadadeunareferencia(0,1)ylosvalores
de b sobre otra recta igualmente dotada de otra referencia (0,1) como muestra el ejemplo que
sigue.

1/2

3/4

5/4

3/2

-2

-3

-1

Llamaremosaestadibujounagrficasegmentaria.
De hecho, la utilizacin delasflechasenvezdelossegmentosseralomismoqueestablecerel
grafosagitaldelafuncinquerelacionaloselementosdeAconlosdeB.

Naturalmente,esposibleutilizarlarepresentacindeunagrficacartesiana.Heaquunaparte.
y
5
4
3
2
1

-8

-7

-6

-5

-4

-3

-2

-1

8x

-1
-2
-3

NB:Aqulafuncinutilizadaesy=f(x)=x/(x1)conxdistintode1envezdeb=f(a)=a/(a1)conadistintode1.

Deestagrficacartesianasepuedenhacervariaslecturas.
Cuntomsaumentaa,envalorabsoluto,msseacercaba1.

13

Cuantomsseacercaaa1,mayoresb.

56Ysi?
Ysiintentamosmodificarelgrficosegmentariohaciendocoincidirlospuntoscuyasabscisasson
0?
Estoesloquedautilizandounprogramadegeometradinmica.

1/2

5/4

3/4

3/2

A
5

-1

-2

-3

Seconvierteen.
2

3/2
5/4
1
3/4
1/2

0
-3

-2

-1

ysorpresa:Todaslasrectasquecontienenlossegmentosdeesagrficaparecenconcurriren
unpuntodecoordenadas(1,1).
Lavalidezdeestaconjeturahadeserjustificada,evidentemente.
Volvamosalasnotacionestradicionalesdelosejes.
Lafuncinrepresentadasedefinecomof(x)=x/(x1).

14

Y
A'(0,a/(a-1))
B'(0 ,b/(b-1))
C'(0,c/(c-1))

O(0,0)

Unaprimeraestrategia:

A(a,0)

B(b,0)

C(c,0)

y
1 esdecirex+(a1)y=aobienx+(a1)ya=0
a
a 1
Igualmente,BBtieneporecuacinx+(b1)yb=0yCCtieneporecuacinx+(c1)yc=0
Ahorasedemuestraqueelsistemadeesastresecuacioneslinealescondosincgnitastienela
solucinnicax=1,y=1.

Unesegundaestrategia:
SeescribenlasecuacionesdeAAydeBB;suinterseccinesI:(1,1),queverificanlaecuacinde
CC.
Uneterceraestrategia
A:(a,0)yA:(0,a/(a1))sonlascoordenadasdelosextremosdeun
A'(0,a/(a-1))
segmento[AA]delagrficasegmentaria.
AAtieneporecuacin:x+(a1)ya=0
Osea(xy)+a(y1)=0

AAespuesunelementodeunhazderectasquepasantodasporel
O(0,0)
A(a,0)
xy0
puntodefinidopor y 1 0 esdecir(1,1).
AAtieneporecuacin:

15

Otraestrategiaquenoprecisalasecuacionesdelasrectas:
SeatA:(a,0)eI:(1,1).LarectaAIcortaaeOYenA.
Pongamos A: (0,b) y demostremos que entonces a
ab+b=0.

Aprovechemoslasemejanzadetringulos!
LostringulosAOAyAEIsonsemejantes
b b 1
luego
dedonde:b=abaoaab+b=0.
a
1

A'(0,b)

E(0,1)

O(0,0)

I(1,1)

D(1,0)

A(a,0)

57Algunassugerenciasdeinvestigacin.
Se pueden hacer coincidir otros puntos de la grfica segmentaria y obtener la misma
constantequeantes?Cules?

Compararlasumadedosnmerosconsudiferencia,

Compararlasumadedosnmerosconsucociente,

Compararladiferenciadedosnmerosconsuproducto

Compararladiferenciadedosnmerosconsucociente,

Compararelproductodedosnmerosconsucociente.

6Amododeconclusin.

Avantdoncqued'crire,apprenezpenser.
Selonquenotreideestplusoumoinsobscure,
L'expressionlasuit,oumoinsnette,oupluspure.
Cequel'onconoitbiens'nonceclairement,
Etlesmotspourledirearriventaisment.
Boileau(Lartpotique)

Antesqueaescribir,aprendedapensar.
Segnquenuestraideaseamsomenososcura,
Laexpresinlasigue,omenosneta,omspura.
Loquesepiensabien,seenunciaclaramente,
Ylaspalabrasparadecirlolleganfcilmente

16

Introduccin a la teora de grafos

A.Kiselev, Universidad Estatal de San Petersburgo, y Ekaterina Zhukova,
Universidad Estatal Electrotcnica de San Petersburgo
1. Introduccin
Todos los lectores habrn visto problemas como los siguientes
Problema 1.1. En el pas de Genovia hay 2013 ciudades. Es posible conectarlas con carreteras de tal manera que salgan 3 carreteras de cada ciudad?
Problema 1.2. Demostrar que si 2013 personas asisten a una reunin y
algunas de ellos estrechan la mano con otras (pero no a si mismas), entonces al
nal hay al menos dos personas que han estrechado la mano al mismo nmero
de personas.
Problema 1.3. Demostrar que si 2013 personas asisten a una reunin y todo
el mundo estrecha la mano a otros (pero no a s mismo), entonces al nal se han
producido 201322012 apretones de manos.
Todos estos problemas estn relacionados con el concepto de grafo. Los
objetos de los que trata cada problema (ciudades, personas, etc) se llaman
vrtices. Para hacer la situacin ms obvia, se pueden dibujar como puntos en
el plano. La representacin visual del grafo puede ser til para entender mejor
el concepto. Conectaremos vrtices que estn relacionados entre s (ciudades
unidas por carreteras, personas relacionadas entre s por apretones de manos,
etc) por lneas llamadas aristas .Se ver un dibujo, parecido a un mapa o algo
similar.
Esta es una idea intuitiva de la nocin de grafo. Vamos a dar ahora la
denicin estricta para expresar la idea visual.
Denicin 1.1. Sea V cualquier conjunto nito de vrtices y sea VV el
conjunto de todos los subconjuntos de V que tengan 2 elementos. Entonces
E V V es el conjunto de las aristas. El par ordenado (V; E) es un grafo .
He aqu algunos ejemplos de grafos. El grafo tal que E = V V se dice que es
completo. El grafo tal que E = ? se dice grafo vaco o grafo nulo.
En lo que sigue, para hablar sobre vrtices y aristas de grafos usaremos
alguna terminologa intuitivamente entendible que exprese el enfoque visual.
Por ejemplo, la arista y el vrtice perteneciente a ella se dirn incidentes. Dos
vrtices a y b tales que fa; bg 2 E se dir que estn conectados por una arista
o que son adyacentes.
Necesitaremos la siguiente denicin:
Denicin 1.2. El nmero de aristas incidentes con un vrtice se llamar
grado del vrtice.
Ahora echemos una mirada a algunas propiedades obvias de los grafos.
Teorema 1.1.El nmero de vrtices de grado impar es un nmero par.
La suma de los grados de todos los vrtices de un grafo es igual al nmero de
aristas multiplicado por 2 (un nmero efectivamente par), as que debe haber
un nmero par de trminos impares en esta suma.
Teorema 1.2. En cualquier grafo hay dos vrtices del mismo grado.

Consideremos la negacin de la proposicin: supongamos que todos los vrtices del grafo tienen grados distintos. Puesto que puede haber grados desde 0
hasta n 1 (donde n es el nmero de vrtices), pero no puede haber un vrtice
de grado 0 y otro con grado n 1 en el mismo grafo, esto es una contradiccin.
Teorema 1.3. Un grafo completo de n vrtices tiene n(n2 1) aristas.
En efecto, cada vrtice est conectado a otros n 1; pero cada vrtice se
cuenta as dos veces.
Cada uno de los teoremas anteriores da la solucin a los problemas de la
seccin siguiente. Luego se proponen otros problemas de solucin obvia.
Problema 1.4. Demostrar que si hay 2013 ciudades y cada ciudad est
conectada a todas las dems, entonces en total hay 201322012 carreteras entre
ellas.
Problema 1.5. Demostrar que si hay 2013 ciudades y cada una de ellas
est conectada por carretera con alguna de las dems, entonces hay al menos
dos ciudades de las que sale el mismo nmero de carreteras.
Problema 1.6. En Genovia hay 2013 ciudades. Es posible conectarlas por
carretera de manera salgan 3, 5 7 carreteras de cualquier ciudad?
Problema 1.7. Existe un grafo con vrtices de grados
4,4,4,3,3,2?
8,6,6,5,3,2,1,1?
7,3,3,3,3,2,2,1?
7,7,5,4,4,2,2,1?
7,6,4,3,4,4,1,2?
7,7,7,5,3,3,2,2?
Denicin 1.3. Un grafo con vrtices que pueden ser distribuidos en dos
grupos de tal manera que ningn par de vrtices del mismo grupo estn conectados por una arista se llama grafo bipartito.
Si el grafo bipartito es tal que toda arista permitida est en E (toda arista
entre vrtices de grupos diferentes) se llamar grafo completo bipartito.
Teorema 1.4. En un grafo completo bipartito con n y m vrtices en los
grupos hay nm aristas.
En efecto, todo vrtice del primer grupo est conectado con m vrtices, as
que hay nm aristas que salen del primer grupo. Obsrvese que as contamos
todas las aristas (una sola vez).
Problema 1.8. Vamos a considerar que algunos vrtices del grafo son
azules y otros son verdes. Todo vrtice azul est conectado a 5 vrtices azules
y a 10 vrtices verdes; y todo vrtice verde est conectado a 9 vrtices azules y
6 verdes. Cul es el color dominante en ese grafo?
Problema 1.9. En Genovia hay 100 ciudades y cuatro carreteras salen de
cada ciudad. Cuntas carreteras hay en total?
Problema 1.10. Existe una lnea quebrada de 21 segmentos tal que interseque a cualquiera de esos segmentos
2

a) una vez?
b) dos veces?
c) tres veces?
Problema 1.11. En una clase hay 30 estudiantes. Es posible que 9 de
ellos tengan (en la clase) 3 amigos cada uno, 11 tengan 4 amigos cada uno y 10
tengan 5 amigos cada uno?
Problema 1.12. El rey de Genovia tiene 19 vasallos. Es posible que cada
vasallo tenga 1, 5 9 vecinos?
Problema 1.13. En el reino de Genovia hay 3 carreteras que salen de cada
ciudad. Es posible que haya 100 carreteras en Genovia?
Problema 1.14. Probar que el nmero de personas de entre la poblacin
de Valladolid que han dado apretones de manos a un nmero impar de otros
residentes de Valladolid, es par.
Problema 1.15. Nueve personas juegan un torneo a una sola vuelta. En
un cierto momento solo hay dos jugadores que hayan jugado el mismo nmero
de partidas. Probar que, o bien hay un jugador que todava no ha jugado, o
bien un jugador que ya ha jugado todas sus partidas.
Problema 1.16. Cada uno de los 102 estudiantes de un centro escolar
conoce al menos a otros 68 estudiantes. Probar que hay cuatro estudiantes que
tienen el mismo nmero de amistades.
Problema 1.17. Una matemtica y su marido van a una reunin, en la que
hay un total de cuatro parejas. Como es normal, al llegar los participantes se
saludan dndose la mano (Nadie se da la mano a s mismo o a la persona con la
que llega). Y no todo el mundo le da la mano a todos los dems. Pero cuando
la matemtica pregunta a las otras 7 personas presentes a cuntas personas ha
dado la mano, recibe 7 respuestas diferentes. A cuntas personas ha dado la
mano el marido de la matemtica?
Problema 1.18. Juan, a su regreso de Disneylandia, dice que all ha visto
un lago encantado con 7 islas, a cada una de las cuales llegan 1, 3 5 puentes.
Es verdad que alguno de esos puentes debe llegar a la orilla del lago?
En nuestra introduccin decamos que la aproximacin visual es bastante
apropiada para entender estos conceptos. En realidad, nuestra representacin
visual del grafo, un dibujo, es un objeto que merece la pena estudiar por s
mismo. Diferentes grafos a veces se pueden representar por la misma gura,
o diferentes guras pueden representar el mismo grafo. La siguiente denicin
pretende dar ms luz sobre este asunto.
Denicin 1.4. Dos grafos se llamarn isomorfos si sus vrtices pueden ser
numerados de tal manera que los vrtices con el mismo nmero est conectados
o no, simultneamente, en ambos grafos.
Esto signica que a veces uno puede considerar dos grafos como distintos
solo si no son isomorfos (y dos grafos isomorfos se consideran el mismo), aunque
3

se diga otra cosa en la denicin de grafo que dimos antes. Los siguientes
problemas pretenden simplicar la denicin y ayudar a entenderla mejor.
Problema 1.19. Hgase una lista con todos los grafos no isomorfos con 4
vrtices.
Problema 1.20. Hallar dos grafos con el mismo nmero de vrtices de cada
grado que no sean isomorfos.
Problema 1.21. Es verdad que dos grafos deben ser isomorfos, si
a) ambos tienen 10 vrtices y el grado de cada uno es 9?
b) ambos tienen 8 vrtices y el grado de cada uno es 3?
2. Conectividad
Como se puede observar de la Introduccin, la nocin de grafo puede representarse en forma visual. Dijimos que dibujar un grafo tiene algunas desventajas
relacionadas con un grafo equivalente, pero an asi, varios conceptos y proposiciones sobre grafos en teora de grafos provienen de la experiencia prctica,
deducidos de la intuicin y obvios para las guras.
Uno de esos conceptos es la conectividad. Ante todo, necesitamos algunas
deniciones que son intuitivamente claras.
Denicin 2.1. Una sucesin de vrtices, en la que cada dos vrtices consecutivos estn conectados por una arista, se llama ruta.
Visualmente, esta denicin signica que se empiezan a conectar vrtices en
un cierto orden; se elige siempre el siguiente vrtice de modo que sea adyacente
al anterior.
Denicin 2.2. Una ruta en la que el primer y el ltimo vrtice coinciden,
se llamar cerrada.
Si el vrtice a est en la ruta, se dice que la ruta pasa por el vrtice a. Si
los vrtices a y b son consecutivos en la ruta, se dice que la ruta contiene a la
arista fa; bg.
Denicin 2.3. Una ruta que contiene cada arista no ms de una vez, se
llama camino.
Es claro que cualquier camino es una ruta por la denicin anterior. Pero
antes, en nuestro dibujo, se pueden conectar vrtices en cualquier orden posible,
se permite usar cualquier arista dos veces, o tres, o ms. Ahora slo se puede
usar cada arista una vez. Esta es la diferencia entre ruta y camino. Tampoco
es obligatorio usar todas las aristas.
Denicin 2.4. Una ruta cerrada que adems es un camino, se llama ciclo.
Si existe una ruta en la que el vrtice a es el primero y el vrtice b es el
ltimo, se dice que los vrtices a y b estn conectados por la ruta. La misma
terminologa se usa para caminos. En efecto, si los vrtices estn conectados
por un camino, tambin lo estn por una ruta (es obvio que cualquier camino
es tambin una ruta). Se puede observar que el recproco es tambin cierto: si
los vrtices estn conectados por la ruta, tambin lo estn por el camino.

Denicin 2.5. La componente de conectividad de un vrtice es un conjunto de vrtices para los cuales existe un camino que los conecta con el vrtice
dado.
Se debe observar que las componentes de conectividad de dos vrtices diferentes o son iguales o son disjuntos. En efecto, si los consideramos conjuntamente
obtendremos que deben ser iguales en ese caso. Recordemos siempre la representacin visual del grafo que introdujimos antes. sese para conseguir una
visualizacin ms clara.
Problema 2.1. Se considera el "grafo del all": V es el conjunto de las
casillas del tablero de ajedrez y E est formado por los pares de tales casillas
tales que el all puede moverse de una a otra en un movimiento. Cuntas
componentes de conectividad hay en este grafo?
Denicin 2.6. Un grafo con una nica componente de conectividad se
llama un grafo conexo.
Hay otros grafos relacionados con el ajedrez construdos de esta manera:
"grafo del rey", "grafo de la reina", "grafo del caballo", "grafo de la torre" - y
obsrvese que todos son conexos.
Problema 2.2. Considrese el "grafo del caballo" en un tablero n n.
Hallar valores de n para los que el grafo no es conexo.
La denicin 2.6 conrma una vez ms nuestro punto de vista intuitivo del
grafo. Un grafo es conexo si y solamente si existe un camino entre cualesquiera
vrtices en l. Visualmente signica que se puede trazar una lnea quebrada
usando aristas como segmentos entre cualquier par de vrtices. As en este
aspecto, dos vrtices cualesquiera estn "conectados".
Hay una condicin simple para que el grafo sea conexo, expresada en trminos del nmero de aristas:
Teorema 2.1. Sea n el nmero de vrtices de un grafo. Si el nmero de
2)
, entonces el grafo es conexo.
aristas es mayor que (n 1)(n
2
Supongamos que hay al menos dos componentes de conectividad en el grafo
dado. Sea k el nmero de vrtices en una de las componentes, y por tanto, n k
vrtices en la otra. El mximo nmero de aristas cuando hay dos componentes
de conectividad es cuando ambos son grafos completos. Por lo tanto, el nmero
de aristas en el grafo entero es k(k2 1) + (n k)(n2 k 1) que no es mayor que
(n 1)(n 2)
: Esto es una contradiccin, as que el grafo es conexo.
2
Tambin se puede observar que si hay menos de n 2 aristas en el grafo,
no es conexo. Luego cualquier grafo con n vrtices debe tener al menos n 1
aristas para ser conexo. Ms adelante estudiaremos algunos grafos interesantes
con exactamente n 1 aristas.
Ahora, algunos problemas relativos a la conectividad.
Problema 2.3. Un grafo tiene 100 vrtices y el grado de cada vrtice es
por lo menos 50. Probar que el grafo es conexo.
Problema 2.4. En un grafo conexo, el grado de 4 de los vrtices es 3 y
el de los dems vrtices es 4. Probar que no se puede borrar una arista de tal
manera que el grafo se dividaen dos componentes de conectividad isomorfos.
5

Denicin 2.7.Una arista tal que al borrarla aumenta el nmero de componentes de conectividad de un grafo se llama puente.
Problema 2.5. Hay 10 vrtices en un grafo y exactamente dos de sus aristas
son puentes. Cul es el mximo nmero de aristas en este grafo?
Problema 2.6. Es verdad que dos grafos tienen que ser isomorfos si ambos
son conexos, sin ciclos y tienen 6 aristas?
Problema 2.7. En el reino de Genovia salen 100 carreteras de cada ciudad
y se puede viajar por ellas de cualquier ciudad a otra. Se cierra una carretera por
obras de reparacin. Probar que se sigue pudiendo viajar de cualquier ciudad a
cualquier otra.
3 Caminos y ciclos Eulerianos
En nuestra infancia intentbamos dibujar guras sin levantar el lpiz del
papel. Algunas veces se poda, y otras no. Por ejemplo, no es posible dibujar
un sobre cerrado (que se ve como un rectngulo con sus diagonales) sin levantar
el lpiz del papel, pero s se puede dibujar un sobre abierto.
He aqu el conocido problema de los puentes de Knigsberg
La ciudad de Knigsberg en Prusia Oriental (hoy Kaliningrado, Rusia) est
construda en ambas orillas del ro Pregel, que forma dos grandes islas conectadas entre s y con las orillas del ro por medio de siete puentes. El problema
era encontrar un camino que cruzase cada puente una vez y solamente una. Las
islas no se podan alcanzar de ninguna forma que no fuera por los puentes; y
cada puente deba cruzarse por completo cada vez: no se poda dar media vuelta
al llegar a la mitad del puente. El camino no tena por qu empezar y terminar
en el mismo sitio. Leonhard Euler demostr que el problema no tena solucin.
Veremos a continuacin el criterio para saber si tal camino es posible.
Denicin 3.1.Un camino que visite cada arista exactamente una vez se
llama camino euleriano.
Denicin 3.2. Un ciclo que visite cada arista exactamente una vez se
llama ciclo euleriano.
El siguiente teorema es el criterio de existencia de un ciclo euleriano en un
grafo conexo, que fu introducido por primera vez por Euler cuando intentaba
resolver el problema de los puentes de Knigsberg.
6

Teorema 3.1. Existe un ciclo euleriano en un grafo conexo si y solamente

si todos los vrtices tienen grado par.
Supongamos que en el grafo existe un ciclo euleriano. Cada vez que el ciclo
visita un vrtice, hay dos aristas incidentes con el vrtice. Luego el grado de
cada vrtice ha de ser par.
Recproco: Supongamos que todos los vrtices tienen grado par. Construyamos un ciclo A que visite cada arista solamente una vez (pero que tal
vez no visite todas las aristas del grafo).Si quedara alguna arista que el ciclo
A no visite, consideremos un vrtice c que visite el ciclo A pero que no visite
alguna de las aristas incidentes con el vrtice c: Es posible construir un ciclo
B que empiece y termine en c tal que A no visite ninguna de las aristas de
B. Ahora consideremos un ciclo D que sea la unin de A y B (el ciclo B est
"includo" en el ciclo A). Obsrvese que D sigue visitando cada una de sus
aristassolamente una vez y es ms largo que A. Si siguieran quedando aristas,
el proceso se puede repetir, pero no puede ser innito porque el conjunto de
aristas es nito. Al nal tenemos un ciclo euleriano.
Tambin hay el criterio de existencia de camino euleriano en un grafo conexo
que formulamos a continuacin.
Teorema 3.2. Existe un camino euleriano (pero no ciclo) en un grafo conexo
si y solamente si todos los vrtices, salvo dos, tienen grado par y esos dos tienen
grado impar.
La demostracin es bastante similar a la anterior. El camino euleriano empieza y termina en un vrtice de grado impar.
Problema 3.1. Probar que un grafo conexo con 2n vrtices de grado impar
puede trazarse sin dibujar ninguna arista ms de una vez y de tal manera que
el lpiz se levante del papel exactamente n 1 veces.
Problema 3.2. Hay 100 crculos formando una gura conexa en el plano.
Demostrar que esta gura se puede dibujar sin levantar el lpiz del papel o
dibujando cualquier parte de cualquier crculo dos veces.
Problema 3.3. En la ciudad de Tiro hay 7 islas. Hay 3 puentes entre 2
islas, 3 puentes entre 4 islas y 4 puentes desde la ltima. Es posible recorrer
la ciudad visitando cada puente una vez y solamente una?
Problema 3.4. Hallar valores de n tales que sea posible dibujar un polgono
de n lados con todas sus diagonales sin levantar el lpiz del papel.
Problema 3.5. a) Un trozo de cable mide 120 cm de largo. Se puede usar
para formar las aristas de un cubo, que midan 10cm cada una?
b) Cul es el menor nmero de cortes que hay que hacer en el cable para
poder formar ese cubo?
Problema 3.6. Es posible contruir una red con 5 5 nudos a partir de 5
lneas quebrads de longitud 8?
Problema 3.7. Es posible construir una red de 5 5 nudos a partir de
ocho lneas quebradas de longitud 5?

4 Camino y ciclo hamiltoniano

En paralelo al contenido de la seccin anterior, vamos a tratar ahora de los
caminos y ciclos hamiltonianos, que visitan cada vrtice del grafo una vez y
solamente una.
Denicin 4.1. En un grafo, un camino que pasa por cada vrtice exactamente una vez se llama hamiltoniano.
Denicin 4.2. En un grafo, un ciclo que pasa por cada vrtice (excepto
uno, en el que empieza y termina) exactamente una vez, se llama hamiltoniano.
Denicin 4.3. Un grafo se llama hamiltoniano si existe un ciclo hamiltoniano en l.
No hay criterios de existencia de caminos y ciclos hamiltonianos, sino slo
condiciones necesarias. Los enunciados correspondientes van a continuacin. Su
uso prctico es casi inexistente y sus demostraciones son bastante complicadas
y no las incluiremos aqu. El lector interesado puede consultar los ttulos [3] y
[4] de la Bibliografa.
Teorema 4.1. (Dirac, 1952)Un grafo con n vrtices (n 3) es hamiltoniano
si cada vrtice tiene grado n2 o mayor.
Teorema 4.2. (Ore, 1960) Un grafo con n vrtices (n 3) es hamiltoniano
si, para cada par de vrtices no adyacentes, la suma de sus grados en n o mayor.
Para formular el siguiente teorema necesitamos el concepto de clausura de un
grafo. Dado un grafo G con n vrtices, la clausura de G, cl(G), se construye de
manera unvoca a partir de G, aadiendo repetidamente una nueva arista fu; vg
que conecte dos vrtices no adyacentes u y v con grado(u) +grado(v) n, hasta
que no puedan encontrarse ms pares con esta propiedad.
Teorema 4.3. (Bondy-Chvtal, 1972) Un grafo es hamiltoniano si y solamente si su clausura es hamiltoniana.
Problema 4.1. Dado el tablero 4 4 sin las casillas de las 4 esquinas,
es posible que el caballo de ajedrez visite cada casilla exactamente una vez y
vuelva?
Problema 4.2. Existe un ciclo hamiltoniano en el grafo del caballo de
ajedrez en el tablero 5 5?
Problema 4.3. Existe un ciclo hamiltoniano en el grafo de la torre, del
all, de la reina y del caballo en el tablero de ajedrez tradicional?
Problema 4.4. Se considera el siguiente grafo: sus vrtices son los vrtices
de un cubo y los centros de las caras; sus aristas son las diagonales (o sea, las
aristas del cubo no son aristas en este grafo). Existe un ciclo hamiltoniano en
este grafo?
5 rboles
Denicin 5.1. Un grafo conexo sin ciclos se llama un rbol.
8

Denicin 5.2. Un grafo conexo tal que todas sus aristas son puentes es
un rbol.
Denicin 5.3. Un grafo en el que existe exactamente un camino entre
cada par de vrtices es un rbol.
Como hemos dado tres deniciones diferentes del mismo objeto, debemos
probar que todas denen el mismo objeto, pues si no, no las podramos utilizar:
Teorema 5.1. Las tres deniciones de rbol son equivalentes.
Consideremos un rbol dado por la primera denicin y probemos que cumple
la tercera. Supongamos que el grafo G no tiene ciclos. Enteonces en efecto todos
los vrtices estn conectados por un camino - existe al menos uno (G es conexo)
y si existieran al menos dos diferentes habra un ciclo.
Ahora tomemos un rbol segn la tercera denicin y probemos que cumple
la segunda. El grafo G es conexo por denicin. Supongamos que G es tal que
existe exactamente un camino entre cada par de vrtices. Tomemos la arista
fa; bg. Observemos que si no es un puente, existira un camino diferente entre
los vrtices a y b, ya que G sin fa; bg sigue siendo conexo. Luego toda arista es
un puente.
Finalmente, tomemos un rbol segn la segunda denicin y probemos que
cumple la primera. Supongamos que cada arista de G es un puente. Entonces
efectivamente no hay ciclos en G, porque si C fuera un ciclo entonces ninguna
arista de C sera un puente.
Ya que hemos denido bien la nocin de rbol, usaremos en lo que sigue
cualquiera de las 3 deniciones a nuestra conveniencia.
Veamos algunas propiedades importantes de los rboles.
Teorema 5.2. En cualquier rbol existe un vrtice de grado 1.
Consideremos el camino P ms largo del rbol G: Ese camino existe, porque
como entre dos vrtices cualesquiera, existe siempre un camino, no puede haber
ms de n(n2 1) caminos en G; que es nito. Si hubiera varios de la mxima
longitud, elegimos uno cualquiera de ellos. Marcamos el ltimo vrtice, b; en
ese camino. Si el grado de b fuera mayor que 1, podramos prolongar el camino
usando otra arista incidente con b: Esto contradice la hiptesis sobre la maximalidad de P:
De hecho, enun rbol hay al menos dos vrtices de grado 1. Se puede probar
fcilmente esto a partir de la demostracin del teorema anterior.
Observemos que hay un grafo conexo "mnimo" - en el sentido de que tiene
el menor nmero de aristas para el nmero dado de vrtices. Antes vimos que
cualquier grafo con n vrtices y menos de n 1 aristas no es conexo.
Teorema 5.3. En cualquier rbol con n vrtices hay n 1 aristas.
Sea m el nmero de aristas en el rbol G de n vrtices. Por el teorema
anterior, existe un vrtice a de grado 1 en G: Consideremos G1 , que va a ser G
9

sin el vrtice a y sin la nica arista incidente con a: Obviamente, en G1 hay n 1

vrtices y m 1 aristas; sigue siendo conexo y no tiene ciclos. As construmos
una cadena de rboles en la que cada Gk es Gk 1 sin el vrtice de grado 1 y
sin la nica arista incidente en l. El ltimo, Gn 1 ; tiene slo dos vrtices y
m (n 2) aristas. Pero el nico rbol (el nico grafo conexo) con dos vrtices
tiene solamente una arista. Por tanto m (n 2) = 1; es decir, m = n 1:
As, es obvio que en cualquier grafo conexo con n vrtices debe haber al
menos n 1 arista, como dijimos antes sin demostracin.
Problema 5.1. En un pas encantado hay 239 ciudades y dos ciudades cualesquiera estn unidas por una carretera y solamente una. Cuntas carreteras
hay all?
Problema 5.2. El rey Guidon tiene 3 hijos. Tiene un total de 93 descendientes; algunos de ellos tienen 2 hijos y otros ni se han casado ni tienen hijos.
cuntos de sus descendientes no se han casado?
Problema 5.3. Tenemos 5 cajas. Dentro de algunas de ellas hay otras 5
cajas (de menor tamao), y as sucesivamente. En total hay 12 cajas no vacas.
Cuntas cajas hay en total?
Problema 5.4. La diablica reina del ajedrez edica muros entre todos los
escaques del tablero. Cul es el menor nmero de muros que hay que derribar
para que la torre pueda visitar todos los escaques?
Problema 5.5. Una red de volleyball tiene un retculo rectangular de
dimensiones 50 600. El gamberro Xavi corta sus hilos unidad. Cul es el
mximo nmero de hilos unidad que puede cortar antes de que la red se rompa
en dos o ms trozos?
Esta ltima proposicin es bastante fcil de formular de manera formal y
tiene su importancia en aplicaciones de la teora de grafos, as que merece la
pena discutirla.
Teorema 5.4. Para todo grafo G = (V; E), existe un rbol T = (V; E ) tal
que E
E: Adems, si n es el nmero de vrtices de G y N es el nmero
de aristas, entonces hay que borrar exactamente N n + 1 aristas de E para
obtener E :
Problema 5.6. En el reino de Genovia hay 30 ciudades. Cada una de
ellas est unida a cualquier otra por una nica carretera. Cul es el mximo
nmero de carreteras que se pueden cerrar de manera que siga pudindose ir de
cualquier ciudad a cualquier otra?
Problema 5.7. Probar que en cualquier grafo conexo es posible borrar un
vrtice, junto con todas las aristas que salen de l, de manera que el grafo as
obtenido siga siendo conexo.
Problema 5.8. El mapa del metro de Tiro es un grafo conexo. Demostrar
que el alcalde de Tiro puede cerrar una estacin, y todas las lneas de metro que
llegan a ella desde estaciones contiguas de forma que lo que quede siga siendo
conexo.
6 Grafos binarios coloreados
10

Problema 6.1. En el valle del ro Amazonas hay 5 poblados. Dos cualesquiera de ellos estn conectados por senderos selvticos o por el ro, pero no
por ambas cosas al mismo tiempo. Adems, de entre tres poblados cualesquiera,
existe un par conectados por el ro y un par conectados por sendero. Probar que
es posible completar un viaje empezando y terminando en el mismo poblado,
visitando los 5 poblados (cada uno de ellos solamente una vez) y usando solamente senderos o la ruta uvial.
Problema 6.2. En el valle del ro Mississippi hay 6 poblados. Dos cualesquiera de ellos estn conectados por senderos o por el ro, pero no por los dos
medios simultneamente. Probar que los 6 poblados no se pueden conectar de
tal manera que entre tres cualesquiera de ellos existan dos conectados por el ro
y dos conectados por senderos.
Resolveremos primero el segundo problema. Llamemos A a uno de los poblados. Existen al menos tres rutas uviales o senderos desde l (porque si hubiera
menos de dos senderos o menos de 2 rutas uviales, entonces A no se podra
conectar con cualquier otro poblado). Tratemos el caso de al menos 3 senderos.
Razonemos por contradiccin: los poblados se conectaran como se indica en
el enunciado. Entonces, cualquier par de tres poblados conectados con A por
senderos deberan estar conectados por rutas uviales, lo cual es una contradiccin.
El caso de al menos 3 rutas uviales se analiza de manera anloga.
Ahora vamos con el primer problema. De la solucin del segundo se deduce
que debe haber exactamente dos senderos y exactamente dos rutas uviales
desde cualquier poblado. Entonces se puede fcilmente deducir que es posible
completar el viaje en la forma que se indica.
Por ltimo, denamos la nocin en cuestin: el grafo binario coloreado.
Denicin 6.1. Un grafo completo, cada una de cuyas aristas es de uno de
dos colores, se llama grafo binario coloreado.
Problema 6.3. Supongamos que seis personas son citadas, aleatoriamente,
para formar parte de un Jurado. Probar que o bien tres de ellas se conocen
mutuamente, o bien tres de ellas no se conocen mutuamente.
Problema 6.4. Supongamos que nueve personas son citadas, aleatoriamente, para formar parte de un Jurado. Se sabe que ninguna terna de ellas est
formada por personas que no se conocen entre s. Demostrar que cuatro de ellas
se conocen mutuamente.
Problema 6.5. Supongamos que 18 personas han sido citadas, aleatoriamente, para formar parte de un Jurado. Probar que, o bien cuatro de ellas se
conocen mutuamente o bien cuatro de ellas no se conocen mutuamente.
Problema 6.6. En el reino de Genovia las ciudades estn conectadas por
carretera o por tren. El ministro de Transportes introduce lneas de autobs
entre aquellos pares de ciudades que no estn conectadas por tren. Probar que

11

es posible llegar a cualquier ciudad desde cualquier otra usando solamente un

tipo de transporte.
Soluciones de los problemas
1.1 a 1.6 estn resueltos en el texto.
1.7. El primer grafo es fcil de dibujar. Sea V = fa; b; c; d; e; f g y
E = ffa; bg ; fa; cg ; fa; dg ; fa; eg ; fb; cg ; fb; dg ; fb:eg ; fc; dg ; fc; f g ; fe; f gg :
El segundo grafo no existe porque el mximo grado en el grafo con 8 vrtices
es 7 y no puede ser 8.
El tercer grafo existe: V = fa; b; c; d; e; f; g; hg y
E = ffa; bg ; fa; cg ; fa; dg ; fa; eg ; fa; f g ; fa; gg ; fa; hg ; fb; cg ; fb:eg ; fc; dg ; fd; eg ; ff; ggg :
El cuarto grafo no existe pues dos vrtices deben estar conctados con los
dems, con lo que los grados de estos dems vrtices deben ser al menos 2, as
que no puede haber un vrtice de grado 1.
El sexto grafo no existe por la misma razn: tres vrtices han de estar
conectados con cualesquiera otros, luego los grados de estos deben ser al menos
3 y no puede haber un vrtice de grado 2.
El quinto grafo no existe porque hay tres vrtices de grado impar, lo que
contradice el teorema 1.3.
1.8. Olvidmonos de las aristas que conectan vrtices del mismo color. As
tenemos un grafo bipartito. Contemos sus aristas. Sea g el nmero de vrtices
verdes y b el nmero de vrtices azules. Por una parte, hay 9g aristas (todo
vrtice verde est conectado a 9 azules); por otro lado, debe ser igual a 10b
(todo vrtice azul est unido a 10 verdes). Como 9g = 10b; debe ser b menor
que g, luego predomina el color verde.
1.9. Si hay 100 ciudades y 4 carreteras llegando a cada una, hay 400 nales
de carreteras: luego hay 200 carreteras.
1.10. a) y c). Consideremos el grafo cuyos vrtices son los segmentos de la
lnea quebrada y las aristas conectan aquellos pares que se intersecan mutuamente. Tenemos 21 vrtices de grado 1 (en a)) o 3 (en c)). Eso contradice el
teorema 1.1.
b) Consideremos la siguiente situacin: hay 21 puntos en el crculo, numerados en el sentido horario. Conectamos el punto No 1 con el No 3, el No 2 con el
No 4, ... , No 19 con el No 21, el No 20 con el No 1, el No 21 con el No 2. Se
observa fcilmente que esta es la quebrada buscada.
1.11. Si fuera posible, entonces tambin sera posible dibujar un grafo con 30
vrtices (los estudiantes), nueve de los cuales tienen grado 3, once tienen grado
4 y diez tienen grado 5 (conectando "amistosamente" los vrtices con aristas).
Sin embargo, tal grafo tendra 19 vrtices con grados impares, lo que contradice
el teorema 1.3.
12

1.12. Considermos un grafo en el que los vasallos son los vrtices y los que
sean vecinos se conectan por una arista. Ese grafo tendra 19 vrtices de grado
impar, contradiciendo el teorema 1.3.
1.13. Sea n el nmero de ciudades en Genovia. Entonces hay 3n
2 carreteras.
Si fuera igual a 100, resultara que 200 sera divisible por 3, lo cual es falso. Por
tanto no puede haber 100 carreteras en Genovia.
1.14. Es la situacin del teorema 1.1 para un grafo en el que V es el conjunto
de los habitantes de Valladolid y E es el conjunto de pares de elementos de V
que han estrechado sus manos,
1.15. Si slo hay 2 jugadores que han jugado el mismo nmero de partidas,
habra exactamente 8 nmeros diferentes de partidas jugadas por los jugadores.
Pero si nadie ha jugado 0 u 8 partidas, no puede haber ms de 7 nmeros
diferentes.
1.16. Todo estudiante conoce a otros 68, 69,...,101; en total hay 33 oportunidades. Si no hay ms de 3 estudiantes que tengan el mismo nmero de
conocidos, entonces no hay ms de 99 estudiantes. Por lo tanto, debe haber al
menos 4 con el mismo nmero de conocidos.
1.17. Como cualesquiera 7 personas dan diferentes respuestas, esas respuestas varan de 0 a 6, porque nadie puede estrechar menos de 0 ms de 6 manos.
Si alguna persona estrecha 6 manos, entonces la nica persona que estrecha 0
manos puede ser su cnyuge. Entonces, si alguna persona estrecha 5 manos, la
nica persona que estrecha 1 mano ha de ser su cnyuge. Lo mismo para 4 y 2.
Entonces, el nico nmero disponible para el marido de la matemtica es 3.
1.18. Si ningn puente conduce a la costa, entonces existira un grafo (donde
V es el conjunto de islas y E el conjunto de puentes que las conectan) con 7
vrtices de grado impar, lo que contradice el teorema 1.1.
1.19. He aqu los 11 grafos existentes
1.20. Ver la solucin del siguiente problema, apartado b).
1.21. a) Tales grafos son completos, luego en efecto todos son isomrcos.
b) Consideremos los siguientes grafos de 8 vrtices. Numeramos los vrtices
de 1 a 8. Las aristas de uno de los grafos conectan el vrtice 1 con el 2, el 2 con
el 3, ... , el 7 con el 8 y el 8 con el 1, el 1 con el 5, el 2 con el 6, el 3 con el 7 y
el 4 con el 8.
El otro grafo consiste en dos grafos completos de vrtices 1,2,3,4 y 5,6,7,8.
Ambos grafos no son isomorfos.
2.1. Es bastante obvio que ningn all cambia el color de los escaques; el
all visita escaques del mismo color. Por lo tanto, habr dos componentes de
conectividad: "blanca" y "negra".
2.2. Se comprueba sin dicultad que n = 2 y n = 3 da grafos no conexos
(si n = 2 no hay aristas en el grafo de 4 vrtices, si n = 3 no hay ningn
cuadrado conectado con la casilla central), n = 1 y n = 4 dan grafos conexos.
Entonces es claro ampliar el tablero (n 1) (n 1) hacia la derecha y hacia
abajo (obteniendo un tablero n n) con cada nuevo escaque aadido conectado
a alguno de los anteriores.

13

2.3. Razonemos por contradiccin: supongamos que hay al menos dos componentes de conectividad en el grafo. Supongamos que los vrtices a y b estn
en componentes diferentes. No pueden ser adyacentes a los mismos vrtices,
as que debe haber al menos 51 vrtices ms en la primera componente y otros
tantos en la segunda. Entonces hay al menos 102 vrtices en el grafo, lo que
contradice el que en el grafo haya 100.
2.4. Razonemos por contradiccin: Debe haber un nmero par de vrtices
del mismo grado. Entonces habr 0 2 vrtices de grado 2. En el primer caso
hay 2 vrtices de grado 3 y en el segundo 6. Luego en ambas componentes
isomorfas hay 1 ( 3) vrtices de grado 3; cualquier otro vrtice tiene grado 2
4, lo que contradice el Teorema 1.1.
2.5. Excluyamos ambos puentes del grafo. Entonces hay 3 componentes de
conectividad. El mximo nmero de aristas estar en el grafo completo de 8
vrtices y 2 vrtices solitarios. Esto da 28 aristas. Por tanto en total hay 30
aristas en el grafo.
2.6. Consideremos los dod grafos siguientes: uno consta de 7 vrtices conectados en la; el otro, 7 vrtices de tal forma que uno de ellos est conectado a
todos los dems. Obviamente esos dos grafos no son isomorfos.
2.7. Se requiere demostrar que ninguna arista en tal grafo es un puente,
as que su supresin no afecta a la conectividad. Razonemos por contradiccin:
sea fu; vg el puente; quitndolo descompone el grafo en dos componentes de
conectividad. Pero el nmero de nales de arista (nales de carretera) en ambas
componentes es impar, lo cual es imposible.
3.1. La demostracin es similar a la del teorema 3.1.
3.2. Consideremos un grafo cuyos vrtices son puntos de interseccin de
circunferencias y las aristas, los arcos de circunferencia entre esos puntos. El

14

grado de cada vrtice es par (cada circunferencia da dos aristas a cada punto
de interseccin). Entonces existe un ciclo euleriano.
3.3. Hay 4 vrtices de grado impar, lo cual contradice los teoremas 3.1 y 3.2.
3.4. Es fcil observar que el grado de cada vrtice es n 1; y debe ser par
por el teorema3.1. Luego es posible dibujar tal polgono, si y slo si n es impar.
3.5. a) La longitud total del cable es igual a la suma de las longitudes de
las aristas del cubo. Luego necesitamos que exista un ciclo euleriano, pero no
puede ser que el grado de cada vrtice sea 3.
b) Como hemos observado, tenemos 8 vrtices de grado 3. Luego por el
problema 3.1, necesitamos 3 cortes. Es decir, podemos cortar tres trozos de 10
cm del cable.
3.6. Es claro que hay 12 nudos (los vrtices del grafo) de grado 3, as que
debe haber, por lo menos, 6 lneas quebradas.
3.7. Es posible y no es difcil de dibujar.
4.1. Consideremos el tablero como el tablero de ajedrez standard usando las
letras a,b,c,d y los nmeros 1,2,3,4. Las esquinas del tablero (que no pertenecen
al grafo) son a1,a4, d1, d4. Entonces el ciclo siguiente
d3

b2

c4

d2

b3

c1

a2

c3

b1

a3

c2

b4

d3

es un ciclo hamiltoniano.
4.2. No, ese ciclo no es hamiltoniano. Como el movimiento del caballo es
entre casillas de diferente color, todo ciclo debe tener longitud par. Pero el
tablero tiene 25 casillas, as que todo posible ciclo hamiltoniano dbera tener
longitud impar de 25. Esto es una contradiccin.
4.3. El grafo del all, como sabemos por el problema 2.1, no es conexo, as
que no puede ser ni camino ni ciclo hamiltoniano (aunque haya ciclos hamiltonianos en las dos componentes de conectividad). Considermos el tablero etiquetado por las letras a,b,c,d,e,f,g,h y por los nmeros 1,2,3,4,5,6,7,8. Un ciclo
hamiltoniano en el grafo de la torre o en el de la reina no son difciles de construir
(de hecho, el mismo grafo de la torre sirve para el de la reina). El siguiente ciclo
es hamiltoniano para ambos:
a1 a2:::a8 b8:::b2 c2:::c8 d8:::d2 e2:::e8 f 8:::f 2 g2:::g8 h8:::h1 g1:::b1 a1:
El siguiente ciclo es hamiltoniano para el grafo del caballo:
a1

c2

a3

b5

a7

c8

d6

c4

e5

f7

h8

g6

h4

c1

e2

g1

f3

d2

b1

c3

a2

b4

a6

b8

d7

c5

g7

h5

g3

h1

f2

h3

g5

h7

f8

b2

d1

e3

f1

h2

g4

h6

g8

e7

e6
f5

f4
d4

d5
c6

c7
d8

g2
e4
a8
b7

e1

d3

f6

e8

b6
a5

4.4. Obsrvese que toda arista conecta vrtices de tipo diferente - "vrticevrtice" con "vrtice-centro". Luego si existiera un camino o ciclo hamiltonianoentonces el nmero de "vrtices-vrtices" y el nmero de "vrtices-centros"
15

a4
b3

a1:

debera ser igual o diferir en no ms de 1. Pero el grafo tiene 8 vrtice-vrtices

y 6 vrtices-centros.
5.1. El mapa de carreteras es, por denicin, un rbol (solamente un camino
conecta cada par de ciudades-vrtices.. Por lo tanto hay 238 aristas-carreteras.
5.2. El rbol genealgico de Guidon es un rbol (en el sentido de los grafos)es conexo y no hay ciclos en l. Contemos el nmero de sus aristas. Por un lado
son 93 (el nmero de vrtices menos 1). Por otro lado es igual al doble de los que
tienen 2 hijos, ms 3. Si x es el nmero de descendientes solteros, entonces el
nmero de los que tienen 2 hijos es 93 x y resulta entonces 2 (93 x) + 3 = 93;
de donde x = 45:
5.3. Construyamos un grafo cuyos vrtices son las cajas, y sus aristas
conectan dos cajas tales que una est dentro de otra. Es til introducir una
caja imaginaria en la que estn las 5 cajas. Entonces, el grafo as construdo es
un rbol. As, podemos contar el nmero de aristas en este grafo. Es igual a
13 5 = 65:El nmero de cajas reales es igual al nmero de aristas (toda caja,
salvo la imaginaria, est dentro de alguna otra). Por lo tanto hay 65 cajas.
5.4. Construyamos el grafo de la torre. Al principio est vaco, porque
todo par de escaques est separado por el muro. El menor nmero de muros
derribados es el mismo que el de aristas en el rbol de 64 vrtices, que es 63.
5.5. Consideremos esta red de volleyball como un grafo. Sus nudos son los
vrtices, y las arsitas son las cuerdas. Nuestro objetivo es borrar tantas aristas
como sea posible, manteniendo el grafo conexo. borramos las aristas de una en
una, tantas como se pueda. Obsrvese que si el grafo tiene un ciclo, entonces
podemos borrar cualquiera de las aristas de este ciclo. Pero un grafo conexo sin
ciclos es un rbol - es decir, cuando hayamos obtenido un rbol, no podemos
borrar ninguna ms de las aristas del grafo!. Calculemos el nmero de aristas
en nuestro grafo en este momento nal. El nmero de vrtices es el mismo que
al principio - es decir, es igual a 51 601 = 30651: Por otro lado, un rbol
con tantos vrtices debe tener 30651 1 = 30650 aristas. Al principio haba
601 50 + 600 51 = 60650 aristas. Luego no se pueden borrar ms de 30000
aristas, y es fcil ver como se puede conseguir esto.
5.6. Tenemos un grafo completo y la situacin tras cerrar tantas carreteras
como se pueda la expresamos en trminos de rboles. Por el teorema 5.4 sabemos
que es posible cerrar 30229 30 + 1 = 406 carreteras.
5.7. En cualquier grafo conexo hay un sub-rbol (Teorema 5.4). En el rbol
existe un vrtice de grado 1 (Teorema 5.2). Podemos quitar este vrtice, y lo que
queda sigue siendo un grafo conexo. Despus restauramos otras aristas (excepto
las que llevan al vrtice borrado), y la conectividad se mantiene.
5.8. Es la reformulacin de 5.7 en trminos "sociales".
6.1 a 6.2 se discutieron en la seccin correspondiente.
6.3. En lenguaje formal, tenemos un grafo binario coloreado donde el color
1 es "se conocen" y el color 2 es "no se conocen"; y hay que probar la existencia
de un tringulo monocromtico. Consideremos el vrtice a; al menos tiene tres
aristas del mismo color (digamos color 1) incidentes con l. Sean b; c; d los tres
vrtices conectados a a por esas aristas. Las aristas fb; cg ; fc; dg y fb; dg no
pueden tener el mismo color (ya que entonces tendramos un tringulo de color
16

1). Pero as hemos obtenido un tringulo de color 2.

6.4. En lenguaje formal, tenemos un grafo binario coloreado donde el color
1 es "se conocen" y el color 2 es "no se conocen"; no hay un tringulo de color
2, y hemos de probar la existencia de un rectngulo de color 1 con diagonales.
Consideremos el vrtice a.
Si existen al menos 4 aristas de color 2 (conectando a con los vrtices
b; c; d; e), entonces toda arista que conecte los vrtices b; c; d; e debe ser de color
1 y tenemos el problema resuelto.
Si existen al menos 6 aristas de color 1 (conectando a con otros seis vrtices),
entonces consideramos el grafo con esos vrtices. Hay un tringulo de color 1
(por el problema 6.3). Incluyendo a a se obtiene un rectngulo con diagonales.
El nico caso que queda es el siguiente: no hay ms de 3 aristas de color
2 y no ms de 5 de color 1. Como el grado es igual a 8, hay exactamente 3
aristas de color 2 y exactamente 5 aristas de color 1. Si esto fuera verdad para
cualquier vrtice, consideremos el grafo con aristas nicamente de color 1. Es
un grafo con 9 vrtices , todos de grado 5, lo que contradice el teorema 1.1. Por
lo tanto, el primero o el segundo caso deben ser ciertos para algn vrtice.
6.5. En lenguaje formal, tenemos un grafo binario coloreado donde el color
1 es "se conocen" y el color 2 es "no se conocen"; y hay que probar la existencia
de un rectngulo con diagonales, del mismo color. Consideremos el vrtice a.
Hay al menos 9 aristas de un mismo color.
Por el problema 6.4 obtenemos que en el grafo construido con esos 9 vrtices, o bien existe un tringulo monocromtico, o bien existe un rectngulo con
diagonales del otro color. Incluyendo a el tringulo nos da un rectngulo con
diagonales.
6.6. De nuevo tenemos un grafo binario coloreado. El color 1 son las conexiones por tren y el color 2 las conexiones por autobs. Supongamos el grafo
de color 1. Si no es conexo, todos los vrtices con diferentes componentes de
conectividad deben ser conectados con diferente color. As, cada par de vrtices
est conectado; bien por una arista del segundo color, o un camino de longitud
2 cruza cualquier vrtice de diferente componente de conectividad.
Bibliografa
1. D. Fomin, S. Genkin, I. Itenberg. Mathematical Circles (Russian Experience). AMS, 1996.
2. O. Ore. Graphs and their uses. Random House, New York, 1963.
3. O. Ore. Theory of Graphs. AMS, Providence, Rhode Island, 1962.
4. R.J.Wilson. Introduction to Graph Theory. Oliver and Boyd, Edinburgh,
1972.

17

La suficiencia de la equivalencia e independencia de las desigualdades

de Cauchy-Buniakowski-Schwarz y de Bergstrm
por D.M. Btineu-Giurgiu, Bucharest, Romania
y Neculai Stanciu, Buzu, Romania
La desigualdad de H. Bergstrm:
Si n N * {1} , x k R , y k R+* , k = 1, n , entonces:

xk
2
n
x k k =1
n

k =1 y k
yk

(B)

k =1

La desigualdad de Cauchy-Buniakowski-Schwarz:
Si n N * {1} , a k R , bk R , k = 1, n , entonces:
2

n
n
a k bk a k2 bk2
k =1

k =1 k =1

(C-B-S)

1. Probaremos que es suficiente demostrar (B) slo para x k , y k R+* , k = 1, n .

Por tanto, suponemos que (B) se verifica para x k , y k R+* , k = 1, n , y demostraremos
que (B) se cumple para x k R , y k R+* , k = 1, n .
a) Si x k R , k = 1, n , teniendo en cuenta que:
x 2 = ( x ) , x R ,
2

x + y x + y , x, y R .
entonces:
2

n x
x k2
k
=

k =1 y k
k =1 y k
n

k
(B)
k =1

n
yk
k =1

xk
k =1 ,
n
n
yk
yk

n
x k
k =1
k =1

luego (B) es cierta.

b) Si x k = 0 , k = 1, n , tenemos: 0=0, que es cierto.

k =1

c) Si m ( m N * , m < n) de los nmeros x1 , x 2 ,..., x n son nulos y el resto son no nulos,

podemos

suponer

(sn

prdida

de

generalidad)

x1 , x 2 ,..., x n R+* ,

que

y x m +1 = x m + 2 = ... = x n = 0 .
En este caso se tiene:
2

x
x
xk

k
2
2 ( B) k
n
m
xk
x
= k k =m1 = k =m1 k =n1 ,

k =1 y k
k =1 y k
yk
yk
yk
k =1

k =1

k =1

luego (B) queda probado tambin en este caso.

2. Probaremos que es suficiente demostrar (C-B-S) slo para a k , bk R+* , k = 1, n .

Supongamos que (C-B-S) se cumple para a k , bk R+* , k = 1, n y demostremos que (CB-S) se cumple a k , bk R, k = 1, n .
a) Si entre los nmeros a k , bk algunos son negatives, entonces considerando que:
x 2 = ( x ) , x R ,
2

x + y x + y , x, y R ,
deducimos que:
2

n
n

a k bk = a k bk a k bk = a k bk
k =1

k =1

k =1

k =1
n
n
n
n
(C B S )

2
2
a k bk = a k2 bk2 ,
k =1
k =1
k =1 k =1
lo que demuestra que (C-B-S) se cumple.
2

(C B S )

b) Si entre los nmeros a k , bk algunos son nulos, sin prdida de la generalidad

suponemos que
a k R+* , k = 1, m , a m +1 = a m + 2 = ... = a n = 0 ,
y
bk R+* , k = 1, p , b p +1 = b p + 2 = ... = bn = 0 , donde 1 p m n ,
con lo cual:
n

k =1

k =1

ak bk = ak bk ,
as que de aqu se obtiene:
2

a k bk = a k bk
k =1

k =1

p
p

a k2 bk2
k =1 k =1

(C B S )

 n
m
p

n
a k2 bk2 = a k2 bk2 .
k =1 k =1 k =1 k =1
Por lo tanto, cuando hablamos de la equivalencia entre las desigualdades (B) y (C-B-S)
podemos suponer que a k , bk , x k , y k R+* , k = 1, n .
A continuacin, probaremos que:

(B) (C-B-S).
Demostracin.

(B) (C-B-S)
Si en la desigualdad (B) tomamos x k = a k bk e y k = bk2 , k = 1, n obtenemos que:
2

k
2
n
x k k =1
n

k =1 y k
yk
k =1

a
b

k
k
2
2
n
a k bk k =1
n 2 n 2 n

a k bk a k bk ,

n
2
2
k =1 bk
k =1 k =1 k =1

bk
k =1

es decir, (C-B-S).

(C-B-S) (B)

Si en la desigualdad (C-B-S) tomamose a k =

y k y bk =

n 2 n 2 n

n
n x 2
a k bk a k bk y k k

k =1 k =1 k =1
k =1 k =1 y k
2

xk
yk

k = 1, n obtenemos que:

n
x
y k k
yk
k =1

2
n

= x k

k =1

xk
2
n
x
k k =n1 , es decir, (B).
k =1 y k
yk
k =1

Observacin. Ya que (C-B-S) puede demostrarse independientemente de (B) y vice

versa deducimos que (C-B-S) y (B) son mutuamente independientes.

Problemas para los ms jvenes

Problemas para los ms Jvenes 50

Problemas de la "Brother Alfred Brousseau Mathematics Competition, Introductory Division"
Los problemas que presentamos a continuacin proceden del libro - publicado
por Dale Seymour Publications - sobre la Competicin arriba mencionada, que
se desarrolla en California.
PMJ50-1
Las dimensiones de una caja rectangular estn en la proporcin 2 : 3 : 5 y
su volumen es 82320 cm3 . Calcular estas dimensiones.
PMJ50-2
Formando las tablas de valores de 3n ; 7n y 4n para n = 1; 2; :::; 10 y observando las regularidades existentes, determinar la cifra de las unidades del
nmero 13841 + 17508 + 24617 :
PMJ50-3
Los cuatro enteros positivos a; b; c; d son tales que tomndolos por parejas en
las 6 maneras posibles, los dos nmeros de cada pareja tienen un divisor comn
mayor que uno. Adems, a + b + c + d es un nmero primo. Hallar el conjunto
de enteros ms pequeos para los que se cumplan esas dos condiciones.
PMJ50-4
Dos jugadores igualmente hbiles juegan cinco partidas, de manera que quien
gane tres partidas se llevar las apuestas. Si el jugador A gana la primera
partida, cul es la probabilidad de que se lleve las apuestas?
PMJ50-5
Un barco echa el ancla en aguas tranquilas (sin corriente). Cuatro horas ms
tarde el nivel del mar ha bajado 8 pies y el barco se ha movido una distancia
horizontal de 80 pies desde el ancla. Qu longitud de la cadena del ancla hay
sumergida en ese momento?

Problemas de nivel medio y de Olimpadas

Problemas de Nivel Medio y de Olimpiadas 50

Problemas de la Ronda nal de la 26a Olimpiada de Corea del Sur (2013)
PO50-1
b > C
b y sea D el punto del lado AC tal que
Sea ABC un tringulo con B
b Sea I el incentro de ABC y E 6= I el segundo punto de interseccin
\ = C.
ADC
de AI con la circunferencia circunscrita de CDI: Sea P el punto de interseccin
de la recta BD con la recta que pasa por E y es paralela a AB: Sea J el incentro
de ABD;y A0 el simtrico de A con respecto a I:Supongamos que las dos rectas
JP y A0 C se cortan en el punto Q: Demostrar que QJ = QA0 :
PO50-2
Hallar todas las funciones f : R ! [0; +1) tales que, para todos los reales
a; b; c; d que verican ab + bc + cd = 0, se cumple la siguiente igualdad:
f (a

b) + f (c

PO50-3
Dado un entero positivo n
T = f(i; j) : 1

d) = f (a) + f (b + c) + f (d):
2; se dene el conjunto T de la siguiente manera:

i<j

n con i j jg

(i divide a j).

Para los nmeros reales no negativos x1 ; x2 ; :::; xn tales que x1 +x2 +

1; hallar el mximo valor (en funcin de n) de la suma
X
xi xj

+xn =

(i;j)2T

PO50-4
Dado el tringulo ABC; sean B1 y C1 los exincentros correspondientes a los
b y C,
b respectivamente.
ngulos B
La recta B1 C1 corta a la circunferencia circunscrita de ABC en un punto
D 6= A: La perpendicular desde B1 a CA y la perpendicular desde C1 a AB se
cortan en E: Sea ! la circunferencia circunscrita a ADE: La tangente a ! en
D corta a la recta AE en F: La perpendicular desde D a AE corta a AE en G
e interseca a ! en H 6= D:La circunferencia circunscrita de HGF corta a ! en
I 6= H: Sea J el pie de la perpendicular desde D a AH:
Demostrar que AI pasa por el punto medio de DJ:
PO50-5
Sean a y b enteros positivos primos entre s, y an ; bn sucesiones de enteros
que verican
p
a+b 2

2n

p
= an + bn 2:

Hallar todos los nmeros primos p tales que existe un entero positivo n menor
o igual que p que verica bn 0(mod p):
PO50-6

Dada una correspondencia 1-1 f : f1; 2; :::; ng ! f1; 2; :::; ng para algn
entero positivo n, se denen cuatro conjuntos A; B; C; D de la siguiente manera:
A =
B

fi j i > f (i)g

f(i; j) j i < j
f(i; j) j i < j

f (j) < f (i) o f (j) < f (i) < i < jg

f (i) < f (j) o f (i) < f (j) < i < jg

f(i; j) j i < j y f (i) > f (j)g

Si jXj representa el nmero de elementos del conjunto X; demostrar que

jAj + 2 jBj + jCj = jDj :

Problemas

Problema 246, propuesto por Ma Francisca Adrover Garau y Miguel

Amengual Covas, Mallorca, Espaa
En la gura, el segmento CD es una semicuerda perpendicular al dimetro
AB de una circunferencia de centro O. Los respectivos centros de las circunferencias de dimetros AC y CB son los puntos O1 y O2 : Las restantes circunferencias
son tangentes exteriores entre s y estn inscritas en el ngulo curvilneo y en el
segmento circular, tal como se indica. Si los crculos sombreados (los de ambos
extremos de la cadena de crculos) son iguales, determinar la razn AC : CB:
Problema 247, propuesto por Marcos Martinelli, Brasilia, Brasil
Si n 2 N y k 2 N tal que 1 k n + 1, se consideran los nmeros reales
ak tales que
n+1
X
k=1

Calcular

max

a2k 6= 0:

8 n
X
>
>
>
ak ak+1
>
<
>
>
>
>
:

k=1
n+1
X
k=1

a2k

9
>
>
>
>
=
>
>
>
>
;

Problema 248, propuesto por Jos Luis Daz Barrero, Barcelona,

Espaa
Sean x1 ; x2 ; :::; xn con n 2; nmeros reales no negativos menores que 1 y
tales que x21 +
+ x2n = 1:
Demostrar que

xn

x1
x1 x2 + n

+ xn

x2
x2 x3 + n

+ x1

xn
xn x1 + n

1:

Problema 249, propuesto por Marcel Chiritza, Bucarest, Rumania

Resolver, en el conjunto de los nmeros reales, el sistema de ecuaciones
(9x + 9y + 9z ) (3 x + 3 y + 3 z ) = 3
3
3y+z+1 3z+x+1 = 3x + 3y + 3z
x+y+1

Problema 250, propuesto por Marcel Chiritza, Bucarest, Rumania

Sea P un punto interior al tringulo equiltero ABC, de lado 1. Si ponemos
x = P A; y = P B; z = P C; probar que
x2 + y 2 + z 2 + x2 + y 2 + z 2

= 3 x2 y 2 + y 2 z 2 + z 2 x2 :

Problema 251, propuesto por Marcel Chiritza, Bucarest, Rumania

Hallar los nmeros reales a; b tales que
"
#
n3
+ an + b = 0:
lim
n!1 (n + 1)2
Problema 252, propuesto por Marcel Chiritza, Bucarest, Rumania
Sea ABC un tringulo. Si existe una recta que corte a los lados AB y AC en
M y N, respectivamente, de tal manera que exista una circunferencia interior,
tangente a las rectas AB, AC, BN y CM, entonces el tringulo es issceles.
Problema 253, propuesto por Marcel Chiritza, Bucarest, Rumania
Las sucesiones (an )n 1 y (bn )n 1 se denen de la manera siguiente:

an
bn

=
=

n X
m
X

m=1 k=0
n X
m
X

( 1)

( 1)

m=1 k=0

n
m

m+2
n
m

(m + 2) (m + 4)

Determinar si son convergentes y, en su caso, hallar sus lmites cuando

n ! 1:
Problema 254, propuesto por Laurentiu Modan, Bucarest, Rumania

Sea ABC un tringulo issceles con b = c: Demostrar que existen innitos

tringulos de ese tipo, vericando que R < 2r, siendo R el radio de la circunferencia circunscrita y r el de la inscrita.
Problema 255, propuesto por D.M. Batinetzu-Giurgiu, Bucarest,
y Neculai Stanciu, Buzau, Rumania
Sean a 2 0; 2 ; b 2 [1; 1) ; y m; n 2 N : Calcular
Za
a

(b

sin x + tan x
dx:
m
cos x) + sin2n x

PROBLEMA 241, propuesto por D.M. Batinetu-Giurgiu (Bucarest)

y N. Stanciu (Buzau)
Sean s, t R, y consideremos la sucesion
{Ln (s, t)}n2
definida por
Ln (s, t) = (n + 1)s

n+1

((n + 1)!) ns

q
n

(n!) .

Calcular
lim Ln (s, t) = L(s, t).

Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
p
Definamos Mn (s, t) = ns n (n!)t , con lo que usando notacion de Landau, y la
aproximaci
on de Stirling
 
1
1
ln(n!) = n ln(n) n + ln(2n) + O
.
2
n
Tenemos entonces que
ln (Mn (s, t)) = s ln(n) +

t
t
ln(n!) = (s + t) ln(n) t +
ln(2n) + O
n
2n

1
n2


.

Si s + t = 0 y s + t < 0, entonces respectivamente tenemos

lim ln (Mn (s, t)) = t,

lim ln (Mn (s, t)) = ,

luego como Mn (s, t) tiende a una constante, igual a et en el primer caso e igual a
0 en el segundo caso, entonces Ln (s, t) = Mn+1 (s, t) Mn (s, t) tiende a 0 en ambos
casos, es decir, L(s, t) = 0 siempre que s + t 0.
Supogamos que s + t = > 0, con lo que

 2
 
 
t
ln (n)
1
Mn (s, t)

=
n

1
+
ln(2n)
+
O

1
+
O
=
t
2
e
2n
n
n2


tn1
ln(2n) + O n2 ln2 (n) .
2


Ahora bien, (n + 1) n = n1 + O n2 , luego si > 1, se tiene que el
termino dominante en Mn+1 (s, t) Mn (s, t) es de la forma n1 , que diverge.
Luego L(s, t) + cuando s + t > 1. Si = 1, tenemos que
 2

Mn (s, t)
t
ln (n)
=
n
+
ln(2n)
+
O
,
et
2
n
= n +

luego


 2

 
1
ln (n)
1
Ln (s, t)
t
+O
=1+O
,
= 1 + ln 1 +
et
2
n
n
n
con lo que L(s, t) = et = es1 cuando s + t = 1. Finalmente, si 0 < s + t = < 1,
se tiene que



 2

Mn (s, t)
t
ln (n)

lim
n
= lim
ln(2n) + O
= 0,
n
n 2n1
et
n2
1

con lo que
L(s, t) = et lim ((n + 1) n ) = et lim n1 = 0.
n

Conclumos por lo tanto que:

si s + t < 1, L(s, t) = 0,
si s + t = 1, L(s, t) = et = es1 ,
si s + t > 1, L(s, t) no existe porque Ln (s, t) diverge a +.

Solucin al problema 241)

Marcos Francisco Ferreira Martinelli Braslia Brasil

PROBLEMA 242, propuesto por D.M. Batinetu-Giurgiu (Bucarest)

y N. Stanciu (Buzau)
Sea m R+ . Con las notaciones habituales para los triangulos, llamando S al
area del tri

angulo ABC, demostrar que se verifica la siguiente desigualdad:

bm+2
cm+2
4 3
am+2
+
+

S.
(b R + c r)m
(c R + a r)m
(a R + b r)m
(R + r)m
Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
Utilizamos en la soluci
on el siguiente
Lema:
En
todo
tri
a
ngulo
de lados a, b, c y area S, se cumple que a2 + b2 + c2

4 3 S, con igualdad si y s
olo si el triangulo es equilatero.
Demostraci
on: Ya que ambos miembros son positivos, el Lema es equivalente a
(a2 + b2 + c2 )2 48S 2 . La f
ormula de Heron para S en funcion de a, b, c se puede
escribir de forma equivalente como
16S 2 = 2a2 b2 + 2b2 c2 + 2c2 a2 a4 b4 c4 ,
que introducida en el resultado a demostrar, reduce la tarea a probar que a4 + b4 +
c4 a2 b2 + b2 c2 + c2 a2 , claramente cierta en virtud de la desigualdad del producto
escalar, y con igualdad si y s
olo si a = b = c, cqd.
Volviendo al problema propuesto, definamos f (x) = x1m , que para x, m R+ es
estrictamente convexa al ser su derivada segunda f 00 (x) = m(m+1)
> 0. Tenemos
xm+2
entonces que el miembro de la izquierda de la desigualdad a demostrar es






bR+cr
cR+ar
aR+br
a2 f
+ b2 f
+ c2 f

a
b
c
!
a2 bR+cr
+ b2 cR+ar
+ c2 aR+br
2
2
2
a
b
c
(a + b + c )f
=
a2 + b2 + c2

m 2
  2
(R + r)(ab + bc + ca)
a + b2 + c2
a + b2 + c2
2
2
2
= (a + b + c )f

=
a2 + b2 + c2
ab + bc + ca
(R + r)m

4 3S

,
(R + r)m
como queramos demostrar, y donde hemos usado la desigualdad de Jensen, el
Lema, y que a2 + b2 + c2 ab + bc + ca en virtud de la desigualdad del producto
escalar. El que el tri
angulo ABC sea equilatero es condicion necesaria para que se
de la igualdad, y se comprueba trivialmente que tambien es suficiente.

PROBLEMA 243, propuesto por D.M. Batinetu-Giurgiu (Bucarest)

y N. Stanciu (Buzau)
Sean A1 , A2 , . . . , An (con n 3) los vertices de un polgono regular; M un
punto de su circunferencia inscrita y N un punto de su circunferencia circunscrita.
Demostrar que

 n
n
X
1
2 X
M Ak 4

3 + cos
M Ak 2 .
4
n
N Ak 2
k=1

k=1

Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
Comenzamos la soluci
on con un Lema general y dos Proposiciones particulares
a la situaci
on descrita en el enunciado:
Lema: Sean R, r el circunradio e inradio de un polgono regular de n 3 lados.
Entonces, r = R cos n .
Demostraci
on: Sea A1 A2 . . . An el polgono, y O su centro. El triangulo A1 OA2
es is
osceles en O, con OA1 = OA2 = R, A1 OA2 = 2
n , y siendo r la longitud de
la altura desde O sobre A1 A2 . Como A1 A2 = 2R sin n , el area de A1 OA2 es
1
2

= R2 sin
= R2 sin cos ,
n
2
n
n
n
de donde dividiendo ambos lados por R sin n se deduce inmediatamente el Lema.
Rr sin

Proposici
on 1: Con las definiciones del enunciado, se tiene que
n
n
X
X
N Ak 2 = 2nR2 ,
M Ak 2 = n(R2 + r2 ).
k=1

k=1

Demostraci
on 1: Utilizaremos en esta demostracion el siguiente resultado conocido: para todo
angulo y todo entero n 3, se tiene
 X



n
n
X
2k
2k
+ =
sin
+ = 0.
cos
n
n
k=1

k=1

La combinaci
on de ambas igualdades es equivalente a la existencia de un polgono
regular de n lados, uno de los cuales forma un angulo de con el eje X en un
cierto sistema de coordenadas cartesianas. Sea entonces un sistema de coordenadas
cartesianas con origen en el centro del polgono regular y An (R, 0), con lo que
podemos escribir


2k
2k
Ak R cos
, R sin
.
n
n
Podemos entonces tomar N (R cos , R sin ) y M (r cos , r sin ), donde r es
el inradio del polgono, y , son angulos cualesquiera. Tenemos entonces que


2k
2k
2k
N Ak 2 = 2R2 2R2 cos cos
2R2 sin sin
= 2R2 2R2 cos
,
n
n
n
cuya suma para k = 1, 2, . . . , n es 2nR2 , pues la suma del segundo sumando en el
miembro de la derecha es claramente 0. De la misma forma,


2k
M Ak 2 = R2 + r2 2Rr cos
,
n
cuya suma para k = 1, 2, . . . , n es n(R2 + r2 ). Queda demostrada la Proposicion 1.
1

Proposici
on 2: En la situacion descrita en el enunciado, se tiene que
n
X
n(R2 + r2 )2
M Ak 4
.
>
2R2
N Ak 2
k=1

Demostraci
on 2: En virtud de la desigualdad del producto escalar, se tiene
! n
!
!2
n
n
X
X
X
M Ak 4
2
2
N Ak

M Ak
,
N Ak 2
k=1
k=1
k=1
N Ak
con igualdad si y s
olo si M
Ak es independiente de k. Sustituyendo los resultados
de la Proposici
on 1, nos basta con demostrar que la igualdad no puede darse. En
N Ak
efecto, supongamos que M
Ak es independiente de k, con lo que N 6= Ak para todo
k, pues en caso contrario esta cantidad sera 0 para un k, y no nula para el resto.
Luego sin perdida de generalidad podemos asumir que N esta en la circunferencia
circunscrita al polgono, en el arco An A1 que no contiene
a ning
un otro vertice, y

no m
as cerca de A1 que de An , es decir, 0, n , y N A1 N An son los dos
menores valores que puede tomar N Ak . Luego
ser los dos
 M An M A1 han Nde
N A1
An
menores valores que toma M Ak , y 0, n . Igualando entonces M
An = M A1 y
bajo estas condiciones, tras algo de algebra obtenemos que ha de ser = = n ,
e introduciendo el resultado en las expresiones para N Ak y M Ak , llegamos a que
N Ak
N A1
olo r = R cos (2k1)
. Pero por el Lema, esta igualdad no se
M Ak = M A1 si y s
n
cumple para k = 2. Luego la desigualdad hallada es siempre estricta, quedando
demostrada la Proposici
on 2.

En virtud de las Proposiciones 1 y 2, e introduciendo los resultados hallados en

ella en la desigualdad propuesta en el enunciado, nos basta con demostrar que


R2 + r 2
1
2
r2
2

3
+
cos
=
1
+
cos
=
1
+
,
R2
2
n
n
R2
claramente cierta y con igualdad siempre, y donde hemos usado el Lema. Como la
desigualdad en la Proposici
on 2 es estricta, hemos probado que la desigualdad propuesta en el enunciado se cumple siempre, pero siempre estrictamente sin posibilidad
de darse la igualdad.

Solucin del problema 243)

Marcos Francisco Ferreira Martinelli Braslia - Brasil

Problema 244, propuesto por Marcel Chiritza, Bucarest:

Sea ABC un tringulo cuyo ngulo A 90. Sea M uno cualquiera de los
puntos interiores al tringulo tales que sus proyecciones ortogonales sobre los
lados de ABC son los vrtices de un tringulo rectngulo. Demostrar que, de 7
cualesquiera de esos puntos, hay 4 que son concclicos.
RESOLUCIN:
Sean D, E y F los pies de las perpendiculares a los lados a, b y c respectivamente.
Supongamos que es el ngulo FED el que es recto. Se tiene que el ngulo FMD = 180 - B,
pues el cuadriltero BFMD es inscrito, al ser rectos sus ngulos en F y D.
Como el cuadriltero AFME es igualmente inscrito, los ngulos AMF y AEF son iguales. Otro
tanto ocurre con los ngulos DMC y DEC. Dado que el ngulo FED es recto, tenemos que:
90 = AEF + DEC = AMF + DMC
Entonces, para el ngulo AMC se tiene:
AMC = 360 - FMD - (AMF + DMC) = 360 - (180 - B) - 90 = B + 90
Por tanto, el punto M se encuentra en el arco capaz, interior al tringulo, del segmento AC con
ngulo B + 90.
Si el tringulo DEF es recto en F, el punto M deber encontrarse en el arco capaz, interior al
tringulo, del segmento AB con amplitud C + 90.
Finalmente el tringulo DEF no puede ser recto en D, pues el correspondiente arco capaz sera
de mas de 180.
Por tanto los siete puntos m cualesquiera deben estar en uno u otro de estos dos arcos
capaces, y necesariamente debe haber al menos cuatro en uno de ellos.
Ignacio Larrosa Caestro
IES Rafael Dieste
A Corua (Espaa)

PROBLEMA 244, propuesto por Marcel Chiritza, Bucarest

Sea ABC un tri
angulo cuyo angulo A 90 . Sea M uno cualquiera de los puntos
interiores al tri
angulo tales que sus proyecciones ortogonales sobre los lados de ABC
son los vertices de un tri
angulo rectangulo. Demostrar que, de 7 cualesquiera de
esos puntos, hay 4 que son concclicos.
Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
Sean D, E, F las proyecciones ortogonales de M sobre BC, CA, AB. Se tiene
entonces que F DE < F M E = 180 A 90 , luego DEF nunca puede ser
rect
angulo en D. Supongamos entonces que M es tal que DEF es rectangulo en
E. Como BDM F es cclico con diametro M B por ser M D, M F respectivamente
perpendiculares a las rectas BC = BD y AB = F B, se tiene por el teorema del seno
que DF = M B sin B, y de forma similar DE = M C sin C, EF = M A sin A.
Luego usando nuevamente el teorema del seno, M es tal que DEF es rectangulo
en E si y s
olo si b2 M B 2 = c2 M C 2 + a2 M A2 . De forma analoga, se tiene que
M es tal que DEF es rect
angulo en F , si y solo si c2 M C 2 = b2 M B 2 + a2 M A2 .
Podemos entonces particionar el conjunto de puntos M que satisfacen la condicion
del enunciado, en dos conjuntos, RE y RF , seg
un sea DEF rectangulo respectivamente en E y en F . Demostraremos que RE , RF son, cada uno, un subconjunto
de puntos situados sobre una cierta circunferencia, con lo que quedara demostrado
el resultado pedido. En efecto, de cada 7 puntos, por el principio del palomar
hay, bien al menos 4 en RE (siendo por lo tanto esos 4 puntos concclicos sobre
la circunferencia que contiene a RE ), bien al menos 4 en RF (siendo nuevamente
concclicos). Es decir, al poder intercambiar B, C y todos los puntos definidos a
partir de ellos sin afectar al problema, nos basta con demostrar que la condicion
b2 M B 2 = c2 M C 2 + a2 M A2 define una circunferencia o un subconjunto de
puntos situado sobre una circunferencia.
Sea un sistema de coordenadas cartesianas con origen en el pie de la perpendicular desde A sobre BC. Se tiene entonces que B (c cos B, 0), C (b cos C, 0) y
A (0, ha ), donde ha es la longitud de la altura desde A. Luego dado M (x, y),
se tiene
M A2 = x2 + y 2 2ha y + ha 2 ,

M B 2 = x2 + y 2 + 2cx cos B + c2 cos2 B,

M C 2 = x2 + y 2 2bx cos C + b2 cos2 C,

siendo por lo tanto, tras algo de algebra, M RE si y solo si


a2 + b2 c2
= 0,
x2 + y 2 2abcx cos(B C) 4aSy + 4S 2
a2
donde S es el
area de ABC, y hemos usado relaciones del triangulo facilmente
demostrables por trigonometra basica, como la formula de Heron para el area,
a2 + c2 b2

4S 2 (b2 c2 )
b2 c2 cos2 C cos2 B =
.
a2
N
otese que esta expresi
on puede ponerse en la forma
b cos B + c cos C = a cos(B C),

(x x0 ) + (y y0 ) = 2 ,
1

donde
x0 =

b cos(B C)
bc (b cos B + c cos C)
=
,
2
2
2
a +c b
2 cos B

y0 =

a2

a sin B
2aS
=
,
2
2
+c b
2 cos B

y
bc sin2 B cos C
cos B
donde x0 , y0 , dependen de ABC, pero no de la eleccion de M . Es decir, todos los
puntos de RE est
an en una circunferencia de centro (x0 , y0 ) constante, y radio
constante, quedando demostrado el resultado pedido en el enunciado.
2 = x0 2 + y0 2

Solucin al problema 244)

Marcos Francisco Ferreira Martinelli Braslia - Brasil

Problema 245.Las alturas BE y CF de un triangulo ABC se cortan en H. Las prolongaciones de FE y BC se cortan

en U. Una recta que pasa por el punto medio L de BC, paralela a la bisectriz interior de <EUB,
corta a CA, AB, HC y HB (o a sus prolongaciones, si fuera necesario) en P, Q, X, Y, respectivamente. Demostrar que las circunferencias APQ y HXY tienen radios iguales.
Solucin de Saturnino Campo Ruiz, Profesor de Matemticas jubilado, de Salamanca.

El dimetro de la circunferencia de centro , circunscrita al tringulo

El de la de centro

, circunscrita al tringulo

concluir si los segmentos

es

El tringulo

La igualdad de ambas se

son de la misma longitud.

De otra parte sabemos que el tringulo con vrtice

(por una semejanza inversa). As pues
son,
,
y .

es

y los pies y de las es semejante al

y por tanto, los ngulos del tringulo

es issceles.

Vamos a calcular el ngulo

. Por tanto tambin
consecuencia

es issceles.

Los tringulos

son semejantes y congruentes

y en

Son semejantes pues tienen dos ngulos iguales,

Ya que
es issceles, trazando por y paralelas a
obtenemos al cortar cada una con
el lado opuesto, sendos tringulos issceles:
y
. Por tanto, el trapecio
es
issceles y la paralela por a la bisectriz interior de
es la paralela media de este trapecio (la paralela media contiene los puntos medios de las dos diagonales). Resulta as que los
segmentos de igual longitud
y
quedan bisecados en dos partes iguales por el segmento
. Por tanto los tringulos
y
, son congruentes y los segmentos
e
de la
misma longitud, como queramos demostrar.

PROBLEMA 245, propuesto por el editor en homenaje a David Monk

y deseando su recuperaci
on.
Las alturas BE y CF de un triangulo ABC se cortan en H. Las prolongaciones
de F E y BC se cortan en U . Una recta que pasa por el punto medio L de BC,
paralela a la bisectriz interior de EU B, corta a CA, AB, HC y HB (o a sus
prolongaciones, si fuera necesario) en P, Q, X, Y , respectivamente.
Demostrar que las circunferencias AP Q y HXY tienen radios iguales.
Soluci
on por Daniel Lasaosa Medarde, Universidad P
ublica de Navarra,
Pamplona, Espa
na
Notemos antes de empezar que P AQ = A, mientras que XHY = BHC =
180 A, pues HBC = 90 C y HCB = 90 B. Por el teorema del
seno, el resultado pedido es equivalente a demostrar que P Q y XY tiene la misma
longitud.
Como BF C = CEB = 90 , BF EC es claramente cclico. Si B = C,
se tiene que EF k BC, y no existe el punto U , salvo en el infinito; podramos
entonces decir en todo caso que la bisectriz de EU B es paralela a BC y a EF , con
lo que P = X = C y Q = Y = B, siendo trivialmente cierto el resultado pedido.
Consideraremos entonces en el resto del problema, sin perdida de generalidad al
poder intercambiarlos sin afectar al problema, que B > C. Se tiene entonces
que U est
a en la semirrecta CB mas alla de B, y que al ser U F B = AF E = C,
y F BU = 180 B, se tiene EU B = B C, es decir, la recta que pasa
. Al mismo
por L, P, Q, X, Y forma con la recta BC un angulo igual a BC
2
tiempo, P, X est
an respectivamente sobre los segmentos CA, CH, pero Q, Y estan
respectivamente sobre las prolongaciones de BA, BH mas alla de B.
Deducimos entonces, sin mas que considerar triangulos, que
B + C
A
CP X = CP L = 180
= 90 +
,
2
2
y como P CX = 90 A, se tiene que P XC = A2 . De forma analoga,
A
B C
= 90 +
,
2
2
con QBY = EBA = 90 A, luego los triangulos P CX y QBY son semejantes,
y como hemos de demostrar que P Q = XY , o equivalentemente que P X = QY ,
nos basta entonces con demostrar que P C = BQ. Ahora bien, CLP = BLQ,
CL = BL, y CP L = 180 BQL, luego aplicando el teorema del seno a los
tri
angulos CLP y BLQ, se obtiene en efecto P C = BQ, quedando concluido el
problema.

BQY = 180 BQL = LBQ + BLY = 180 B +

Noticia de congresos, referencia de pginas web y resea de libros

AvanzandojuntoshacialasMetasEducativas
Iberoamericanas2021
BuenosAires,Argentina
12,13y14denoviembre2014
EnlaXXIIIConferenciaIberoamericanadeEducacinelSecretarioGeneraldelaOEI
presentalasdelegacionesasistenteslaconvocatoriadelCongresoIberoamericano
de Ciencia, Tecnologa, Innovacin y Educacin a celebrarse en Buenos Aires,
Argentina,del12al14denoviembrede2014.
Presentacin
Enelao2010,fueaprobadoporlosMinistrosdeEducaciny,posteriormente,porlos
JefesyJefasdeEstadoydeGobiernodeIberoamrica,elproyectopromovidoporla
OEI,Metas Educativas 2021: la educacin que queremos para la generacin de los
Bicentenarios, que tienen por objeto elevar la calidad y la equidad educativa en la
reginyconseguirsociedadesmslibresydemocrticas.
Enestemarcoycomoparteconstitutivadeesteproyecto,laOEIhaimpulsadoalgunas
iniciativasimportantesparaeldesarrollodelaeducacin,lacienciaylatecnologaen
la regin. Entre ellas se destaca el Instituto Iberoamericano de TIC y Educacin,
IBERTIC,consedeenBuenosAires,Argentina,quehaciendohincapienlaspolticas
educativasdelareginrecuperaypotenciaunadelaslneashistricasdetrabajodela
OEI:elproyectoCiencia,TecnologaySociedad(CTS).
ElInstitutosedesarrollaenlassiguientesreas:Investigacin,Formacin,Evaluaciny
unalneadeDifusinyTransferenciadelConocimientoqueesunespacioenelcualse
celebran conferencias con especialistas, presentaciones de resultados de
estudios/investigaciones, un ciclo de talleres De docentes para docentes y
actividadesespeciales.
IBERTICllevaadelantesutareademaneraarticuladaconelCentrodeAltosEstudios
de la OEI (CAEU); la Red Latinoamericana de Portales Educativos (RELPE); Virtual
Educa; la Televisin Educativa Iberoamericana (TEIB) y el Portal Educativo del
MinisteriodeEducacindelaArgentina,EDUC.AR.

Afinalesde2012,ysiguiendolaesteladeIBERTIC,laOEIpusoenmarchaIBERCIENCIA,
el Instituto Iberoamericano de Enseanza de las Ciencias y la Matemtica, en
respuestaa la peticin delConsejo Directivo de la Organizacin de Estados
Iberoamericanos para la Educacin, la Ciencia y la Cultura (OEI) que seal la
importanciadefortalecerlaenseanzadelascienciasylamatemticacomoprioridad
delossistemaseducativos.
EnlamismalnealaOEIhaelaboradoundocumentodebasedestinadoaimpulsarun
programadecienciaytecnologaparaeldesarrollosostenible,laequidadylacohesin
social, aplicable a escala iberoamericana. Este documento, que aspira a orientar la
accindelaOEIdurantelosprximosaosyaofrecerunespaciodeconvergenciacon
otrasorganizaciones,hasidopuestoaconsideracindelacomunidadiberoamericana
atravsdelaWeb,habiendosidoconsultadopormsdeunmillndelectores.Con
estedocumentolaOEIquieredarundesarrolloespecialalaMetaEducativa9:Ampliar
elEspacioIberoamericanodelConocimientoyfortalecerlainvestigacincientficaya
todas aquellas referencias que la meta 5 tiene sobre la necesidad de fomentar las
vocacioneshacialacienciaylaingeniera.
Para cerrar este proceso participativo en ciencia, tecnologa e innovacin y darle al
mismo tiempo un nuevo impulso, la OEI convoca al Congreso Iberoamericano de
Ciencia,Tecnologa,InnovacinyEducacinquesecelebrarlosdas12,13y14de
noviembre de 2014 en la ciudad de Buenos Aires (Argentina) dando un espacio
privilegiadoalaincorporacindelasTICencadaunadelasfacetaseducativasporlo
que representar, adems, un espacio de dilogo acadmico sobre el avance de las
MetasEducativas2021.
El Congreso tiene una seccin de comunicaciones libres para resultados de
investigacinyexperienciasyesperamosquelasaccionesvinculadasalasOlimpadas
tengaunaimportantepresenciaquepermitacoordinarlacooperacinentretodoslos
actores implicados para que en 2021 sea una realidad que haya muchos estudiantes
atradosporlamatemticaylaresolucindeproblemas.
http://www.oei.es/congreso2014

TRES NECROLGICAS : PAWEL JAREK, LEON VAN DEN BROEK Y

MARIE HLNE DELEDICQ
Francisco Bellot
Como bastantes de nuestros lectores conocen, desde su creacin el editor
de la REOIM est involucrado en el Concurso Canguro Matemtico; de
hecho algunos de los pases iberoamericanos participantes lo son por
iniciativa nuestra. Los aos 2013 y lo que va del 2014 han sido
particularmente duros con la familia de canguristas, que ha perdido a tres
de sus miembros. Sirvan estas lneas de homenaje de respeto y
agradecimiento a su importante labor.
Pawel Jarek (Polonia)
Pawel Jarek (Ruda Slaska, 22 de junio de 1933 Torn, 5 de febrero de
2013) fue, junto con varios matemticos de Torn y Wroclaw, fundador del
Concurso Canguro Matemtico en Polonia, y presidente de su Comit
Organizador entre 1992 y 1997, as como miembro del Comit Directivo de
Kangourou Sans Frontires durante los primeros aos de la andadura
internacional de KSF.
Estudi Matemticas en la Universidad Nicols Coprnico de Torun, de
1950 a 1955, doctorndose en 1965 bajo la supervisin del Prof. Jerzy Los.
Trabaj en la Ctedra de Matemticas de dicha Universidad y en su Instituto
de Matemticas entre 1953 y 1994. Fue Vicedirector de dicho Instituto entre
1978 y 1985 as como entre 1989 y 1992. Sus lneas de investigacin estn
relacionadas con el lgebra, la dinmica topolgica y los cuerpos aleatorios.
Tambin estuvo involucrado en la Olimpiada matemtica de Polonia (una de
las ms prestigiosas de Europa) entre 1956 y 2013. Pero adems Pawel
tena otras pasiones: era un buen artista grfico; sus dibujos de paisajes de
los montes Tatra y de los monumentos de la ciudad de Torn son muy
apreciados; un consumado excursionista montaero y un excelente
fotgrafo. Diriga en Zakopane el campamento matemtico de verano para
los ganadores del Canguro en varios pases europeos. Tambin le gustaba la
msica clsica. Sus colegas del Canguro polaco continan su incansable
trabajo. Descanse en paz.

Leon van den Broek (Holanda)

Pocas semanas despus de la reunin internacional de KSF en Edimburo
(Noviembre 2013) nos lleg la inesperada mala noticia del fallecimiento
repentino de Leon van den Broek, el 11 de diciembre, como consecuencia
de un ataque al corazn.

El equipo holands del canguro se ha visto as golpeado por la desgracia:

Leon era una persona enormemente activa, creaba cada ao un gran
nmero de problemas para el concurso (de hecho Holanda gan dos aos
consecutivos, desde su creacin, el premio al pas del que ms problemas
se haban elegido; la ltima vez, precisamente en Edimburgo). Era un
excelente matemtico, un gran profesor y un buen polemista. Sola
participar en los grupos de trabajo de KSF de los alumnos ms jvenes para los que resulta, en mi opinin, ms difcil encontrar buenos problemas,
con enjundia matemtica pero formulacin asequible para esos estudiantes;
y en eso, Leon era un maestro.
Pero adems, Leon ayudaba a cualquier matemtico que se lo pidiera. En
varias ocasiones le he pedido ayuda para encontrar alguna copia de
artculos en holands del gran matemtico holands Oene Bottema,
publicados en revistas neerlandesas muy difciles de encontrar. A vuelta de
correo reciba siempre el sobre con la fotocopia de los artculos buscados,
con la cariosa advertencia: Warning! Its written in Dutch!, a lo que yo
sola contestarle: Lo s, pero tengo un diccionario .
Le echaremos mucho de menos.
Marie Hlne Deledicq (Francia)
La esposa de Andr Deledicq, y cofundadora con l del Concurso Le
Kangourou des Mathmatiques, falleci el 15 de abril de 2014 en su casa de
Pars, donde se fund el concurso. Dirigi las primeras publicaciones de
ACL-Les ditions du Kangourou, contribuyendo de esta forma a la
popularizacin de las matemticas en lengua francesa. Nacida el 11 de
noviembre de 1939, su labor y la de su marido Andr, Presidente de Honor
de KSF, la continan sus hijos, Jean-Philippe y Jean-Christophe, tanto en la
Editorial como en la organizacin en Francia del Concurso.
Descanse en paz.

Valladolid, 11 de mayo de 2014.

Divertimentos matemticos