Número cortés

De Wikipedia, la enciclopedia libre
Una tabla de Young representando visualmente una descomposición cortés del número 15 = 4 + 5 + 6

En teoría de números, un número cortés (del inglés polite number) es un número natural que se puede escribir como la suma de dos o más enteros positivos consecutivos. Aquellos números enteros positivos que no cumplen esta condición se denominan descorteses.[1]​[2]​ Los números descorteses son únicamente las potencias de dos, y los números corteses son los números naturales que no son potencias de dos.

Los números corteses también se han llamado números de escalera debido a que la tabla de Young que representa gráficamente la partición de un número cortés en números enteros consecutivos (al estilo francés de dibujar estos diagramas) se parece a una escalera.[3]​[4]​[5]​ Si todos los números de la suma son estrictamente mayores que uno, los números así formados también se denominan números trapezoidales porque representan patrones de puntos dispuestos en un trapecio.[6]​[7]​[8]​[9]​[10]​[11]​[12]​

El problema de representar números como sumas de enteros consecutivos y de contar el número de representaciones de este tipo fue estudiado por Sylvester,[13]​ Mason,[14]​[15]​ Leveque,[16]​ y muchos otros autores más recientes.[1]​[2]​[17]​[18]​[19]​[20]​[21]​[22]​[23]​

Ejemplos y caracterización[editar]

Los primeros números corteses son

3, 5, 6, 7, 9, 10, 11, 12, 13, 14, 15, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 , 31, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, ... (sucesión A138591 en OEIS).

Los números descorteses son únicamente las potencias de dos.[13]​ Se deduce del teorema de Lambek-Moser que el n número educado es f(n + 1), donde

Cortesía[editar]

La cortesía de un número positivo se define como la cantidad de formas en que se puede expresar como la suma de números enteros consecutivos. Por cada x, la cortesía de x es igual al número de divisores impares de x que son mayores que uno.[13]​ La cortesía de los números 0, 1, 2, 3, ... es

0, 0, 0, 1, 0, 1, 1, 1, 0, 2, 1, 1, 1, 1, 1, 3, 0, 1, 2, 1, 1, 3, ... (sucesión A069283 en OEIS).

Por ejemplo, la cortesía de 9 es 2 porque tiene dos divisores impares, 3 y él mismo, y dos representaciones de cortesía.

9 = 2 + 3 + 4 = 4 + 5;

la cortesía de 15 es 3 porque tiene tres divisores impares, 3, 5 y 15, y (como es familiar para los jugadores de cribbage)[24]​ tres representaciones de cortesía

15 = 4 + 5 + 6 = 1 + 2 + 3 + 4 + 5 = 7 + 8.

Una forma fácil de calcular la cortesía de un número positivo es: descomponer el número en sus factores primos; tomar las potencias de cada uno de sus factores primos mayores que 2 y sumarle 1 a cada una de ellas; multiplicar los números así obtenidos entre sí; y por último, restar 1 al resultado así obtenido. Por ejemplo, 90 tiene cortesía 5 porque ; las potencias de 3 y de 5 son respectivamente 2 y 1, y por lo tanto, aplicando este método se obtiene que: .

Construcción de representaciones corteses a partir de divisores impares[editar]

Para ver la conexión entre divisores impares y representaciones de cortesía, supóngase que un número x tiene el divisor impar y > 1. Entonces y enteros consecutivos centrados en x/y (de modo que su valor promedio sea x/y) tienen x como su suma:

Algunos de los términos de esta suma pueden ser cero o negativos. Sin embargo, si un término es cero, se puede omitir y se pueden usar términos negativos para cancelar los positivos, lo que da lugar a una representación cortés de x. El requisito de que y > 1 corresponde al requisito de que una representación cortés tenga más de un término; aplicar la misma construcción para y = 1 solo conduciría a la representación trivial de un término x = x.

Por ejemplo, el número cortés x = 14 tiene un único divisor impar no trivial, 7. Por lo tanto, es la suma de 7 números consecutivos centrados en 14/7 = 2:

14 = (2 − 3) + (2 − 2) + (2 − 1) + 2 + (2 + 1) + (2 + 2) + (2 + 3).

El primer término, −1, cancela un +1 posterior, y el segundo término, cero, se puede omitir, lo que lleva a la representación cortés

14 = 2 + (2 + 1) + (2 + 2) + (2 + 3) = 2 + 3 + 4 + 5.

