Frobenius's Theorem/Lemma 5

Lemma
Let $A$ be a quadratic real division algebra.

Let:
 * $U = \left\{{u \in A \setminus \R: u^2 \in \R}\right\} \cup \left\{{0}\right\}$

where $\setminus$ denotes set difference.

Suppose $e_1, \ldots, e_k \in U$ are such that:
 * $\forall i \le k: e_i^2 = -1$
 * $\forall i, j \le k, i \ne j: e_i e_j = -e_j e_i$

If $U$ is not equal to the linear span of $e_1, \ldots, e_k$, then there exists $e_{k+1} \in U$ such that:
 * $e_{k+1}^2 = -1$


 * $\forall i \le k: e_i e_{k+1} = -e_{k+1} e_i$

Proof
From Lemma 1, $U$ is a linear subspace of $A$ such that:
 * $\forall u, v \in U: u v + v u \in \R$


 * $A = \R \oplus U$

Pick $u \in U$ that is not contained in the linear span of $e_1, \ldots, e_k$.

By Lemma 1, we can set $\alpha_i = \dfrac 1 2 \left({u e_i + e_i u}\right) \in \R$.

Note that $v = u + \alpha_1 e_1 + \cdots + \alpha_k e_k$ satisfies $e_i v = v e_i$ for all $i \le k$.

Let $e_{k+1}$ be a scalar multiple of $v$ such that $e_{k+1}^2 = 1$ (whose existence follows from Lemma 1: Assertion 4).

Then $e_{k+1}$ has all desired properties.