Pruchas y seiraciones a A cualquier poliedro. Otros intentan falsar esta conjetura, teatan de conteas tarla de muchos modos distintos, pero se mantiene en pie. Los resultados tarrnboran la conjeturs, sugiriendo que se podria probar. En este punto, tts los estadios de problema y conetura, entramos en el avla2, El maestro ti a punto de offecer una prueba 2 Una Prueba Mazstao: En nuestta tiltima leccién hemos llegado a una conjetura relativa a los poliedros; a saber, que para todo poliedro V— A+ C=2, donde V’ es ef nimero de vértices, A el mimero de aristas y C el hnlimero de caras, La hemos contrastado de diversas maneras, pero sin no la hemos probado. :Ha hallado alguien una prueba? Auumo Stawa: «Por lo que a mi respecta, he de admitir que asin no he sido capaz de idear una prueba estricta del teorema... Sin embargo, puesto que su verdad se ha establecido en tantos casos, tno puede haber duda de que vale para cualquier s6lido. Asi, la proposi cidn parece estar satisfactoriamente demostrada»3. Pero si usted tiene tina prueba, preséntela, por favor. 1. Un Problema y una Conjetura Grnceprual y que tuviese que invent cl trmin sae (arise) en vee del viejo laare {indo puesto que la cra un concepo poigonal cuando To que el queria era uno Twledete bien, por str lado, mantene aun el termico seme iar (ingulo solo) Prva sus sigs panouales. En poca recene, sha aceped penetalmente que la priidad fn cue reultada perceneee a Descartes, La base de est peers es un manusrito Ae Descartes 1039), copiado por Leibniz en Pues a partir del origcal en 16756 5 redeeubieno y publica por Foucher de Carel en 18D. No se debera conceder Ia prncdad a Deseartes sn hacer prevamente us cotifeacion menor. Er cierto que Deleares afta gue el numero de anguls planor eF igeal + 29+ 28~4, donde por (entero! nimero de cnat y por a, el de Angulos sabden. También «5 cierto Que dlce que hay el dosle de Sngulon plagor que de ants (/etre). La conjunc de ambos fEnuoeladersiroia, por supurto, i fern de Fler. Mas Deseartes no vio In ota {i hacerlo, puso” que seguia pensando en sérminos de Angulos (panos y sélidos) y ras jo hieo un cambio teveluoonsrio consciente en los concepts de varies O-dimen Somes, artes Tdimenasonales y earas 2dmersonaes, como base neces y suficeae pats lr plem arieeriacion topologies de los poled. 2 Euler contrasts bastante concienswdamente [a conjcturt en busca de consecuencas 1a comprobo pars el cao de prisas, piimides y demis, Pode haber afadido que Ie propooteion de_que aslo hay cinco cterpos eepulares cs tambien una consecuenci, fie bs eonjeara. Ott consectenca probable es la proposiién hasta ahora corroborsds {is gue cunts color bustan pars pinta un mapa TS fie de cotton y smirutar ea cl caso de V—A4C=2 se discue en Dalya 1954, vol 1. as cinco primers secconss de tercer capital, pigs. 3541). Polya se eave abi sia ocupare de ls fe de prado, sunque sefala, por supuest, In necendad Ae una heures de eproblemas' pobre (1043), pag. 14), Nuestea ieusion comienzn $l donee re deiene Polya 2 Euler {{1758e}, pits 119 y 128, Peto més tarde (1758) propuso una pruca EI diflogo tiene lugar en un aula imaginaria, La clase se inceresa por un soba: gexste una rlacin enete el mimero de vertices, V7 numero de arinan, vt, y el nimero de cats, Cy de los poledros, especialmente de los pl relare,andloga la telacin trivial que hay entre el numero de vertices y tists de los pel, a saber, ue hay tants vertices como arta: = 4? Esta time relaion nox Peemite clsifcar lon poligmer de acuerdo con el timecode arises (0 vertices): erangulos, cuadsiiteros, pentgonos, ee, Una rclcion Similar permit clair los polite, "Tras muchos enyos'y eroren,constatan que para todos los poli Arosreguaces V = ot'+ C=21, Alguien areata que eo se puede tlie ster de us Agu on enereomeri ecco sen pide ter a Es interesante que, por un lado, estuviese deseoso de subrayar la novedad de su marcoau Inne Laketon ‘Marstno: En realidad, tengo una que consta del siguiente experimen- to mental, Paso 1: imaginemos que el poliedto esté hueco, con una superficie hecha de goma fina. Si fecortamos una de las caras, podemos estirar la superficie restante, poniéndola plana sobre el encerado sin romperla. Las caras y aristas se deformatin, las aristas pueden hacerse curvas, pero Vy 4 no se alterarin, de modo que si V—4+C cn el poliedro original, en esta red plana tendremos que V— 4 + G (recuerdese que hemos climinado una cara). (La Fig. 1 muestra la red plana en el caso de un cubo.) Paro 2: Triangulemos ahora nuestro mapa, pues en realidad se asemeja 2 um mapa geogrifico. Trazamos diagonales (tal vez curviliness) en esos poligonos (quizé curvilineos) {que no son ya tridngulos (posiblemente curvilineos). Al dibujar cada tuna de las diagonales, aumentamos tanto 4 como C en uno, de modo que el total de V—A+C no variae’ (fig. 2). Peso 3: Bliminamos ahora los triingulos, uno a uno, de la red triangulada, Para eliminar Fig. 3 o tun triéngulo 0 eliminamos vaa arista, con lo que desaparece una cara y una arista (fig. 3(¢)), 0 eliminamos dos aristas y un vértice, con lo que desaparece una cara, dos aristas y un vértice (fg. 3(b)). Ast pues, si antes de la climinacién de un triingulo teniamos que V—A+C=1, después de climinarlo seguira siendo asi. Al final de este proceso obtenemos un solo tridngulo, en cuyo caso V— A+C es verdad. Por tanto, hemos probado nuestea conjetura “Bata in de prac sarge de Cauchy {18134 Pracbaty tfutcioner a Atuwno Dera: En ese caso, debe ‘que ya no hay en ella nada conjetural’, ‘Avuwno Aura: Me extrafia, Veo que este experimento puede realizar. se con un cubo 0 un tetraedro, mas ccémo voy a saber que también se puede realizar con caalgsier poliedto? Por ejemplo, cesta usted seguro, Seftor, de que cnalguier poliedro se puede estar paniéndolo plano sobre el oncerado, tras baberle quitado sna cara? Tengo mis dudas acerca de su primer paso. Auuwsio Bera: gEsti usted seguro de que al triangular el mapa se obtendrd siempre una nueva cara por cade nueva aria? Tengo mis dudas sobre su segundo paso, ‘Auusmo Gama: ZEsté usted seguro de que sélo bay dos alternativas (la desaparicion de wna arista © de dos aristas y wm vértie) al eliminar los ‘riéngulos ane a amo? Esch usted seguro incluso de que nos quedamor ‘on wm sole tridngulo al final del proceso? Tengo mis dudas sobre su rercer paso®. usted llamarla feorema, puesto Masstno: Por supuesto que no estoy seguro. Aura: (En ese caso estamos peor que al principio! jEn lugar de tuna conjetura tenemos ahora tres como minimo! cA eso llama usted tuna «prucban? Marsrro: Admito que pueda ser un tanto confundente aplicar a este experimento mental el nombre tradicional de «prueba», pues no considero que establezca la verdad de la conjetura Detra: Qué es lo que hace entonces? .Qué cree usted que prucba vuna prueba matemitica? Massrno: He ahi una sutil pregunta que trataremos de responder mas tarde, Mientras tanto, propongo que mantengamos el venerable término técnico «prueba» para aplicarlo a am experimento mental (0 wena experimenton) que sugiera wna descampascion de la conetura original em subconje~ tras 0 lemat, incorporéndola asi aun cuerpo de conocimiento tal vez muy lejano, Nuestra «prueba», por ejemplo, ha incorporado la conjetura original (relativa a cristales 0, digamos, sélidos) a la teoria de las La opinidn de Deka de que ests prucba estaba cl wtcoremb» mis allt de toda dda cm comprtda por machos matematicon en siglo decnueve, por empl, Cele [18267], pugs 66-71, Marhesen (1653), pig, 49, Jonguires [1890] [1850] Pars cite br psc camcirstcor eTeas la procta de Cauchy, ae hizo absolutamente indudable ques tegante reacon 4/142 te aplea todo tipo de policies, ta como ehunelo Ber en 732 En 1801, rods ln indeesions deberin desrpeecers Tongues (18), pgs 11-12 a else es mds bien avanada, Estas duds nos le ocurieon 3 Cauchy, Point muchos otros excelees matemiics dl dieciueve2% Ime Lakatos hojas de goma. Descartes 0 Euler, los padres de la conjetura original, ni siquiera sofiaron esto, con toda certeza?. 3. Critica de Ia Prueba mediante Contraejemplos locales. pero no globales Massrao: Esta descomposici6n de la conjetura, sugerida por bz prueba, abre nuevas perspectivas para la contrastacién, La descomposi- ién despliega Ia conjetura en un frente mis amplio, de modo que nuestra critica disponga de mis blancos. jAhora tenemos al menos tees oportunidades en lugar de una de aplicar contraejemplos! Gasa: Ya he expresado el desagrado que me produce su tercer lema (a saber, que sélo tenemos dos posibilidades al ir eliminando 7 Gl enperienco mena dibym) ese pus de pra matemits mis eigv: prevalecs eon mein greges preseidas (f Sob 1958). efor mutations um Isr come) hecho de gu es coir (0 woreman) peedsen# Mt pricy co tere nena Ein go gues pea Se tepeededc uric el nin sobre ast: na wa exedonedcsson esa se Robe (93) Son gl ner oe vane ie gue ve buss (leah [P2DL 1, bag. 129 -Diceo que um sconce ceo oe tdene con ras st dna de Wm cous opens des Papp id Trtag ty Lov prego no pesatan macho ens propscones con i qe topos tn adieeindefutvs sn aber eats atest denon por conton Tandon neces dein de protin du worana 0 sacion ws Peco, rouldor gut no hablo il dceumente fans sino qe ase Por Ein come tdci ningin tas soe, conten Sno ce Prod, apes de hale flr (lncn) premio. ae) Ty pape 20) Ea el Seabed ls 86-1 leemen quires res ofan desebieron Iroc te de eso sede fee Confwads tute demain gan. Tae ult come st Sito olan cl moleme imine ser pan eae pcos de {caebrmien, sug del jo ann (td) 1a pecdene Nery el esa ‘She c ngeno el serema sobre le ruc. ca profane erie {Glin witemiste. Chanor gam vartcone! sve tems fs se Soe rnp bras Cae amines env lw tereman yx eacntee tapos Diggeee Lars fo 200, YH. 79) Se dice ue Gaon se baa ‘Nek sas moet tampa ue Ke eval ls eld, pls anno scm Soy leprs cline Arsen [505 pip. 47-7 Rian: wt 9 ve ln corm mone has spac cf te lca (Hei 104) a, 4) Foye ‘bu eTene uted qe eoncun un tora mateo ats de prado, 1954), welt pie iio sina-npinmie proven del encima ni eons Ele [1753 Seqin dl eden sbvcno gor Lemon de ref Iw nero ton slo pa ie, Silkimen pdemoscompesde comes claracons tert pase fcr itr vegan Gee eos de ion mumcre Com ode bec, ‘Sino mevtré nl cot ny Uaens tsa iss propia de Iw nomeos corona ‘eps tan sd sera en bu mayor pote per tveraio, gn ndclon arpa nu 95H, I lp 3 aerbue endacameme eet Eee) Peachasy refucciones n Jos triingulos de la red que resulta del estirado y subsiguiente triangula- cidn: 0 bien quitamos una arista, © quitamos dos aristas y un vértice) Sospecho que puedan aparecer otros patrones al climinar un tridngulo, Marsrao: Una sospecha no es muy critica Gaannta: Entonces, es un coniragjemplo una critica? Marsrno: Ciertamente. Las conjeturas ignoran desagrados y sospe- chas pero no pueden ignorar los contraejemplos. Zura [oparte]: Obviamente, las conjeturas son muy distintas de quienes las representan. Gaxsma: Propongo un contraejemplo trivial. Tomemos la red trian- gular resultante de realizar las dos primeras operaciones en un cubo (fig, 2). Si quito ahora un triéngulo del interior de la red, como quien quita una pieza de un rompecabezas, lo quito sin retirar ni un sdlo vértice 0 arista. Asi, el cercer lema es falso; y no solo en el caso. de un cubo, sino también en el de cuilguier poliedso, excepcién hecha del tetraedro, en cuya red plana todos los triéngulos son tridngulos en la frontera, Asi su prueba demuestra el teorema de Euler para el tetraedro; pero ya sabiamos que en el caso del tetraedro V~A+C=2, epor qué probarlo, entonces? Marsrno: Esti usted en lo cierto. Pero dese cuenta de que el cubo, contracjemplo del tercer lema, no es a la vez un contraejemplo de la conjetura principal, puesto que en el cubo V=A+C=2, Ha mostrado usted la pobreza del argumento, de la prueba, pero no la falsedad de nuestra conjetura. Aura: ¢Entonces, desechari usted su prueba? Maxsrno: No; la eritiea no es necesariamente destruccida. Mejoraré mi prueba para que se sostenga frente a la critica, Gamma: gCémo? ‘Maxstko: Antes de mostrar de qué modo, permitanme introducie la siguiente terminologia. Llamaté ucontrayjemplo local» al ejemplo que refute un lema (sin refutar necesariamente Ia conjetura principal), y llamaré «contragjemplo global al que refute la propia conjetura principal. ‘Asi pues, su contraejemplo es local y no global. Un contracjemplo que sea local pero no global critica la prueba y no la conjetuca. Gaseua: Asi pues, Ia conjetura puede ser verdadera, pero su prueba no Ia demuestea Marsrno: Pero puedo elaborar y mejorar fécilmente la prurba, susitu yendo el lema falso por otro ligeramente modificado que no refute su contraejemplo. Ya no pretendo que la eliminacn de cualquier triéngulo siga sno de las dos patrows mencionados, sino tan sélo que, en cada extadio de ta operaciin eliminadora, la eliminaciin de un triéngulo de la frontera sigue sno de esos. patrones. Volviendo sobse mi experimento mental, 1o tinico que tengo que hacer es insertar una simple palabra en mi tercera etapas