miércoles, 9 de septiembre de 2015

Potencia de dos por quinta vez

Llegar a los $100000_{2}=200_{4}=40_{8}=20_{16}$ no ha sido tan sencillo, pero heme aquí.

Consultando el Number Gossip no veo propiedades interesantes de este número, excepto que probablemente sea la única potencia de dos tal que todos sus dígitos son primos, y su practicidad. Un número es práctico cuando cualquier número natural inferior a él puede expresarse como sumas de divisores distintos del mismo, y el $32$ lo es por casi obvias razones. De hecho, todas las potencias de $2$ son prácticas, pero no recíprocamente. El siguiente número práctico es el $36$, ¿llegaré a ser práctico por catorceava vez? No sé.

Me puse a pensar si el $32$ es la solución a algún problema combinatorio interesante, y ¡no me vino a la mente de inmediato que es el número de subconjuntos de un conjunto con $5$ elementos! Exprimiendo la OEIS, encuentro algunos más:
  • Es un número tal que su factorial menos uno es primo. Es decir, $32!-1 = 263130836933693530167218012159999999$ es primo (¡gracias, S. B. Ekhad, por el cálculo!). Esto me servirá para recordar un primo enorme.
  • Es el número de formas de colocar cuatro reyes que no se ataquen en un tablero cilíndrico de ajedrez de $4\times 4$.
  • Es el mínimo número tal que pueden elegirse $13$ números entre $\{1,2,3,\ldots,32\}$ de modo que no haya tres en progresión aritmética
  • Es el total de subconjuntos de las raíces $25$-avas de la unidad que suman $0$.
  • Es el número de clases de $h$-cobordismo de homotopía suave de las $n$-esferas para $n=32,33,41,48$ y $53$, hasta donde llega la OEIS. Me gusta la observación ahí plasmada del hecho de que para $n=3$ este valor sea $1$ significa que la conjetura de Poincaré ha sido demostrada.
P. D. Vean el pastel de la celebración.

P. D. 2. Mi hermanazo JHS me dió un excelente regalo de cumpleaños en los comentarios: entre los números de Fermat, $2^{2^{5}}+1 = 2^{32}+1$ es el menor que es compuesto, y esto lo demostró ¡nada menos que mi héroe, Leonhard Euler, en 1732! ¡Gracias! Y también por la corrección, pues había colocado el signo equivocado en el $1$ en una versión anterior de esta posdata.

sábado, 5 de septiembre de 2015

La constante de Arquímedes en acción (2)

Hace un mes la estancia donde enviamos a Ximenita hizo una "clausura". Nos pidieron cierto vestuario para algunos números musicales que presentarían los niños. Un conjunto, en particular, incluía una falda circular de satén rojo.

Una falda circular se construye a partir de una corona circular, tal que la circunferencia del círculo interior es igual a la medida de la cintura de quien la usará. Por supuesto, se parte de la hipótesis de que un corte transversal del cuerpo está razonablemente cerca de una circunferencia.

Lo interesante es que algunas guías para construir el patrón tratan de esquivar el cálculo del radio de círculo interior, y lo tantean usando la cinta métrica. Es realmente muy simple: si $C$ es la medida de la cintura, simplemente se divide entre $2\pi$ para encontrar el radio (hay que tener cuidado al hacerlo entre la calculadora, porque hacen falta unos paréntesis antes de poner $2\times \pi$). Luego a esta longitud se le suma la longitud de la falda mas alguna holgura (para el dobladillo y por si acaso), y con esos datos se pueden trazar los sectores de círculo en una tela doblada en cuatro.

Ange y yo encontramos un tutorial donde consideraba la posibilidad de mejorar el corte usando una corona elíptica. Lo curioso es que, sin un patrón, sería necesaria por lo menos la excentricidad promedio de las cinturas humanas para estimar los semiejes, o tener una manera de medir el "ancho" $2a$ de la persona para utilizar una fórmula aproximada como la de Ramanujan
\[ C = \pi(a+b)\left(1+\frac{3h^{2}}{10+\sqrt{4-3h^{2}}}\right)
\] donde $h=(a-b)/(a+b)$ para encontrar $b$ y trazar la curva. Hay que recordar que el cálculo de la circunferencia de una elipse es un problema nada trivial, que motivó estudiar ciertas integrales que precisamente recibieron el nombre de elípticas, y que resultó mucho muy fructífero.