Ecuacion funcional

xyz

OFO - Medalla de Bronce-OFO 2016 FOFO 6 años - Mención Especial-FOFO 6 años FOFO Pascua 2017 - Medalla-FOFO Pascua 2017 OFO - Mención-OFO 2018
Mensajes: 30
Registrado: Jue 11 Jun, 2015 8:30 pm
Medallas: 4
Nivel: 2

Ecuacion funcional

Mensaje sin leer por xyz »

Hallar todas las funciones [math] que satisfacen
[math]
para todos [math]
Avatar de Usuario
Violeta

OFO - Mención-OFO 2017 FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Mención Especial-FOFO 8 años OFO - Medalla de Plata-OFO 2019
Mensajes: 405
Registrado: Sab 04 Jun, 2016 11:50 pm
Medallas: 5
Ubicación: Puerto Rico

Re: Ecuacion funcional

Mensaje sin leer por Violeta »

Linda.
Spoiler: mostrar
Asumamos que [math] para todo [math], pues trivialmente [math] cumple.

Entonces, [math] es sobreyectiva porque si tomamos [math] tal que [math], [math] y [math], implica que

[math].

Especificamente, existe [math] tal que [math]

Ahora, digamos [math]: [math]

Ahora, [math] tambien es inyectiva porque si [math].

Si escogemos [math], se obtiene que [math] para todo [math], de donde [math], por ser [math] distinto de [math] para por lo menos un [math].

Ahora consideramos dos casos: [math] y [math]:

Si [math], reemplazando [math] y [math] en la ecuacion original se obtiene:

[math]
-------------------------------------------------------
Caso [math]:

Ahora, escogemos [math], tal que [math] y reemplazamos [math] en la ecuacion original:

[math]

Ahora bien, digamos [math]:

[math]

Finalmente, si [math]:

[math] y [math].

Ya con esto podemos ver que: [math] y le dejo al lector comprobar que [math] y [math] satisfacen la ecuacion original.

En fin, las únicas funciones que satisfacen son [math], [math] y [math].
Última edición por Violeta el Sab 15 Jul, 2017 7:58 pm, editado 5 veces en total.
1  
Para todo [math], existen [math] primos en sucesión aritmética.
xyz

OFO - Medalla de Bronce-OFO 2016 FOFO 6 años - Mención Especial-FOFO 6 años FOFO Pascua 2017 - Medalla-FOFO Pascua 2017 OFO - Mención-OFO 2018
Mensajes: 30
Registrado: Jue 11 Jun, 2015 8:30 pm
Medallas: 4
Nivel: 2

Re: Ecuacion funcional

Mensaje sin leer por xyz »

Ahora bien, digamos [math] (sabemos que [math], porque implicaria [math])
f(1) no tiene porque ser distinto de 0 :shock:
Avatar de Usuario
MateoCV

OFO - Medalla de Bronce-OFO 2016 FOFO 6 años - Medalla Especial-FOFO 6 años OFO - Medalla de Oro-OFO 2017 FOFO Pascua 2017 - Medalla-FOFO Pascua 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 COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años OFO - Jurado-OFO 2021
Mensajes: 255
Registrado: Vie 18 Dic, 2015 12:35 am
Medallas: 14
Nivel: Exolímpico
Ubicación: Córdoba

Re: Ecuacion funcional

Mensaje sin leer por MateoCV »

Claro, fijate que
Spoiler: mostrar
[math] también anda
$2^{82589933}-1$ es primo
Avatar de Usuario
Violeta

OFO - Mención-OFO 2017 FOFO 7 años - Medalla Especial-FOFO 7 años OFO - Medalla de Bronce-OFO 2018 FOFO 8 años - Mención Especial-FOFO 8 años OFO - Medalla de Plata-OFO 2019
Mensajes: 405
Registrado: Sab 04 Jun, 2016 11:50 pm
Medallas: 5
Ubicación: Puerto Rico

Re: Ecuacion funcional

Mensaje sin leer por Violeta »

MateoCV escribió:Claro, fijate que
Spoiler: mostrar
[math] también anda
Vale, ya lo arreglé. Me fui en automático y pensé que [math].
Para todo [math], existen [math] primos en sucesión aritmética.
Avatar de Usuario
FaC7oR
Mensajes: 81
Registrado: Sab 17 May, 2014 7:43 pm
Nivel: Exolímpico

