叉积的证明_向量叉积定义的证明

前面写了一篇向量点积定义的证明，由于这个证明比较简单，所以也没有引起深入的思考。后来打算写一篇叉积的证明时，却发现有些东西真的不好理解。

设两个向量$\mathbf{a} = (x_1, y_1, z_1), \mathbf{b} = (x_2, y_2, z_2)$，两向量夹角为$\theta$，很多教材包括维基百科(Cross Product)等给出的定义都是：

$$\mathbf{c} = \mathbf{a} \times \mathbf{b} = \mathbf{n} |\mathbf{a}| |\mathbf{b}| \sin{\theta}$$

其中$\mathbf{n}$是垂直于向量$\mathbf{a},\mathbf{b}$的单位向量，方向由右手法则确定。这样定义似乎没什么不妥，但是我在考虑一些问题：给出这个定义的数学家，他是怎么发现叉积的结果垂直于两向量？向量的模长为什么恰好等于$|\mathbf{a}| |\mathbf{b}| \sin{\theta}$？下面给出我对这些问题的理解。

我想数学家们刚开始定义向量的叉乘运算($\times$)时，给出的唯一基本定义是：$\mathbf{a} \times \mathbf{b}$的结果$\mathbf{c}$是垂直于向量$\mathbf{a},\mathbf{b}$的一个向量，其方向由右手法则确定；如果向量$\mathbf{a},\mathbf{b}$平行，则叉积结果为零向量。有了这个定义，再根据乘法对加法的分配率，便可得到叉积运算的坐标表达式：

\begin{align} \mathbf{a} \times \mathbf{b} = & (x_1\mathbf{i} + y_1\mathbf{j} +