---

Step * of Lemma rcp-Binet-Cauchy-corollary

∀[a,b:ℝ^3].  ((a x b)⋅(a x b) = ((a⋅a * b⋅b) - a⋅b * b⋅a))
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[a,b:\mBbbR{}\^{}3].    ((a  x  b)\mcdot{}(a  x  b)  =  ((a\mcdot{}a  *  b\mcdot{}b)  -  a\mcdot{}b  *  b\mcdot{}a))


By

---

Latex:
Auto

---

Home Index