Arqu medes y el c alculo del n umero pi

25 de mayo de 2013
El famoso matem atico de la antig uedad Arqu medes de Siracusa emple o el m etodo de exhausci on para hallar de manera aproximada la longitud de la circunferencia y con ella una valor aproximado del n umero . El m etodo ideado por Arqu medes es el que ahora expondr e. En el c rculo de radio la unidad, inscribimos un pol gono regular de seis lados o hex agono regular, a continuaci on duplicamos el n umero de lados de este pol gono regular inscrito y tomamos sus respectivos per metros. Si iteramos este proceso, obtendremos una sucesi on creciente de longitudes pn , p2n , p4n , ... que se aproximan a la longitud de la circunferencia. Por otra parte si partimos de un hex agono regular circunsrito (como se muestra en la gura) y vamos doblando su n umero de lados, obtendremos una sucesi on de per metros Pn , P2n , P4n , ... decreciente que se aproxima a la longitud de la circunferencia. Este es el m etodo de exhausci on que emple o Arqu medes para obtener una aproximaci on del n umero . Arquimedes demostr o la siguiente relaci on entre los per metros de los pol gonos

Figura 1: aproximaci on de pi

inscritos y circunscritos p2n = P2n pn , y P2n = 2Pn pn Pn + pn (1)

es decir los per metros sucesivos de los pol gonos incritos se obtienen respectivamente por medio de una media geom etrica en tanto que los de los pol gonos circunscritos por medio de una media arm onica.

El trapecio AM N D, donde DN = DA y AN es la bisectriz del angulo 2 = M AD siendo P su punto medio, se ha extra do de la gura 1. La recta DP es la bisectriz del angulo central del pol gono inscrito p2n . Denotar e los pol gonos y sus per metros por los mismos nombres. Entonces l/2 l /2 l = cos = = l L /2 L siendo l, l , L los lados de los pol gonos pn , p2n y Pn respectivamente Entonces Ll (2) = l 2 p2n = P2n pn 2 Y esto prueba la primera parte de (1). Para probar la segunda parte, observemos que el tri angulo DN C es rect angulo. Luego 2 2 L L L + y2 = 2 2 2 siendo L = 2DN el lado del pol gono P2n y aplicando el teorema de Pit agoras. Entonces L2 LL y2 = 4 2 L pero aplicando el teorema de la bisectriz al tri angulo AM C resulta que y = x l entonces LL L2 L2 x2 4x2 L = 2 2L = L 2 (3) 2 4 l l 2

Por otro lado (x + y )2 + i.e. x2 1 + x2 = i.e. L l

2

l 2 +

L2 4

l2 L2 = 4 4

(L2 l2 )l2 (L l)(L + l)l2 (L l)l2 (L2 l2 )/4 = = = (l + L)2 /l2 4(L + l)2 4(L + l)2 4(L + l) Ll 4x2 = l2 L+l

entonces sustituyendo en (3) tenemos que L = Ll P2n Pn pn /(6n)2 Pn pn = P2n = L+l 12n (Pn + pn )/6n Pn + pn (4)

y esto prueba lo segundo de (1)

Referencias
[1] Carl B. Boyer, Historia de la Matem atica, Alianza Editorial, Madrid, 2010