Determinar todas las funciones definida sobre el conjunto de números racionales que toman valores racionales para los cuales
para cada x e y.
Esta pregunta es de la Olimpiada Nacional de Canadá de 2008.
La forma de la ecuación definitoria sugiere fuertemente una función lineal, y eso es todo lo que encontré. ¿Hay algún truco en alguna parte que admita otra clase de soluciones?
Desde pero si no toma todos los valores posibles, somos libres de imponer restricciones a voluntad.
Por (5) y (2)Ver
el razonamiento de:
Entonces por (2)de nuevo:
Poner en (4) e igualar a (5):
Ahora por (3):
Por lo tanto
Primero establece que es uno a uno: Si , entonces por (1) tenemos . Intercambiando y en (1) rendimientos , por eso .
Para mostrar que implica , suponer . Entonces por (3), . Pon esto en (2) para obtener . Pero es uno a uno, entonces .
entonces obtenemos por (2). Ponga esto en (4) para obtener
Aplicar a ambos lados de (5) y use (*) para obtener . Aplicar a ambos lados de (1) y utilice (*) para obtener , de lo que concluimos que es lineal.
A partir de aquí, haz el argumento habitual de que para todo entero , y luego que esto es válido para todos los racionales . Poner para conseguir eso , es decir, para algunos racionales . Continúe desde aquí hasta su conclusión de que es igual o .
Pablo Sinclair
marconio
GAVD
marconio