picos y ra 1. To ces cuadradas. E.R.

Aznar En lo que sigue comentaremos tres m etodos de calcular, como se dec a anta no, o de aproximar, como decimos hoy, la ra z cuadrada de un n umero real positivo N . Normalmente, calculamos una aproximaci on en base diez de la ra z cuadrada, ya que la mayor parte de las veces N tiene un n umero innito de decimales (no peri odicos). En ese caso, s olo se puede aproximar la ra z hasta un cierto n umero de decimales. En algunos otros casos, la representaci on decimal de N tiene periodo cero, o sea desde alguna posici on despu es del punto decimal tiene un n umero innito de ceros a la derecha. En este caso, decimos que N es un cuadrado perfecto. Ya que, aunque N no sea entero, existe una potencia de diez tal que N 10r es un n umero natural cuadrado perfecto. En cualquier caso, desde el punto de vista algebraico y matem a tico, el n u mero real N es exacto ya que nos referimos a la u nica ra z real positiva que tiene el polinomio x2 N . La intenci on did actica de estas notas es aclarar algunos t opicos extendidos sobre este tema normalmente entendido como elemental. En primer t opico es cual m etodo es m as moderno, otro cual es m as ecaz y otro cual deber amos aprender tanto individual como colectivamente en la escuela. i) M etodo de Her on. Comenzaremos por el m as antiguo, el atribuido a Her on de Alejandr a (126 a.c.50 a.c.). Este m etodo se basa en suponer que conocemos una aproximaci on x de la ra z cuadrada n y calcular otra aproximaci on y a partir de la primera por la f ormula n 1 y = x+ 2 x Si 1 < n, se verica para cualquier 0 < x que x2 + n 1 n = x+ =y 2x 2 x por tanto a partir de la segunda todas las aproximaciones de 1 < n son tambi en 1 < y . Ahora, como se verica que 0 < (x 1)2 + n 1 = x2 2x + n 2x < x2 + n 1 < 1 2 n2 1 n2 1 n 2 (x2 n)2 x + 2 + 2n n = x2 + 2 2n = x = 4 x 4 x 4 x 4x2 podemos suponer que empezamos con alguna aproximaci on tal que tambi en 1 < x, y entonces si |x2 n| < se tendr a 2 (x2 n)2 (x2 n)2 |y 2 n| = < < 4x2 4 4 decimos entonces que la convergencia es cuadr atica. Como R es arquimediano. Si 0 < x < 1 podemos cambiar n por un m ultiplo de una potencia de 10 conveniente de tal forma que 1 < n = n102r . As , la relaci on entre las ra ces cuadradas es n = 10r n y existe una correspondencia biyectiva entre los n umeros x tal que x 2 < n y los x tales que x2 < n, r dada por x = x10 . En consecuencia, no hay p erdida de generalidad en calcular la mejor aproximaci on a n y despu es multiplicar por 10r . O sea, siempre podemos suponer que el radicando es mayor que uno. En la pr actica el m etodo de Her on converge muy r apidamente. Esto es, se obtienen bastantes decimales exactos en relativamente pocas iteraciones. La raz on est a en que en muchas iteraciones se dobla el n umero de decimales exactos obtenidos. Adem as, este m etodo es f acilmente programable (i.e., tiene pocas l neas de c odigo) en cualquier lenguaje de alto nivel. Por lo anterior, es creencia popular que este m etodo es muy moderno y ecaz. Claramente no es moderno. Veremos m as adelante que no es tan ecaz y que depende muy fuertemente de los instrumentos de c alculo de que dispongamos. En el s. XXI, esto signica del hardware, esto es, de las instrucciones de c odigo m aquina de que dispongamos. As como del tama no de palabra de nuestro ordenador. En denitiva, del tama no del input N . y2 n = ii) M etodo de las convergentes. El segundo m etodo que comentaremos es el de las convergentes de la on es descomposici on en fracciones continuas de la ra z cuadrada n. Es conocido que esa descomposici peri odica con periodo sim etrico n = [q0 , q1 , . . . , qm , . . . ] = [q0 , q1 , q2 , . . . , q2 , q1 , 2q0 ] y que las sucesivas fracciones llamadas convergentes A0 q0 A1 q0 q1 + 1 Am qm Am1 + Am2 = , = , ... , = , ... B0 1 B1 q1 Bm qm Bm1 + Bm2

Secci on 1: T opicos y ra ces cuadradas. E.R. Aznar

verican que Am Am1 (1)m1 = Bm Bm1 Bm1 Bm y que alternativamente Am Am1 Am1 Am < n< , o < n< Bm Bm1 Bm1 Bm

