Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 5.3 - Ex. 36
Neste problema, provamos o análogo complexo da desigualdade de Cauchy-Schwarz.
- Prove: se for um número complexo e e vetores em , então
- Use o resultado da parte (a) para provar que
- Tomando na parte (b), prove que
Passo 1
Item A)
Queremos calcular o produto abaixo
Vamos aplicar a propriedade distributiva:
Pelo Teorema 5.3.3d) podemos reorganizar os produtos da seguinte forma:
Ainda no teorema 5.3.3, podemos ver que
Como queremos demonstrar.
Passo 2
Item B)
Pelas propriedades do produto interno, sabemos que o produto interno de um vetor por ele mesmo é igual a norma ao quadrado:
E sabemos que a norma é sempre positiva. Então, a norma ao quadrado também será positiva:
Então:
Vamos substituir o valor que calculamos no Passo 1:
Passo 3
Item C)
Temos que:
Vamos substituit na expressão do passo anterior:
Perceba que :
Vamos fazer algumas simplificações:
Perceba que:
E como o produto escalar entre dois vetores iguais é a norma ao quadrado:
E chegamos na expressão que queremos demonstrar:
Resposta
Ei, a resposta está no passo a passo :)