Selectivo 51° IMO 2010 - Problema 3

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Caro - V3

Colaborador-Varias OFO - Jurado-OFO 2015
Mensajes: 357
Registrado: Sab 16 Oct, 2010 4:20 pm
Medallas: 2
Nivel: Exolímpico

Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por Caro - V3 »

Hallar todas las funciones [math] de los reales en los reales tales que
[math]
para todos [math] reales.
Guía de [math]: sirve para escribir ecuaciones como [math]
Avatar de Usuario
ésta

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2017 OFO - Jurado-OFO 2018
Mensajes: 300
Registrado: Sab 16 Oct, 2010 4:55 pm
Medallas: 4
Nivel: Ñandú

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por ésta »

Spoiler: mostrar
Veamos que [math] no puede ser constante, es decir [math] con [math] fijo para todo [math] real.
Supongamos que sí, reemplazamos [math] y queda,
[math].
Pero [math], absurdo.
Entonces [math] no es constante.

Reemplazando por [math],
[math].
Pero si [math], podemos pasar el segundo factor dividiendo y restando [math] nos queda:
[math].
Pero lo de la izquierda es constante, por lo tanto [math] es constante, absurdo.
Entonces [math].

Y reemplazando por [math] nuevamente, pero esta vez usando que [math],
[math].

Supongamos que [math], reemplazando [math],
[math].
Si [math] reemplazando [math],
[math] para todo [math] real, absurdo, pues [math] no es constante.

Sigue que [math].

Finalmente si reemplazamos [math], con [math]
[math].
Si [math],
de donde [math], absurdo.
Entonces podemos dividir por [math] y nos queda:
[math]
De donde [math]
Y despejando [math] en esto último nos queda [math]. Para todo [math] real distinto de [math], pero para [math] también se cumple esto, por lo tanto la única función que puede llegar a cumplir la condición es [math].

Y es fácil ver que esta función cumple ya que reemplazando nos queda
[math], que vale para todo [math] reales.
Imagen
Avatar de Usuario
Vladislao

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
FOFO Pascua 2017 - Jurado-FOFO Pascua 2017
Mensajes: 808
Registrado: Mar 28 Dic, 2010 3:26 pm
Medallas: 6
Nivel: Exolímpico
Ubicación: Córdoba

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por Vladislao »

Una medio parecida.
Spoiler: mostrar
En pasitos:

1) Veamos que [math] no es una constante. En efecto, si ponemos [math], la ecuación que nos dan equivale a:

[math]

Lo cual es imposible.

2) Reemplazando [math] en la ecuación dada, queda que:

[math]

Esa igualdad implicaría que [math] es constante, lo cual es imposible, por lo que lo que debe ser [math].

Entonces, en la ecuación original, si ponemos [math] y usamos que [math], obtenemos que [math]

3) Veamos que [math]. En efecto, supongamos que [math], entonces, reemplazando en la ecuación original [math] (es claro que podemos, porque esto es equivalente a reemplazar [math]), entonces nos queda que:

[math]

Como supusimos que [math], tenemos en realidad que:

[math]

Supongamos que [math]. Entonces, si en la última igualdad ponemos [math], queda que:

[math]

Pero si miramos el lado derecho, es claro que el segundo factor se anula, por lo cual la igualdad es imposible.

Luego [math] como queríamos.

4) Pongamos ahora [math], es lo mismo que simplemente hacer el reemplazo [math], en nuestra ecuación original tenemos que:

[math]

Como [math], entonces tenemos que alguno de los dos factores del lado derecho se anula. Si el segundo factor es nulo, debe ser [math], pero eso implica que el primer factor no está definido (pues tenemos un [math] en un denominador). Entonces el primer factor es nulo, es decir que:

[math]

Esto implica, por lo demostrado en el paso 3, que [math], es decir que [math], que es la solución que buscábamos. Es sencillo ver que cumple las condiciones del enunciado, por lo que la solución queda completa.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Nowhereman

FOFO 6 años - Mención Especial-FOFO 6 años
Mensajes: 65
Registrado: Mar 17 Mar, 2015 12:18 pm
Medallas: 1
Nivel: 3

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por Nowhereman »

Spoiler: mostrar
Ya habiendo probado que $f$ es no constante y que $f(-1)+\frac{1}{2}=0$, tomamos $x=-1$ en la ecuación original. Nos queda que $f(-1-y+f(y))=0$, si $f(y)-y-1$ recorre todos los reales entonces $f(-1-y+f(y))$ no puede ser constante dado a que se probó que $f$ no es constante y tendremos un absurdo.

Por lo tanto $f(y)-y-1=k$ una constante y $f(y)=y+1+k$.

Reemplazando lo obtenido en la ecuacion original nos quedara que:

$x+xy+y+2k+2=[x+(k+\frac{3}{2})][x+(k+\frac{3}{2})]$, y tomando $x=y=0$ nos queda que

$2k+2=(k+\frac{3}{2})(k+\frac{3}{2})\Rightarrow 0=k^2+k+\frac{1}{4}$, donde $k$ sera igual a $-\frac{1}{2}$. por lo tanto $f(y)=y+\frac{1}{2}$.
jujumas

OFO - Mención-OFO 2015 OFO - Medalla de Plata-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Oro perfecto-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 2017
FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019
FOFO 9 años - Jurado-FOFO 9 años OFO - Jurado-OFO 2020 COFFEE - Jurado-COFFEE Ariel Zylber
Mensajes: 402
Registrado: Dom 26 Oct, 2014 8:30 pm
Medallas: 13
Nivel: Exolímpico

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por jujumas »

Nowhereman escribió: Mar 28 Nov, 2017 4:13 pm
Spoiler: mostrar
Ya habiendo probado que $f$ es no constante y que $f(-1)+\frac{1}{2}=0$, tomamos $x=-1$ en la ecuación original. Nos queda que $f(-1-y+f(y))=0$, si $f(y)-y-1$ recorre todos los reales entonces $f(-1-y+f(y))$ no puede ser constante dado a que se probó que $f$ no es constante y tendremos un absurdo.

Por lo tanto $f(y)-y-1=k$ una constante y $f(y)=y+1+k$.

Reemplazando lo obtenido en la ecuacion original nos quedara que:

$x+xy+y+2k+2=[x+(k+\frac{3}{2})][x+(k+\frac{3}{2})]$, y tomando $x=y=0$ nos queda que

$2k+2=(k+\frac{3}{2})(k+\frac{3}{2})\Rightarrow 0=k^2+k+\frac{1}{4}$, donde $k$ sera igual a $-\frac{1}{2}$. por lo tanto $f(y)=y+\frac{1}{2}$.
Spoiler: mostrar
Fijate que el hecho de que $f(y)-y-1$ no recorra todos los reales no necesariamente implica que $f(y)-y-1$ es constante.
jujumas

OFO - Mención-OFO 2015 OFO - Medalla de Plata-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Oro perfecto-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 2017
FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019
FOFO 9 años - Jurado-FOFO 9 años OFO - Jurado-OFO 2020 COFFEE - Jurado-COFFEE Ariel Zylber
Mensajes: 402
Registrado: Dom 26 Oct, 2014 8:30 pm
Medallas: 13
Nivel: Exolímpico

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por jujumas »

Una corta:
Spoiler: mostrar
$y=-1$ nos da que $f(f(-1))=(f(x)+\frac{1}{2})(f(-1)+\frac{1}{2})$, por lo que $f(-1)+\frac{1}{2}=0$ o $f$ es constante, pero reemplazando $f$ por una constante en la ecuación original obtenemos que $c^2+\frac{1}{4}=0$. Absurdo. Luego, $f(-1)=\frac{1}{2}$. Volviendo al mismo reemplazo, tenemos que $f(-\frac{1}{2})=0$.

Reemplazando ahora $x=0$, $y=-\frac{1}{2}$, tenemos que $f(0)=\frac{1}{2}(f(0)+\frac{1}{2})$, por lo que $f(0)=\frac{1}{2}$.

Reemplazando $y=0$ en la ecuación original, tenemos que $f(x+\frac{1}{2})=f(x)+\frac{1}{2}$ para todo $x$.

Supongamos ahora que existe un $k\neq -1$ tal que $f(k)=-\frac{1}{2}$.

Reemplazando $x=k$, $y=\frac{-k}{k+1}$ en la ecuación original, tenemos que $f(k+k\frac{-k}{k+1}+f(\frac{-k}{k+1}))=0$, por lo que $f(\frac{k}{k+1}+f(\frac{-k}{k+1}))=0$.

Reemplazando $x=-1$, $y=\frac{-k}{k+1}$ en la ecuación original, tenemos que $f(-1-\frac{-k}{k+1}+f(\frac{-k}{k+1}))=0$, por lo que $f(-1+\frac{k}{k+1}+f(\frac{-k}{k+1}))=0$, pero luego $f(-\frac{1}{2}+\frac{k}{k+1}+f(\frac{-k}{k+1}))=\frac{1}{2}$ y $f(\frac{k}{k+1}+f(\frac{-k}{k+1}))=1$. Absurdo.

Luego, el único $k$ tal que $f(k)=-\frac{1}{2}$ es $-1$.

Análogamente, podemos concluir que si $f(n)=0$, con $n\neq -\frac{1}{2}$, entonces $f(n-\frac{1}{2} + \frac{1}{2}) = 0 = f(n-\frac{1}{2}) + \frac{1}{2}$, pero esto sería contradictorio con la afirmación de que el único $k$ tal que $f(k)=-\frac{1}{2}$ es $-1$. Absurdo.

Por último, tomando $x=-1$ tenemos que $f(-1-y+f(y))=0$, por lo que $-1-y+f(y)=-\frac{1}{2}$ y $f(y)=y+\frac{1}{2}$, y es facil ver que esto verifica.
Nowhereman

FOFO 6 años - Mención Especial-FOFO 6 años
Mensajes: 65
Registrado: Mar 17 Mar, 2015 12:18 pm
Medallas: 1
Nivel: 3

Re: Selectivo 51° IMO 2010 - Problema 3

Mensaje sin leer por Nowhereman »

jujumas escribió: Vie 27 Abr, 2018 4:59 pm
Nowhereman escribió: Mar 28 Nov, 2017 4:13 pm
Spoiler: mostrar
Ya habiendo probado que $f$ es no constante y que $f(-1)+\frac{1}{2}=0$, tomamos $x=-1$ en la ecuación original. Nos queda que $f(-1-y+f(y))=0$, si $f(y)-y-1$ recorre todos los reales entonces $f(-1-y+f(y))$ no puede ser constante dado a que se probó que $f$ no es constante y tendremos un absurdo.

Por lo tanto $f(y)-y-1=k$ una constante y $f(y)=y+1+k$.

Reemplazando lo obtenido en la ecuacion original nos quedara que:

$x+xy+y+2k+2=[x+(k+\frac{3}{2})][x+(k+\frac{3}{2})]$, y tomando $x=y=0$ nos queda que

$2k+2=(k+\frac{3}{2})(k+\frac{3}{2})\Rightarrow 0=k^2+k+\frac{1}{4}$, donde $k$ sera igual a $-\frac{1}{2}$. por lo tanto $f(y)=y+\frac{1}{2}$.
Spoiler: mostrar
Fijate que el hecho de que $f(y)-y-1$ no recorra todos los reales no necesariamente implica que $f(y)-y-1$ es constante.

Si me había dado cuenta un tiempo después de hacerlo, supongo que uno va aprendiendo de los errores :D .
Responder