El problema de Josephus

Trabajo para el concurso de J ovenes Investigadores s Merino Madrid Cristian Jesu Santiago Ram rez Aretio Tamara D ez Tofe o N aproximado de palabras: 3900

Resumen
Este trabajo, cuya mayor inuencia sin duda ha sido ejercida sobre nosotros, pues nos ha permitido profundizar en el campo de las matem aticas, estudia la soluci on a un problema que la leyenda sit ua por vez primera en la Edad Antigua y que se denomina problema de Josephus. El problema admite numerosas variaciones; en s ntesis se trata de un grupo de n personas alrededor de un c rculo, numeradas del 1 al n, y, empezando a contar por el n umero 1, se procede a ir eliminando de q en q (q 1) en el mismo sentido en que est an numerados. Se trata de ver, por ejemplo, qui en es el u ltimo, J (n, q ), en ser eliminado, o el pen ultimo, I (n, q ). Tambi en tratar e de demostrar, para varios casos concretos, que es posible eliminar una determinada mitad sin haber eliminado ninguno de la otra mitad, si tenemos la posibilidad de elegir q . Estos casos ser an: eliminar todos los impares antes que cualquier par, o viceversa; eliminar primero los n primeros, o los n primeros; o primero 2 2 n n los 2 u ltimos, o los 2 u ltimos. Estudiaremos adem as en particular J (n, 2), cuando se elimina a cada 2a persona (una de cada dos, es decir, se salta una y se elimina a la siguiente). Tambi en J (n, 3), cuando se elimina a cada 3a persona. Demostraremos que no todas las variaciones de los n umeros 1, . . . , n corresponden a un posible orden de eliminaci on para n personas. Tambi en demostraremos que para una posici on prejada a, para un n umero de personas n, existe q tal que J (n, q ) = a. Por u ltimo, cerraremos el c rculo alrededor de el problema de Josephus retornando al caso en que se elimina una persona de cada dos, pero ahora tratando de conocer qui en es la pen ultima en ser eliminada, I (n, 2), pues parece ser que el problema original consisti o en conocer qu e posiciones deb an ocupar Josephus y un amigo suyo para ser los u ltimos en quedar.

 Indice
1. Introducci on 2. Tratamiento matem atico del problema de Josephus 2.1. C alculo de J (n, 2) . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Generalizaci on del problema de Josephus para q = 3, es decir, c alculo de J (n, 3) . . . . . . . . . . . . . 3. Permutaciones de Josephus 3.1. Acerca de P (n, q ) para eliminar a unas determinada mitad dejando intacta la otra . . . . . . . . . . . . . . . . . . . . . 3.1.1. Existe q tal que en P (n, q ) sean eliminados los n 2 n ltimos? Y primeros, antes que ninguno de los 2 u para que sean eliminados todos los n primeros antes 2 n que los 2 u ltimos? . . . . . . . . . . . . . . . . . . 3.1.2. Existe q tal que en P (n, q ) sean eliminados los n 2 n u ltimos, antes que ninguno de los 2 primeros? Y para que sean eliminados todos los n u ltimos antes 2 que los n primeros? . . . . . . . . . . . . . . . . . . 2 3.1.3. Existe q tal que en P (n, q ) sean eliminados los situados en posici on par primero, dejando intactos los impares? . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1.4. Existe q tal que en P (n, q ) sean eliminados los situados en posici on impar primero, dejando intactos los pares? . . . . . . . . . . . . . . . . . . . . . . . . . . 2 5 5 8 12 . 13

. 13

. 13

. 13

. 13

4. Sobre si es posible encontrar q con n y la u ltima posici on en ser eliminada prejados 19 5. Resoluci on del problema 1.15 del libro [1] 6. Conclusi on Referencias Ap endice 23 25 26 27

1.

Introducci on

La idea de la elecci on de este tema para el trabajo surgi o con la lectura 1 de un art culo de la revista Mathematics Magazine que llevaba por t tulo The Josephus Problem. Once More Around, cuyo autor es Peter Schumer. Escogimos el problema de Josephus como tema porque adem as de lo extremadamente interesante que me pareci o el art culo, a un nos sorprendi o m as la otra u nica fuente bibliogr aca a la que hemos acudido para realizar este trabajo, la cual ven a recomendada por Schumer en su art culo: Concrete 2 Mathematics , de Graham, Knuth y Patashnik. Entre las p aginas 8 y 16 de la segunda edici on de este libro se trata magn camente el caso de eliminaci on para q = 2. Adem as, este tema nos permite mostrar una serie de conocimientos adquiridos en el programa de estudios, como la inducci on, l mites, la t ecnica recursiva, y de la misma manera otras t ecnicas, como son las relaciones de congruencias y modularidad entre n umeros enteros3 y el 4 teorema chino del resto . Imaginemos que uno de nosotros fuera Josephus Flavius, cuya leyenda da origen a este problema, y estuvieran todas las dem as personas en un c rculo. Imaginemos que ya se hubiera decidido qui en ser a el n umero 1, en que sentido se contar a, y que se eliminar a a una de cada dos5 personas (q = 2). Imaginemos que como cuenta la leyenda al ser eliminados fu eramos muertos, muerte de la que queremos escapar. Ser a conveniente conocer en qu e posici on habr a que colocarse para que todos fueran eliminados antes que uno mismo. En la secci on C alculo de J (n, 2) presento esa posici on de n, posici on que denominamos J (n, 2). O si no, imaginemos la misma situaci on, pero cuando es eliminado cada o 3 . Este problema, que es la generalizaci on del problema de Josephus para q = 3 en vez de q = 2, halla su soluci on en este trabajo en la secci on Generalizaci on del problema de Josephus para q = 3, es decir, c alculo de J (n, 3). Trataremos adem as con profundidad otra versi on, en este caso medieval. Se cuenta que hab a 30 personas en un barco, 15 cristianos y 15 musulmanes, que para esa fuente y en esa epoca simbolizar an lo que ahora podr amos
1 Mathematics Magazine es una revista matem atica fundada en 1934 en el ambito de Lousiana State University y en la actualidad es publicada por la Asociaci on Americana de Matem aticas. 2 Concrete Mathemathics es un libro escrito por Ronald L. Graham, Donald E. Knuth y Oren Patashnik y publicado por primera vez en 1994. 3 V ease el Ap endice. 4 V ease el Ap endice. 5 Traducci on del ingl es: one of each other

