TheoremBase

Symmetry of Orthogonality and the Pythagorean Identity

Statement

Let VV together with ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle be a complex inner product space, let ∥⋅∥\lVert\cdot\rVert be the induced norm, let 0V0_{V} be the zero vector, and let u,v∈Vu,v\in V. Then the following hold.

1. (Symmetry) uu and vv are orthogonal if and only if vv and uu are orthogonal.

2. (Pythagorean identity) If uu and vv are orthogonal, then

∥u+v∥2=∥u∥2+∥v∥2.\lVert u+v\rVert^{2}=\lVert u\rVert^{2}+\lVert v\rVert^{2}.

3. (Zero vector) 0V0_{V} and vv are orthogonal.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…