Talk:Vector Cross Product is Orthogonal to Factors

Missing part
Isn’t this proof missing the step where you go from “the dot product is zero” to “the vectors are orthogonal”? Maybe there’s already a proof for that which could be linked to? — Timwi (talk) 19:43, 31 January 2013 (UTC)


 * OK I figured out that this is actually your definition of “orthogonal”. Perhaps this proof should simply make this clearer (I’ll give it a shot). Maybe we need a separate proof, then, to show that orthogonal vectors are perpendicular? — Timwi (talk) 19:45, 31 January 2013 (UTC)


 * The proof you've requested is now online as Non-Zero Vectors Orthogonal iff Perpendicular. It is also linked to at the new Definition:Orthogonal (Linear Algebra)/Real Vector Space. --Anghel (talk) 00:26, 1 February 2013 (UTC)