für feste x, y ∈ ℝn gilt (||...|| bzgl.Standardskalarprodukt) :
\(\sum\limits_{k=1}^{n} (x_k+λy_k)^2\) ≥ \(\sum\limits_{k=1}^{n} x_k^2\) für alle λ∈ℝ
⇔ √[ \(\sum\limits_{k=1}^{n} (x_k^2+2λx_ky_k+λ^2y_k^2)\) ] ≥ √[ \(\sum\limits_{k=1}^{n} x_k^2\) ] für alle λ∈ℝ
⇔ \(\sum\limits_{k=1}^{n} (x_k^2+2λx_ky_k+λ^2y_k^2)\) ≥ \(\sum\limits_{k=1}^{n} x_k^2\) für alle λ∈ℝ
⇔ \(\sum\limits_{k=1}^{n} x_k^2\) + 2λ\(\sum\limits_{k=1}^{n} x_ky_k\) + λ2\(\sum\limits_{k=1}^{n} y_k^2\) ≥ \(\sum\limits_{k=1}^{n} x_k^2\) für alle λ∈ℝ
⇔ 2λ\(\sum\limits_{k=1}^{n} x_ky_k\) + λ2\(\sum\limits_{k=1}^{n} y_k^2\) ≥ 0 für alle λ∈ℝ
⇔# \(\sum\limits_{k=1}^{n} x_ky_k\) = 0 ( Standardskalarprodukt x * y = 0 )
⇔ x ⊥ y
---------
# Für a ≥ 0 ist die Ungleichung a·λ2 + 2b·λ ≥ 0 mit festen a,b ∈ ℝ genau für b=0 allgemeingültig.
Gruß Wolfgang