llamar respectivamente 15 buenos y 15 malos, y que el barco se hunde a menos que se lancen por la borda 15 personas. Los musulmanes quieren que sean eliminados los cristianos, y viceversa. As , han llegado a un acuerdo: los musulmanes dirimen cuatro propuestas, a cambio de que uno de los cristianos (que sabe matem aticas) elija q . Las propuestas son estas: los musulmanes se colocar an los 15 primeros, o bien los 15 u ltimos, o bien en los puestos pares, o en su caso en los impares. Ser a posible, elijan la opci on que elijan, eliminar siempre primero a los 15 musulmanes antes que a ning un cristiano? En realidad lo realmente interesante es este problema para el caso general de n personas, teniendo que eliminar los n primeros antes que ninguno de 2 n los 2 u ltimos, y de la misma manera teniendo que eliminar los n u ltimos 2 antes que los n primeros (esta notaci o n me permite no tener que hacer 2 una distinci on entre el caso n par e impar, aunque para n par sea n = 2 n 2 ); todos los pares antes que los impares o viceversa. Estos enigmas ser an resueltos en la secci on Acerca de P (n, q ) para eliminar a una determinada mitad dejando intacta la otra. Para comprender el problema de c omo eliminar a una determinada mitad en Acerca de P (n, q ) para eliminar a una determinada mitad dejando intacta la otra introducimos primero el concepto de permutaci on de Josephus, que se reere al orden en que las personas son eliminadas en raz on de su posici on, y, para entender que el problema de eliminar una determinada mitad en algunos casos no es totalmente simple, he de demostrar antes que no siempre existe un q que permita un orden prejado de eliminaci on de los n participantes. En la secci on Sobre si es posible encontrar q con n y la u ltima posici on en ser eliminada prejados demostrar e que para una posici on prejada a y un n umero de personas n, existe q tal que J (n, q ) = a Por u ltimo, acabaremos de girar en torno a un c rculo de problemas interesantes que participan de el problema de Josephus, para acabar cerca de donde empezamos a contar lo que respecta a este problema en este trabajo: determinaremos la posici on de la persona que es pen ultima en ser eliminada, I (n, q ), aludiendo a la versi on del problema que dice que Josephus y un amigo suyo quer an que todos los dem as fueran eliminados antes que ellos. As , tratar e el problema de Josephus recogiendo lo m as interesante que he le do al respecto hasta ahora, mediante [1] y [2], traduciendo lo que me nos parece m as interesante y adapt andolo a nuestro nivel, de manera que donde consideremos oportuna una explicaci on la escribiremos y donde consideremos necesario aportaremos detalles. A esto a nadir e la generalizaci on del problema de Josephus para q = 3 y las aplicaciones al caso de eliminar una determinada mitad para n impar. Terminar e el trabajo presentando una soluci on, elaborada tambi en por m , 3

de un problema propuesto en el libro [1].

2.
2.1.

Tratamiento matem atico del problema de Josephus

C alculo de J (n, 2)

Designaremos con J (n, 2) al n umero de la u ltima persona en ser eliminada entre n personas, etiquetadas con los n umeros 1, 2, . . . , n empezando por el 1, contando en el mismo sentido que la numeraci on 1,. . . , n, y eliminando a a cada 2 persona, (ahora es q = 2). Distinguiremos entre los casos n par y n impar. Primeramente supongamos un n umero par de personas 2n. Vamos a calcular entonces J (2n, 2).

Figura 1: Personas que quedan, con 2n inicialmente, tras la primera ronda.

Fuente: elaboraci on propia

Despu es de la primera vuelta han sido eliminadas todas las personas con n umero par, y quedan n personas, pero renumeradas: no est an enumerados del 1 al n, a lo que denominaremos a partir de ahora enumeraci on est andard para n personas. Los n umeros de la numeraci on actual se corresponden respectivamente con el doble de los de la numeraci on est andard menos una unidad. Esto nos da la recurrencia: J (2n, 2) = 2J (n, 2) 1 n 1, (1)

(l ogicamente J (2n, 2) debe ser impar, pues todos los pares son eliminados en la primera vuelta). Para el caso de 2n + 1 personas (caso impar), en la primera vuelta se eliminan todos los pares, y en el siguiente movimiento el eliminado es el 5

n umero 1, con lo que quedan de nuevo n personas, pero sus n umeros han sido doblados y aumentados en 1 respecto de la enumeraci on est andar.

Figura 2: Personas que quedan, con 2n + 1 inicialmente, tras eliminar n + 1 de

ellas. Fuente: elaboraci on propia

De este modo: J (2n + 1, 2) = 2J (n, 2) + 1 n 1. (2)

Combinando las ecuaciones (1) y (2) con el resultado evidente J (1, 2) = 1, obtenemos una ley de recurrencia que dene J (n, 2) en todos los casos:

J (1, 2) = 2, J (2n, 2) = 2J (n, 2) 1 n 1, J (2n + 1, 2) = 2J (n, 2) + 1 n 1,

(3)

