Aritmética |
Geometría |
Polinomios |
Desigualdades |
Álgebra |
Combinatoria |
Invariantes |
Una ecuación es, por definición, una igualdad entre expresiones algebraicas donde aparecen una o más variables, llamadas incógnitas. Resolver la ecuación es encontrar todos los posibles valores de las incógnitas para los que la igualdad es cierta (a tales valores se les llama soluciones). Por ejemplo, la ecuación $x+e^x=1$ tiene una solución real, la ecuación $\cos(2x)=0$ tiene infinitas soluciones reales y la ecuación $e^x+e^y=0$ no tiene ninguna (¿sabrías demostrar por qué? ¿Sabrías hallarlas?).
Por ejemplo, podemos preguntarnos qué funciones $f$ cumplen la igualdad \[f(x+1)=f(x)+1\] para todo valor de $x$. La incógnita en esta ecuación funcional no es $x$ sino $f$. Una solución es elegir $f(x)=x$ para todo número natural $x\in\mathbb N$. Esto nos dice que $$f(x+1)=x+1,\qquad f(x)+1=x+1,$$ luego esta elección de $f$ cumple la igualdad propuesta. Si ahora pensamos que la variable $x$ no es un número natural sino real, entonces otra solución es la función parte entera $f(x)=\lfloor x\rfloor$, ya que se cumple que $\lfloor x+1\rfloor=\lfloor x\rfloor +1$ para todo $x\in\mathbb{R}$. Es muy importante a la hora de resolver una ecuación funcional, entender el concepto de función y su dominio, así como entender qué significan las variables que aparecen en una ecuación funcional. Estos serán los objetivos de esta lección.
Solemos pensamos en las funciones como en fórmulas ya que muchas veces trabajamos con tales fórmulas en la práctica. Por ejemplo, podemos decir que la fórmula \[\frac{\cos^3(x)-2\sqrt{\ln(x^2+1)+2}}{\mathrm{tg}(x-e^x)+8\pi(x^2-1)}\] es una función en la variable real $x$ y hacer cálculos con ella hallando límites, derivadas, integrales, etc. Sin embargo, muchas funciones importantes en matemáticas no están dadas por una fórmula, como por ejemplo la función de Euler $\varphi(n)$, que indica la cantidad de números naturales entre $1$ y $n$ que son primos relativos con $n$ (es decir, no tiene factores comunes). Podemos calcular fácilmente su valor: \begin{array}{c|ccccccccccc} n&1&2&3&4&5&6&7&8&9&10&\cdots\\\hline \varphi(n)&1&1&2&2&4&2&6&5&6&4&\cdots \end{array} pero si buscamos una fórmula para $\varphi(n)$ usando funciones elementales (polinomios, potencias y raices, exponenciales, logaritmos, funciones trigonométricas directas o inversas,...), probablemente no la encontraremos. Aun así, $\varphi$ es una función ya que para cada valor de $n$, el valor de $\varphi(n)$ está bien determinado. Dicho de otra forma, $\varphi$ le asigna a cada elemento del conjunto $\mathbb N$ un único elemento del conjunto $\mathbb N$.
Por tanto, la función de Euler es una función $\varphi:\mathbb{N}\to\mathbb{N}$. Esto no quiere decir que todos los números del codominio tengan que estar asignados (por ejemplo, no existe ningún natural $n$ tal que $\varphi(n)=3$... ¿sabrías demostrar por qué?) ni que a dos números distintos del dominio se les tenga que asignar números distintos (por ejemplo, tenemos que $\varphi(5)=\varphi(10)=4$). La única regla es que asignamos un único número a cada número del dominio. Vamos a reformular estas propiedades en términos más precisos.
Ahora podemos decir que la función de Euler no es sobreyectiva ni inyectiva. Saber si una función es sobreyectiva o inyectiva suele dar información muy útil para resolver ecuaciones funcionales y lo analizaremos en una lección posterior.
Por otro lado, es muy importante identificar bien el dominio y el codominio de las funciones. Por ejemplo, tomemos la función $f:\mathbb Q\to\mathbb R$ dada por $f(x)=x^2+1$, cuyo dominio son los números racionales y codominio los reales. El valor las expresiones $f(\sqrt{2})$ y $f(\pi)$ no se puede hallar con la fórmula $x^2+1$ ni con otra y tampoco es que sea desconocido o indeterminado... ¡es que no está siquiera definido! Por tanto, jamás debemos evaluar una función en valores fuera de su dominio.
Las ecuaciones funcionales suelen venir dadas por expresiones en las que cierta igualdad se cumple para todo valor de cierto conjunto. Entender esto es también fundamental para su resolución. Veamos dos ejemplos distintos, que explicaremos detalladamente.
En primer lugar, fíjate en el ejercicio resuelto de más abajo. El dominio y el codominio de las funciones que buscamos son todos los números reales. Ahora bien, la igualdad $f(x)+2f(-x)=(1+x)^2$ se cumple para cualquier valor de $x$, lo que nos permite sustituir $x$ por un número real cualquiera. Por ejemplo, si sustituimos $x=0$, obtenemos la igualdad $f(0)+2f(0)=1$, que nos dice que $f(0)=\frac{1}{3}$. Dicho de otro modo, toda función $f$ que cumpla la ecuación tendrá que cumplir que $f(0)=\frac{1}{3}$. No obstante, también podemos sustituir $x$ por otras expresiones que representen números reales, como puede ser $-x$, $f(x)$, $\sqrt{1+x^2+y^2}$, siendo $y$ otra variable real,... Lo importante es que al sustituir, lo hagamos en todos los sitios donde aparezca $x$.
Hagamos la sustitución $x\mapsto -x$. Esta nos dice que \[f(-x)+2f(x)=(1+x)^2,\quad \text{para todo }x\in\mathbb{R}.\] Esta es una nueva ecuación funcional que podemos usar junto con la original. De hecho, en ambas $f$ aparece sólo en los términos $f(x)$ y $f(-x)$. Podemos entonces resolver el sistema lineal que forman ambas ecuaciones como si $f(x)$ y $f(-x)$ fueran las incógnitas: \[\left.\begin{array}{l} f(x)+2f(-x)=(1+x)^2\\ 2f(x)+f(-x)=(1-x)^2 \end{array}\right\}\Leftrightarrow \left\{\begin{array}{l} f(x)=\frac{2(1-x)^2-(1+x)^2}{3}=\frac{x^2-6x+1}{3}\\ f(-x)=\frac{2(1+x)^2-(1-x)^2}{3}=\frac{x^2+6x+1}{3} \end{array}\right.\] El valor de $f(-x)$ no nos interesa en realidad, pues hemos demostrado que la única solución posible a la ecuación original es $f(x)=\frac{x^2-6x+1}{3}$. Es necesario comprobar que se trata de una solución, para lo que verificamos la ecuación funcional del enunciado para esta elección de $f$: \[f(x)+2f(-x)=\frac{x^2-6x+1}{3}+2\frac{x^2+6x+1}{3}=x^2+2x+1=(x+1)^2.\]
El paso final en la solución anterior es muy importante para resolver una ecuación funcional: cuando obtenemos las soluciones, es necesario comprobar que se trata efectivamente de soluciones. Esto es lo mismo que pasa en ecuaciones numéricas y, en el caso de las olimpiadas, suelen perderse puntos por no comprobar.
Lee ahora el segundo problema resuelto (que se encuentra más abajo), pero antes de intentarlo vamos a explorar el enunciado. En primer lugar, el dominio y el codominio son los números naturales $\mathbb{N}$, no los reales. Por tanto, en ningún momento pueden aparecer expresiones del tipo $f(\frac{1}{2})$ o $f(\sqrt{2})$ en nuestros razonamientos. Más aún, llegar a conclusiones como $f(...)=\frac{3}{2}$ es claramente una contradicción ya que no es un número natural. Vamos a fijarnos ahora en la expresión para todo: esta quiere decir que podemos sustituir $n$ por cualquier número natural. En otras palabras, podemos sustituirlo por $1,2,3,4,...$, pero también por otra fórmula que involucre a $n$, a otras variables o incluso a la propia $f$ y otras funciones, siempre que garanticemos que esa expresión sea un número natural. Por ejemplo, podemos hacer la sustitución $n\mapsto a^2+b^2$ siendo $a$ y $b$ números naturales, o la sustitución $n\mapsto f(n)$ ya que $f(n)$ es un número natural, pero no podemos sustituir $n\mapsto\sqrt{n^2+3n+7}$. Esto se debe a que $\sqrt{n^2+3n+7}$ no es un número natural para la mayoría de valores de $n\in\mathbb N$ (¿sabrías hallar para cuáles sí es un natural?).
La igualdad $f(f(n))=n+1$ nos dice que cuando encontramos $f$ aplicada dos veces al mismo número, el resultado es el número más $1$. Vamos a tomar $f$ aplicada tres veces al mismo número $n$ y calcular esto de dos formas distintas: \begin{eqnarray*} \textcolor{blue}{f(f(}f(n)\textcolor{blue}{))}&=&f(n)+1\\ f(\textcolor{blue}{f(f(}n\textcolor{blue}{))})&=&f(n+1)\\ \end{eqnarray*} En la primera, hemos aplicado la ecuación funcional sustituyendo $n\mapsto f(n)$ y en la segunda hemos aplicado $f$ a los dos miembros de la ecuación funcional. Por tanto, deducimos que $f(n+1)=f(n)+1$ para cualquier $n\in\mathbb{N}$. Esta es una nueva ecuación funcional que también debe cumplirse. Sustituyendo en esta última $n=1,2,3,...$ tenemos que $$f(2)=f(1)+1,\quad f(3)=f(2)+1,\quad f(4)=f(3)+1,\ldots$$ Como cada imagen se obtiene de la anterior sumando una unidad, llegamos a que los valores de $f$ forman una progresión aritmética y se cumple que $f(n)=f(1)+n-1$ para todo $n\in\mathbb N$. En resumen, hemos probado que si $f$ es una solución de la ecuación original, entonces $f(n)=n+a-1$ para todo $n\in\mathbb N$, siendo $a=f(1)$.
Para responder al enunciado bastará ver que estas funciones no cumplen la ecuación original y para ello sustituimos el valor de la función en la ecuación: \[f(f(n))=f(n+a-1)=(n+a-1)+a-1=n+2a-2.\] Si esta última expresión debe ser igual a $n+1$ para todo $n\in\mathbb N$, entonces necesariamente $2a-2=1$, de donde despejamos $f(1)=a=\frac{3}{2}$. Esto contradice que la función debe tomar valores naturales.
Aquí volvemos a ver que es importante comprobar que los candidatos a soluciones son realmente soluciones (en este caso no lo eran).
Encontrar una función $f:X\to Y$ es lo mismo que encontrar los valores de $f(x)$ para todos los elementos $x\in X$. Los dominios de funciones que suelen aparecer en las ecuaciones funcionales suelen ser infinitos ($\mathbb N$, $\mathbb Q$, $\mathbb{R}$ o subconjuntos suyos), así que una ecuación funcional es como un sistema de ecuaciones con infinitas incógnitas. Por ejemplo, si tenemos la ecuación $f(n+1)=f(n)+a$ sobre los naturales, entonces tenemos infnitas incógnitas \[f(1),\quad f(2),\quad f(3),\quad f(4),\ldots \] y también infinitas ecuaciones: \[f(2)=f(1)+a,\quad f(3)=f(2)+a,\quad f(4)=f(3)+a,\ldots,\] una para cada valor de $n$ que podamos sustituir. Lo usual es que las infinitas ecuaciones sean suficientes para resolver las infinitas incógnitas.
La ecuación inicial se puede escribir como $f(x)^2f(\varphi(x))=64x$. Si sustituimos $x$ por $\varphi(x)$, obtenemos que $f(\varphi(x))^2\cdot f(x)=64\varphi(x)$, con lo cual tenemos el sistema \[\left\{\begin{array}{l}f(x)^2f(\varphi(x))=64x,\\f(\varphi(x))^2 f(x)=64\varphi(x).\end{array}\right.\] Elevando la primera igualdad al cuadrado y dividiéndola por la segunda (que no se anula ya que $x\neq\pm 1$, luego $\varphi(x)\neq 0$) llegamos a que $f(x)^3=64\frac{x^2}{\varphi(x)}$, de donde podemos despejar \[f(x)=\sqrt[3]{\frac{64x^2}{\varphi(x)}}=4\sqrt[3]{\frac{x^2(1+x)}{1-x}}.\] Puede comprobarse que esta función está bien definida para $x\neq-1$ y satisface la igualdad del enunciado, luego es la única solución al problema.