Selectivo IMO 2015 - Problema 3

Problemas que aparecen en el Archivo de Enunciados.
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

Selectivo IMO 2015 - Problema 3

Mensaje sin leer por Vladislao »

Hallar todas las funciones que satisfacen:$$f(xy-1)+f(x)f(y)=2xy-1$$para todos $x,y\in \mathbb{R}$.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Avatar de Usuario
JPablo
Mensajes: 360
Registrado: Lun 25 Mar, 2013 9:00 pm
Nivel: Exolímpico

Re: Selectivo IMO 2015 - Problema 3

Mensaje sin leer por JPablo »

Hint:
Spoiler: mostrar
Hallar [math], [math] y los posibles valores de [math], y separar en casos. Hay una forma de relacionar [math] con [math] :D
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 IMO 2015 - Problema 3

Mensaje sin leer por ésta »

Spoiler: mostrar
Si reemplazamos [math] queda:
[math].
Si [math], podemos despejar [math] y queda:
[math]
Luego [math] es constante, pero reemplazando [math] en la ecuacion queda el lado izquierdo constante y el derecho no. Absurdo.
Entonces [math].

Volviendo a [math] usando que [math] ahora queda [math].
Ahora reemplazando [math] queda:
[math].
Luego [math] o [math].

Si [math],
Reemplazando por [math], [math] queda:
[math].
Luego [math] (1).

Desde ahora [math].
Reemplazando por [math] queda:
[math].
En particular, [math].
Luego [math] (2).

Luego si miramos [math], usando (1) obtenemos:
[math].
Y usando (2) tenemos:
[math] (3).

Ahora reemplazamos [math] (notando que [math]), queda:
[math].
Usando (3) queda:
[math].
[math].
[math].
[math].
[math].
Luego la única solución para [math] es [math] y es fácil ver que funciona.

El caso [math] queda como ejercicio al lector.
Imagen
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Selectivo IMO 2015 - Problema 3

Mensaje sin leer por Emerson Soriano »

Spoiler: mostrar
En primer lugar recordemos la ecuación funcional clásica de Cauchy: Si [math], para cualesquiera reales [math], entonces [math], para todo [math] y [math] constante.

Con respecto al problema, si [math], entonces [math], para todo real [math]. Note que si [math], entonces [math], es decir, existe una constante [math] tal que [math], para todo real [math], pero reemplazando en la ecuación original se observa que [math], para todo reales [math], lo cual es absurdo. Por lo tanto, [math].

Por otro lado, para [math], llegamos a que [math], es decir, [math] o [math], por eso analizaremos dos casos:

Primer Caso: Si [math], hacemos [math] en la ecuación original y llegamos a que [math], para todo real [math]. Luego, por [math] se sabe que [math], para todo reales [math], y esta ecuación al compararla con la original llegamos a que [math], para todo reales [math]. Por lo tanto, [math], para todo [math] real y alguna constante [math]. Por [math] también podemos ver que [math], es decir, [math], pero por [math] tenemos que [math], por lo tanto [math], en consecuencia, [math], para todo real [math].

Segundo Caso: Si [math], entonces haciendo [math] en la ecuación original llegamos a que [math], luego, según [math] sabemos que [math], para todo reales [math], y esta última ecuación al compararla con la original, llegamos a que [math], para todo reales [math]. Hagamos [math], notemos que [math], para todo reales [math], por lo tanto [math], es decir, [math], para todo real [math] y alguna constante [math]. Notemos en [math] que [math], o sea, [math], luego por [math] tenemos que [math], por lo tanto [math], en consecuencia, [math], para todo real [math].
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 IMO 2015 - Problema 3

Mensaje sin leer por Vladislao »

Emerson Soriano escribió:En primer lugar recordemos la ecuación funcional clásica de Cauchy: Si [math], para cualesquiera reales [math], entonces [math], para todo [math] y [math] constante.
Eso no es cierto.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Selectivo IMO 2015 - Problema 3

Mensaje sin leer por Emerson Soriano »

falta la continuidad?
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 IMO 2015 - Problema 3

Mensaje sin leer por Vladislao »

Emerson Soriano escribió:falta la continuidad?
No importa qué es lo que hace falta (en realidad es muy sutil/avanzado: que [math] sea medible)... Sólo saber que el argumento apoyado en la afirmación que hiciste no sirve.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
lucasdeamorin

FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Jurado-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 COFFEE - Jurado-COFFEE Matías Saucedo
OFO - Jurado-OFO 2020 COFFEE - Jurado-COFFEE Ariel Zylber OFO - Jurado-OFO 2021 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022
Mensajes: 93
Registrado: Dom 22 Dic, 2013 9:17 pm
Medallas: 9
Nivel: Otro

Re: Selectivo IMO 2015 - Problema 3

Mensaje sin leer por lucasdeamorin »

Solucion mas feita:
Spoiler: mostrar
Fijemonos que tomando y=0 queda : [math] [math] es costante o [math]
Es facil ver que la constante no cumple lo pedido [math] [math] [math] [math]
Tomando x=y=1 se llega a [math] [math] [math] [math] hay dos casos:

CASO 1: [math]:
Tomando x=1 se llega[math] (1) [math]como para 1 la funcion vale 1,[math] [math]Tomemos un t racional[math]vale que t=p/q para algunos [math],p [math] [math]tomemos x=p/q e y=q:[math]
[math] [math]
Tomemos y=1/x [math] queda [math]
Fijemonos que (1)implica que para todo [math], [math] (2)
Tomemos x,y,z [math], con y<z
[math]
[math] tomando x= 1/z queda:

[math]
[math]

Pero por el enunciado:

[math] [math] [math] si z es racional y negativo

Y a su ves al ser z negativo y racional, [math] es negativo [math] [math]
[math] como los racionales son suficientemente densos en los reales, [math],[math]

[math] por (2), [math],[math](3)
[math] tomando y=.1 en la ecuacion original se llega a:

[math] [math] por (3) tenemos que [math],[math]

Es facil ver que esta funcion cumple lo pedido por el enunciado.

CASO 2: [math]: Se deja como ejercicio para el lector.
Si X tiende a [math], [math] se seca.
Avatar de Usuario
Emerson Soriano

OFO - Mención-OFO 2015 OFO - Medalla de Oro-OFO 2016 OFO - Medalla de Plata-OFO 2017 OFO - Medalla de Bronce-OFO 2018 OFO - Mención-OFO 2020
OFO - Medalla de Plata-OFO 2022
Mensajes: 826
Registrado: Mié 23 Jul, 2014 10:39 am
Medallas: 6

Re: Selectivo IMO 2015 - Problema 3

Mensaje sin leer por Emerson Soriano »

Una corrección a mi solución:
Spoiler: mostrar
Se sabe que [math] y [math] o [math]. Analizaremos dos casos:

Primer Caso: Cuando [math], se llega fácilmente a [math], luego, comparando con la ecuación original se llega a que [math], para todos los reales [math]. Luego al utilizar [math] y haciendo [math] tenemos que [math], es decir, [math], para todo [math]. Si [math] se llega a que [math] Haciendo [math] en [math] llegamos a que [math], así que sólo nos preocuparemos por calcular [math], para [math].

En [math] tenemos que [math], para todo real [math], luego, si [math], entonces [math] y [math], por lo tanto, [math], pero según [math], se sabe que [math], por lo tanto, [math], es decir, [math], lo cual contradice [math]. Del mismo modo se analiza para cuando [math]. Por lo tanto, [math], para todo [math], y por ende [math], para todo real [math].
Parte b)
Spoiler: mostrar
Si [math], entonces es fácil llegar a que [math], para todo real [math]. Usando este resultado y la ecuación original llegamos a que [math], para todos los reales [math]. Por otro lado, tenemos que [math] y [math], para todo real [math], y [math], para todo real [math]. Hagamos [math], luego obtenemos nuevas ecuaciones: [math] y [math]. Como ya sabemos que [math], entonces a partir de ahora sólo nos enfocaremos en los [math]. Sabemos que [math], pero [math] y [math], luego al reemplazar estos resultados en dos y despejando [math] llegamos a que [math], y por ende, [math], para todo real [math].
LouisM
Mensajes: 3
Registrado: Mié 06 Feb, 2019 10:54 pm
Nivel: 3

P1 - Selectivo IMO 2017 Peru

Mensaje sin leer por LouisM »

Halle todas las funciones $f:\mathbb{R}\to \mathbb{R}$ tales que$$f(xy−1)+f(x)f(y)=2xy−1$$para todos $x,y\in \mathbb{R}$.
Responder