1

Belleza matemtica
Un ejemplo de la "Belleza en el mtodo" es esta simple y elegante demostracin del Teorema de
Pitgoras.
Varios matemticos expresan el amor por su trabajo describiendo la matemtica o por lo
menos algunos aspectos de sta! como bella. " #eces son descritas como una $orma de
arte% o por lo menos% como una acti#idad creati#a. &on comunes las comparaciones con la
m'sica y la poes(a. Bertrand )ussell expresa labelleza matemtica con estas palabras*
"+a matemtica posee no slo #erdad% sino tambin belleza suprema, una belleza $r(a y
austera% como a-uella de la escultura% sin apelacin a ninguna parte de nuestra naturaleza
dbil% sin los adornos magn($icos de la pintura o la m'sica% pero sublime y pura% y capaz de
una per$eccin se#era como slo las mejores artes pueden presentar. .l #erdadero esp(ritu
del deleite% de exaltacin% el sentido de ser ms grande -ue el /ombre% -ue es el criterio
con el cual se mide la ms alta excelencia% puede ser encontrado en la matemtica tan
seguramente como en la poes(a."
0
Paul .rd1s expres su punto de #ista sobre la calidad ine$able de las matemticas cuando
dijo*
"2Por -u son bellos los n'meros3 .s como preguntar por -u es bella la no#ena sin$on(a
de Beet/o#en. &i no #es por -u% nadie te lo puede decir. 4o s -ue los n'meros son
bellos. &i no lo son% entonces nada lo es."
5
ndice
6ocultar7
0 Belleza en el mtodo
5 Belleza en geometr(a
8 Belleza en los resultados
9 Belleza en la experiencia
: Belleza y $iloso$(a
; Vase tambin
< )e$erencias
2
o <.0 Bibliogra$(a
Belleza en el mtodo6editar7
+os matemticos describen un espec($ico mtodo de comprobacin como elegante.
=ependiendo del contexto% esto puede signi$icar*
Una demostracin -ue utiliza una m(nima cantidad de /iptesis adicionales o
resultados pre#ios.
Una demostracin -ue es inusualmente bre#e.
Una demostracin -ue deri#a el resultado de una manera sorprendente a partir de
teoremas -ue aparentemente no estn relacionados con la proposicin a ser
demostrada!.
Una demostracin -ue se basa en una #isin nue#a y original sobre el problema a
resol#er.
Un mtodo de demostracin -ue puede ser $cilmente generalizado para resol#er
una $amilia de problemas similares.
.n la b's-ueda de una demostracin elegante% los matemticos usualmente buscan
$ormas independientes y di$erentes de demostrar un resultado>la primera demostracin
podr(a no ser la mejor. .l teorema -ue ms demostraciones distintas tiene es el teorema
de Pitgoras% con cientos de demostraciones publicadas. ?tro teorema -ue /a sido
demostrado de muc/as maneras di$erentes es el de la ")eciprocidad @uadrtica".
&olamente "@arl Ariedric/ Bauss" public oc/o demostraciones di$erentes de este
teorema.
)ec(procamente% resultados -ue son lgicamente correctos pero -ue in#olucran clculos
laboriosos% mtodos sobreelaborados% ata-ues muy con#encionales o -ue dependen de
una gran n'mero de axiomas particularmente poderosos o resultados pre#ios -ue no son
usualmente considerados elegantes% pueden ser llamados $eos o torpes.
Un $ragmento del conjunto de Candelbrot% un $ractal de gran belleza% $recuentemente tomado como
moti#o esttico.
3
Belleza en geometra6editar7
.l n'mero ureo% la proporcin urea o di#ina proporcin es la explicacin matemtica de
la belleza en el arte y la naturaleza.
Belleza en los resultados6editar7
"lgunos matemticos #en la belleza de las matemticas en resultados -ue establecen
conexiones entre dos reas de las matemticas -ue parecen distintas y sin relacin alguna
a primera #ista. .stos resultados suelen ser llamados pro$undos. "un-ue es muy di$(cil
tener un acuerdo uni#ersal entre -u resultados son pro$undos% algunos ejemplos pueden
ser citados. Uno de ellos es la Ddentidad de .uler*
)ic/ard Aeyman la llama "la $rmula ms notable de la matemtica". .jemplos modernos
pueden incluir el Teorema de la Codularidad% -ue establece una conexin importante entre
las cur#as el(pticas y las $ormas modulares.
+o contrario a profundo% es trivial. Un teorema tri#ial puede ser un resultado -ue deri#e en
una manera ob#ia y sencilla a partir de otros resultados conocidos% o -ue se aplica slo a
un conjunto particular de objetos. &in embargo% en ocasiones% el establecimiento de un
teorema puede ser tan original -ue puede ser considerado como pro$undo% aun-ue su
demostracin sea ob#ia.
B.E. Eardy% en "" Cat/ematicianFs "pology"% sugiere -ue una demostracin bella o un
resultado bello posee "ine#itabilidad"% "sorpresa" y "econom(a".
&in embargo% Bian>@arlo )ota est en desacuerdo con el concepto de "sorpresa" como
una condicin para la belleza matemtica y propone el siguiente contrajemplo*
"Un gran n'mero de teoremas matemticos% cuando $ueron recin publicados% parecieron
ser sorprendentes, por ejemplo% durante 5G aHos desde 0I<<! la existencia de estructuras
di$erenciables no e-ui#alente sobre es$eras de alta dimensin se consider sorprendente%
pero no se le ocurri a nadie llamar a tal /ec/o /ermoso% ni en ese entonces% ni a/ora"
)ota 0II<% p.0<5!.
.ste desacuerdo ejempli$ica la naturaleza subjeti#a de la Belleza Catemtica y su
conexin con resultados matemticos* en este caso% no slo la existencia de es$eras
exticas% sino tambin la realizacin particular de stas.
Belleza en la experiencia6editar7
Eay cierta belleza J$r(a y austeraK en este poliedro.
4
"lg'n ni#el de deleite es re-uerido en la manipulacin de n'meros y s(mbolos para
adentrarse en cual-uier tipo de matemticas. =ada la utilidad de las matemticas en
ciencias y en ingenier(a% es probable -ue cual-uier sociedad tecnolgica #aya a culti#ar
acti#amente esta esttica% con certeza en la $iloso$(a de la ciencia% si no es en alg'n otro
lugar.
+a experiencia ms intensa de belleza matemtica para la mayor(a de los matemticos
#iene de adentrarse acti#amente en las matemticas. .s muy di$(cil dis$rutar o apreciar las
matemticas de manera puramente pasi#a >no existe una analog(a real del papel de
espectador% audiencia o p'blico>.
8
Bertrand )ussell se re$iere a la austera belleza de las matemticas.
Belleza y filosofa6editar7
"lgunos matemticos eran de la opinin de -ue el /acer matemticas es ms cercano al
descubrimiento -ue a la in#encin. .llos cre(an -ue el detallado y preciso resultado de las
matemticas puede ser tomado como #erdadero sin ninguna dependencia del uni#erso en
el -ue #i#imos. Por ejemplo% argumentaban -ue la teor(a de los n'meros naturales es
$undamentalmente #lida% en una manera en -ue no re-uiere de alg'n contexto espec($ico.
"lgunos matemticos /an extrapolado este punto de #ista sobre -ue la belleza matemtica
es una #erdad -ue en algunos casos se con#ierte en misticismo.
Pitgoras y toda la escuela Pitagrica! cre(a en la realidad literal de los n'meros. .l
descubrimiento de los n'meros irracionales $ue una #erdadera sorpresa para ellos%>ellos
consideraban la existencia de n'meros inexpresables como la razn de dos n'meros
naturales% siendo un error en la naturaleza. =esde la perspecti#a moderna% el trato de
n'meros m(sticos de Pitgoras era ms de un experto en numerolog(a -ue de un
matemtico. )esulta -ue lo -ue Pitgoras /ab(a dejado de lado% eran los l(mites de
in$initas secuencias de proporciones de n'meros naturales> la nocin moderna de un
n'mero real.
.n la $iloso$(a de Platn% exist(an dos mundos% el $(sico en el -ue #i#imos!% y uno abstracto
en el -ue est la #erdad incambiable% incluyendo las matemticas. Ll dec(a -ue el mundo
$(sico era la mera re$lexin del mundo per$ecto y abstracto.
Balileo Balilei dijo alguna #ez* "+as matemticas son el lenguaje en el -ue =ios escribi el
uni#erso"% una a$irmacin -ue aparte del impl(cito "te(smo"! es consistente con las bases
matemticas de toda la $(sica moderna.
.l matemtico /'ngaro Paul .rd1s% aun siendo ateo% /abl de un libro imaginario% en el
-ue =ios /ab(a escrito las demostraciones matemticas ms bellas. @uando .rdos -uer(a
expresar una particular apreciacin a una demostracin% sol(a exclamar* "MLsta es del
libroN". .ste punto de #ista expresa la idea de -ue las matemticas% como las #erdaderas
leyes en las -ue se basa la construccin de nuestro uni#erso% son el candidato en el -ue
se personi$ica =ios en di$erentes religiones m(sticas.
"lain Badiou% $ilso$o del siglo #einte% dice -ue la ontolog(a es matemticas. Badiou cree
tambin en pro$undas conexiones entre las matemticas% la poes(a y la $iloso$(a.
.n algunos casos% los $ilso$os naturales y otros cient($icos -ue /an /ec/o muc/o uso de
las matemticas /an /ec/o brincos de in$erencia entre belleza y #erdad $(sica de manera
errnea. Por ejemplo% en un punto de su #ida% Oo/annes Pepler cre(a -ue las proporciones
de las rbitas en el entonces conocido sistema solar% /ab(an sido arregladas por =ios para
corresponder a un arreglo concntrico de los cinco "&lidos Platnicos" cada rbita en la
es$era circunscrita de un poliedro y la es$era inscrita de otro!. @omo /ay exactamente
cinco slidos platnicos% la /iptesis de Pepler slo acomodaba seis rbitas planetarias y
$ue desaprobada por el descubrimiento de Urano.
Vase tambin6editar7
5
Ailoso$(a de la matemtica
Belleza
.sttica
Referencias6editar7
0. Vol#er arriba Q )ussell% Bertrand 0I0I!. JT/e &tudy o$
Cat/ematicsK. Mysticism and Logic: And Other Essays. +ongman. p. ;G. @onsultado el
55>GR>5GGR.
5. Vol#er arriba Q =e#lin% Peit/ 5GGG!. J=o Cat/ematicians Ea#e =i$$erent
Brains3K. The Math Gene: Ho Mathematical Thin!ing Evolved And "hy #umbers
Are Li!e Gossip.Basic BooSs. p. 09G. D&BT I<RG9;:G0;0IR. @onsultado el 55>GR>5GGR.
8. Vol#er arriba Q P/illips% Beorge 5GG:!. JPre$aceK. Mathematics $s #ot a
%pectator %port.&pringer &cienceUBusiness Cedia. D&BT G8R<5::5R0. @onsultado el 55>
GR>5GGR.
Bibliografa6editar7
"igner% Cartin% and Viegler% Bunter C. 5GG8!% Proo$s $rom TE. B??P% 8rd edition%
&pringer>Verlag.
@/andraseS/ar% &ubra/manyan 0IR<!% Trut/ and Beauty* "est/etics and
Coti#ations in &cience% Uni#ersity o$ @/icago Press% @/icago% D+.
Eadamard% Oac-ues 0I9I!% T/e Psyc/ology o$ Dn#ention in t/e Cat/ematical Aield%
0st edition% Princeton Uni#ersity Press% Princeton% TO. 5nd edition% 0I9I. )eprinted%
=o#er Publications% TeW 4orS% T4% 0I:9.
Eardy% B.E. 0I9G!% " Cat/ematicianFs "pology% 0st publis/ed% 0I9G. )eprinted%
@.P. &noW $oreWord!% 0I;<. )eprinted% @ambridge Uni#ersity Press% @ambridge% UP%
0II5.
Eo$$man% Paul 0II5!% T/e Can X/o +o#ed ?nly Tumbers% Eyperion.
Euntley% E... 0I<G!% T/e =i#ine Proportion* " &tudy in Cat/ematical Beauty%
=o#er Publications% TeW 4orS% T4.
+oomis% .lis/a &cott 0I;R!% T/e Pyt/agorean Proposition% T/e Tational @ouncil o$
Teac/ers o$ Cat/ematics. @ontains 8;: proo$s o$ t/e Pyt/agorean T/eorem.
Peitgen% E.>?.% and )ic/ter% P.E. 0IR;!% T/e Beauty o$ Aractals% &pringer>Verlag.
6
&tro/meier% Oo/n% and XestbrooS% Peter 0III!% =i#ine Earmony% T/e +i$e and
Teac/ings o$ Pyt/agoras% BerSeley Eills BooSs% BerSeley% @".
)ota% Bian>@arlo 0I<<!% "T/e p/enomenology o$ mat/ematical beauty"% &ynt/ese
000 5!* 0<0Y0R5% doi*0G.0G58Z"*0GG9I8G<55589
ConastyrsSy% Cic/ael 5GG0!% "&ome Trends in Codern Cat/ematics and t/e Aields
Cedal"% @an. Cat/. &oc. Totas 88 5 y 8!