Vamos con el problema semanal. El enunciado es el siguiente:
Probar que si
, con
, son
números reales tales que
entonces o todos los
son no negativos o todos son no positivos.
Que se os dé bien.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Un momento… Para
la Hipótesis es que
es decir,
lo que implica que al menos uno de los números es 0 y el otro da igual.
Por lo tanto, hay que concretar y decir que todos los números son del mismo signo ó CERO.
Cierto Tito Eliatron, lo especifico ahora mismo. Gracias 🙂
Información Bitacoras.com…
Valora en Bitacoras.com: Vamos con el problema semanal. El enunciado es el siguiente: Probar que si , con , son números reales tales que entonces o todos los son no negativos o todos son no positivos. Que se os dé bien. Entra en Gaussianos si quier……
Por inducción se demuestra fácilmente (y yo soy un zoquete, así que es muy sencillo). Como ha comentado Tito Eliatron en el caso n=2 se cumple. Si suponemos que se cumple para n-1, desarrollamos el caso n en función de n-1 y llegamos al resultado que una suma de cuadrados es igual a la suma de los primeros n-1 elementos multiplicado por el enésimo elemento. Como la suma de los primeros n-1 elementos son todos del mismo signo (por la suposición de la inducción), es necesario que el enésimo elemento sea del mismo signo para que tengamos un resultado positivo… Lee más »
Alguno podria poner como lo ha hecho, para los que no lo vemos tan facil… .
para el caso n =2 tenemos que
.
para el caso n ,
para n+1 ,
hasta ahi llego, como debo proceder ?
Para
también es fácil de probar, pues la hipótesis implica que
. Así pues,
. De modo similar,
y
.
Aunque no he conseguido probar el enunciado por la vía algebraica (ni siquiera para ), me gustaría comentar una interpretación geométrica del mismo en términos de formas cuadráticas. Aunque las ideas están algo deslavazadas, creo que se podrían formalizar. La igualdad del ejercicio se puede escribir como , donde y es la matriz cuadrada de dimensión , simétrica, con entradas en la diagonal y fuera de ella. Esta matriz tiene autovalores (simple) con autovector asociado , y con autovalores , ,…,. Esto nos dice que la hipersuperficie de formada por los puntos tales que es un «hipercono» de vértice el… Lee más »
M, yo también he intentado con geometría aunque aun no estoy muy satisfecho del todo. Comento a lo que he llegado:
Notemos por
y
. Podemos suponer que
.
La hipótesis la podemos expresar de la siguiente forma:
Ahora bien,
y sustituyendo en la expresión anterior, podemos escribir
teniendo en cuenta que
, se tiene que
y por tanto, geométricamente,
pertenece o bien la hiperplano no negativo, o bien al hiperplano no positivo.
Me dí cuenta que al final de mi comentario me expresé mal con lo de hiperplano no negativo o no positivo. Lo que estaba pensando en el »hipercuadrante positivo» y su opuesto. Por ejemplo, en el plano sería el primer y tercer cuadrante …
Vamos con la demostración por inducción, tenemos un valor en el que se cumple, que ha demostrado nuestro querido Tito Eliatron. Sólo nos falta demostrarlo para n+1 suponiendo que se cumple para n. En el caso de n tenemos la ecuación del problema: que suponemos que es cierta y que todos los elementos son del mismo signo. Tenemos que demostrar el caso n+1, que tiene la fórmula: Agrupamos los elementos de la parte derecha de esta fórmula en dos grupos y desarrollamos: Por lo que nos queda: Sustituimos el primer elemento de la parte derecha de la fórmula por el… Lee más »
Hola bibliotranstornado. Lo que no me queda claro es que estás suponiendo la hipótesis (la fórmula) tanto para
como para
y esto creo que no es correcto. Solo la tienes que suponer para
y si eres capaz de llegar a una fórmula de
sumandos entonces podrías aplicar la hipótesis de inducción. Pero no suponer directamente la fórmula para
, porque lo que supones cierto es el resultado para
no la fórmula.
Hola Antonio el método de inducción matemática es muy potente, básicamente dice que si una propiedad se cumple para un número natural (generalmente 1, pero puede ser otro, en nuestro caso 2) y conseguimos demostrar que si se cumpliera para un valor arbitrario (n) entonces también se cumpliría para el siguiente valor (n+1) entonces la propiedad se cumple para todos los números mayores que el de partida.
Hay una explicación muy buena en la wikipedia.
Creo que no entendiste lo que quise decir.
Llamemos
a la propiedad quieres probar para
. En el paso de inducción, hay que suponer cierto
y probar que es cierto
. Es decir, lo que hay que suponer cierto es: que siempre que tengas
y verifiquen
entonces todos
son del mismo signo o cero.
Es decir, lo que hay que suponer cierto es el » entonces», pero en lugar de suponer eso, lo que estas suponiendo es que se verifica

