Demuestra que 11999<∏999i=12i−12i<14411999<∏i=19992i−12i<144\frac{1}{1999} < \prod_{i=1}^{999}{\frac{2i−1}{ 2i}} < \frac{1}{44}

Pruebalo

1 1999 < i = 1 999 2 i 1 2 i < 1 44

de la Olimpiada Nacional de Canadá de 1997.

He podido probar la mitad izquierda de la desigualdad usando inducción. Necesito ayuda con la segunda parte.


Probar i = 1 norte ( 1 1 2 i ) 1 2 norte

Definir

(1) pag ( norte ) = i = 1 norte ( 1 1 2 i )

deseamos mostrar

(2) pag ( norte ) 1 2 norte , norte Z +

Para el caso base, norte = 1 , tenemos pag ( 1 ) = 1 1 2 = 1 2 1 2 que sostiene

Suponga la hipótesis de inducción (2) para norte . Entonces para norte + 1 , podemos escribir:

pag ( norte + 1 ) = i = 1 norte + 1 ( 1 1 2 i ) = ( 1 1 2 ( norte + 1 ) ) i = 1 norte ( 1 1 2 i ) ( 1 1 2 ( norte + 1 ) ) 1 2 norte ( por IH ) ( 2 norte + 1 2 ( norte + 1 ) ) 1 2 norte ( 1 2 ( norte + 1 ) ) 2 norte + 1 2 norte > ( 1 2 ( norte + 1 ) ) ( para  norte 1 )

Esto prueba el paso de inducción, estableciendo (2) para todo positivo norte . Por lo tanto, concluimos

i = 1 999 2 i 1 2 i = pag ( 999 ) 1 2 × 999 = 1 1998 > 1 1999

Probar i = 1 999 ( 1 1 2 i ) < 1 44

Para esta parte, he aplicado AM-GM para obtener un límite superior con una suma armónica.

(3) ( i = 1 999 ( 1 1 2 i ) ) 1 / 999 1 999 i = 1 999 ( 1 1 2 i )

No puedo ver una forma de evaluar la suma en el RHS.

Tal vez, esto le dará una idea: math.stackexchange.com/questions/1373124/… . De hecho, puedes demostrar que 1 64 < i = 1 999 2 i 1 2 i < 1 44 , o algo aún más fuerte: 1 56.5 < i = 1 999 2 i 1 2 i < 1 56 .
La suma i = 1 999 ( 1 1 2 i ) se puede expresar como 999 1 2 H 999 , dónde H 999 es el 999 -ésimo número armónico. Hay buenas estimaciones para el norte -th número armónico, ¿tal vez eso pueda ayudar?
También, desde i = 1 norte ( 1 1 2 i ) = norte 1 2 H norte , probablemente no sería un buen uso de su tiempo tratar de encontrar una evaluación de forma cerrada para él (ya que no existe ninguna para H norte = i = 1 norte 1 i ). Es mejor que trates de encuadernarlo.
Este es un problema de Olimpiada, no debería necesitar conocer hechos como los límites de series armónicas parciales.
@LJL: me di cuenta de que no había un formulario cerrado. Si tuviera que vincularlo usando este método, supongo que una integral podría funcionar.
@Batominovski: esa es una buena manera de hacerlo.
@ user2770287 La respuesta que publicaste es sin duda la mejor manera de resolver el problema original. Podemos considerar acotar esa última suma que Marconius publicó como un problema separado, incluso si resulta ser una ruta ineficiente para la solución del problema del que proviene.
@LJL No estaba apuntando a tu comentario. Simplemente estaba diciendo que este problema debe resolverse utilizando métodos tradicionales.

Respuestas (3)

Has hecho que el problema sea mucho más difícil de lo que se supone que debe ser.

Para el lado izquierdo, simplemente observe que 1 2 > 1 3 y 3 4 > 3 5 y así sucesivamente... a 1997 1998 > 1997 1999 . Ahora, toma el producto de estas desigualdades para obtener el resultado deseado.

Para la otra desigualdad, es un truco similar excepto que necesitas observar que PAG 2 < 1 1999 < 1 1936 = 1 44 2 .

3 4 4 5 . No estoy seguro de cómo se cancelarían los términos en el primer producto en cualquier caso. Para el segundo, puedo ver ahora que ( 1 2 ) 2 < 1 3 , ( 3 4 ) 2 < 3 5 , y este producto es telescópico.
Disculpa error. ¡Arreglado!
@Marconius es un error tipográfico. Estoy seguro de que estaba destinado a ser " 3 4 > 3 5 ".
@ user2770287 - gracias, tu respuesta es buena. El hecho de que 1 2 norte < 1 2 norte + 1 está enterrado en el paso de inducción, que no es bueno. El ( 1 2 ) 2 < 1 3 , ( 3 4 ) 2 < 3 5 , es AM-GM en un disfraz delgado. ¡No me apresuraré tanto a pasar de productos a resúmenes en el futuro!
@Marconius ¿Eres un estudiante de secundaria en Canadá que estudia para el CMO?
@ user2770287 - No, en realidad no lo soy. Sin embargo, hice mis estudios secundarios en Canadá. Pero estoy viviendo en el extranjero ahora.

PAG norte 2 ( 999 ) = 1 2 3 2 . . . ( 2 999 1 ) 2 2 2 4 2 . . . ( 2 999 ) 2 = 1 3 2 2 3 5 4 2 . . . ( 2 999 1 ) ( 2 999 + 1 ) ( 2 999 ) 2 1 2 999 + 1 < 1 2 999 + 1 = 1 1999 < 1 1936 = 1 44 2

Desde 2 i 1 2 i < 2 i 2 i + 1 , tenemos

(1) ( i = 1 999 2 i 1 2 i ) 2 < 1 4 i = 2 999 2 i 1 2 i i = 2 999 2 i 2 i + 1 = 1 4 3 1999 < 1 4 1 666
Desde 2 i 1 2 i > 2 i 2 2 i 1 , tenemos
(2) ( i = 1 999 2 i 1 2 i ) 2 > 1 4 i = 2 999 2 i 1 2 i i = 2 999 2 i 2 2 i 1 = 1 4 2 1998 = 1 4 1 999
Por lo tanto, desde 32 2 = 1024 > 999 y 25 2 = 625 < 666 , tenemos
(3) 1 64 < 1 2 1 999 < i = 1 999 2 i 1 2 i < 1 2 1 666 < 1 50