Este sistema de recurrencias reduce n por un factor 2 o mayor cada vez que se aplica. Con el podr amos calcular J (1000000, 2) tras u nicamente 19 aplicaciones. A un as , busco una f ormula cerrada para hacer a un m as r apido el c alculo. La recurrencia obtenida permite construir una tabla de peque nos valores r apidamente, que quiz a esclarezca un camino alternativo: n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 J (n) 1 1 3 1 3 5 7 1 3 5 7 9 11 13 15 1 Tabla T-1: Relaci on entre n y J (n, 2). Fuente: elaboraci on propia. Efectivamente, parece ser posible agrupar en potencias de 2 (se naladas con l neas verticales en la tabla); apreciamos que J (n, 2) es siempre 1 al 6

principio de cada grupo, (se nalados con negrita en la tabla T-1), y aumenta en 2 dentro de este al aumentar n en una unidad. Es decir, si escribo n en la forma n = 2m + l, donde 2m es la mayor potencia de 2 menor o igual que n y donde l es lo que resta, la soluci on buscada parece ser J (2m + l, 2) = 2l + 1, para m 0 y 0 l < 2m . (4) (Notar que si 2m n 2m+1 , entonces 0 l < 2m+1 2m = 2m .) Como se puede probar por inducci on en m, (4) es cierto. Demostraci on : Cuando m = 0 se tendr a l = 0 y se cumple (4): J (1, 2) = 1. Para acabar la inducci on, distinguiremos entre l par e impar. m Si m > 0 y 2 + l = 2n, entonces l es par, y l 2l J (2m + l, 2) = 2J (2m1 + , 2) 1 = 2( + 1) 1 = 2l + 1, (5) 2 2 cierto por (3). Adem as, a partir de (3), J (2n + 1, 2) J (2n, 2) = 2, de manera que, para l impar, se cumple J (2m + l, 2) = J (2m + l 1, 2) + 2 = 2l + 1, con lo que queda probado (4). Para ilustrar la soluci on (4), calculamos J (100, 2). Como 100 = 26 + 36, J (100, 2) = 2 36 + 1 = 73. Trataremos ahora de ir m as lejos y de obtener una ecuaci on a un m as elegante. Como las potencias de 2 han jugado un papel tan importante en nuestra soluci on, transformaremos n y J (n, 2) a base 2, a ver si esto me lleva a una soluci on. Sea ( ) n = bm bm1 bm2 . . . b1 b0 2 , esto es, n = bm 2m + bm1 2m1 + bm2 2m2 + . . . + b1 2 + b0 , (6)