Por el contrario, toda representación cortés de x puede formarse a partir de esta construcción. Si una representación tiene un número impar de términos, x/ y es el término medio, mientras que si tiene un número par de términos y su valor mínimo es m puede extenderse en una forma única de obtener una secuencia más larga con la misma suma y un número impar de términos, al incluir los números 2m − 1−(m − 1), −(m − 2), ..., −1, 0, 1, ..., m − 2, m − 1. Después de esta extensión, nuevamente, x/y es el término medio. Mediante esta construcción, las representaciones corteses de un número y sus divisores impares mayores que uno se pueden colocar en una correspondencia uno a uno, dando una demostración biyectiva de la caracterización de números corteses y cortesía.[13]​[25]​ De manera más general, la misma idea da una correspondencia de dos a uno entre, por un lado, las representaciones como una suma de números enteros consecutivos (permitiendo cero, números negativos y representaciones de un solo término), y por otro lado, divisores impares (incluyendo 1).[15]​

Otra generalización de este resultado establece que para cualquier n, el número de particiones de n en números impares que tienen k valores distintos es igual al número de particiones de n en distintos números que tienen como máximo k series de números consecutivos.[13]​[26]​[27]​

En este caso, una ejecución es uno o más valores consecutivos, de modo que el siguiente valor consecutivo más grande y el siguiente más pequeño no forman parte de la partición; por ejemplo, la partición 10 = 1 + 4 + 5 tiene dos series, 1 y 4 + 5. Una representación cortés posee una sola serie, y una partición con un valor d es equivalente a una factorización de n como el producto d⋅(n/d), por lo que el caso especial k = 1 de este resultado establece nuevamente la equivalencia entre representaciones corteses y factores impares (incluida en este caso la representación trivial n = n y el factor impar trivial 1).

Números trapezoidales[editar]

Si una representación cortés comienza con 1, el número así representado es un número triangular

De manera más general, es la diferencia de dos números triangulares no consecutivos

En cualquier caso, se denomina número trapezoidal. Es decir, los números corteses son simplemente números trapezoidales. También se pueden considerar números corteses cuyas únicas representaciones corteses comienzan con 1. Los únicos de estos números son los números triangulares con un solo divisor impar no trivial, porque para estos números, de acuerdo con la biyección descrita anteriormente, el divisor impar corresponde a la representación triangular y no puede haber otras representaciones corteses. Por lo tanto, los números corteses cuya única representación cortés comience con 1 deben tener la forma de una potencia de dos multiplicada por un primo impar. Como observaron Jones y Lord,[12]​ hay exactamente dos tipos de números triangulares con esta forma:

  1. El número perfecto par 2n − 1 (2n − 1) formado por el producto de un número primo de Mersenne 2n − 1 por la mitad de la potencia de dos más cercana, y
  2. Los productos 2n − 1 (2n + 1) de un número de Fermat 2n + 1 por la mitad de la potencia más cercana de dos.

(sucesión A068195 en OEIS). Por ejemplo, el número perfecto 28 = 23 − 1 (23 − 1) y el número 136 = 24 − 1 (24 + 1) son ambos este tipo de número cortés. Se conjetura que hay infinitos números primos de Mersenne, en cuyo caso también hay infinitos números corteses de este tipo.

