Let $A$ be a finite-dimensional Jordan algebra over $\mathbb{R}$, i.e. a finite-dimensional real vector space with a commutative bilinear product $\circ: A \times A \rightarrow A$ satisfying $(a^2 \circ b) \circ a = a^2 \circ (b \circ a)$ for all $a, b \in A$. Let $Q = \{ a^2 \mid a \in A\}$ be the cone of squares.
I want to show: $Q$ is cone (i.e. closed under addition and multiplication with non-negative reals and $Q \cap -Q = \{0\}$).
The only thing I don't know how to show: If $a, b \in Q$, then $a + b = c^2$ for some $c \in Q$. How can I show this?