tag:blogger.com,1999:blog-444408592833092365.post4087436433408602424..comments2023-06-29T04:02:58.043-06:00Comments on México rumbo a la IMO: Problema del día martesDavid (sirio11)http://www.blogger.com/profile/13765612869477578855noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-444408592833092365.post-68586256624645328372016-05-31T00:25:57.760-05:002016-05-31T00:25:57.760-05:00Correción: Las que dicen $(x)$ son en realidad $\m...Correción: Las que dicen $(x)$ son en realidad $\mathrm{Erd}(x)$.Arielhttps://www.blogger.com/profile/01448135590361074114noreply@blogger.comtag:blogger.com,1999:blog-444408592833092365.post-43528135179819015852016-05-31T00:24:42.624-05:002016-05-31T00:24:42.624-05:00Supongamos que sí existe tal función. Para cada $n...Supongamos que sí existe tal función. Para cada $n$, denotemos $\mathrm{Exc}(n)$ al conjunto de los enteros $x$ tales que $T^n(x) = x$, pero $T^k(x) \neq x$ para todo $k \: \textless \: n$, entonces los conjuntos $\mathrm{Exc}(1), \mathrm{Exc}(2), \dots$ son disjuntos dos a dos. Además, para cada $x$ tal que $T^k(x) = x$ para algún $k$, existe un único $d$ tal que $x \in \mathrm{Exc}(d)$ (basta tomar el mínimo $m$ que satisface $T^m(x) = x$). Denotamos este $d$ por $\mathrm{Erd}(x)$. <br /><br />Ahora, denotemos por $\mathrm{Id}(n)$ al conjunto de enteros tales que $T^n(x) = x$. Entonces $\mathrm{Erd}(x)$ existe para cada $x \in \mathrm{Id}(n)$. Escribiendo $n = k\mathrm{Erd}(x) + r$ con $0 \leq r \: \textless \: \mathrm{Erd}(x)$ se sigue que $r = 0$ o $T^r(x) = x$. La segunda opción contradice el hecho de que $x \in \mathrm{Exc}(\mathrm{Erd}(x))$, y entonces $r = 0$, y $\Erd(x) \mid n$. Similarmente, $x \in \mathrm{Id}(n)$ siempre que $\Erd(x) \mid n$. Ya que los conjuntos $\mathrm{Exc}(n)$ son disjuntos dos a dos se sigue que<br /><br />$$P(n) = \vert \mathrm{Id}(n) \vert = \sum_{d \mid n} \vert \mathrm{Exc}(d) \vert$$<br /><br />Ahora, para todo $x \in \mathrm{Exc}(n)$, definimos $\mathrm{Orb}(x) = \{x, T(x), T^2(x), \dots, T^{n - 1}(x)\}$. Estos números son todos distintos por definición, y además, $y \in \mathrm{Orb}(x)$ si y solo si existe un $k$ tal que $T^k(y) = x$, y entonces $\mathrm{Orb}(x) = \mathrm{Orb}(y)$. Se sigue que los conjuntos $\mathrm{Orb}(x)$ forman una partición de $\Exc(n)$, y ya que todos tienen cardinalidad igual a $n$, se sigue que $n \mid \vert \mathrm{Exc}(n) \vert$.<br /><br />Ahora, fijamos un primo $p$. Para todo primo $q$ tenemos que<br /><br />$$P(pq) = \vert \mathrm{Exc}(pq) \vert + \vert \mathrm{Exc}(p) \vert + \vert \mathrm{Exc}(q) \vert + \vert \mathrm{Exc}(1) \vert$$ <br /><br />$$\equiv \vert \mathrm{Exc}(p) \vert + \vert \mathrm{Exc}(1) \vert = \vert \mathrm{Id}(p) \vert = P(p) \pmod{q}$$<br /><br />Y luego $q \mid P(pq) - P(p)$. Además, $q \mid pq \mid P(pq) - P(0)$, y de aquí se sigue que $q \mid P(0) - P(p)$. Ya que $q$ puede ser cualquier primo, se sigue que $P(p) = P(0)$. Variando $p$ deducimos que $P(x) = P(0)$ para infinitos valores de $x$, imposible pues $P$ no es constante.Arielhttps://www.blogger.com/profile/01448135590361074114noreply@blogger.comtag:blogger.com,1999:blog-444408592833092365.post-1739526111730345062016-05-31T00:23:41.038-05:002016-05-31T00:23:41.038-05:00Este comentario ha sido eliminado por el autor.Arielhttps://www.blogger.com/profile/01448135590361074114noreply@blogger.comtag:blogger.com,1999:blog-444408592833092365.post-90937267281312577042016-05-31T00:19:42.120-05:002016-05-31T00:19:42.120-05:00Este comentario ha sido eliminado por el autor.Arielhttps://www.blogger.com/profile/01448135590361074114noreply@blogger.com