Frobenius's Theorem/Lemma 2

Lemma

Let $\struct {A, \oplus}$ be a quadratic real algebra.


Then:

$\forall u, v \in U: u v + v u \in \R$


Proof

From Lemma 1:

$\forall u, v \in U: u v + v u = \paren {u + v}^2 - u^2 - v^2 \in \R$.

$\blacksquare$

This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.