23/06/2018, 03:23:59 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Mínimo y máximo  (Leído 256 veces)
0 Usuarios y 1 Visitante están viendo este tema.
alicenujan
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Italy Italy

Mensajes: 113


Ver Perfil
« : 13/06/2018, 10:50:15 am »

Sean: [texx]n[/texx] un entero positivo impar, y [texx]x_1,x_2,\cdots ,x_n[/texx] números reales no negativos.
Demostrar que \[ \min_{i=1,\ldots,n} (x_i^2+x_{i+1}^2) \leq \max_{j=1,\ldots,n} (2x_jx_{j+1}) \]donde [texx]x_{n+1}=x_1[/texx].

En línea
martiniano
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 181


Ver Perfil
« Respuesta #1 : 16/06/2018, 03:52:17 am »

No está bien. Disculpadme

Hola. Creo que lo tengo, aunque me despista que el enunciado me salga cierto para [texx]n\neq{}2[/texx].
Me
Consideremos primero, sin pérdida de generalidad, que [texx]min\left\{x_i^2+x_{i+1}^2|1\leq{}i\leq{}n\right\}=x_1^2+x_2^2[/texx] . Y también que [texx]x_1<x_2\leq{}x_n[/texx].

Veamos ahora que el enunciado es cierto para [texx]n=3[/texx]. Simplemente, si no fuese cierto y fuese:

[texx]x_1^2+x_2^2>2x_2x_3\geq{}2x_2^2\,\Rightarrow{}\,x_1>x_2[/texx], y esto contradice la suposición inicial.

Si [texx]n\geq{3}[/texx], y el enunciado fuese falso, entonces:

[texx]x_1^2+x_2^2>2x_2x_3\Rightarrow{}2x_3x_1\geq{}x_1^2+x_2^2>2x_2x_3\Rightarrow{}\,x_1>x_2[/texx] contradiciendo lo mismo que antes.

Como el enunciado es trivialmente cierto para [texx]n=1[/texx], entonces será cierto para todos los impares.

Saludos.
En línea
martiniano
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 181


Ver Perfil
« Respuesta #2 : 16/06/2018, 04:20:56 pm »

Hola buenas. Segundo intento, a ver si ahora sí  :sonrisa:.

El enunciado es trivialmente cierto para [texx]n=1[/texx], entonces si es falso en general habrá un [texx]n[/texx] impar mayor que 1 para el que será falso pero verdadero para todos los impares menores que [texx]n[/texx]. Sean [texx]x_1,x_2,...,x_n[/texx] reales positivos que no cumplen el enunciado. Supongamos, sin pérdida de generalidad, que [texx]min\{x_i^2+x_{i+1}^2|1=i=n\}=x_1^2+x_2^2[/texx] y también que [texx]x_1<x_2\leq{}x_n[/texx].

Como estamos suponiendo que el enunciado es falso, entonces [texx]\forall{}i\leq{}n\;x_1^2+x_2^2>2x_ix_{i+1}[/texx]. Pero como es cierto para todo impar [texx]k[/texx] menor que [texx]n[/texx] debe cumplirse que:

[texx]min(x_1^2+x_2^2,x_k^2+x_1^2)\leq{}2x_kx_1[/texx]

Supongamos, ahora también, que para cierto [texx]k [/texx] impar menor que [texx]n-2[/texx] se cumple que (para 1 se cumple trivialmente):

[texx]x_k=x_1[/texx]
[texx]x_{k+1}\geq{}x_2[/texx]

Entonces si se cumplen estas dos condiciones también se cumplirán:

[texx]x_{k+3}\geq{}x_2[/texx]
[texx]x_{k+2}=x_1[/texx]

Véamoslo. Empecemos con lo de que:

[texx]min(x_1^2+x_2^2,x_{k+2}^2+x_1^2)\leq{}2x_{k+2}x_1[/texx]

Consideremos ahora dos casos:

A)   [texx]x_{k+2}\geq{}x_2\;\Rightarrow{\;}min(x_1^2+x_2^2,x_{k+2}^2+x_1^2)=x_1^2+x_2^2\;\Rightarrow{\;}2x_{k+2}x_1\geq{}x_1^2+x_2^2>2x_{k+2}x_{k+1}\;\Rightarrow{\;}x_1>x_{k+1}[/texx] .  Absurdo

B)   [texx]x_{k+2}<x_2\;\Rightarrow{\;}min(x_1^2+x_2^2,x_{k+2}^2+x_1^2)=x_{k+2}^2+x_1^2\;\Rightarrow{\;}2x_{k+2}x_1\geq{}x_{k+2}^2+x_1^2\;\Rightarrow{\;}x_{k+2}^2+x_1^2-2x_{k+2}x_1\leq{}0\;\Rightarrow{\;}x_{k+2}=x_1[/texx]

