l.

or* riltllrror rriglorr hur lrlo tcrtlgor rlt grrrrrrler -1

=
r71
rlt e uhrl ln ir,n l(r!. r'l(,nt llcrlr, rlcrle lrt t'l rucl tt rir
I

rlcl corrro lrrrtrr lr rle I e ucrpo hunrrulo, S('tlrN('lA -1

11 glf lllfrclrrlio tk ltttlctttlllcr, lller, ruIrrrlcrt, 6 t ''n,T)
lriologlrr y t!t f(ul(tnt lrr t ue oli.cer, u n rt rt prlr | rrelrlrt ? 4r'
itrrprtlcirtrlilrlc r crrlr tlto rle tto llrrhltor, flol't1i,,,.
-Ll/l/:\
's't
ffi
Sielrtc e rlrlolrltrl rot'ltx rlutrl(r, lor rrlrlrrrr, 1, 1,!
frrrtitico rnvcrlr(r qrrt' lc rorlcr'f t e gurtrrrlrr utrrll:iu.
2
o
(c
-ruf'r(s
r,t,,r

)@
r llr rL.nl(r!.t rrc itln nlrttcntlt lsr l l' t erte r nrtt llr,

rlc hiorltlrriell

M rrgn llicrr lrrc

lrtc i I ut rlrl(r c(rn I lrrrlr,lrer, rl I lrr1r 1,

=

P
6
r-
,*: (
';'|
,t
. {.\
l IHN GI.t
:rl ,..

rlingrurrlrr orlgllrrrlt r, colt ('IIiN(:IA lr lrrctttc llrrl o /AI[] N A ll ll( lr\ li, Irl 5 [( :A ,(L(JlMl(:A,
Ct
irrqrrilitivrrrr rlc torlr lr t'rlrrlc rlt'crhrlrlrr e l rrrrurrlrr lit I ( )t ( )( ; IA Y A:i l'l{( )N( )U n

**fr
\''
rlc eorrocllnlt lrto rlt rlvrtlo rlc lrr llrte re (rnr,rllt tle lt
b
eir,rtcitr nrrrlcntlt. (h
,-l
P
C
Z
ry*, (,+ i,--**' j ili\ 'lt
ffir* t': &
,f"' i,' a
l\ ?
t
l',l ll l'r, il ,rt ll,r,rit 1,,, ,r

ll
'/ *'i,'
l,r

llll ll ll ll ll llllllll tlil l] tl It'fl"

I Librero 'J
I
ir
!rl t. ,!,i lr
 F
a\r,

=

l.or* rihlrrro riglorr lrrut lrlo tcrtlor rlt'rrtttrler -l
lr1
rlt'culrrl rtt le rtlo clt'tt I I llco, rlerrlc lt r'rt rtlr't t rt
' ,/
rk l cortto lrrrtrt lrr rlt'l e ttcrprr hlttttttto, ('IllN('IA
n
fio_,,.ffi,'r,fl ,,
'
'ilfr
,,,5\,':)
r,i un c(rnttclrrlio rle ttttlr'lttll lcrt, lllr't, rttittt lr'rt,
?
[riololu y tl rrutrtttt lrt r tte oli'r'cc tl ltit rt prtl t l llttr' lrllt
irttprerrcirtrlilrlt' rt etrlrt utl(t rl(' 1p (lrll1rr,
n1

9 ffi ',r{'?'

ir,rrte e rrrioLltrl lt(u'l(tt rlurtrki, lor rtlrlrrtrcr v e I

o
D
(c
ffi
CI
fhrrtirtico univcrtrt qrte lc rorlert'l I c gtntrtrlrt lltrtll:rtt'
z
r nrr (h, nt(rr.t rnckf tt rtttte ltt l I lcrr I l' t c ttcl tlrt( h!ttt't


tlc hiorurrricrrI P
qp
r{,i'
trl
/\l rrgn I llcrr rrrert lc ut rlrlrt crttt I lttrlgc tlr'r, rl I lr 1r t' ,l-
f''lAl [:N/A I llt ]r\, lrl:;X( lA, ( )l ll Ml(:4,
iI
c
rlirrgrrurrru orllttrtler, eolt S('l lrN('lA ltr lttclttcr lttrh o
t: Bl( )l( )(;lA Y A5 I lL( )N( )MlA
inrullllivrtrr rlt' lorlt lt crltrk'r rlr'cultrlrrllt cl llttlttrltr
rle eorroe lrttle rtlo rle rlvtrlo rlc lr llrtcleuttllrflt rle lrtr rwu, r. ll
cit'ltelt ntrtrh'nltlt,
l,
,-] fl'[\ @i',"-';
' ,.
r.l
Z
cz rT' ,
il u'o(
:ffih
,,rl

l,l tl l,r,r1 ,rrll'r'r,1 1,,1

g .p#
,t
[,
llil
#11'.s
ri
lllt tl ll lliltllI Itlll r,
ilil
Librero :1",, ,
,i't,l

i'
,rl {t*o,
 Ttulo original: Srlenca

@ zor5 Librero b.v. (edicin espao1a)

Postbus 72, j33o AB Kerkdriel, Pases Bajos

Copyright O aorr de'Wooden Books Limited

Copyright del texto OED @ zoo4 de Burkharci Polster

Copyright de1 texto Frmulas tiles de matemticas yJsica O zooo de Matthew Watkins

SCIEI\TCIA
Copyright del texto Elementos @ zoo3 de Matt Tweed
Copyright de1 texto Evolucin @ zoo8 de Gerard Cheshire
Copyright del texto El cuerpo humano @ zoo4 de MoffBetts
Copyright del texto El cosmos compacto @ zoo5 de Matt Tweed

Publicado en colaboracin con Alexian Limited

MATEMAT|CAS, r Sl CR, QUM ICA,
Produccin de la edicin espaola: BIOLOG iN'Y' RSTRONOM A
Delivering iBooks & Design, Barcelona
Traduccin: Carme Franch para
Delivering iBooks & Design

Distribucin exclusiva de la edici6n espaola: ILUS BOOKS, S.L.

Cobos de Segovia, 19, 5.", r."
z8oo5 Madrid, Espaa
N.I.F. B-8597628o

Impreso en India

ISBN 978-9o-89s8-4s7-9

Todos 1os derechos reservados. Qgeda prohibida, salvo excepcin prevista

en la Ley, cualquier forma de reproduccin, distribuci6n, comunicacin pb1ica
y transformacin de esta obra sin contar con la autorizacin de los titulares
de 1a propiedad intelectual.

Se han hecho todos 1os esfuerzos posibles por garantizar que 1a informacin recogida
en este libro sea correcta. En caso de error u omisin al consignar los derechos
de autor de las imgenes que apareced en 1a obra, Librero b.v. pide disculpas
y se comprornete a enmendar la informacin en futuras ediciones del libro.

Librero
 NnrcE

Prefacio del editor r

Libro t QgD 3

Burkard Polster

Libro tt Frmulas tiles de matemticas y fisica 55

Matthew Watkins

Libro tu Elementos r2r

Matt'Iiueed

Libro tr Evolucin r7g

Gerard Cheshire

I-ibro r. El cuerpo humano z6t

Mof Beus
[.. ]) lo que est ms abajo es como lo que est arriba,
y lo que est arriba es corno lo que est abajo. l,ibro rt El cosnlos compacto 3r7
Actan para cumplir los prodigios del Uno. Matt Tirced

The Etnerald Tablet of Hermes Trismegistus

Apndices e ndice-glosario 383
 ARCORIS PnTFACIO DEL EDITOR

Este libro contiene lector

seis obras cientficas de gran inters para el
vido de nuevos conocimientos. Constituye un magnfico compendio
de matemticas, fsica, qumica, biologa y astronoma que no debera
{altar enla biblioteca de cientficos en ciernes o amantes de la ciencia.
Las primeras pginas recogen @D, el libro de demostraciones
rnatemtircas del profesor Burkard Polster, que nos recuerda que hay
cosas que son pura 16gica. Luego viene la densa coleccin de Frmulas
tiles de matemticas yfkica deldoctor Matthew Watkins, que seguro que
le refrescar 1a memoria a ms de uno. En tercer lugar abordamos la
qumica a rravs de la ingeniosa gua de la Tabla Peridica delos Elementos
--:I---'-o
\ _>r de Matt Tweed. Luego realizamos un recorrido por la vida en la Tierra
de la mano del doctor Gerard Cheshire y su tratado sobre la Euolucin.En
quinto lugar, para profandizar en biologa, examinamos el organismo de
cerca con la maravillosa gua El cuerpo humano del doctor MoffBetts. El
sexto libro, por ltimo, nos invita a rnirar al cielo y a reflexionar sobre
la historia del increble universo en el que vivimos y del que formamos
parte gracias al itinerario que plantea Matt Tweed por El cosmos cornpacto.
Los crditos de las ilustraciones de Scienciacorresponden a Cecily Kate
Borthwick, Allan Brown, Vivien Martineau, David Goodsell, Caroline
'Will Spring, Simon F{uson, la
Ede, Joe Mclaren, Dan GoodGllow,
NASA, Fermilab y numerosos grabadores de hace siglos. Tambin han
participado otros editores y diseadores, como el doctor Peter Spring,
Daud Sutton, Polly Napper, George Gibson, Mike O'Connor y el doctor
Justin Avery.
Gracias a todos y feliz lectura.
Ith.n Martineau
--- ry;4

pqtryqwrs;rttru,lriw,'M n,wuEfits.Itfli
l-l
I
o i1ilt

ce
l-l
J
 aD
LA MARAVILLA DE LAS

D EMOS]' RAC I OI{ E S MATEMATI CAS

/,/r
\/
"/'.-./ :

/\/'..
/\/\
lll/
' \.

/\
Iii
'/\
-) -)
)-)
\,./
L')

Burkard Polster

i
 Affi' @,@@
Tringulo
'o Cuadrado Pentgono Hexgono Heptgono )ctgono
TNTnoDUCCIN

Algunos obetos matemticos estn dotados de una belleza patente a

ojos de cualquiera. Dos ejernplos de ello son los polgonos regulares y
lJn pol.gono regulnr es una figura aonvexa deLaos y nguLas igualns. Existen injmttw yoligonos regul.are*
los poliedros, clos figuras geotntricas a las que solo el crculo y la esfera
superan en perfeccin. Luego est el teorema de Pitgoras, un pilar de
los rnun,los de ngulos rectos que cor)struilr)os nosotros misrnos. y qui-

^=:\ ..- ffi1....-G,,g z las secciones cnicas que describen las rbitas de los cuerpos celestes.

+ t'2S-.. v v '{7\{z \=\=/ En general, las personas solo logran apreciar los aspectos elemen-
tales de la belleza matemtica, mientras que el resto de elementos solo

M ffi A resulta evidente para los matemticos que estuclian y crean las demos-

-w" @
Tetraero Octaed.ro Icosaero Cubo
@ Dod,ecaedro
traciones intriucadamente elaboradas que estn solo al alcance de las
melltes humanas ms privilegiadas.
Como rnatemtico, declaro qr-re he demostrado la verdad de un teo-
rema escribiendo al final de la dernostracin correspondiente las tres
lln poltedro regul.rtr es un cuerpo (onvexo culas caras estn Jormadas por poligonps idnikos y cwnta
letras Q!D, una abreviatura de la locucin lxi:rta quod erat demonstran'
con el. mtsmo nrkero e caras en contacto en cada yrttc. Amba se miestran distintas maneras de dum, qtoe podra traclucirse cotno olo que se quera demostrarr. Por una
juntar tres o ms palgonos regulares idnttcos en un vtrtire con espado sujcienLe para doblarlos en tres parte, QfD es sinnirno de la verdad y la belleza de las matemticas
d.imtensones. Estas posibilidades de ionstruin de vrtkes upaciales ptrcia Lego extenderx de una
y, por otra, representa 1a parte aParentemente inaccesible de esta anti-
manera,ii,caparaJarrna,rlsconwtdaatncoyoLiedrosregulnras .': : . :'
gua ciencia.
: ._.
No obstante, Q-ED tambin suele ardirse al final de demostra-
-
l.:--*=l ciones sencillas, sorprendentes y visualmente atractivas. Este libro
z.ffit
l: l=_-:rr::l
presenta un viaje a travs de una coleccin de estas asornbrosasjoyas,
-=- .l::::
-=7-\7- =l
I : -=::
explorando al mismo tiempo las ideas que hay detrs de las demostra-
ciones rnaternticas, y est escrito para todas las personas interesadas en
Paraeido del mkmo razotnamiento sencilla se dtmuestra que existen tr:es teselados det pLano con pokgonos
la belleza de las matemticas que no se distingue a simple vista.
t
requlares "' ""
t,
-
I
-""" '- idntircs.

6
 UNA VERDAD A MEDIAS
la base de las demostraciones

En matemticas, como en fsica, podemos llevar a cabo un experimento

o verificar algunos casos para formular una conjetura para un teore-
ma. Aun as, en matemticas los experimentos no pueden sustituir las
demostraciones, por muy lgica y natural que resulte la conjetura. Por
ejemplo, la cantidad mxima de regiones definida por 1, 2,3, 4,5 y 6
puntos de un crculo (abajQ sn L,2, 4, B, 1.6 y...31, ino 32!
Otro ejemplo sera la clebre conjetura de Goldbach, segn la cual
todo nmero par mayor que dos es la suma de dos nmeros primos; as, 12
= 5 + 7 o 30= 23 + 7. Aunque esta conjetura se ha estudiado apartir de mi-
llones de casos, si no puede demostrarse, no podemos estar seguros de que
el siguiente caso que comprobemos no demuestre que la conjetura es falsa.
Las demostraciones deben ser lo ms breves, transparentes, elegan-
y reveladoras posible. Nuestra demostraci" (p5. sig., ar.) de que
I

tes I

el nmero 0,999..., seguido de infinitos 9, es igual a 1 es de este ripo,

y su argumento principal puede adaptarse ficilmente para convertir
cualquier nmero decimal seguido de esta cola infinitamente repeti-
tiva y algo angustiosa en un nmero con el que nos sintamos ms c-
modos. La demostracin de que un tablero de ajedrez incompleto no
I
puede teselarse con fichas de domin Qtg. sig., ab.) es otro ejemplo.
Un tabLero de aledrezyuedetesel,arse con unaficha de domin yor cada dos cuadros.?ero sN est,
Lgicamente, en este caso el argumento se aplica a muchos otros table-
incomyleto, esto no es yosibl.e.
ros de ajedrez mutilados.

Demostracin:En un unat'cha de domrn cubre un cuadroblanco

ooo@@@
teseLado,

y uno negro.?or tanto, unteselado cubre dmtsmo nmero de cuadrosblancos

y negroi,Dado que en eltablero incomyLetohay dos cuadrosblancos dems,

no puede te<elarce. QED.

8
 TTOnTMA DE PITGORAS
de mostracin por disec cin

El teorema de Pitgoras (r. s6g-+ls a. C.) establece que en todo tringu-

1o rectngulo, el cuadrado de la hipotenusa (el lado de mayor longitr-rd)
es igual a la suma de los cuadrados de los otros dos lados (pg. sig., ar.).
Actualmente, esto se escribe en lenguaje algebraico .orrro ,t * b' : ct .
DEosrRact.i : Se disponerr cuatro tringulos rectngulos idnticos
de lados a, b y c en un cuadrado grande de laclo a + b, dejando dos espacios
cuadrados con lados a y , respectivamente (pg. sig., centro zr1da.). En este
mismo cuadrado grande, los cuatro tringulos tambin pueden disponer-
se de rnodo que dejen urr espacio cuadrado central de lado c (pg. sig., cen-
tro dcha.). En ambos casos los cuadrados interiores equivalen al cuadrado
grande menos cuatro veces el trihngulo. La suma de los dos cuadraclos
ms pequeos, r7? + ', equivale al cuadrado rns grande, c'. qgD.
A la inversa, y esto requiere una demostracin adicional, si los la-
dos cle un tringuio estn relacionados colno en el ejemplo anterior,
entonces ser un tringulo rectngulo. Los enteros que cumplen la
igualdad a' * lf = c' s'e conocen como ternas pitagricas. Una antigtla
construccin de un tringulo rectngulo con una cuerda con 3 + 4 + 5=
12 nudos idnticamertte espaciados est basado en la terna 3 : 4 : 5 (db.
tzqda )La tablilla de arcilla babilnica Plimpton 322 enurnera pares de
Sr, enlagar de cuadrados encajarnos tresfiguras sanilares aloslados de un tnngulo
enteros que corresponden a terlras pitagricas (ab. dcha.),lo que inclica rectngulo, tambtw yodremos demostrar quela suma delas reas delos dos ms
que nuestro teoreilla general pttdo conocerse mucho antes de Pitgores. pequeos se coteslonde con el rea del ms grande.

rm
rfr I<Il IF 65'*72'=97'
r r fl{tr llg'*7292 =16t'
ii <ti tr trr jrg'*j602=48t'
{fl 4i I z.zgt'* z7oo' = 3.5+t'

IO

m;
 _.-j-....--:.,l.,,,..,j.
:.:...-.,.-
. ,. t a' , ,i --= - .-- ' ;', ' -,-:+i=:='-,--1 , -
LIsn Y LLANAMENTE l
.
Lasumadelosnguloseuntringul,,
,;-.
Si,Lasrectaskllsonparalelas,
,ej

kit bsico de teoremss F*a, ?=

Los EleruentLtsde Euclides (c. 325.265 a. C.) sentaron hace rnucho tiempo
lrs bases del rigor matemtico y, siendo un libro de texto nruy popular
desde entonces, lruestro patrimonio cultural conrn ha absorbido bue-
na parte de su contenido. A 1o largo de trece libros, Euclides construy
uria iutrincada red de teoremas cadavez nrs conlplejos, conectados por
argulnentos lgicos y anclados en hechls intuitivos, llarnados axiomds o
postnlados. Para poder seguir el libro a partir de aqu, en la pgina siguictrtc
ernpiece por ios cllatro resultados sencillos de la clerecha y, siguier-rdo las
flech:rs, deduzca los teorermis de ia izquierda.
=.:- /' l::
i tv+B+T=t600
Tanrbin debera poder reconocer de inmecliato los dos rriveles plin-
/
,.t/-iK4\\ ^.'
entonces
-,,,
/ /, \\ n,=
/ ' A\ l; "'r*-!<..':'-n...,1?:2'''?:'.,
cipales cle sernejanza de tringulos. Dos tringulos sonsemeiantes si lienen
ngulos iguales. Dado que clos ngulos de un tringulo cleternrinan el :' I _r. , ::
tercero, dos tringulos solr semejantes si puede clernostrarse que colnpar-
ten clos ngulos. Dos trilrngulos son congruentes cuando tienell los lados
iguales. Esto es as cuando una dc las cinco configuraciones de tres l,rclos
v ngulos dibujados con una lrrea contjnua abajo se dan en arnbos trin-
gulos. Por eiernplo, en el diagrama de la derecha (abajo),los dos tringulos Cuadratura de un rectnyl.o
grises conrparten una de estas configuraciones, cre colrsiste en los dos
lados r y nty uft rrgulo recto, de rnodo que son congruentes. Por tar]to,
los dos segrnentos tangentes -s y / al crculo desde el punto externo tienen
la rnisma longitud. En t:r in gulo s s emej ante s

..t'J.....
. "'..

^A;.3lad,os

,,(_-.\...-
"'=
2laosy 1 ngulo lladoy2ngulos

12 r3

.. PF
 DT LA TARTA AL NTJMERO PI
nsterios del crculo

Eratstenes (276-t94 a. C.) es ccnociclo por su mtodo para calcular la

circunGrencia de la Tierra como si fuera uni tarta en base a la distncia
que separaba Alejandra de Siena y el ngulo de sombra en Alejandra
cuando e1 sol alumbraba el fondo de los pozos de Siena, donde no pro-
yectaba sonrbra alguna. A travs de 1a frmula dimetro del cratlo " r =
circunferenci.a del crculo, tarnbin calcul e1 dilnetro de la Tierra. Afortu-
nadanrente, su colega epistolar Arqumedes (zB7-zrz a. C.) pudo demos-
trar una buena estimacin para el in-rpreciso valor de rr.
Puesto qlle n es la circunferencir de un crculo de dimetro 1, ser
mayor que el permetro de cualquier polgono regular inscrito y me-
nor que el de uno circunscrito (pg. sig., ar.). Cuantos ms lados tenga
este polgono, ms prximo estar su permetro al del crculo. Afortr:-
nadarnente, es fcil calcular a partir clel permetro de uno de estos po-
lgonos el permetro de un polgono del mistno tipo con el doble de
lados (pg. Ernpezando por ios hexgonos regulares, Arqu-
sig., centro).
rnedes calcul sucesivamente los perrnetros de 12-,24-,48- y 96-9o-
nos regulares para capturar n' entre 3 ]f V 3 lli. El ltimo Lle estos
valores equivale ?i y se utiliza aun hoy en rnuchos libros de texto
^
en lugar del valor verdadero de n'. Si se ernplean cuadrados en lugar
de hexgonos, se obtiene una frmula aproxirnativa para n (pg. sig., ab.).

r-:
r' rLilil{ri'rrri,r Lir i,i iirirrl

D istanod A.lejand"ra : Siena

w,:
!trnsul

'::,
de k trra

'
[ngub de Alejanila

IJ
r4
 PTNCIPIo DE CnvnuERI
demostracin por aproxiruncin en secciones

Existen dos versiones del clebre principio que lleva el nombre de Bo-
naventura Cavalieri $5g8t6a7). Para las figuras planas dice que, si cada
recta horizontal interseca dos figuras planas en cortes de igual longi-
tud, ambas figuras tendrn la misma rea. De manera similar, si cada
plano horizontal interseca dos slidos en cortes de igual rea, ambos
slidos tendrn el mismo volumen.
En la pgina siguiente se ilustra un resumen de la demostracin por
aproximacin en secciones, que es la misma para ambos principios.
El principio de Cavalieri es un buen ejemplo de divide (en piezas mane-
jables) y vencers en el terreno de las matemttcas. En la versin plana,
por ejemplo, simplificamos el complejo problema de calcular reas al
problema rns fc1l de calcular la longitud de segmentos.
A continuacin se ilustran frmulas de reay volumen importantes
a las que se llega fcilmente aplicando el principio de Cavalieri.

rea paralelograml = rea rectngulo conla mismabase y altura = base altura

.
rea tringulo = % rea paralelogramo = %base al,tura

Yolamenyrtsmaocil:mdro =ylLuynencajaconlamsmareabaseyal,tura=reabase.altura

r
 Coxos CoRTADoS DE CnvnrIERI
diseccin drstica en accin

Hay conos de formas y tamaos diversos, como montones de arena,

caparazones de lapas, pirmides, chapiteles, puntas de cristales o cuernos
de unicornio. un cono posee un vrtice y una base que puede ser cual-
quier figura plana.Si imaginamos el vrtice como un faro, un punto est
en el cono si su sombra se proyecta en la base. Vamos a demostrar que
la frmula del volumen de un cono es t x ;'ro base , akura, obteniendo
como resultado las frmulas del final delapgina.
Eljuego de sombras (pg. sig., ar.) il.ustra que todos los conos con la
misma alturay la misma readela base se cortan por un plano horizon-
tal en secciones de la misma fuea.Elprincipio de Cavalieri (pg. ant.) nos
indica que todos estos conos poseen el mismo volumen. Por tanto, basta
calcular el volumen de uno de ellos, como el de la pirmide de ngulo
recto (pg. sig., centro). Esta y las otras dos pirmides se combinan en el
prisma triangular. Dado que las tres pirmides tienen el mismo volu-
men, dicho volumen es un tercio del volumen del prisma. D
Para cortar un cubo en seis pirmides triangulares del mismo vo-
lumen, en primer lugar hay que cortarlo con un plano diagonal en dos
prismas triangulares y estos, a su vez (como arriba), en tres pirmides cada
uno. O bien cortarlo en tres pirmides cuadradas idnticas (pg. sig., ab.)
y pirmide P3 y su imagen especular. Estas
estas, a su vez, en una seis
piezas hechas de papel conforman un bonito rompecabezas.

,,aN
,/-I\
cq>
Volumen montn de arena=tA r P h Yolumen yirmide =
t/:
a2 h

r8
 I.Jx TRONCO TRUNCADO
caballos v fosos

Muchos manuscritos antiguos contienen algoritmos par a calcrslar el rea

o el volumen de figuras geomtricas, aunque no todas las frmulas de
la Antigedad eran correctas. Segn un documento babilnico, el vo-
lumen de un tronco, o pirmide cuadrada truncada, eru (! ( a + b ))'h,
mientras que el papiro egipcio de Ahmes (c. i8oo a. C.) indica que los
descendientes de los constructores de pirmides utilizaban la versin : :,_a -
'-b,;. :
correcta *(o'*ab*f)h. Volumen = abh voLument = 1b@-b)2h
Uno e los tratados mafenticos chinos ms antiguos que se con- LiuLIui dkecciona eltronco en nueye piezas: una cajarectangul.ar, cuatro pirmides idaticas cuatro prismas,
1t
servan, Jiuzhang Suanshw )u+'s/ffi (La aritmtica en nueue captulos, c' 50 todosl.os cuaLes se combinan paraJormar una caja y una ptmide, atyos volmenes son nhh y 14a-U12,

a. C.) tambln menciona esta versin de la frmula, y Liu Hui Hal. @ resyectivamente. La suma de tados ell.os da como resultado eLyol,umen deltronco,lj(il+ab+b\h.
z$ d. C.), en su comentario, ofrece una bonita prueba de la misma" El
matemtico disecciona el tronco ofangting trF
(pabelln cuadrado)en
nueve piezas: cuatro pirmides idnticas o yangmd l%,6 (caballos), cuatro
prismas o qiandu i&, (foso$, y ulrracajarectangular, todos los cuales se
combinan para forrnar wa cajay una pirmide. Sumando los volme-
nes de todas las piezas se obtiene el volumen del tronco (pg. sig., ar).
E,,m at = llx

Esta demostrac6n da por sentado que ya sabemos la formula del vo-

.\L dupl,icar eLtamao Lineal de un plano o unat'orma sLida se obtiene un rea cuatro yeces malor, o un t olumen
lumen de una pirmide caadraa (pg. ant'), pero aun as podemos usar
ocho wces mayor. De esta manera podemos partir una pirmide por La mttad como se muestra a continuactn.
nuestra diseccin del tronco para redescubrirla como una representacin
de la pescadilla que se muerde la cola (pg. sig., ab').
A continuacin se muestran otros volmenes de slidos del comen-
tario de Liu Hui. ",,r--v
,T J L/l
Dre
f
V i
il\
l)L___::>
o/z

Yol.umen de una yirmide (,) = dos 1/ g wlumen p,,rmides + a/2. h/2, a

i7
FJ G
+R
tnumeng fl1ff chutong Wfrffi u,,o' frfr xtanchu
t,
j4t,
=
1/4a2h,porLo que el,yolumen dela ptrmide, y = 1ba2h.
des,tn deJonaje chico deJonaje hombro de tortuga drenale

2t
 TronMA nr AnWmrDES
misterios de la esfera

Arqumedes demostr que el volumen de una esGra equivale a dos ter-

cios del volumen del cilindro ms pequeo que la contiene, y que el rea
de su superficie es la misma que la del cilindro hueco. Elfilsofo estaba
tan convencido de estas relaciones, que mand grabat una esfera y el
cilindro que la rodeaba en su lpida.
En la pgina siguiente utilizamos el principio de Cavalieri (pg. )
para obtener la frmula trr'parael volumen de una esGra de radio 1o
cual confirma el primer descubrimiento de Arqumedes.
Si le gusta lamagia,proyecte cualquier punto de la esfera, excepto los
polos, en otro punto del cilindro, como se muestra abqlo. Comprobar
que cualquier trozo de la esGra se proyecta en un trozo de la misma rea
en el cilindro. Si el trozo que tomamos es toda la esfera, la imagen que
se proyectar es el cilindro, lo que demuestra el segundo descubrimiento
de Arqumedes.
Si sustituimos la esGra por un globo terrqueo, 1o proyectamos sobre
el cilindro, y cortamos y desplegamos el cilindro, obtendremos un prc-
tico mapa de la Tierra con la misma rea.

lia I
Mnya con la mkma rea de
W
W*",., ,., Jslt 1r.
H ;.1w.l 9r,1. fii zs - tt t!),

,,,r,-,f,
 D E r- nEvs
dos dcmostrscit:,nes cn cuns
T
,.r
Arqumecles demostr cmo matar dos pjaros der un tiro matemtica-
_t
lrlente con una ingeniosa idea para relacionar ei interior y el exterior de
:
crculos y esferas. A continuacin se escluematiza su dernostracin.
En primer lugar, diseccion el crculo de radio r en varias cuiras -Y2.circunJerencia
iguales (?g.tog., ar.)ylas dispuso dentro de un bloque rns o rnerlos
rectangular. Despus, observ que esto poda hacerse con una cantidad
mayor de cuas, y que a medida que esta cantidad aurnentaba, el bloqrie
adoptaba el aspecto inconfundible de un rectngulo cuyo laclo corto
rea del crculo = rea de cuas = 12 . ctrcunJerencia del crcuLo . r
tcna la longitud r y cllyo lado largo rneda la mitad de la circunfererrcia
de1 crculo. Por tanto, el rea del rectngulo coincide con cl rea del
crculo, lc cual se expresa con la frrnula:
rea del crculo - lt circunferencid del crculo r
" "
Llegamos al mismo resultaclo calculando el rea de la figura err fornra
cle dientes de sierra; uno de los tringulos tierre el rea ! " lungit d d, lo
base * r, y clue las bases de los tringulos surnall la circunfercncia.
Para obtene,r una fnnula sinrilar para una esGra de radio r, Arqu-
medes la diseccion en conos triangulares cu'yo vrtice conln es el cen-
tro de la esGra y cuyas bases estn contenidas err la superficie cie la esfera
(pg. sig., a.). Estos conos pueden desempear el papel de los tringulos
en la figura con dientes de sierra, y corilo (de la pg. 18) el volumen de
uno de ellos es l, * bot, rea, r se obtiene la fornrula siguiente:
= t1 " rro de suterjcic de la esfera " r
t,olumen de la esfera
Corno guinda del pastel, asociarenros la frtnula para la circunf-
rencia de un crculo de radio r y la del volulnerr de urra esfera de raclio r
(pg. ant.) a nuestra nueya rela.cin para concluir quc e1 rea del crculo
es zrrt y qr-re el rea de superficie de ia esfera es 4nr't.
Yolumen del.a esJera = yolumen d.eLos conos = 1/3 . rea e superficie el.a esJera .r

25

rere
 DOMINOS I\4ATENfu$ICOS
demostrnciones por induccin

Si ponemos una serie cle fichas de domin en fila, una Para cada nmero
natural, SI cae la ficha n caeri rar,rsrx lan+7. Al empujar ia prinrera
ficha, podemos asegurar que todas las dems ciern.
La demostracin por induccin es el equivalente matemtico de esta
nocin. Supongamos ahora que en lugar de fichas de domin tenerlos
urra serie infinita de afirruciones, ulra para cada nmero natural. En este
ca\o, estrrenros segllros.le que todas las afirtnaciones sott cierras si po-
demos demostrar que la prirnera afirmacin es cierta y la certeza de la
afirnracin r irnplica la certeza cle la afirntacin n+ 1. Las tres primeras
filas cle diagramas (pg. Inuestran cmo 1as prirneras tres a{iruraciones
sig.)

que se corresponden con el teorema siguiente estn relacionadas eutre s.

Tr,oRpue: Un tablero de 2'' por 2" sin una de sus unidades cuadradas
puede teselarse con figuras en L formadas por tres unidades cuadradas-
Dn,rosrRacrN pon rNouccrN: Dado que un tablero de z por z al que
le falta una de sus unidadcs es una figura en fortna de L (pg. sig., ar.),
el teorema es cierto para n= 1. Suponiendo que la afirrnacin 1? sea cierta,
a un tablero mellado arbitrariamente 2"*' por 2"*' poden-ros dividirlo en
cuartos y eliminarle los tres cuadrados centrales para crear cuatro tableros
rrrellados 2" por 2" (pg. sig., centro). Con 1o que se deduce que estos cuatro
tableros pueden teselarse, y ios cuatro teselados se extienclen a uno de los
tableros de 2"*'por 2"*'. qgD.
Eri Ia disposicin triangular (pg. sig., db.), por ejemplo, la flcha de
delante hace caer las otras. El mtodo de denrostracin correspondiente
puede utilizarse para dernostrar qlte el tringulo cle Pascal, llamado as U,rl!*'?,K!.!:,y:.Lt:!ti:vl.d,!,yyg,!y'ry!t:!:j",,,:ry':!:;::I,f::!: d.:yy:4:"!*
por Blaisc Pascal $64-1662), est formaclo por coeficientes binominales iiquii-rda. Notes'e qui ei aimbos'tringuloi de'imeros cada iitiada'es la'suma de lisintidii'i,i. tiiie pii
(ps, +a)- rli';.,,+$iltii.;riitr..,i.... i'.ixilli;,+::'i$ ii,,i^o t'-'.,!o)'r$rsi:iioi:,,,-i=+i::ii:li';,',,$ttl','il-i:,+ii,
 LA ESCALERA INFINITA
demostr acin p or reagr up acin

Esta paradoj a clsica consiste en apilar una serie de ladrillos idnticos en

una mesa, como en el diagrama (pg. sig). Es fcil demostrar que, al ir
aadiendo ms ladrillos como se indica, podemos hacer que la escalera
resultante sobresalga todo 1o que queramos sin derrumbarse. I-Jna es-
calera de r ladrillos, cada uno de longitud 2, sobresale una distancia de

1+l++.+.---.+
As, 1o que queremos demostrar es que la suma anterior se acerca al
infinito cuando lohace n.
Dpmosrncrr.r: En primer lugar, agrupamos la suma infinita de este
modo:
t + | +(+-' +).(+. +. +. +). (+. . +. *
Sustituimos cada trmino por un nmero menor o igual a este para
l*
obtener una nueva suma menor o igual que con la que hemos ernpeza-
do, y vemos que nuestras sustituciones van sumndose hasta el infinito:

t + | +(+ . +).(+. +
. +. +). (+r. ** *1
*
*1
*
*! * "'

t+|+ + .++ I

2
Esto significa que la suma que perseguimos tambin es infinita.
ap.
Ntese que la escalera tambin se hace infinitamente alta al tiempo
que se hace infinitamente ancha, y que la construccin se complica por
momentos, obligando ajuntar cadavez ms los ladrillos.

z8 29