Re: Ecuacion funcional

Mensaje sin leer por FaC7oR »

Spoiler: mostrar
[math]

Vamos a probar inyectividad, decimos que existen [math]

Reemplazamos [math]

[math]

Reemplazamos [math]

[math]

Como [math] reemplazamos en [math]

[math]

Igualamos [math] y [math]

[math]

De donde se despeja

[math] como queríamos, por lo tanto [math] es inyectiva

Reemplazamos [math] y queda

[math]

Por inyectividad de [math] obtenemos [math] por lo que, o bien [math], o [math]

Para [math] reemplazamos en [math] por [math] y se obtiene

[math] de donde, por inyectividad de [math] vemos que [math]

Para [math] reemplazamos [math]

[math] de aquí se ve que [math] es sobreyectiva y por lo tanto biyectiva

Usando [math] en [math]

[math]

Reemplazamos [math] e [math] en [math]

[math] pero la función es biyectiva y sabemos que únicamente [math] por lo que [math]

De esto último o bien [math] o [math]

Para [math] tomamos [math] y reemplazamos [math] y queda

[math]

[math]

Ahora para [math] tomamos [math] y reemplazamos [math] e [math] obteniendo

[math]

Tomamos esta última igualdad y reemplazamos [math] en [math]

[math]

[math]

Por lo tanto las únicas soluciones a la ecuación propuesta son

[math]

y estamos
[math]

[math]
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: Ecuacion funcional

Mensaje sin leer por lucasdeamorin »

FaC7oR escribió:
Spoiler: mostrar
[math]

Vamos a probar inyectividad, decimos que existen [math]

Reemplazamos [math]

[math]

Reemplazamos [math]

[math]

Como [math] reemplazamos en [math]

[math]

Igualamos [math] y [math]

[math]

De donde se despeja

[math] como queríamos, por lo tanto [math] es inyectiva

Reemplazamos [math] y queda

[math]

Por inyectividad de [math] obtenemos [math] por lo que, o bien [math], o [math]

Para [math] reemplazamos en [math] por [math] y se obtiene

[math] de donde, por inyectividad de [math] vemos que [math]

Para [math] reemplazamos [math]

[math] de aquí se ve que [math] es sobreyectiva y por lo tanto biyectiva

Usando [math] en [math]

[math]

Reemplazamos [math] e [math] en [math]

[math] pero la función es biyectiva y sabemos que únicamente [math] por lo que [math]

De esto último o bien [math] o [math]

Para [math] tomamos [math] y reemplazamos [math] y queda

[math]

[math]

Ahora para [math] tomamos [math] y reemplazamos [math] e [math] obteniendo

[math]

Tomamos esta última igualdad y reemplazamos [math] en [math]

[math]

[math]

Por lo tanto las únicas soluciones a la ecuación propuesta son

[math]

y estamos
Che, cuando igualas [math] y [math] te queda [math]. Como despejas para que te quede [math] si [math]?
Si X tiende a [math], [math] se seca.
Avatar de Usuario
FaC7oR
Mensajes: 81
Registrado: Sab 17 May, 2014 7:43 pm
Nivel: Exolímpico

Re: Ecuacion funcional

Mensaje sin leer por FaC7oR »

lucasdeamorin escribió: Che, cuando igualas [math] y [math] te queda [math]. Como despejas para que te quede [math] si [math]?
Está bien lo que marcás, debemos suponer que [math] no es constante para demostrar la inyectividad, las [math] constantes las calculamos con [math] y luego para [math] no existen soluciones no constantes, error de mi parte usar inyectividad para encontrar un [math]
Solo queda demostrar qué pasa si existen [math]
[math]

[math]
Avatar de Usuario
FaC7oR
Mensajes: 81
Registrado: Sab 17 May, 2014 7:43 pm
Nivel: Exolímpico

Re: Ecuacion funcional

Mensaje sin leer por FaC7oR »

lucasdeamorin escribió:Che, cuando igualas [math] y [math] te queda [math]. Como despejas para que te quede [math] si [math]?
Spoiler: mostrar
Seguimos con la suposición de que ahora [math] no es constante y que [math]

Reemplazamos en [math] por [math] y luego por [math], queda

[math]

[math]

Ahora para [math] reemplazamos [math] e igualamos ambas ecuaciones

[math]

Y ahora sí [math] y se sigue
[math]

[math]
Responder