donde cada bi es o 0 o 1, siendo bm = 1. Escribiendo de nuevo n de la forma n = 2m + l, obtenemos ) ( n = 1bm1 bm2 . . . b1 b0 2 , ) ( l = 0bm1 bm2 . . . b1 b0 2 , ( ) 2l = bm1 bm2 . . . b1 b0 0 2 , (7) ( ) 2l + 1 = bm1 bm2 . . . b1 b0 1 2 , ) ( J (n, 2) = bm1 bm2 . . . b1 b0 bm 2 , 7

(el u ltimo paso se debe a que J (n, 2) = 2l + 1 y que bm = 1). Con lo que queda probado que (( ) ) ( ) J bm bm1 bm2 . . . b1 b0 2 , 2 = bm1 bm2 . . . b1 b0 bm 2 . (8) Magn co! Se obtiene J (n, 2) a partir de n haciendo un desplazamiento c clico de una cifra. Realmente sorprendente. As , por ejemplo, si n = 100 = (1100100)2 entonces (( ) ) ( ) J (n, 2) = J 1100100 2 , 2 = 1001001 2 que es 64 + 8 + 1 = 73. L ogicamente, lo mismo que hab amos obtenido anteriormente a partir de (4), pero de manera m as elegante.

2.2.

Generalizaci on del problema de Josephus para q = 3, es decir, c alculo de J (n, 3)

En busca de una recursi on que relacione J (n + 1, 3) con J (n, 3), hemos llegado a obtener una posible f ormula m as general, relativa al proceso de eliminaci on de q en q personas (q 1): J (n + 1, q ) J (n, q ) + q (m od n + 1). (9)

Demostraci on: La primera persona en ser eliminada cuando hay n + 1 personas es q (m od n + 1). Hemos reducido as el problema de encontrar J (n + 1, q ) al problema de encontrar J (n, q ), salvo que las personas ahora est an numeradas con el residuo de q + 1, q + 2, etc. m odulo (n+1), en lugar de 1, 2, etc. De este modo, J (n + 1, q ) J (n, q ) + q Aplic andola a q = 3, se obtiene que: J (n + 1, 3) J (n, 3) + 3 (m od n + 1). (10) (m od n + 1)

Procedemos ahora a dar una tabla de valores que relacionen n y J (n, 3): 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 n J (n, 3) 1 2 2 1 4 1 4 7 1 4 7 10 13 2 5 8 Tabla T-2: Relaci on entre n y J (n, 3). Fuente: elaboraci on propia. De acuerdo con la recursi on (10), y como reeja la tabla T-2, J (n, 3) aumenta de 3 en 3, hasta que J (n 1, 3) + 3 > n, siendo entonces J (n, 3) 8

igual a 1 o 2. Llamaremos a partir de ahora a los n cuyo J (n, 3) es o bien 1 o 2 n umeros de Josephus, y los denotaremos por (en negrita en la tabla T-2). Ver la sucesi on que estos conforman es lo realmente interesante en este problema, pues desde un n umero de Josephus hasta el nk anterior al siguiente n umero de Josephus, los J (n, 3) vienen descritos por una simple progresi on aritm etica de diferencia 3. De esta manera, para un n umero de Josephus y el n umero anterior (que no tiene por qu e ser de Josephus) la f ormula (10) dice que J (k , 3) J (k 1, 3) + 3 (m od k ), que en este caso se traduce en J (k , 3) = J (k 1, 3) + 3 k , (ya que los n umeros de Josephus se caracterizan por ser su J (, 3) = 1 o 2, porque si no lo fueran la progresi on aritm etica har a que su J (, 3) fuera mayor que el propio ). Aplicando ahora que los J (n, 3) desde J (k1 , 3) hasta J (k 1, 3) forman una progresi on aritm etica de diferencia 3, se obtiene que k+1 +J (k+1 , 3) = J (k , 3)+3(k+1 k ) 3k J (k , 3) = 2k+1 J (k+1 , 3) (11) Por (11), si k es impar y J (k , 3) = 1, como 3k es impar, J (3k , 3) es 1 (impar), 2k+1 es m ultiplo de 2 (par), entonces J (k+1 , 3) ha de ser par. Como J (k+1 , 3) solo puede ser o 1 o 2, J (k+1 , 3) ser a 2. An alogamente, con la correspondiente divisi on de casos se obtiene la ley de recurrencia: J (1 , 3) = J (1, 3) = 1, { J (k , 3) = 1 J (k+1 , 3) = 2, Si k es impar : (12) J (k , 3) = 2 J (k+1 , 3) = 1 { J (k , 3) = 1 J (k+1 , 3) = 1, Si k es par : J ( , 3) = 2 J ( , 3) = 2.
k k+1

Yendo m as lejos: Si k es par, entonces por (12), J (k , 3) = J (k+1 , 3). Aplicando esto a (11), nos queda: 3 2k+1 = 3k k + 1 = k . 2 Es decir: 3 k+1 = k , y J (k+1 , 3) = J (k , 3). 2 9 (13)

Por otra parte, por (12), si k es impar, J (k , 3) = J (k+1 , 3). Distinguiremos dos casos: Si J (k , 3) = 1: Utilizando esto en (11) obtenemos que k+1 = 3k + 1 . 2 (14)

Tambi en es posible hallar la relaci on entre dos n umeros impares consecutivos. Sea k+r el siguiente n umero de Josephus impar, con r 1 pares entre medio, entonces por (14) J (k+1 , 3) = . . . = J (k+r , 3). Tambi en por (14) queda de esta manera la relaci on entre dos n umeros impares consecutivos: ( 3 )r1 ( 3 + 1 ) k k +r = . 2 2 Hay que resaltar que J (k , 3) = J (k+r , 3). Si J (k , 3) = 2: An alogamente al caso J (k , 3) = 1, obtenemos que k+1 = 3k 1 . 2 (15)

Adem as, la relaci on con el siguiente impar viene dada por ( 3 )r1 ( 3 1 ) k k+r = . 2 2 En este caso, de la misma manera, se cumple: J (k , 3) = J (k+r , 3) Hemos visto que si k es par, entonces k+1 = 3 , y si k es impar se 2 k 3k +1 3k 1 alterna estrictamente que k+1 = 2 y k+1 = 2 , pues se alterna estrictamente en la sucesi on de los impares impi que J (impk , 3) = J (impk+1 , 3) (y estos solo pueden ser o 1 o 2). Por lo que la sucesi on de n umeros de Josephus 3 k es una aproximaci on, a las unidades, de la funci on exponencial f (k ) = ( 2 ) . Obtenemos que la sucesi on formada por los n umeros de Josephus tiende a , lo que no ha de sorprendernos, pues ser una sucesi on geom etrica de orden 3 2 la sucesi on de Fibonacci, que se obtiene recursivamente tambi en, tiende a ser una sucesi on geom etrica de raz on igual al n umero a ureo. Adem as, nos damos al jarnos en (11), pues como la sucesi on cuenta de que la raz on tiende a 3 2

10

de los n umeros de Josephus es mon otona creciente y J (k , 3), J (k+1 , 3) son iguales a 1 o 2, la raz on tender a a: r = l m k+1 = l m k k k
3k J (k ,3)+J (k+1 ,3) 2

3 = . 2

Por otra parte, haciendo una tabla que relacione los , J (, 3) y Sn (donde Sn representa la suma de los n primeros ), obtenemos: k 1 2 3 4 6 9 14 J (k , 3) 1 2 2 1 1 1 2 Sk 1 3 6 10 16 25 39 Tabla T-3: Relaci on entre , J (, 3) y Sn . Fuente: elaboraci on propia. donde parece ser que Sn = 3n J (n , 3) 1. Esta f ormula es cierta como se puede probar por inducci on: Demostraci on: Para n = 1 se cumple: S1 = 3 1 1 = 1. Supongamos: Sn = 3n J (n , 3) 1 Entonces: Sn+1 = Sn + n+1 Por la hip otesis de inducci on: = 3n J (n , 3) 1 + n+1 Por (11): = 2n+1 J (n+1 , 3) 1 + n+1 = 3n+1 J (n+1,3 ) 1 y queda demostrada para n + 1. (16)

11

3.

Permutaciones de Josephus

Llamemos permutaci on de Josephus P (n, q ) a una permutaci on de los n umeros del 1 al n creada al aplicar el procedimiento de eliminaci on de Josephus a un conjunto c clico de n personas que se van eliminando de q en q . As , por ejemplo: ( ) 1 2 3 4 5 6 7 P (7, 2) = 2 4 6 1 5 3 7 y ( ) 1 2 3 4 5 6 7 8 P (8, 9) = . 1 3 6 4 5 2 7 8 Las permutaciones de Josephus son importantes en relaci on con el problema de Josephus cuando, en vez de buscar el u ltimo n umero en ser eliminado, se quiere hallar, a partir de n y q , relaciones en el orden de eliminaci on sucesiva. En este punto surge la pregunta: son todas las permutaciones posibles de los n umeros 1 . . . n permutaciones de Josephus para un cierto q ? Mientras que hay n! permutaciones distintas de los n umeros 1,. . . , n, solo hay L(n) = mcm(1, 2, 3, . . . , n) permutaciones de Josephus distintas, (a partir de ahora y a lo largo de todo el trabajo denotaremos el m nimo com un m ultiplo de los n umeros 1,. . . , n por L(n)) pues P (n, q ) = P (n, q + L(n)) ya que en cada paso (k ) de la eliminaci on (1 k n) simplemente giramos alrededor del c rculo L(n)/(n + 1 k ) veces antes de movernos q lugares m as all a de nuestra previa posici on. Adem as, si q q (m od k ) entonces P (n, q ) no es la misma que P (n, q ) (darse cuenta de que hay un k con 1 k < n de manera que q q (m od k ). Pero entonces en el paso (n + 1 k ) (aun quedan k personas), P (n, q ) y P (n, q ) ser an diferentes). Por otra parte, como n! > L(n) n > 3, hay permutaciones que no son de Josephus. ( ) 1 2 3 4 M as concretamente, por ejemplo no es una permutaci on de 2 3 4 1 Josephus P (4, q ) para ning un q , ya que el sistema de congruencias q2 (m od 4), q 1 (m od 3), q 1 (m od 2),

no tiene soluci on pues a partir de la primera y tercera congruencias obtengo respectivamente que simult aneamente q es par y q es impar, una contradicci on. Es importante resaltar aqu que, por el teorema chino del resto, si los n umeros q1 , q2 cumplen q1 q2 (m od L(n)), entonces es P (n, q1 ) = P (n, q2 ). 12

3.1.
3.1.1.

Acerca de P (n, q ) para eliminar a unas determinada mitad dejando intacta la otra
primeros, Existe q tal que en P (n, q ) sean eliminados los n 2 antes que ninguno de los n u ltimos? Y para que sean 2 n n eliminados todos los 2 primeros antes que los 2 u ltimos?

Empezamos con este caso sencillo con respuesta armativa, pues sirve como respuesta a ambas preguntas del enunciado, el simple caso q = 1. 3.1.2. Existe q tal que en P (n, q ) sean eliminados los n u ltimos, 2 antes que ninguno de los n primeros? Y para que sean 2 n n eliminados todos los 2 u ltimos antes que los 2 primeros?

Este caso no es tan sencillo, pero basta tomar q = L(n), pues as cada turno, como q es m ultiplo del n umero de personas que hay, empezar a por el 1 y acabar a en el u ltimo, siendo P (n, q ): ) ( 1 2 . . . 2k 1 2k . P (n, q ) = 2k 2k 1 . . . 2 1 Esta soluci on es respuesta-soluci on para ambas preguntas del enunciado. 3.1.3. Existe q tal que en P (n, q ) sean eliminados los situados en posici on par primero, dejando intactos los impares?

Este caso es tambi en muy simple, pues sirve q = 2, para n par e impar. 3.1.4. Existe q tal que en P (n, q ) sean eliminados los situados en posici on impar primero, dejando intactos los pares?

Este caso resulta m as interesante. Distinguir e aqu dos casos: Caso n par: Si queremos eliminarlos en ( ) orden ascendente, tenemos por 1 2 3 4 ejemplo, para n = 4, P (4, 5) = , pero para que P (6, q ) fuera de 1 3 4 ( ) 2 1 2 3 4 5 6 la forma P (6, q ) = , donde E representa un determina1 3 5 E E E do n umero par que no interesa para la resoluci on de este problema, deber a ocurrir que q1 (m od 6), q 2 (m od 5), q 2 (m od 4).

13

Luego q ser a, por primera y tercera congruencias impar y par respectivamente, lo que es una contradicci on. Con papel y l apiz se descubre que ( ) 1 2 3 4 5 6 7 8 P (8, 27) = , 3 1 5 7 4 2 6 8 y P (10, 87) = ( ) 1 2 3 4 5 6 7 8 9 10 , 7 3 1 5 9 2 8 6 10 4

siendo 27 y 87 los menores q que satisfacen que todos los impares son eliminados antes que ning un impar (comprobado experimentalmente). Todav a no hemos demostrado que siempre sea posible encontrar q con que se eliminen, para n par, todos los impares primero, aunque parece cierto que s y que el valor q aumenta r apidamente con el n umero par n. De hecho, Frank Swenton (Middlebury College, Vermont, EEUU), con asistencia de un ordenador, encontr o el menor q que elimina todos los impares antes que ning un impar para n par. Sus resultados est an en la siguiente tabla, tabla T-4: n 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 q m as peque no que elimina a todos los impares primero 1 5 19 27 87 989 3119 5399 8189 99663 57455 222397 2603047 8476649 117917347 290290179 360064247 1344262919 3181391639 ? (mayor que 10000 millones)

Tabla T-4: Relaci on entre n y q m as peque no que eliminar a los impares primero. 14

A la vista de estos resultados, tratar e de encontrar una soluci on general q m as u til que ir probando, aunque no demos con el q m as peque no posible. As , usaremos el teorema chino del resto para hallar esta soluci on. Comenzar e, por ejemplo, con n = 12. As , como el sistema de congruencias q q q q q q 5 8 5 2 5 5 (m od (m od (m od (m od (m od (m od 12), 11), 10), 9), 8), 7).

(17)

tiene soluci on seg un el teorema chino del resto, pues de este sistema de congruencias se sigue que q 1 (m od 2), q 2 (m od 3), q 1 (m od 4), ( resultante de que este teorema pone como condici on de posibilidad de existencia de una soluci on para el sistema de congruencias de la forma q ai (m od ki ), que para dos ki cualesquiera ki1 y ki2 se cumpla que ai1 ai2 (m od mcd(ki1 , ki2 )). Adem as este teorema asegura que hay una u nica soluci on al sistema (17) m odulo mcm(12, 11, 10, 9, 8, 7). (Notar que mcm(n, n1, . . . , 1) = mcm(n, n 1, n ))6 . Por ello, mcm(12, 11, 10, 9, 8, 7) = L(12). Como L(12) = 27720, ha 2 de ser q 16805 (m od 27720), siendo v alido cualquier q que satisfaga esto. No tengo ninguna garant a de que q = 16805 sea el m as peque no, y de hecho, seg un los datos recogidos en la tabla T-4, el menor q soluci on es 989. As , queda patente que a partir del teorema chino del resto hemos sido capaces de hallar una soluci on (no la m as peque na) m as o menos f acilmente, aunque es cierto que es necesario por este m etodo bastante tiempo para encontrar un sistema de congruencias que resulte v alido. (Notar que, como ha quedado ya patente, no todas las permutaciones de los n umeros 1, . . . , n son permutaciones de Josephus). As que, yendo m as all a, se llega a que es m as f acil encontrar un q que elimine los impares, empezando por el n1 en orden descendente que buscarlo a tientas, pues tal q habr a de cumplir simplemente que
n un mcm(n, n 1, . . . , 1) = mcm(n, n 1, n 2 ) porque todos los 2 menores tienen alg n m ultiplo entre los 2 mayores. 6

15

q 1 (m od n), q 1 (m od n 1), q 1 (m od n 2), ... n q 1 (m od + 1), 2 (recordar que n es par, pues para impar esto no sirve para eliminar los impares primero ya que, primeramente se eliminar a a un par). Este q buscado es, para n par, q = L(n) 1, pues as en cada una de n las 2 primeras rondas de eliminaci on se dar a un n umero entero de vueltas menos una posici on alrededor del c rculo de personas que a un quedan, (que el n umero de vueltas en una ronda pueda ser mayor que 1 es debido a que q puede ser mayor que el n umero de personas n), y as , en cada ronda, nos quedaremos a una persona de dar la u ltima vuelta completa, es decir, se eliminar a el que est e una posici on antes que el anterior al que acaba de ser eliminado en la ronda anterior, o lo que es lo mismo, se eliminar a en estas n primeras rondas de eliminaci o n, en orden descendente todos los impares 2 empezando por el n 1. De esta manera queda expuesta una f ormula para el valor q en el proceso en que todas las posiciones impares son eliminadas antes que cualquier posici on par: q = L(n) 1. Caso n impar: Desechando la posibilidad de ir probando hasta encontrar el valor m as peque no del n umero q soluci on, trataremos de descubrir una f ormula que nos permita conocer una soluci on para q , sin que q tenga que ser lo m as peque no posible. En la l nea de la demostraci on para el caso n par de este mismo apartado 3.1.4. sobre c omo eliminar todos los impares, habremos de encontrar un n umero q que satisfaga el sistema de congruencias: an (m od n) an1 (m od n 1) an2 (m od n 2) an3 (m od n 3) ... n+1 q a n+1 (m od ) 2 2 q q q q 16 con an impar con an1 par con an2 par con an3 par , , , ,

con a n+1 par ,

2

de manera que se comience dando un n umero entero de vueltas y eliminando 1 al principio una persona de n umero impar, y a partir de ah elimine los n 2 n umeros impares restantes, para lo que q ha de ser congruente con un n umero n+1 par m odulo n 1, n 2, . . . , 2 . Por el teorema chino del resto podemos asegurar que existe soluci on si y s olo si cada par de n umeros ak1 , ak2 son congruentes m odulo el m aximo com un divisor de k1 , k2 . Tras una larga b usqueda encontramos un sistema de congruencias concreto que sirve para cualquier n impar, que es el que sigue: 1 (m od n), n 1 (m od n 1), n 3 (m od n 2), n 5 (m od n 3), ... q 4 (m od n + 1), 2 n q 2 (m od 2 ), q q q q ) y q m odulo k aumenta de 2 en donde la disposici on es: q 2 (m od n+1 2 2 unidades al aumentar k , mientras que k describe la sucesi on de n umeros n n 7 2 , 2 + 1, . . . , n 1. (Notar que q es congruente con n 1 m odulo n 1). Para terminar, q debe ser congruente con 1 m odulo n. Al analizar profundamente este sistema, me di cuenta de que tiene l ogica esta sucesi on de congruencias, pues va aumentando de 2 en 2 el residuo al aumentar en una unidad el m odulo de las congruencias. Para m odulo n, incapaz de aumentar de nuevo el resto en 2 unidades, (n + 1 > n), q debe ser congruente con 1. Es esta la clave de que el teorema chino del resto nos asegure que hay soluci on para este sistema, y consecuentemente, para este problema. Demostraci on de que existe soluci on: entre dos n umeros k1 , k2 , el m aximo com un divisor de estos es un divisor de la diferencia d entre k1 y k2 . Tomo an n + 1 (m od n) en vez de congruente con 1 m odulo n (es equivalente). Se tiene para cualesquiera k1 , k2 el siguiente sistema de congruencias: q a k1 q ak2 = ak1 + 2d (m od k1 ) (m od k2 ),

A partir del teorema chino del resto, si ak1 y ak2 son respectivamente congruentes m odulo su m aximo com un divisor, habr a soluci on. Lo son, porque
Por convenio en este trabajo, al tomar congruencias, lo que generalmente se dice a 0 (m od b), lo denominamos a b (m od b), pues hemos numerado las n personas del 1 al n, no del 0 al n 1.
7

17

m odulo m aximo com un divisor queda: q ak1 q ak1 + 2d ak1 (m od mcd(k1 , k2 )) (m od mcd(k1 , k2 ))

que es cierto, y donde he aplicado que d es un m ultiplo del m aximo com un divisor de cualesquiera n umeros k1 , k2 , y por lo tanto el n umero 2d tambi en.

18

4.

Sobre si es posible encontrar q con n y la u ltima posici on en ser eliminada prejados

Esto es, conocido el n umero de personas, y una determinada posici on, es siempre posible elegir q de manera que la persona colocada en esa determinada posici on sea la u ltima en ser eliminada? La respuesta es armativa. Demostraci on: Podemos suponer que n > 2. Usando el postulado de 8 Bertrand , hay un primo p entre n y n. Tambi en podemos asumir que m > 2 n , ya que la eliminaci o n de q en q , siendo q = L(n) + 1 q salva a la 2 persona m = n + 1 m si y s olo ( si la)eliminaci on de q en q salva a m. L(n) Elijamos q tal que sea q 1 m od y q m + 1 n (m od p), (este p sistema de congruencias, aplicando el teorema chino del resto, tiene soluci on, L(n) L(n) ya que p p son coprimos, esto es mcd( p , p) = 1). Para ese valor de q , el proceso de Josephus va eliminando a las personas en el orden: 1, 2, . . . , n p, salta al m y sigue eliminando de 1 en 1: m + 1, m + 2, . . . , n y sin ning un salto f sico pasa al siguiente, eliminando, de 1 en 1, pero matem aticamente esto se traduce en un salto, y se debe a que los n p primeros, ya est an eliminados, con lo que contin ua n p + 1, . . . , m 1 de manera que con este q , J (n, q ) = m. Debido a la complejidad de esta demostraci on, sin duda la m as t ecnica del trabajo, y que he reproducido a partir de [1], considero m as positivo mostrar un ejemplo concreto que ayude a esclarecer el proceso. Por ejemplo, sean n = 10, y m = 8 (8 > n = 5). 2 L(10) = mcm(1, 2, 3, 22 , 5, 2 3, 7, 23 , 32 , 2 5) = 23 32 5 7 = 2520. Elegimos un primo entre 5 y 10: p = 7. A partir de aqu procedemos a resolver el sistema de congruencias q 1 (m od 360), (notar que 360 es L ), p q 1 (m od 7), (notar que 1 = m + 1 n y p = 7),

(como el m aximo com un divisor de 360 y 7 es 1, el sistema tiene soluci on u nica m odulo 2520 = 360 7). Para hallar una soluci on del sistema, resuelvo, en n umeros enteros, el sistema de ecuaciones: q = 7x 1 q = 360y + 1.
Para todo entero positivo n hay un n umero primo p tal que n < p 2n. Joseph Bertrand lo comprob o en 1845 para todos los n < 3 106 . Chebyshev lo demostr o en 1850.
8

19

donde se obtiene como soluci on particular y = 4, x = 206, as q = 1441 es soluci on y, por el teorema chino del resto, cualquier q 1441 (m od 2520) lo cumplir a. La secuencia de eliminaciones en este caso concreto ser a 1, 2, 3, pasar a al 9, 10 y continuar a por 4, 5, 6, 7, siendo el u ltimo en ser eliminado el n umero 8. Visualmente, la eliminaci on queda:

Figura 3: Personas que hay inicialmente. Fuente: elaboraci on propia

Figura 4: Personas que quedan tras la primera eliminaci on.

Figura 5: Personas que quedan tras dos eliminaciones.

Figura 6: Personas que quedan tras tres eliminaciones.

20

Figura 7: Personas que quedan tras cuatro eliminaciones.

Figura 8: Personas que quedan tras cinco eliminaciones.

Figura 9: Personas que quedan tras seis eliminaciones.

Figura 10: Personas que quedan tras siete eliminaciones.

Figura 11: Personas que quedan tras ocho eliminaciones. 21

 Figura 12: Ultima persona en quedar.

Es necesario resaltar, que para el caso n = 10, m = 3 donde 3 < n = 5, 2 se usa la regla dada antes: Tenemos m = n + 1 m = 8; la eliminaci on con q = 1441 salva a la persona 8 si y solo si la eliminaci on con q = L + 1 q = 2521 1441 = 1080 salva a la persona 3. Luego J (10, 1080) = 3.

22

5.

Resoluci on del problema 1.15 del libro [1]

Enunciado: Josephus ten a un amigo que se coloc o en la pen ultima posici on en ser eliminada, I (n, 2). Cu al es I (n, 2), la posici on del amigo de Josephus? Una vez ya justicada la elecci on de este problema en la introducci on, procedemos a resolverlo. Trabajaremos an alogamente a lo mostrado en el punto 2.1, C alculo de J (n, 2) y con los mismos razonamientos con que obtuve (3) obtengo ahora (18): I (2, 2) = 2, I (3, 2) = 1, I (2n, 2) = 2I (n, 2) 1, I (2n + 1, 2) = 2I (n, 2) + 1,

n 1 n 1

(18)

que es similar a (3) pero en este caso los par ametros iniciales son diferentes, pues I (1, 2) no est a denida. La podr amos hallar a partir de I (2, 2), obteniendo I (2, 2) + 1 3 I (1, 2) = = 2 2 pero este resultado, carece de sentido en el problema, pues estamos tratando con n umeros enteros. Ahora, construimos una tabla con los datos, a n de que nos facilite hallar una f ormula cerrada: n 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 I (n, 2) 2 1 3 5 1 3 5 7 9 11 1 3 5 7 9 Tabla T-5: Relaci on entre n e I (n, 2). Elaboraci on propia. Observamos a partir de la tabla T-5 que a partir de n = 3, I (n, 2) es siempre 1 al principio de cada grupo, y aumenta en 2 dentro de este cuando m n aumenta en 1. Es decir, si escribimos n en la forma n = 2 + l, donde 2m es la mayor potencia de 2 menor o igual que n y donde l es lo que resta, la soluci on buscada parece ser I (3 2m + l, 2) = 2l + 1, que es totalmente paralela a la del punto 2.1. Su demostraci on, igualmente paralela, es as : Para m = l, l = 0, se tiene que I (3, 2) = 1, que es cierto. Distingamos ahora dos casos: Caso l par:
m

(
m1

I (3 2 + l, 2) = 2I 3 2 23

l + 2

) 1 = 2l + 1, (19)

cierto por (18). Caso l impar: Por (18) se tiene que: I (2n + 1, 2) I (2n, 2) = 2. Se tiene as por (19) y (20) que: I (3 2m + l + 1, 2) = I (3 2m + l, 2) + 2 = 2l + 1. y hemos terminado (20)

24

6.

Conclusi on
Tras hacer todos los c alculos necesarios podemos concluir que J (2m + l, 2) = 2l + 1, para m 0 y 0 l < 2m ,

o de otra manera (( ) ) ( ) J bm bm1 bm2 . . . b1 b0 2 , 2 = bm1 bm2 . . . b1 b0 bm 2 . Tambi en hemos hallado que I (3 2m + l, 2) = 2l + 1. Sobre la generalizaci on del problema de Josephus para el caso q = 3, hay que se nalar que los n umeros J (k , 3), . . . , J (k+1 1) forman una progresi on aritm etica de diferencia 3. Tambi en hemos hallado que J (k , 3) = J (k 1, 3) + 3 k , y que la sucesi on (k ) de n umeros de Josephus es una aproximaci on a la ( 3 )k funci on exponencial f (k ) = 2 . Por u ltimo, ha quedado probada la f ormula Sn = 3n J (n , 3) 1 para las sumas de la sucesi on (k ). Adem as, en este trabajo ha quedado demostrado que no todas las permutaciones de los n umeros 1, . . . , n son permutaciones de Josephus. Tambi en ha quedado patente la f ormula de q en funci on de n, en cada uno de los siguientes casos: que sean eliminados los n primeros sin que ninguno de los 2 n n 2 u ltimos haya sido eliminado; los 2 primeros antes que ninguno de los n u ltimos; los n u ltimos sean eliminados antes que los n primeros; los 2 2 2 n n 2 u ltimos antes de que ninguno de los 2 primeros haya sido eliminado; tambi en hemos encontrado el q que hace que sean eliminados todos los pares antes que ning un impar, al igual que ha quedado resuelto c omo eliminar todos los impares antes que ning un par. A todo esto hemos de a nadir para nalizar, que para cualquier valor de J (n, q ) y de n existe valor de q soluci on. Cabe destacar que el problema de Josephus puede sin duda extenderse en numeros simas direcciones, como por ejemplo: Dar un valor general para J (n, q ). Estudiar cambios del sentido de eliminaci on. 25

Referencias
[1] R. L. Graham, D. E. Knuth, O. Patashnik, Concrete Mathematics, 2a ed., Addison-Wesley Pub. Co., Inc., 1995. [2] P. Schumer, The Josephus Problem. Once More Around. Mathematics Magazine, Volumen 75, No 1, Febrero de 2002.

26

Ap endice
Procedemos a escribir resumidamente qu e es y qu e propiedades b asicas tiene el m etodo de congruencias, pues lo consideramos adecuado al no estar este tema en nuestro temario escolar. Por las mismas razones expondr e tambi en el teorema chino del resto a continuaci on. Relaci on de congruencia: La f ormula a b (m od m) puede ser le da como a es congruente con b m odulo m. La relaci on de congruencias tiene sentido para a, b y m n umeros reales, pero normalmente, y a lo largo de este trabajo, se usa solo con n umeros enteros. As trataremos en este ap endice las congruencias s olo con respecto a n umeros enteros. Esta relaci on de congruencia entre dos n umeros a y b se dene as : a b (m od m) a b es un m ultiplo de m. La congruencia es una relaci on de equivalencia, esto es: cumple la ley reexiva a a , la ley sim etrica a b b a y la ley transitiva a b c a c . Adem as se pueden sumar y restar elementos congruentes sin perder la congruencia: a b y c d a+c b+d (m od m); a b y c d ac bd (m od m). Tambi en funciona la multiplicaci on: a b y c d ac bd (m od m).

La repetida aplicaci on de la multiplicaci on, nos da la propiedad: a b an bn (m od m).

La mayor a de las operaciones algebraicas que solemos hacer con ecuaciones podemos hacerlas tambi en con congruencias, pero no todas. As , para dividir, hay que seguir la norma: ad bd (m od m) a b (m od m ), mcd(d, m)

Tambi en es una propiedad de las congruencias: ab (m od md) a b (m od m),

porque cualquier m ultiplo de md es un m ultiplo de m. 27

Otra regla del sistema de congruencias es: ab (m od m ) y a b (m od n) a b (m od mcm(m, n)).

El teorema chino del resto est a muy relacionado con las congruencias. Enuncia lo que sigue: Dados n n umeros naturales primos dos a dos p1 , p2 , . . . , pn y n n umeros enteros a1 , a2 , . . . , an , el sistema de congruencias x a1 x a2 ... x an (m od p1 ) (m od p2 ) (m od pn )

tiene una y s olo una soluci on m odulo el n umero P = p1 p2 pn .

P para 1 i n. Para cada i, pi es primo con Demostraci on: Sean Pi = p i Pi , y por tanto existe un n umero Qi tal que

Pi Qi 1 (m od pi ) el n umero x = ai P1 Q1 + a2 P2 Q2 + . . . + an Pn Qn es una soluci on del sistema, y cualquier otra soluci on es congruente con x m odulo P . Si entre dos o m as pi hay factores comunes, existe soluci on si y solo si para cualquier pareja de pi : pi1 , pi2 , sus respectivos ai1 y ai2 son congruentes m odulo el m aximo com un divisor de pi1 y pi2 .

28