Aquí hay una prueba abstracta sin sentido:
El vector $$\vec T(\vec{a},\vec{b},\vec{c}):=\vec{a} \times (\vec{b} \times \vec{c}) + \vec{b} \times (\vec{c} \times \vec{a}) + \vec{c} \times (\vec{a} \times \vec{b})$$ se ve fácilmente que es una función trilínea sesgada de las tres variables vectoriales $\vec{a}$ , $\vec{b}$ , $\vec{c}$ . De ello se deduce que sus coordenadas $T_i$ son tres funciones de este tipo con valor real, de las cuales son múltiplos de la función determinante (el llamado producto de triple vector) $[\vec{a},\vec{b},\vec{c}]$ con factores $\lambda_i$ independiente de $\vec{a}$ , $\vec{b}$ , $\vec{c}$ . Poniendo $\vec{p}:=(\lambda_1,\lambda_2,\lambda_3)$ Por lo tanto, tenemos $$\vec T(\vec{a},\vec{b},\vec{c})=[\vec{a},\vec{b},\vec{c}]\>\vec{p}$$ con un vector universal $\vec{p}$ . Esto sólo tiene sentido cuando $\vec{p}=\vec{0}$ .