MISCELANEA, Nicomaco y una propiedad de los numeros impares Ricardo Barroso Campos ‘No solamente porque decimos que existia en Ias demas en la mente del Dios creador como algin plan universal y ejemplar, confiando en ella como un diseio y arquetipo, el ‘ereador del universo puso en orden sus creaciones materiales y las hizo de acuerdo con sus Propios fines; sino también porque es por su naturaleza anterior en su nacimiento... Nicomaco de Gerasa fue un filé sofo griego de fines del siglo I de nuestra cra: se distingui6, adema ‘como miisicoy matematico. Pertenece alaépoca de sineretismo dela filoso- fia griega, caracterizada por la reno- vacion de las doctrinas pitagéricas, en cuya labor le acompanian el espa fol Moderato de Cédiz y Apolonio de ‘Tyana. Los bidgrafos antiguos leatri- buyen una Vida de Pitagoras, una Coleceién de los dogmas pitagéricos yun Tratado sobre las flestas de los gipcios. La primera y la tltima han perdido y de la segunda forma- ban quiza parte los diferentes frag- mentos que hoy nos quedan de él ‘Tales son los Arithmetica Theolo. gumena, conservados por Foclo y publicados por Aot junto con la obra del mismo titulo de Jamblico (Leip: 1817), Se ocupan de las relaciones nisticas de los ntimeros ‘Su Enchiridion Harmonices es la fuente mas antigua acerea de la teo ria musical de los pitagéricos. Laobra que hacimentadola fama de Nicémaco es la Introductio Arithmetica en dos tomos, publicada por Wechel en 1538, por Nobbe en 1862 y por Pistelli en 1894; pero su importancia no es debido al mérito intrinseco de la obra, sino a sus condiciones didacticas, y, sobre todo, 86 £0 19/1995 alainfluencia que elercié durante la Edad Media, tanto en Oriente, donde fue comentadia por Jamblico,Proclo, Filopan y otros, como en Oceidente, gracias a la version de Apuleyoy ala parafrasis deBoecio, Todaslas obras de Nicémaco ofrecen un mismo ca- réeter: la union de la teoria mistica de los nimeros con la simbélica ex- plicativa del Universo, La Introductio es considerada por Morris Kline como el resurgimiento de una aritmética independiente, Desde el punto de vista histarico, su importancia para Ia aritmética es comparable a la de los Elementos de Buclides para la geometria.Este li- bro no sélo fue estudiado, tomado ‘como referencia y copiado por dece- nas de autores posteriores, sino que Se reconoce como inspirador de va~ rios libros por otros autores del mis- mo periodo, con lo que relleja el interés de la época. Los numeros representaban cantidades de obje- tos y dejaron ya de ser considerados, como longitudes de lineas. Nicémaco utiliza siempre palabras, mientras que Euclides emplea dos letras tales como AB -reflriéndose a un segmen- to lineal-al hablar de nuimeros. De las cuatro materias destaca- das por Platon faritmética, geome- {ria ,mtisicayastronomia), Nicémaco afirma que la aritmética es la madre de las demas. Mantiene que: La aritmética, contintia, es esen- cial para las demas ciencias ya que estas no existirian sin ella. Sin em- argo, si las demas ciencias fueran abolidas ,la arltmética seguitia exis- tiendo. La esencia de la Introductio esta en Tos trabajos aritméticos de los primeros pitagoricos. Considera nt meros pares e impares, cuadrados, rectangulares, primos, compuestos y_paralelepipédicos (de la forma ntn*(n+1)) y define muchos mas ti- pos. Da la fabla de multiplicar entre el 1 y €19 tal y como la aprendemos nosotros. Descubrié la siguiente propos: clén; Si escribimos los nuimeros im- pares: 1,8,5,7,9, 11, 13, 15, 17, 19, 21,23, entonces el primero es el eubo de 1; la suma de los dos siguientes, 3+ 5 = 8, es el cubo de 2, la suma de los tres siguientes, 7 +9 + 11 =27, es el cubo de 8, y asi sucesivamente. Comprobemos esta propiedad:: 1 P 345 2 749411 3 13415417 +19 a El primer ntimero impar de cada tuna de las n-uplas es nent] ‘Veamoslo por induccién: La n-upla 1" lo verifiea’ Para ves 1+ Supongamos que el primer ele- mento de la n-upla h es: hehe Dicha n-upla tiene h ntimeros impares, por lo que habria que su- marle 2h para obtener el primer ele- mento de la n-upla siguiente, ser bi-h+1+2heh’+h+1 Valor que colneide con: (he1F-hel)eie b+ 2h+1-h- 1+ be+h+1 cad ‘También es posible verlomedian- te las diferencias 137 13 21 31 Primeras dif: 2.4 6 8 10 Segundas dif! 2 2 2 2 Luego el témino general es un polinomio de 2° grado: ant+bnee at b+ 4a+2b4+ 9a + b+ Para n=1 Para n=3 Sistema en a, b, ¢ que resuelto nos da: a=1 b=-I ¢ =1, es decir, el primer término de las n-uplas es: nine Veamos a continuacién la suma de los n términos de la correspon- diente n-upla, Los valores a sumar son: (one) + (nen 142) + (nPe 4 2°9) +, + (one Le 2t)+.s(atne 120-1) ‘Tenemos, pues, una progresion aritmética cuyo primer elemento es nt-n¢l la diferencia es 2 y est compuesta por n elementos, Por ello, sus suma es: (one) 4 (ohne1e2 fell) at 2 Una consecuencia muy intere: sante del resultado anterior es la siguiente: ‘Todo ntimero cubo perfecto es ladiferenciaentredoscuadrados. En efecto, Ja suma de los ndme- ros impares nos va dando cuadrados perfectos: 1 r 143 2 14345 = 3 143447 = 4 Veamoslo en general: Por induectén: Paran=1 escierto: 1=12 Supongamos que para n=h sea: 1484547 4..+(2h1) bY Para neh + 1, sera: 143 4547 4.4 2h-1 + Olhel-D be(2he2-D=hu2heiatheie cad. Pues bien, del primer resultado y de este, podemos concluir que: Es decir, se verifica que: pe 2 7 (e 2 En efecto, desarrollando obtene- ren. {n'+2n*+n4) - (n*-2n"+n4) } 4 an! ae cad Bibliografia + KLINE, MORRIS (1992).B1 pensamien- tomatemético dela Antigiedadanues- tros dias, 1. Madrid. Alianza Bditortal + Enciclopedia Universal Hustrada Eu- ropeo Americana. (1966). Madrid Espasa-Calpe. Ricardo Barroso Campos Departamento de Diddctica de las Ciencias Universidad de Sevilla MUM 191199587