por tanto el valor de cada convergente es una buena aproximaci on racional a la ra z cuadrada n. Como los denominadores qm Bm1 + Bm2 forman una sucesi on doblemente recursiva de n umeros naturales (parecida a la de Fibonacci). Crecen muy r apidamente. 2 M as r apidamente crecer a el denominador Bm1 Bm (que verica que Bm 1 < Bm1 Bm ). Siendo la Am en r apida. De nuevo, en el sentido, de convergencia de las fracciones Bm hacia el valor real de n tambi que se obtienen bastantes decimales exactos en relativamente pocas iteraciones. Este m etodo es f acil de programar una vez que se conoce el periodo q1 , q2 , . . . , q2 , q1 , 2q0 de n. Aunque claramente tiene un coste superior al anterior de Her on. Es parecido en cuanto a convergencia y antig uedad. iii) M etodo de Al-Banna. El tercer m etodo es conocido como el de Al Banna (12561321). Ha sido ense nado en las escuelas de casi todo el mundo desde hace siglos. Se basa en la conocida f ormula del cuadrado de un binomio (a + b)2 = a2 + 2ab + b2 . En efecto, supongamos que el n umero 1 < N (como antes, no hay p erdida de generalidad en suponer esta hip otesis) est a escrito en base diez como N = b2n+1 102n+1 + b2n 102n + donde n 0 y b2n+1 puede ser cero, pero no su siguiente a b2n = 0. Supongamos cifra decimal que ser umero, xk , escrito en base diez como ahora que tiene como aproximaci on de su ra z cuadrada N un n xk = an 10n + + ank 10nk donde k N es tan grande como queramos. Esto es, cuando n < k la aproximaci on ser a xk = an 10n + + a0 + a1 101 + + ank 10nk o sea tendr a lo que llamamos un punto decimal y d gitos decimales a continuaci on. Este m etodo halla los d gitos sucesivamente, de uno en uno, de forma exacta. En el sentido de que la aproximaci on x2 k a N verica que es el mayor cuadrado que es menor que Nk = b2n+1 102n+1 + b2n 102n + + b2n2k 102n2k que es el n umero N truncado con ceros por la derecha y que tiene 2k + 2 o 2k + 1 cifras en base diez. Por un razonamiento previo, podemos dividir convenientemente, tanto Nk como xk , por potencias de diez para tratar s olo con n umeros enteros. Esto lo haremos preciso, m as adelante en cada iteraci on. Suponiendo por inducci on que xk verica lo anterior calculamos la siguiente cifra de la aproximaci on ank1 y por tanto xk+1 xk+1 = an 10n + + ank 10nk + ank1 10nk1 de la siguiente forma. Como
n nk x2 + ank1 10nk1 )2 = (an 10k+1 + + ank 10 + ank1 )2 102n2k2 k+1 = (an 10 + + ank 10

es m ultiplo de 102n2k2 . Como tambi en la siguiente truncaci on del n umero N es Nk+1 = b2n+1 102n+1 + b2n 102n + + b2n2k 102n2k + b2n2k2 102n2k2 = = [b2n+1 102k+3 + b2n 102k+2 + + b2n2k 10 + b2n2k2 ]102n2k2 podemos dividir por 102n2k2 en ambas expresiones. Ahora, tratamos con n umeros enteros, y se obtiene (an 10k1 + + ank 10 + ank1 )2 = (an 10k + + ank )2 102 + 2(an 10k + + ank )10ank1 + a2 nk1 = = (an 10k + + ank )2 102 + [2(an 10k + + ank )10 + ank1 ]ank1 y por hip otesis de inducci on, la diferencia Mk = (b2n+1 102k+1 + b2n 102k + + b2n2k )102 (an 10k + + ank )2 102 es lo menor posible y ya est a calculada. Basta por tanto calcular el d gito 0 ank1 9 de tal manera que la diferencia Mk+1 = Mk [20(an 10k + + ank ) + ank1 ]ank1

T opicos y ra ces cuadradas. E.R. Aznar

Secci on 1: T opicos y ra ces cuadradas. E.R. Aznar

sea lo menor posible. Y esto es lo que se hace en cada iteraci on salvo en la primera en la que calculamos el primer d gito an de tal manera que su cuadrado sea menor o igual que el entero b2n+1 10 + b2n (este es el primer caso de la inducci on). Como consecuencia, este m etodo es lineal en el n umero de cifras de N . O sea, realiza tantas iteraciones como cifras queremos calcular de la ra z cuadrada y en cada iteraci on se realizan como mucho 9 multiplicaciones y 9 restas (en la pr a ctica muchas menos). Como el n u mero de cifras en base diez log10 N de N es , el n umero total de operaciones est a acotado por 9 log10 N . O sea, es un algoritmo 2 de crecimiento logar tmico. Adem as, lo que es importante, las operaciones efectuadas en el curso del algoritmo son s olo multiplicaciones por un d gito y restas, sin ninguna divisi on. Sobre la complejidad algor tmica. Despu es de esta exposici on podemos empezar a hacer una comparaci on entre los tres m etodos. En una primera aproximaci on, diremos que los dos primeros son parecidos entre s y son del tipo que se estudian en c alculo num erico. El primero de Her on es mejor que el de las convergentes. En este se hacen m as operaciones al inicio y durante el algoritmo. Pero se obtiene otra informaci on adicional interesante. El inconveniente del de Her on es que depende de la primera aproximaci on elegida. Adem as, en cada iteraci on se hace al menos una divisi on, una multiplicaci on y una suma de precisi on como m nimo la del n umero inicial. O sea, hace falta aritm etica de punto otante y si N supera el tama no de palabra del ordenador hace falta una aritm etica de precisi on m ultiple completa (incluyendo una divisi on arbitraria). En contrapartida, en muchas iteraciones se dobla el n umero de decimales exactos calculados. Antes de sacar m as conclusiones. Analicemos algunos ejemplos: Ejercicio 1. Calcular 2 con 5 decimales exactos con cada uno de los tres m etodos anteriores.

i) M etodo de Her on. Comenzamos con x0 = 1. As 1 2 3 1+ = = 1.5 2 1 2

x1 =

x2 =

1 3 4 9+8 17 + = = = 1.45 2 2 3 26 12

x3 =

172 + 2 12 577 1 17 24 + = = = 1.414215 2 12 17 2 12 17 408

donde en tres iteraciones y despu es de como m nimo tres sumas, tres multiplicaciones y 6 divisiones (o bi en tres sumas, tres divisiones y seis multiplicaciones) hemos obtenido 5 cifras decimales exactas. Despu es del punto, la sexta cifra es incorrecta. Observamos que aunque se hacen s olo 3 iteraciones se hacen 12 operaciones aritm eticas, de las cuales como m nimo hay tres divisiones, alguna de precisi on bastante mayor que el input N . ii) M etodo de las convergentes. Despu es de un c alculo previo, La descomposici on peri odica corresponon de convergentes comienza con diente es 2 = [1, 2]. Por tanto, la sucesi A0 1 q0 q1 + 1 3 17 41 99 577 = = 1, = = 1.5, = 1.45, = 1.413, = 1.4142, = 1.41421 B0 1 q1 2 12 29 70 408 donde hemos necesitado seis iteraciones, el doble del m etodo anterior, y m as operaciones. Obs ervese que las aproximaciones racionales del m etodo de Her o n coinciden con algunas de las convergentes. Esto es casual y debido a la descomposici on peri odica de 2.

T opicos y ra ces cuadradas. E.R. Aznar

Secci on 1: T opicos y ra ces cuadradas. E.R. Aznar

iii) M etodo de Al-Banna. 2.0000000000 1.414221 1 24 4 = 96 100 281 1 = 281 096 2824 4 = 11296 00400 28282 2 = 56564 00281 282841 1 = 282841 00281 0011900 0011296 000060400 000056564 00005383600 0000282841 donde se han realizado seis restas y 5 multiplicaciones para obtener el mismo n umero de d gitos. Donde las multiplicaciones siempre son por un d gito independientemente de la precisi on obtenida. En este ejemplo elemental gana el m etodo de Al-Banna. Ejercicio 2. Calcular 125 con 5 decimales exactos con cada uno de los tres m etodos anteriores.

i) M etodo de Her on. Comenzamos con x0 = 10. As 1 125 225 x1 = 10 + = = 11.25 2 10 20 2252 + 125 202 50625 + 50000 100625 1 225 125 20 + = = = = 11.1805 x2 = 2 20 225 2 20 225 9000 9000 1 225 x3 = 11.1805 + = 11.180339 2 11.1805 donde en tres iteraciones y despu es de como m nimo tres sumas y 6 divisiones (o bi en tres sumas, tres divisiones y seis multiplicaciones) hemos obtenido 5 cifras decimales exactas. Despu es del punto, la sexta cifra es incorrecta. ii) M etodo de las convergentes. Despu es de un c alculo previo, La descomposici on peri odica correspondiente es 125 = [11, 5, 1, 1, 5, 22]. Por tanto, la sucesi on de convergentes comienza con A0 q0 q1 + 1 67 123 682 15127 11 56 = 11, = 11.2, = 11.16, = 11.1818, = 11.18032, = 11.180339 = = B0 1 q1 5 6 11 61 1353 donde de nuevo hemos necesitado seis iteraciones, el doble del m etodo anterior, y m as operaciones. iii) M etodo de Al-Banna. 125.0000000000 1 025 021 00400 00221 0017900 0017824 000007600 000000000 00000760000 00000670809 0000008919100 0000006708189 1.18033 21 1 = 21 221 1 = 221 2228 8 = 17824 22360 0 = 0 223603 3 = 6708189

donde se han realizado seis restas y 5 multiplicaciones para obtener el mismo n umero de d gitos. En este ejemplo tambi en gana el m etodo de Al-Banna.

T opicos y ra ces cuadradas. E.R. Aznar