Referencias[editar]

  1. ↑ a b Adams, Ken (March 1993), «How polite is x?», The Mathematical Gazette 77 (478): 79-80, JSTOR 3619263, doi:10.2307/3619263 ..
  2. ↑ a b Griggs, Terry S. (December 1991), «Impolite Numbers», The Mathematical Gazette 75 (474): 442-443, JSTOR 3618630, doi:10.2307/3618630 ..
  3. ↑ Mason, John; Burton, Leone; Stacey, Kaye (1982), Thinking Mathematically, Addison-Wesley, ISBN 978-0-201-10238-3 ..
  4. ↑ Stacey, K.; Groves, S. (1985), Strategies for Problem Solving, Melbourne: Latitude ..
  5. ↑ Stacey, K.; Scott, N. (2000), «Orientation to deep structure when trying examples: a key to successful problem solving», en Carillo, J.; Contreras, L. C., eds., Resolucion de Problemas en los Albores del Siglo XXI: Una vision Internacional desde Multiples Perspectivas y Niveles Educativos, Huelva, Spain: Hergue, pp. 119-147, archivado desde el original el 26 de julio de 2008 ..
  6. ↑ Gamer, Carlton; Roeder, David W.; Watkins, John J. (1985), «Trapezoidal numbers», Mathematics Magazine 58 (2): 108-110, JSTOR 2689901, doi:10.2307/2689901 ..
  7. ↑ Jean, Charles-É. (March 1991), «Les nombres trapézoïdaux» (French), Bulletin de l'AMQ: 6-11 ..
  8. ↑ Haggard, Paul W.; Morales, Kelly L. (1993), «Discovering relationships and patterns by exploring trapezoidal numbers», International Journal of Mathematical Education in Science and Technology 24 (1): 85-90, doi:10.1080/0020739930240111 ..
  9. ↑ Feinberg-McBrian, Carol (1996), «The case of trapezoidal numbers», Mathematics Teacher 89 (1): 16-24 ..
  10. ↑ Smith, Jim (1997), «Trapezoidal numbers», Mathematics in School 5: 42 ..
  11. ↑ Verhoeff, T. (1999), «Rectangular and trapezoidal arrangements», Journal of Integer Sequences 2: 16, Bibcode:1999JIntS...2...16V, Article 99.1.6 ..
  12. ↑ a b Jones, Chris; Lord, Nick (1999), «Characterising non-trapezoidal numbers», The Mathematical Gazette 83 (497): 262-263, JSTOR 3619053, doi:10.2307/3619053 ..
  13. ↑ a b c d e Sylvester, J. J.; Franklin, F (1882), «A constructive theory of partitions, arranged in three acts, an interact and an exodion», American Journal of Mathematics 5 (1): 251-330, JSTOR 2369545, doi:10.2307/2369545 .. In The collected mathematical papers of James Joseph Sylvester (December 1904), H. F. Baker, ed. Sylvester defines the class of a partition into distinct integers as the number of blocks of consecutive integers in the partition, so in his notation a polite partition is of first class.
  14. ↑ Mason, T. E. (1911), «On the representations of a number as a sum of consecutive integers», Proceedings of the Indiana Academy of Science: 273-274 ..
  15. ↑ a b Mason, Thomas E. (1912), «On the representation of an integer as the sum of consecutive integers», American Mathematical Monthly 19 (3): 46-50, JSTOR 2972423, MR 1517654, doi:10.2307/2972423 ..
  16. ↑ Leveque, W. J. (1950), «On representations as a sum of consecutive integers», Canadian Journal of Mathematics 2: 399-405, MR 0038368, doi:10.4153/CJM-1950-036-3 .,
  17. ↑ Pong, Wai Yan (2007), «Sums of consecutive integers», College Math. J. 38 (2): 119-123, Bibcode:2007math......1149P, MR 2293915, arXiv:math/0701149 ..
  18. ↑ Britt, Michael J. C.; Fradin, Lillie; Philips, Kathy; Feldman, Dima; Cooper, Leon N. (2005), «On sums of consecutive integers», Quart. Appl. Math. 63 (4): 791-792, MR 2187932, doi:10.1090/S0033-569X-05-00991-1 ..
  19. ↑ Frenzen, C. L. (1997), «Proof without words: sums of consecutive positive integers», Math. Mag. 70 (4): 294, JSTOR 2690871, MR 1573264 ..
  20. ↑ Guy, Robert (1982), «Sums of consecutive integers», Fibonacci Quarterly 20 (1): 36-38, Zbl 0475.10014 ..
  21. ↑ Apostol, Tom M. (2003), «Sums of consecutive positive integers», The Mathematical Gazette 87 (508): 98-101, JSTOR 3620570 ..
  22. ↑ Prielipp, Robert W.; Kuenzi, Norbert J. (1975), «Sums of consecutive positive integers», Mathematics Teacher 68 (1): 18-21 ..
  23. ↑ Parker, John (1998), «Sums of consecutive integers», Mathematics in School 27 (2): 8-11 ..
  24. ↑ Graham, Ronald; Knuth, Donald; Patashnik, Oren (1988), «Problem 2.30», Concrete Mathematics, Addison-Wesley, p. 65, ISBN 978-0-201-14236-5  Parámetro desconocido |title-link= ignorado (ayuda)..
  25. ↑ Vaderlind, Paul; Guy, Richard K.; Larson, Loren C. (2002), The inquisitive problem solver, Mathematical Association of America, pp. 205-206, ISBN 978-0-88385-806-6 ..
  26. ↑ Andrews, G. E. (1966), «On generalizations of Euler's partition theorem», Michigan Mathematical Journal 13 (4): 491-498, MR 0202617, doi:10.1307/mmj/1028999609 ..
  27. ↑ Ramamani, V.; Venkatachaliengar, K. (1972), «On a partition theorem of Sylvester», The Michigan Mathematical Journal 19 (2): 137-140, MR 0304323, doi:10.1307/mmj/1029000844 ..

Enlaces externos[editar]

Obtenido de «https://es.wikipedia.org/w/index.php?title=Número_cortés&oldid=153844387»