1: \begin{abstract}

2: We explicitly calculate the {\em  triangle

3: inequalities} for the group $PSO(8)$,  thereby explicitly solving

4: the {\em eigenvalues of a sum} problem for this group (equivalently

5: describing the side-lengths of geodesic triangles in the corresponding symmetric space for the

6: metric $d_{\Delta}$ with values in the Weyl chamber $\Delta$). We then apply

7: some computer programs to verify  two basic

8: questions/conjectures. First, we verify that  the above system of inequalities

9: is irredundant. Then, we verify the ``saturation conjecture'' for  the

10: decomposition of tensor products of finite-dimensional irreducible

11: representations of  $Spin(8)$. Namely, we show

12: that for any  triple of dominant weights $(\la, \mu, \nu)$ such

13: that $\lam+\mu+\nu$ is in the root lattice, and any positive integer $N$,

14: $$

15: (V(\lam)\otimes V(\mu)\otimes V(\nu))^{Spin(8)}\ne 0$$

16: if and only if 

17: $$

18: (V(N\lam)\otimes V(N\mu)\otimes V(N\nu))^{Spin(8)}\ne 0.

19: $$

20: \end{abstract}

21: