Problema 3 Selectivo de IMO 2008

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
Nacho

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016
Mensajes: 563
Registrado: Dom 17 Oct, 2010 10:28 pm
Medallas: 3
Nivel: Exolímpico

Problema 3 Selectivo de IMO 2008

Mensaje sin leer por Nacho »

Hallar todas las funciones $f:\mathbb{R}^+\to \mathbb{R}^+$ tales que$$x^2(f(x)+f(y))=(x+y)f(f(x)y)$$para todos $x,y\in \mathbb{R}^+$.
"Though my eyes could see I still was a blind man"
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: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por ésta »

Spoiler: mostrar
Con [math], [math] obtenemos,
[math] de donde [math].
Ahora con [math], [math]
[math] dividiendo por [math] que sabemos que no es [math], queda
[math] pero las soluciones de esta cuadrática son [math] y [math] y como [math] es positivo se sigue que [math].
Con [math] se tiene,
[math] despejando se sigue que [math].
Y es fácil ver que esta función anda.
1  
Imagen
Avatar de Usuario
julianferres_

OFO - Medalla de Bronce-OFO 2015 OFO - Medalla de Plata-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Mención-OFO 2021
Mensajes: 388
Registrado: Sab 17 Sep, 2011 8:01 pm
Medallas: 4
Nivel: Exolímpico
Ubicación: Villa Ramallo, Buenos Aires

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por julianferres_ »

Sel IMO 2008 P3.pdf
No tienes los permisos requeridos para ver los archivos adjuntos a este mensaje.
tuvie

Colaborador-Varias OFO - Medalla de Oro-OFO 2015 OFO - Medalla de Oro-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Jurado-OFO 2017
FOFO 7 años - Jurado-FOFO 7 años OFO - Jurado-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019
OFO - Jurado-OFO 2020 FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 OFO - Jurado-OFO 2021 OFO - Jurado-OFO 2022
Mensajes: 630
Registrado: Dom 09 Sep, 2012 11:58 am
Medallas: 14
Nivel: Exolímpico

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por tuvie »

Spoiler: mostrar
Sea [math].

Poniendo en la ecuación dada [math], nos queda que [math] para todo [math].

Supongamos que existan dos reales positivos distintos que satisfacen [math] y [math]. Poniendo [math] y [math] nos queda que [math], entonces [math] para todos [math] e [math] reales positivos, pero también [math] y utilizando esto en la ecuación nos queda que [math], pero como el lado derecho es mayor a [math], nos queda que [math], que verifica la ecuación inicial.
2  
Avatar de Usuario
Chino2000

OFO - Medalla de Plata-OFO 2017 FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Plata-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 OFO - Jurado-OFO 2021
Mensajes: 43
Registrado: Mar 09 Dic, 2014 10:18 pm
Medallas: 9
Nivel: 1

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por Chino2000 »

Spoiler: mostrar
Primero, reemplazamos [math], nos queda
[math]
Ahora, supongamos que existen dos reales [math] tal que [math] y que [math]
Entonces reemplazamos [math] [math] y nos queda
2a^2f(a)=(a+b)f(f(a)b)
"Inventamos" un [math] multiplicando en el primer termino y pasamos dividiendo [math], tal que se cancela con [math] gracias a lo que obtuvimos en el primer reemplazo. Nos queda:
[math]
[math]
[math]
Las dos soluciones de esta cuadrática son [math] y [math], pero la segunda queda descartada ya que [math] y [math] son positivos.
Entonces [math], o sea que [math], pero en un principio dijimos que eran diferentes, por lo tanto entramos en un absurdo, y concluimos en que la función es inyectiva.
Reemplazamos [math] en la primer ecuación de esta solucion, y sabiendo que la función es inyectiva, tenemos que [math]
Por ultimo, reemplazamos [math] en la ecuación inicial del enunciado y nos queda que [math], comprobamos que esta cumple y terminado el problema :D
No lo olvides: el 49 no es primo :lol:
Avatar de Usuario
Matías V5

Colaborador-Varias OFO - Jurado-OFO 2015 OFO - Jurado-OFO 2016 FOFO 6 años - Jurado-FOFO 6 años OFO - Jurado-OFO 2017
OFO - Jurado-OFO 2018 OFO - Jurado-OFO 2020 OFO - Jurado-OFO 2021
Mensajes: 1126
Registrado: Dom 17 Oct, 2010 4:44 pm
Medallas: 8
Nivel: Exolímpico

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por Matías V5 »

Chino2000 escribió:
Spoiler: mostrar
Las dos soluciones de esta cuadrática son [math] y [math]
Querrás decir [math] y [math] :D
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!

Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
MathIQ

OFO - Medalla de Bronce-OFO 2023 OFO - Medalla de Plata-OFO 2024
Mensajes: 106
Registrado: Dom 17 Jul, 2022 11:59 pm
Medallas: 2
Nivel: 2

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por MathIQ »

Spoiler: mostrar
Sí $x = 1$ en la ecuación inicial, entonces: $f(1) + f(y) = (1 + y)f(f(1)y)$ (1)
Sí $y = 1$ en (1) $\Rightarrow$ $2f(1) = 2f(f(1))$, de dónde sale que $f(1) = f(f(1))$
Sí $x = f(1)$ y $y = 1$ en la ecuación inicial, entonces:$f(1)^2(f(1) + f(1)) = (f(1) + 1)f(f(1) + 1)$, de dónde sale que $2f(1)^3 = f(1)^2 + f(1)$, de dónde $f(1) = 1$, $f(1) = 0$ ó $f(1) = -\frac{1}{2}$, de dónde $f(1) = 1$, ya que se le asigna un valor real positivo.
Por la ecuación (1), sabemos que $f(x) + 1 = f(x) + xf(x)$, resolviendo obtenemos que $f(x) = \frac{1}{x}$
Comprobemos en la ecuación inicial:
$x^2( \frac{1}{x} + \frac{1}{y}) = (x + y)f(\frac{1}{x}y)$
$x^2 . \frac{1}{x} + x^2 . \frac{1}{y} = (x + y)f(\frac{y}{x})$
$x + \frac{x^2}{y} = (x + y) . \frac{1}{\frac{y}{x}}$
$x + \frac{x^2}{y} = \frac{x + y}{\frac{y}{x}}$
$(x + \frac{x^2}{y}) . \frac{y}{x} = x + y$
$x . \frac{y}{x} +\frac{x^2}{y} . \frac{y}{x} = x+ y$
$x + y = x + y$
El gran Filipikachu;

OFO - Medalla de Bronce-OFO 2021 FOFO 11 años - Mención-FOFO 11 años OFO - Medalla de Plata-OFO 2022 FOFO Pascua 2022 - Mención-FOFO Pascua 2022 FOFO 12 años - Medalla-FOFO 12 años
OFO - Medalla de Plata-OFO 2023 FOFO 13 años - Copa-FOFO 13 años OFO - Medalla de Oro-OFO 2024 FOFO Pascua 2024 - Copa-FOFO Pascua 2024
Mensajes: 53
Registrado: Dom 13 Dic, 2020 12:33 pm
Medallas: 9
Nivel: 3

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por El gran Filipikachu; »

Traigo una solución un poco distinta
Spoiler: mostrar
Solo porque no tenía ganas de resolver cuadráticas
Spoiler: mostrar
Sea $P(x, y)$ la proposición del enunciado.
Notemos que si dejamos fijo $y$, podemos considerar $P(x, y)$ como un polinomio en $x$, pero para eso necesitamos que $f(x)$ no varíe al considerar distintos $x$.

Entonces, supongamos que existen $a, b, c$ tal que $f(a)=f(b)=f(c)$. Por lo tanto
$f(x)+f(y)=m$ tomará valores iguales al reemplazar $x$ con $a, b, c$. Lo mismo ocurre con $f(f(x)y))=n$.
Como una cuadrática tiene a lo sumo $2$ raíces reales y $P(x)=mx²-nx-yn$ se anula en $3$ valores, tenemos que hay como mucho $2$ números distintos entre $a, b, c$.

Ahora, $P(x, x)$ da que $f(xf(x))=xf(x) \forall x \in \mathbb{R^+}$, es decir que $xf(x)$ es un punto fijo.

Notemos que si $p$ es un punto fijo, entonces $P(p, p)$ da que $p²$ es un punto fijo.
Supongamos entonces que $p=xf(x)≠1$ para algún $x$. Entonces, como $p^{(2^k)}$ es punto fijo para todo $k$, tendremos infinitos puntos fijos.

Tomemos ahora $4$ puntos fijos distintos $p, q, r, s$.
$P(p, q)$ nos da $f(pq)=p²$. Análogamente $P(p, r)$ y $P(p, s)$ nos dan $f(pr)=f(ps)=p²$.
Por lo tanto, $f(pq)=f(pr)=f(ps)$ y por lo que demostramos antes tenemos que hay al menos dos entre $(pq, pr, ps)$ que son iguales. Pero esto es absurdo ya que $q, r, s$ son distintos.

Este absurdo vino de suponer que $xf(x)≠1$, por lo que tenemos que $f(x)=\frac{1}{x}$ para todo $x$ real positivo y es fácil verificar que funciona.
Avatar de Usuario
drynshock

FOFO 13 años - Mención-FOFO 13 años OFO - Medalla de Bronce-OFO 2024 FOFO Pascua 2024 - Copa-FOFO Pascua 2024
Mensajes: 791
Registrado: Sab 21 May, 2022 12:41 pm
Medallas: 3
Nivel: 3
Contactar:

Re: Problema 3 Selectivo de IMO 2008

Mensaje sin leer por drynshock »

Básicamente lo mismo que ya hicieron:
Spoiler: mostrar
$x^2[f(x) + f(y)] = [x+y]f(f(x)y)$

Tomando $x = 1$ obtenemos $1: \boxed{f(1) + f(y) = [1+y]f(f(1)y)}$. Ahora si $y = 1$ nos queda $2f(1) = 2f(f(1)) \Rightarrow 2: \boxed{f(1) = f(f(1))}$

Ahora si en la ecuacion original reemplazamos $x = f(1), y = 1$:
$$f^2(1)[f(f(1)) + f(1)] = [f(1)+1]f(f(f(1))) \Rightarrow f^2(1)[f(1) + f(1)] = [f(1) + 1]f(1)$$

Dado que la función va de $\mathbb R^+ \rightarrow \mathbb R^+$ entonces sabemos que $f(1) > 0$, luego $f(1)[2f(1)] = f(1) + 1 \Rightarrow 2f^2(1) - f(1) -1 = 0 \Rightarrow f(1) = 1 \vee f(1) = - \frac{1}{2}$ pero como dijimos que $f(1) > 0 \Rightarrow \boxed{f(1) = 1}$

Entonces, si remplazamos en "$1$" $f(1) = 1$ obtenemos: $1 + f(y) = [1+y]f(y) \Rightarrow 1 + f(y) = f(y) + yf(y) \Rightarrow \boxed{f(y) = \frac{1}{y}}$.
@Bauti.md ig
First place is winning, anything else is losing.
"Alexandra Trusova"
Responder