¿Cómo mostrar que la siguiente sucesión es monotinamente creciente?

dado

a 1 = 1 , a norte + 1 = 2 ( 2 a norte + 1 ) a norte + 3
estoy tratando de mostrar a norte a norte + 1 Estoy tratando de mostrar en la inducción, por lo que mi suposición es que a norte a norte + 1 y quiero mostrar a norte + 1 a norte + 2 lo único que pude conseguir es que
a norte + 2 = 2 ( 2 a norte + 1 + 1 ) a norte + 1 + 3 > 2 ( 2 a norte + 1 ) a norte + 1 + 3 = a norte + 1 ( a norte + 3 ) a norte + 1 + 3

Pista: a norte + 1 = 4 10 a norte + 3 . ¿Entonces?
¿Por qué inducción? Por que a norte a norte + 1 decirle algo sobre el pedido de a norte + 1 y a norte + 2 ?

Respuestas (3)

Dejar F ( X ) = 2 ( 2 X + 1 ) X + 3 .

Pista: demuestra que F ( X ) es una función creciente en (al menos) X 1 .

Usando la sugerencia de Nightflight de F ( X ) = 4 10 X + 3 , podemos evitar el uso de cálculo.

Corolario: La hipótesis de inducción sigue. Desde a norte a norte + 1 , por eso F ( a norte ) F ( a norte + 1 ) .


Simplificación de la solución de Eric.

Pista: demuestra que X F ( X ) 2 en (al menos) [ 1 , 2 ] .

Corolario: Usando inducción, demuestre la afirmación más fuerte que 1 a norte a norte + 1 2 .

Si quieres aún más, mira mi respuesta a esta pregunta .

Aplicado a su caso simple ( simple debido a los requisitos específicos), esto le dará

a norte = 2 15   2 norte 5   2 norte + 4   5 norte

Darse cuenta de a norte Será mejor que nunca lo seas 3 o la recursividad no se define. deseamos mostrar

a norte a norte + 1 = 2 ( 2 a norte + 1 ) a norte + 3 = 4 a norte + 2 a norte + 3
entonces
{ 4 a norte + 2 a norte ( a norte + 3 ) , a norte + 3 > 0 4 a norte + 2 a norte ( a norte + 3 ) , a norte + 3 < 0 { 4 a norte + 2 a norte 2 + 3 a norte , a norte > 3 4 a norte + 2 a norte 2 + 3 a norte , a norte < 3 { 0 a norte 2 a norte 2 , a norte > 3 0 a norte 2 a norte 2 , a norte < 3 { 0 ( a norte 2 ) ( a norte + 1 ) , a norte > 3 0 ( a norte 2 ) ( a norte + 1 ) , a norte < 3
Dibujar puntos de muestra de ( , 3 ) , ( 3 , 1 ) , ( 1 , 2 ) , y ( 2 , ) , encontramos que esto se cumple para a norte < 3 y a norte ( 1 , 2 ) .

Tenemos a 1 = 1 . Para ser monótonamente creciente, debemos tener a norte [ 1 , 2 ) para todos norte 1 . (En particular, aunque obtenemos al menos un paso de aumento si a norte < 3 , Si alguna a norte después a 1 es menos que a 1 = 1 , la sucesión no puede ser creciente.) Tenemos d d X 2 ( 2 X + 1 ) X + 3 = 10 ( X + 3 ) 2 > 0 (para X 3 ), por lo que es creciente en [ 1 , 2 ) . Esto significa 2 ( 2 X + 1 ) X + 3 tiene un límite inferior en X = 1 y tiene un límite superior en X = 2 . nosotros calculamos 2 ( 2 ( 1 ) + 1 ) ( 1 ) + 3 = 3 2 y 2 ( 2 ( 2 ) + 1 ) ( 2 ) + 3 = 2 , entonces a norte [ 3 / 2 , 2 ) para todos norte . Por lo tanto, la secuencia es monótonamente creciente.

Una presentación más fácil es mostrar que 2 F ( X ) X en (al menos) [ 1 , 2 ] .
@CalvinLin ... Tampoco es una inducción.
es inducción (O siendo quisquilloso, se puede escribir en el lenguaje de la inducción.) La cadena de desigualdades 1 = a 1 a 2 a 3 2 se construye por inducción. IE Necesitas la suposición de que 1 a norte 2 para concluir que a norte a norte + 1 2 .