No Anonio, la hipótesis inductiva es que para n se cumple la fórmula y además todos los elementos son del mismo signo y lo que hay que demostrar es que para n+1, cumpliéndose la ecuación, el elemento
es del mismo signo que los anteriores.
No sé…. creo que no entiendes bien el proceso de inducción. O yo estoy demasiado espeso hoy. No se que opinan los demás.
Antonio, creo que con tu comentario de 17 de May de 2012 | 00:28 ya falta poco. El conjunto (donde es la matriz de la forma cuadrática definida en mi comentario de 16 de May de 2012 | 22:22) cumple que , y además verifica . Dado un punto denoto en negritas por a un vector en la dirección . Entonces, has demostrado que el ángulo (positivo) que forma cualquier dirección , siendo , con la dirección , siendo , es constante e igual a . Llamemos a los vectores canónicos en . Entonces, todos los puntos de la forma… Lee más »
Bueno, formalizando los comentarios anteriores, a continuación se indica una demostración para el enunciado. Consideramos la norma y producto escalar euclídeo estándar. Uso el símbolo para indicar «menor estricto que». Sean y los vectores canónicos de . Tomemos , donde verifican la propiedad del enunciado. Podemos asumir sin pérdida de generalidad que (dado que no puede ser cero según la propiedad del enunciado, y si fuera negativo, basta cambiar signos). Observar que la propiedad del enunciado se traduce en . Supongamos entonces, por reducción al absurdo, que existen componentes y , para ciertos índices . Definimos entonces los vectores ,… Lee más »
En mi pobre opinion Antonio lo ha dejado ya bien , enhorabuena.
El uso de la inducción por bibliotrastornado fue errada totalmente, porque uso lo que quería demostrar como herramienta para demostrarlo.
Pues yo tengo que decir que mi primera impresión también fue que la prueba de bibliotrastornado estaba mal, pero después de releer el enunciado estoy totalmente de acuerdo con él. Como él bien dice, la fórmula entra dentro de la hipótesis.
Disculpen, la pregunta no tiene nada que ver, pero soy un novato al cual le fascinan las matemáticas tengo solo 16 años, quisiera saber a que nivel se enseña a resolver problemas de ese índole o a que nivel de estudios se prepara para estos problemas.
No se demuestra nada. Primero no se demostró que la formula era válida para n+1, simplemente se supuso verdadera y con eso se demostró que tenían que ser del mismo signo, pero este paso debe ser hecho luego de demostrar la igualdad para n+1. Es deficiente el uso de la inducción. De hecho, esta formula parece ser valida cuando uno, y sólo uno, de los valores es diferente de cero, los demás deben de ser cero. Por eso el enunciado es correcto: o todos los ai son no negativos o todos son no positivos.
No se demuestra nada. Primero no se demostró que la formula era válida para n+1, simplemente se supuso verdadera y con eso se demostró que tenían que ser del mismo signo, pero este paso debe ser hecho luego de demostrar la igualdad para n+1. Es deficiente el uso de la inducción. De hecho, esta formula parece ser valida cuando todos los valores son cero. Por eso el enunciado es correcto: o todos los ai son no negativos o todos son no positivos.
Para Alberto,
A mí me enseñaron cómo hacer demostraciones matemáticas en COU y primero de carrera. Ya por mi cuenta había disfrutado con la demostración de la irracionalidad de raíz de 2 en Cosmos, de Carl Sagan (aquí tienes otra) o la demostración del Teorema de Peano.
Ahora tienes internet y hay muchos resultados, el problema será encontrar resultados para «beginners», pero seguro que los encuentras.
Ánimo