23 votos

¿Si $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, entonces $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$?

Pregunta: ¿Para cada par $k\ge 4$, es cierta la siguiente $(\star)$?

$$\begin{align}\text{Si $\beta=0.{a_1}^{k}{a_2}^{k}{a_3}^{k}\cdots\in\mathbb Q$, entonces $\alpha=0.a_1a_2a_3\cdots\in\mathbb Q$.}\qquad(\star)\end{align}$$

Aquí, $a_i$ es el lugar decimal $i$ de $\alpha$.

Ejemplo: Para $k=2, \alpha=0.12345,$ tenemos $\beta=0.1491625.$

Motivación: He podido demostrar que la respuesta es NO para $k=2$, y que la respuesta es para cada impar $k\ge 3$. La respuesta parece ser SÍ para cualquier $k\ge 3$, pero estoy teniendo dificultades para tratar a cada par $k$ en general. ¿Alguien puede ayudar?

Actualización: Posteé en MO.

P.D. Los siguientes son los contraejemplos para $k=2$. $$\alpha=0.2372377237772377772377777\cdots\Rightarrow \beta=\overline{0.49}.$$ $$\alpha=0.1842184242184242421842424242\cdots\Rightarrow \beta=\overline{0.164}.$$ $$\alpha=0.183423471831834234718318318342347\cdots\Rightarrow \beta=\overline{0.1649}.$$

3voto

Hagen von Eitzen Puntos 171160

El problema general es el siguiente: Se nos da un alfabeto (finito) $\Sigma$ y un mapa $f\colon \Sigma\to\Sigma ^*$. A través de $a_1a_2\cdots \mapsto f(a_1)f(a_2)\cdots $ podemos extender $f$ al conjunto $\Sigma^*$ de palabras, e incluso al conjunto $\Sigma^\omega$ de cadenas infinitas sobre el alfabeto $\Sigma$.

Para $v,w\in\Sigma^*$ introducimos la relación 'es sufijo de': $$ v\preceq w\iff \exists u\in \Sigma^*\colon uv=w$$

La pregunta es:

P: ¿Es posible que $\alpha\in\Sigma^\omega$ sea eventualmente periódico, pero $\alpha$ no lo sea?

La respuesta depende de $f$, por supuesto. Supongamos que $f$ tiene la siguiente propiedad:

Propiedad X. Si $a,b\in\Sigma$, $w\in\Sigma^*$, $f(a)\preceq f(b)\preceq f(wa)$, entonces $a=b$.

Ahora supongamos que $\alpha\in\Sigma^\omega$ no es eventualmente periódico y $f(\alpha)$ es eventualmente periódico. Digamos, para $p>0$ tenemos que $f(\alpha)_n=f(\alpha)_{n+p}$ para todo $n>N$. Para cada $n\in\Bbb N$ con $|f(\alpha_1\cdots\alpha_{n-1})|>N$, definimos $\phi(n)=\langle \alpha_n,|f(\alpha_1\cdots\alpha_{n})|\bmod p\rangle$. Dado que $\phi$ toma solo valores finitos, algún valor $\langle a_0,r_0\rangle$ ocurre infinitamente veces. Entonces, por la propiedad X, para todos los $n$ con $\phi(n)=\langle a_0,r_0\rangle$, $\phi(n-1)$ es indefinido o siempre toma el mismo valor $\langle a_1,r_1\rangle$. Repitiendo el argumento, para todos esos $n$, $\phi(n-2)$ es indefinido o toma el mismo valor $\langle a_2,r_2\rangle$, y así sucesivamente. De nuevo, por finitud, en algún momento encontraremos $\langle a_i,r_i\rangle=\langle a_j,r_j\rangle$ con $i< j. A partir de entonces, tendremos $\langle a_{i+k},r_{i+k}\rangle=\langle a_{j+k},r_{j+k}\rangle$ para todo $k\ge 0$ y por lo tanto $\alpha$ será eventualmente periódico.

Así que hemos demostrado:

Si $f$ tiene la propiedad X, entonces la respuesta a la pregunta P es "no".

Ahora necesitamos verificar si la propiedad X se cumple en el caso específico donde $\Sigma=\{0,1,2,3,4,5,6,7,8,9\}$ y $f(a)$ es la representación decimal del número $a^k$. Para $k$ impar esto es claro porque $\phi(10)=4$ y por lo tanto $a^k\equiv b^k\pmod{10}$ implica $a\equiv b\pmod{10}$, es decir, $f(a)\preceq f(b)$ ya implica $a=b$.

Para $k=2$, los $f(a)$ son $$0,1,4,9,16,25,36,49,64,81 $$ y vemos que $f(3)$ es sufijo de $f(7)$ y también $f(7)$ es sufijo de $f(23)$. Por lo tanto, aquí la propiedad X no se cumple (y de hecho la respuesta a la pregunta P es "sí", como se muestra al dejar que $\alpha$ sea una concatenación de $23$ y $7$ en un patrón no repetitivo.

Para $k=4$, los $f(a)$ son $$0,1,16,81,256,625,1296,2401,4096,6561$$ Solo $f(1)$ es sufijo de otros $f(a)$, a saber, de $f(3)$, $f(7)$, $f(9)$. Pero (por inspección) ni $8$ ni $240$ ni $656$ se pueden obtener como sufijo de algún $f(w)$. Por lo tanto, la propiedad X se cumple.

Para $k=6$, los $f(a)$ son $$ 0, 1, 64, 729, 4096, 15625, 46656, 117649, 262144, 531441.$$ Nuevamente, solo $f(1)$ es un sufijo (y este será el caso para todos los exponentes pares), pero solo de $f(9)$ y $53144$ no es obtenible como sufijo de algún $f(w)$. Por lo tanto, la propiedad X se cumple.

Para $k=8$, tenemos $$0,1, 256, 6561, 65536, 390625, 1679616, 5764801, 16777216, 43046721$$ y solo necesitamos verificar que $656$, $576480$, $4304672$ no son obtenibles como sufijo. Verificar.

La conjetura principal es

Conjetura 1. La propiedad X se cumple para todos los $k\ge 3$.

También tenemos una conjetura secundaria

Conjetura 2. Si $k\ge 3$ y $f(a)$ es un sufijo de $f(b)$ para dos dígitos $a,b$, entonces $a=b$ o $a=1$.

Algo de trabajo en esto: Tomemos $0\le a

Para un dado $2\le a75$. (Para un ejemplo específico: con $a=2, b=8$, tenemos $m_0=2$, $m_1=4$, $m_2=76$, $m_3=15936395277450702718847601312677127001857150683576647$). También, se verifica que $p(a,b,75)\ge4235164736271501695341612503398209810256958007812500$ para todos estos $(a,b)$. Esto muestra que la conjetura 2 se cumple para $k\le 4235164736271501695341612503398209810256958007812500$.

Para mostrar la conjetura 1 para el mismo rango de $k$, es suficiente investigar si se puede construir $\frac{b^k-1}{10}$ para esos $b>1$ con $b^k\equiv 1\pmod{10}$.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X