Академический Документы
Профессиональный Документы
Культура Документы
25-26, I999
l. Introduccin
El presente trabajo se basa en un artculo de
Stanley Rabinowitz y Stan Wagon acerca de un
algoritmo sobre la expansin decimal del nmero 1t
con varios miles de dgitos. Nuestro principal objetivo
es acercar al estudiante del pre-grado a tcnicas que se
continan desarrollando en la investigacin actual.
Es por eso que el enfoque es pedaggico e insiste
en .fa explicacin detallada de las ideas y
algoritmos. Para ello, se utilizan conceptos
matemticos elementales que se vierten en
el pre-grado de las carreras de
Ciencias Bsicas e Ingeniera.
2.2 Ejemplos:
7
1) 325.7=3.102 +2.10+5+-
10
3 3 3
2) 1.3 = 1 + - + - , +-3 + ...
10 10- 10
3) ..fi = 1.4142135 ... =
41 4 2 1 3 5
1 + -+-- +-+--+-+-+--+
10 10 2 10 3 10 4 10 5 10 6 107 ...
7 1 8 2
4) e= 2.7182 ... = 2 + - + -2- + -1
+ -4-+ ...
10 10 10' 10
1 4 1 5 9
5) 1t = 3.14159 ... = 3+ -+-,.,-+-, +-4-+-5 +...
10 10- 10' 10 1o
52
Sin embargo, todava existe una diferencia sustancial entre e y 1t
2.3.2 Ejemplos:
1) ..fi es algebraico pues es raz de X 2 -2 =O
Cabe anotar que se puede probar que tanto e como 1t no son races de
ningn polinomio con coeficientes enteros. Tales nmeros reciben el nombre
de transcendentes. Es decir e y 1t son nmeros reales trascendentes.
53
.,
2.5.2.2 n=2 I __ 1._
1 12 123
2(1 + - + - + - - + ... )
i=O (2i + 1)!! 3 35 357
Donde cabe aclarar que n! denota el producto 1.3.5 ... n paran entero
positivo impar.
7t= 4 f-
o
]+x-
1
-? dx.
3. Expansin encajada
10 10 10
En ( 1) se expresa el nmero real 2.385 mediante su expansin decimal
estndar.
54
3.1 El mtodo de Ruffini
3.1.1 Ejemplo:
Sea f(x) = 2X 4 + 3X 3 + 2X 2
- 5X + 6; si queremos evaluar f(-3)
se tendra
2 3 2 -5 6
x=-3 -6 9 -33 114
2 -3 11 -38 120
55
3.3 Expansin encajada de un nmero real respecto de una base B
3.3.1 Definicin. Decimos que r est representado mediante una expansin
encajada respecto de una base B si existe una sucesin de enteros no
negativos a0 , al> a2, ... a, ... tales que:
3.4 Ejemplos
1 1 7
1) a=5+-(l+-(3+-))
2 4 8
1 1 1 1 1 1 1
2) e= 2 + -+-+-+ ... = 2+- (1 +- (1 +- (1 +- (1+ ... )))).
2! 3! 4! 2 3 4 5
56
1 1 1 6
3) a = - (50+- (10+- (38+-)))
10 2 4 8
1 1 1 6
4) a = - (50+- (19+- (2+-)))
JO 2 4 8
1 1 1 6
5) a = - (59+- (1 +- (2+- )))
10 2 4 8
1 1 1 6
6) a=5 + -(9+-(1+-(2+-)))
10 2 4 8
1 1 1 60
7) a= 5 + -(90+-(10+-(20+-)))
100 2 4 8
1 1 1 4
8) a= 5 + -(90+-(10+-(27+-)))
100 2 4 8
1 1 1 4
9) a= 5 + - (90+- (16+- (3+-)))
100 2 4 8
1 1 1 4
10) a= 5 + -(98+-(0+-(3+-)))
100 2 4 8
9 1 1 1 4
11) a= 5 + -+-(8+-(0+-(3+-)))
10 100 2 4 8
9 1 1 1 40
12) a= 5 + -+--(80+-(0+-(30+-)))
101000 2 4 8
9 1 1 1 o
13) a= 5 + -+--(80+-(0+-(35+-)))
10 1000 2 4 8
9 1 1 1 o
14) a= 5 + - + - - (80+- (8+- (3+-)))
10 1000 2 4 8
1
a= 5 + 1_+--(84+_!_(0+_!_(3+Q)))
15)
10 1000 2 4 8
8 1
a= 5 + 1_+-- + --(4+_!_(0+_!_(3+Q)))
16)
10 100 1000 2 4 8
57
1 -(40+_!_(0+_!_(30+Q)))
a= 5 + _2_+-8- + -
17)
JO 100 10000 2 4 8
9 8 1 1 1 o
18) a= 5 + - + - + - - (43+- (1 +- (2+-)))
JO JOO 10000 2 4 8
9 8 4 1 1 1 o
19) a= 5 + -+-+--+--(3+-(1+-(2+-)))
JO JOO 1000 10000 2 4 8
:.a=5.984 ...
4.2 Comentario:
1
En 2) se tiene que a= -(lOa) obteniendo:
10
1 1 70
lOa= 50+ -(10+-(30+-)); este nmero est en forma encajada
2 4 80
1 1 1
respecto de la base C: ,. , pero no est en forma regular, lo que se
2 48
consigue en 5), es decir:
1 1 70 1 1 6
lOa= 50+ -(10+-(30+-))=59+-(1 +-(2+-)).
2 4 8 2 4 8
1 1 7
Cabe anotar que tanto a 5 + - (1 +- (3+-)) como
2 4 8
1 1 6 1 1 4
h = 9 +- (1 +- (2 +-)) y e= 8 +- (0+- (3+-)) estn en forma regular
2 4 8 2 4 8
respecto de C : 1/2, 1/4, 1/8 y puesto que cualquier nmero en forma
58
1 1 ,. 1 1 7
regular d =O+- (p+- (q +-)) es menor igual que 0+- (1 +- (3+-)) y
2 4 8 2 4 8
este a su vez es menor que 1, no hay duda que el mtodo calcula las cifras
decimales correctamente. Sin embargo, en el caso de una conversin encajada
a decimal para una base infinita el asunto se complica pues en ese caso
habra que obtener una cota para:
b b2 b:, b4
=:- (a 1 +==(a, + ~ (a 1 +== (a 4 + ... ))))
b ~ ~ ~ - ~
suponiendo que est en forma regular respecto de una cierta base B. Esta cota
depender de la base B y lo consideramos en las secciones 5 y 6.
5.2 Sea (a; ) una sucesin de enteros no negativos tales que ViE a':+ a; $i,
1 1 1
entonces se prueba que -(a 1 +-(a? +-(a 1 + ... ))) es menor que l.
2 3 - 4 .
(Ver Lema 1, Apndice). Si x = (a 0 ; ah a 2 , ,a,, ... ) est en forma regular en
1 1 1 1
la base B : -,-,-,-, ... la parte entera de x es a 0 mientras que
2 3 4 5
(0; ah a 2, ... ,a 11 , ) < 1 es su parte fraccionaria. Para obtener dgitos de e
tenemos que truncar la serie que lo define. Es decir, tenemos que partir de una
aproximacin de e, digamos de e* y no de e mismo.
59
(en el lema 2 del Apndice) que una expansin encajada finita de e* en la
base B con n + 2 trminos, permite obtener n dgitos correctos para e.
2. Repetir n - 1 veces:
2.1 Multiplicar por 10: Multiplique cada entrada de A por 1O.
2.2 Tomar la parte fraccionaria: Partiendo de la derecha, reducir la
i-sima entrada de A mdulo i + 1, acarreando el cociente un lugar
a la izquierda.
2.3 Salida del siguiente dgito: El ltimo cociente es el siguiente
dgito de e.
., 1 1 2 1-.2 3
1t=2 L,--1.- o
2(1 + - + - + - - + ... )
i=O (2i + 1)!! 3 35 357
1 2 3 4
1t = 2 (1 +-+ (1 +- (1 +- (1 +- (!+ ... )))))
3 5 7 9
1 2 3 4
1t = 2 +- (2+- (2+- (2 +- (12+ ... ))))
3 5 7 9
1 2 3 4 5
Es decir 1t = (2; 2, 2, 2, ... ) respecto de la base C: -,-,-,-~-, ...
3 5 7 9 11
6.1 Para obtener dgitos de 1t tenemos que, al igual que para e, truncar la
serie que lo define. Es decir, tenemos que partir de una aproximacin n* de 1t.
IO.n
Se prueba (en el Lema 3 del Apndice) que bastan la parte entera de --+ 1
3
de elementos en el arreglo inicial A = (2;2,2,2, ... ) para obtener 1t con n
dgitos correctos.
60
1 2 3
Por otro lado si x = a0 + - (a 1 +-(a,+- (a 1 ... ))) con a; EZl +,est
3 5 - 7 .
representado en forma regular, es decir a;~ 2i, se prueba (en el Lema 4 del
Apndice) que (O; a 1 , a 1 , ) est entre O y 2, adems que (0; 4, 6, 8, ... ) =2.
Esto complica ligeramente el algoritmo de expansin decimal de 1t. A fin de
explicar con claridad dicho algoritmo trabajemos el siguiente ejemplo:
1 2 3 4 5
a= -(2+-(4+-(6+-(7+-.7))))
3 5 7 9 11
10 11
l. Inicializar: Sea A un arreglo de longitud [[ ]] + 1
3
2. Repetir n veces:
Multiplicar por 10: Multiplique cada entrada de A por 1O.
Poner A en forma regular: Partiendo de la derecha, reducir el
. ' .
1-es1mo e 1emento de A (correspon d.1ente a 1a entrad a -(i-
- 1)
-
. (2i-1)
mdulo 2i- 1, a fin de obtener un cociente q y un residuo r . Dejar r
en su lugar y acarrear q(i- 1) un lugar hacia la izquierda.
Obtencin del siguiente predgito: Reducir la entrada inicial de A
(que est en el extremo izquierdo) mdulo 1O. El cociente q es el
nuevo predgito (dgito "tentativo" o por confirmarse de 1t),
quedando el residuo en su lugar.
Ajuste de los predgitos: Si q no es 9 ni 1O, liberar los dgitos
marcados de 1t y marcar q. Si q es 9, agregar q a la cola de
predgitos marcados. Si q es 1O entonces:
61
sustituir q por O y marcarlo (pasa a la cola de predgitos);
incrementar todos los otros predgitos marcados en 1 (9 se
convierte en 1O);
liberar como dgitos verdaderos de 1t todos los predgitos
marcados excepto el ltimo marcado.
8. Apndice
Antes de enunciar y demostrar los lemas que siguen a continuacin,
cabe aclarar que siempre nos referiremos a representaciones regulares
respecto de cualquier base y adems eliminaremos de nuestro discurso todas
las representaciones regulares que terminan con coeficientes maximales, salvo
mencin explcita.
8.1 Lema 1
1
(a) Si i ~ 1, (O;O,O, ... ,O,a;, a;+r , ... ) 8
.,
<-; en particular:
l.
(O; a 1 , a 2 , a 3 , a 4 , .. ) 8 < l.
(b) Las representaciones usando la base radical mixta B son nicas.
(e) La parte entera de (a 0 ; a, a 2, a 3 , a 4 , ... ) 8 es a 0 y la parte
fraccionaria es (O; a, a1- a 3 , a 4 , ... ) 8 .
Prueba
L 1 1 1 1
[ - - - - ] = - - - , luego
k=i+l k! k=i+l (k -1)! k! i! n!
62
~ c.1 -a.1 ~ le.1 -a-1
1
luego la 0 - c0 1= 1L.,; - - - I:S: L.,; - - - <l. Luego la 0 - c0 1< 1,
i=l (i + 1)! i=l (i + 1)!
por lo tanto lao- co 1=O y ao = co. Si ao = co, a 1 = c 1 , ... ,a, = e,,
probaremos que Q 111 + 1 = C111 + 1 :
00 00
~ a ~ e
L.,; ---=L.,; - - - =>
i=O (i + 1)! i=O (i + 1)!
~ a ~ C
L.,; - - - = L.,; --- =>
m+l (i + l)! i=m+l (i + 1)!
+ ~
am+l a cm+! ~ C
_..:..:.:...:...:..._ L.,; - - - = + L.,; ---=>
(m+2)! i=m+Z (i+l)! (m+2)! i=m+2 (i + 1)!
Asercin: Para t y n cualesquiera, con O :S: n < t!, existen enteros d; en [0, i]
tales que
n = d, t (t-I) (t-2) .. .4.3 + d2 t (t-I) (t-2) ... 5.4 + ... + dr-3 t (t-I)+ dr-2 t + dr-1
63
q =d1 (t-I) (t-2) .. .4.3 + d2 (t-1) (t-2) ... 5.4 + ..d .4 (t-I) (t-2) + dr-3 (t-I)+ dr-2
1
ll 1
Prueba: Consideremos en = (2; 1,1, 1,... , 1) = 2, -. Por lo tanto tenemos:
t=O i!
ll
1 1 1
e- en= 2, - < .- < (-) para n > 28. Por lo tanto e.- en< 5.10-n .
l=n+ 1 i ! n! 1O
Si n ::; 28, se prueba por clculo directo que n + 2 dgitos en la base radical
mixta B bastan para obtener n dgitos correctos de e.
"1(2')
2-2, ll
l. o
i !(2i)
Dado que (0;2,4,6,8, ... ) = 2, --- converge a O, el lema 4
i=O (2i + 1)!!
queda probado.
64
~ (i!)2 2i+l
Prueba. De 2.5.2.1, 1t- 1t111 =L puesto que 1t111 = (2;2,2, ... ,2)c.
i=m (2i+1)!
Como cada trmino de esta suma es menor que la mitad del anterior se tiene
que:
9. Referencias
[1] Knuth, D.E. "The art of Computer Programming ", vo1.2, Reading,
Mass, Addison W es ley 1981.
[2] Rabinowitz S. y Stanley, S. "A Spigot Algorithmfor the digits ofn",
The American Mahtematical Monthly 195-203, 1995.
Carlos Paredes
Profesor de la Facultad de Ingeniera,
Universidad Inca Garcilaso de la Vega
65
TABLA 1
i 5
. 7 9 ll
:.: .... o 2 4 6 7 7
o 20 40 60 70 70
17 32 42 44 30
17 52 82 104 100 70
7 1 2 6 1 4
70 10 20 60 JO 40
=.. 8 9 18 27 8 15
79 28 47 68 25 40
i<<.<.. 9 1 2 7
5 7
90 10 20 50 70 70
lB o 10 22 39 44 30
100 32 59 94 100 70
..
..,.
o 2 4 3 4
o 20 40 30 10 40
14 22 15 8 15
14 42 55 38 25 40
RESIDUOS 4 o o 3 7 7
40 o o 30 70 70
4 _1 11 30 44 _lQ
44 12 30 74 100 70
4 o o 4 4
40 o o 40 10 40
4 2 6 18 8 15
! ,, ................................... 42 6 18 48 25 40
RESIDUOs . . 2 o 3 6 7 7
X.l 20 o 30 60 . 70 70
ACARREO 2:-3 _2 28 44 _lQ
29 28 104 100 70
RESIDUOS 9 2 6 4
90 10 20 60 JO 40
> xlo
66
ACARREO 90 _2 l1i 27 J1 u
.. . 99 28 47 68 25 40
.
RESIDUOS 9 2 5 7 7
1 xro . . 90 10 20 50 70 70
ACARREO 4~0 J.Q 22 39 44 _lQ
.
. 100 32 59 94 100 70
REsrotros o 2 4 3 4
>. '<!9 << o 20 40 30 10 40
ACARREO H 22 u J1 u
. . 14 42 55 38 25 40
RESIDUOS 4 o o 3 7 7
67
-:1\
TABLA 11
00
.! ., / ..
g,_.
9.; >~r{ .....i/~'..
l:)fgit?s ... 1 ~6
.
.-~\ 12
. .--3 . -. i>
1< _ . : -
dew-.--- . --~-;,>-_
J.;) --
JI
'- "''~ .~: > ---
(
.:':
2 2 2 2 2 2 2 2 2 2 2 2 2
1
iet
\': ' ...... 20 20 20 20 20 20 20 20 20 20 20 20 20
1:- .___-_.> :
i A~~RI<70 ~ -- -
1 lQ ll ll ll lQ ll .]_ ..2. _Q _Q _Q
1 30 32 32 32 30 32 27 28 29 20 20 20 20
' kEs)ubs o 2 2 4 3 10 1 13 12 1 20 20 20
L--.--.-. ..._
o 20 20 40 30 100 10 130 120 10 200 200 20
i . _. :. .- .. -. -- o
ACARREO
....
1 u 20 33 40 65 48 98 ~ 72 150 m 96 -- -
1 ._.-ACARRpQ 4 ll 24 30 40 40 42 _] 64 90 120 ~ _Q -- -
.. : ... : : 41 34 60 70 90 92 103 144 140 200 258 200 o
.-.
RESIDUOS 1 1 o o o 4 12 . 9 4 10 6 16 o
-_._--xto---- 10 10 o o o 40 120 90 40 100 60 160 o
ACAT{EO 1 _1 _1 2 24 55 84 _] 48 .11 60 - _Q -- -
.' 14 12 9 24 55 124 183 138 112 160 126 160 o
RESIDUOS 4 o 4 3 1 3 1 3 10 8 o 22 o
TABLA III
Dgitos
dee:
j l 1 l
2 3
1 1
4 f l> ~ 1 * 1 ~ lll ili t H.l ~if
~
14
1 Incialice 1 2
X lO 1 1 10 1 10 1 JO 10 10 10 10 1 10 1 10 10 10 10 10
ACARREO 7 4 1 3 _l _l _l _l
1 1 1 1 o _Q _Q _Q
14 13 12 11 11 11 11 11 1o 10 lO 10 10
RESIOUOS o o 5 4 3 1 2 1 o lO 1 10 1 10 1 10
o 1 10 o lO 50 40 30 1 20 1 o 100 1 100 1 lOO 1 100
3 1 o l _2. __ .. 2 1 o 1 9 9 1 8 1 7
3 10 3 19 56 44 32 20 9 109 108 107 1 100
1H3St.bos 3 1 4 1 2 2 o 1 2 1 9 1 10 1 o 1 3 1 2
1o 1 1o 1 30 1 40 1 20 20 o 1 20 1 90 1 l 00 1 o 1 30 1 20
8 _Q
619181312 31919101211
16 19 38 43 22 20 3 29 99 100 2 3i 1 20
RESIDUOS 011121314 6 3121911121516
o 1 1o 1 20 1 30 1 40 60 30 1 20 1 90 1 1o 1 20 1 50 1 60
2
516171819 ..
5 16 27 38 49 64 333 1299 191 1i2
21414
24 54 1 60
RESIDUOS 3 2 o 2 4
0\
\0