Y también:

[texx]x_1^2+x_2^2\leq{}x_{k+3}^2+x_{k+2}^2=x_{k+3}^2+x_{1}^2\;\Longrightarrow{\;}x_{k+3}\geq{}x_2[/texx]

Entonces por inducción se llega a que [texx]x_{n-1}\geq{}x_2[/texx] obteniendo, finalmente, la siguiente contradicción:

[texx]2x_{n-1}x_n\geq{}2x_2^2>x_1^2+x_2^2[/texx]

A ver qué os parece. Saludos.
En línea
alicenujan
Pleno
****

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Italy Italy

Mensajes: 113


Ver Perfil
« Respuesta #3 : 16/06/2018, 04:48:38 pm »

Gracias martiniano por tu ayudo, leo bién tu solución en estos dias y si tengo dudas las escribo. :sonrisa:
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 42.013


Ver Perfil
« Respuesta #4 : 18/06/2018, 07:12:44 am »

Hola

Hola buenas. Segundo intento, a ver si ahora sí  :sonrisa:.

El enunciado es trivialmente cierto para [texx]n=1[/texx], entonces si es falso en general habrá un [texx]n[/texx] impar mayor que 1 para el que será falso pero verdadero para todos los impares menores que [texx]n[/texx]. Sean [texx]x_1,x_2,...,x_n[/texx] reales positivos que no cumplen el enunciado. Supongamos, sin pérdida de generalidad, que [texx]min\{x_i^2+x_{i+1}^2|1=i=n\}=x_1^2+x_2^2[/texx] y también que [texx]x_1<x_2\leq{}x_n[/texx].

No me queda claro porque puedes suponer [texx]x_1<x_2.[/texx]

Saludos.
En línea
martiniano
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 181


Ver Perfil
« Respuesta #5 : 18/06/2018, 07:52:37 am »

Hola.

Supón [texx]min\{x_i^2+x_{i+1}^2\}=x_p^2+x_{p+1}^2[/texx]

Si [texx]x_p<x_{p+1}[/texx] reordena los números haciendo [texx] x'_j=x_{p-1+j}[/texx]

Si [texx]x_p>x_{p+1}[/texx] reordena los números haciendo [texx] x'_j=x_{p+2-j}[/texx]

Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 42.013


Ver Perfil
« Respuesta #6 : 18/06/2018, 07:59:15 am »

Hola

Supón [texx]min\{x_i^2+x_{i+1}^2\}=x_p^2+x_{p+1}^2[/texx]

Si [texx]x_p<x_{p+1}[/texx] reordena los números haciendo [texx] x'_j=x_{p-1+j}[/texx]

Si [texx]x_p>x_{p+1}[/texx] reordena los números haciendo [texx] x'_j=x_{p+2-j}[/texx]

Bien, de acuerdo, simplemente cambiando el sentido de nuestro círculo de números.

Saludos.
En línea
Luis Fuentes
el_manco
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 42.013


Ver Perfil
« Respuesta #7 : 19/06/2018, 05:13:24 am »

Hola

Como estamos suponiendo que el enunciado es falso, entonces [texx]\forall{}i\leq{}n\;x_1^2+x_2^2>2x_ix_{i+1}[/texx]. Pero como es cierto para todo impar [texx]k[/texx] menor que [texx]n[/texx] debe cumplirse que:

[texx]min(x_1^2+x_2^2,x_k^2+x_1^2)\leq{}2x_kx_1[/texx]

Ahora no veo claro esto. En principio sólo veo que se podría asegurar que:

[texx]min(x_1^2+x_2^2,x_k^2+x_1^2)\leq{}2x_kx_1[/texx]

ó

[texx]min(x_1^2+x_2^2,x_k^2+x_1^2)=x_1^2+x_k^2\leq{}2x_ix_{i+1}[/texx] para algún [texx]i=1,2,\ldots,k-1[/texx]

¿Cómo descartas que pueda darse lo qué está en rojo?.

Saludos.
En línea
martiniano
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 181


Ver Perfil
« Respuesta #8 : 19/06/2018, 05:35:54 am »

Hola.
Se descartan las demás parejas porque sino los n reales positivos que hemos supuesto que no cumplían el enunciado sí que lo estarían cumpliendo.
Saludos
En línea
martiniano
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 181


Ver Perfil
« Respuesta #9 : 19/06/2018, 05:39:08 am »

Ahí va, sí sí... Te entiendo. Creo que tienes razón. Tendré que revisarlo...
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!