Ejercicio 11.
Encontrar todas las funciones tales que
(OME-fase local, 2005)
Solución
Tenemos dos ecuaciones con dos incógnitas y basta despejar
para acabar. Resulta
Ejercicio 12.
Sea un entero no negativo. Demostrar que la ecuación
tiene solo soluciones enteras y determinarlas. ( representa el n-ésimo número de Fibonacci, definido por
,
y, para
,
)
(Propuesto por José Luís Díaz Barrero)
Solución
Los divisores de son posibles soluciones enteras de la ecuación. Si probamos con
, obtenemos que es una solución de la ecuación, y es entera dado que
es entero para todo
como se puede ver fácilmente por inducción. Además, la parte izquierda de la ecuación se factoriza como:
Entonces las otras soluciones de la ecuación son las soluciones de la ecuación bicuadrada . Si resolvemos esta última ecuación para los primeros valores de
, vemos que una de las soluciones positivas parece ser
. Comprobamos que
es una de las soluciones positivas para todo
.
Para ello, obtenemos una expresión explícita para : La ecuación de recurrencia
tiene como ecuación característica
, con soluciones
, así que la solución general de la recurrencia es
.
, es la única solución de la recurrencia con
y
, por tanto
, y entonces
y
, por lo que
Ahora sustituimos este último valor en la ecuación bicuadrada:
Entonces, como la ecuación es bicuadrada, se cumple que ,
son dos soluciones enteras de la ecuación.
La otra solución positiva de la ecuación bicuadrada, llamémosla , parece ser la solución de la recurrencia de Fibonacci
, con las condiciones iniciales
y
. Buscamos una expresión explícita para
:
, y entonces
y
,
Ahora sustituimos este último valor en la ecuación bicuadrada para comprobar que la satisface:
Por tanto, las otras soluciones de la ecuación son y
, que son enteras dado que
es entera, como puede verse fácilmente por inducción.
Observación
El número definido en la solución es el conocido como n-ésimo número de Lucas
Ejercicio 13.
Determinar para qué valores enteros del parámetro existen soluciones enteras de la ecuación
(Propuesto en La Gaceta de la R. S. M. E.- Problema 66)
Solución
La ecuación se puede escribir como , ecuación de Fermat de grado 3, luego sólo tiene las soluciones enteras triviales
y
, imposible, ó
y
, luego
es el único valor entero para el que la ecuación tiene solución entera.
Observación
No se puede dar la solución trivial , ya que entonces
. Se dará esta solución racional para
, valor hallado antes;
es por tanto el único valor racional para el que la ecuación tiene solución racional.
Ejercicio 14.
Resolver en los enteros positivos la ecuación
(Propuesto en
Solución
La ecuación es equivalente a , luego una solución con
naturales es una forma de expresar 15 como el producto de 2 números naturales, ya que si
, tenemos que
y
, por lo que, al ser el producto positivo, se cumple que
.
Como , será
, luego las únicas opciones son:
,
,
,
Observaciones
1) Como la ecuación también es equivalente a , el resultado nos dice que sólo hay 2 valores de
tales que
divida a
, que son
, para el que los 2 polinomios valen 5, y
, para el que el primer polinomio vale 15 y el segundo 60
2) Si buscamos todas las soluciones enteras a la ecuación, tendríamos también:
,
,
,
,
,
,
,
,
,
,
,
Ejercicio 15.
Probar que, si es convergente y existe
, entonces
Solución
Si , entonces para
suficientemente pequeño tal que
, tenemos que existe un número
tal que, para
, se cumple que
, y entonces
, por lo que
, contradicción con que
es convergente. De forma análoga podemos probar que
no puede ser negativo.
Ejercicio 16.
Probar ó buscar contraejemplos para las siguientes proposiciones:
a) Sea una función continua y tal que
en
para algún
, y con
. Entonces, existe
b) Sea una función continua y tal que
en
para algún
, y con
. Entonces, existe
c) Sea una función derivable y creciente en
para algún
, y con una asíntota horizontal en
. Entonces, existe
d) Sea una función derivable y estrictamente creciente en
para algún
, y con una asíntota horizontal en
. Entonces, existe
Solución
a) Es falso: Si consideramos la función:
para
,
,
es una función bien definida,
dado que los intervalos no se solapan: , lo que se cumple para
Tenemos también que y
es continua en
(
es "unión de triángulos" definidos en
y de altura 1):
)
Además,
Pero no existe, dado que
, y
b) Es falso: Si consideramos la función:
para ,
, Tenemos que
y
es continua en
, ya que
es "unión" de segmentos uniendo puntos con segunda coordenada positiva:
Calculamos las áreas debajo de los tres segmentos definiendo :
El área debajo del primer ó el segundo segmento es , y el área debajo del tercer segmento es
, por lo que
, ya que todos los denominadores tienen grado al menos dos
y los numeradores son constantes.
Pero no existe, dado que
, y
c) Es falso: Si consideramos la función , para la función
del apartado a), tenemos que
es derivable dado que
es continua, y
, por lo que
es creciente, y
, luego
tiene una asíntota horizontal en
, pero, al ser
, el
no existe.
d) Es falso: Si consideramos la función: , para la función
del apartado b), tenemos que
es derivable dado que
es continua, y
, por lo que
es estrictamente creciente, y
, luego
tiene una asíntota horizontal en
, pero, al ser
, el
no existe.
Observación
F se aproxima a la asíntota horizontal con infinitos cambios de convexidad:
Ejercicio 17.
Sea una función tal que
y
. Probar que
(Propuesto por José Luís Díaz Barrero)
Solución
Vemos primero que existe una función cumpliendo las condiciones del enunciado.
Para ver esto, definimos primero inductivamente, para todo , una función
en
tal que
para
,
si
,
Para , como
es continua y Lipschitziana respecto a
en
(
, y esta última función es acotada en R, dado que es continua y
), existe una solución de
en
tal que
, por una variación del teorema de Picard, luego definimos
como esta solución.
Supongamos que hemos definido en
con las condiciones requeridas, y consideramos ahora el problema de Cauchy
, con
.
Como g es también continua y Lipschitziana respecto a en
(
, y esta última función es acotada en R, dado que es continua y
), existe una solución del mencionado problema de Cauchy en
, así que definimos
como esta solución.
Entonces podemos definir como
si
.
Observamos que está bien definida, ya que
, luego
es continua en
y, para
, se cumple que
Para tenemos que
, luego tenemos también que
, para todo
(para
, sólo tenemos que tener en cuenta
). Además, se cumple que
.
Vemos ahora que tiene límite: Como
para
,
es estrictamente creciente en
, así que
tiene límite
.
Integrando a los 2 lados de la ecuación inicial, tenemos que, para ,
(La desigualdad es porque es una función creciente, luego
para
,
para
). Entonces tenemos que
.
Tomando límites, llegamos a
Ahora, consideramos la función .
Vemos que es estrictamente decreciente en
:
.
Estudiar el signo de esta función para es equivalente a estudiar el signo de
. Tenemos que
para
, luego
es estrictamente decreciente y
, por lo que
para
, y entonces
, por lo que
es estrictamente decreciente en
, y entonces es estrictamente decreciente en
, y entonces, dado que
, tenemos que
, por lo que
.
Ejercicio 18.
Resolver el problema de Cauchy ,
, para
,
funciones derivables y positivas en
Solución
. Tiene el factor integrante
, dado que
. Por tanto, la solución general es
. Para encontrar
, vemos que
, luego la solución general queda
.
Como , tenemos que
, luego la solución al problema es:
Observación
En el caso particular y
, la ecuación es similar a la del problema anterior:
. Según lo visto antes, la solución del problema de Cauchy es
, esto es,
En este caso, como para
, tenemos que la solución es estrictamente decreciente, y su límite es
: Si el límite fuera finito, tomando límites en los 2 lados de la última igualdad cuando
, tendríamos
, contradicción.
Ejercicio 19.
Sean números complejos. Prueba la desigualdad
(Propuesto por José Luís Díaz Barrero)
Solución
Llamando ,
,
,
,
y
, vemos que la desigualdad es equivalente a
. Pero la parte izquierda de la desigualdad es:
. Por tanto, la desigualdad es cierta.
Ejercicio 20.
Sean tres números complejos tales que
. Demuestra que
(Propuesto por José Luís Díaz Barrero)
Solución
Si sustituimos por
en el determinante, obtenemos:
Ya que la suma de las tres filas es
Observación
Las filas del determinante cumplen la condición de los números, a+b+c=0