
La sucesión de números reales a1,a2,… se define como sigue:
a1=50 y an+1=an−1/an para cada entero n>0.
Demuestre que existe un entero k, 1≤k≤2002, tal que ak<0.
La sucesión de números reales a1,a2,… se define como sigue:
a1=50 y an+1=an−1/an para cada entero n>0.
Demuestre que existe un entero k, 1≤k≤2002, tal que ak<0.
Me gustó mucho resolverlo,
Me gustó mucho resolverlo, aqui va mi solución:
Primero demostrare que, si para alguna tercia de enteros positivos x,y,z se cumple que ax,y<z entonces ax+y<z−yz , la demostracion de esto lo hare por induccion sobre y:
BI y=1 se tiene que ax+1=ax−1ax<z−1z lo cual es cierto pues ax<z
HI Para todo k menor o igual a z se cumple que ax+k<z−kz
PI Y lo demostramos para k+1 :
ak+1=ak−1ak<z−k+1z=(z−kz)−1z Usando HI y observando que ax+k<z queda demostrado. De este hecho es inmediato que ax+z<z−1 (*)
Ahora bien como a2<50 por (*) se tiene que a2+50<49 y usando (*) recursivamente se llega a que a1277=a2+50+49+...+1<1−1=0 y acabamos.