I'm studying root systems and coming up with an observation:


Let $\Phi$ be an irreducible root system and $\Phi^+$ be a positive root system. Denote by $\Delta=\{\alpha\_1, \alpha\_2,\ldots,\alpha\_n\}$ be the corresponding base. For $\beta, \gamma \in \Phi^+$, $\alpha\_1, \alpha\_2 \in \Delta$ with the properties that $\beta=\gamma +\alpha\_1+\alpha\_2$, $\gamma +\alpha\_1 \in \Phi^+, \gamma +\alpha\_2\in \Phi^+, \alpha\_1+ \alpha\_2 \notin \Phi^+$ then



> 
> Statement: There exists $\alpha\_3 \in \Delta\setminus\{\alpha\_1,\alpha\_2\}$ such that either $\gamma +\alpha\_1-\alpha\_3 \in \Phi^+$ or $\gamma +\alpha\_2-\alpha\_3 \in \Phi^+$.
> 
> 
> 


The motivation is to investigate the relationship between a positive positive root and other lower positive roots. That is to understand the so-called *Hasse diagram* root systems (for instance see definition of Hasse diagram in [here](http://www.rug.nl/research/portal/files/14628596/03_c3.pdf))


Any help would be much appreciated.



A technical question about root systems
Consider the root system $\mathsf{B}\_n$ with the standard numbering of the fundamental roots (that is, $\alpha\_n$ is short). Take $\alpha\_{n-2}$ and $\alpha\_n$ as a pair of orthogonal roots (indeed, $\alpha\_{n-2}+\alpha\_n$ is not a root), and take $\gamma=\alpha\_{n-1}+\alpha\_n$. Then $\beta\_1=\alpha\_{n-2}+\alpha\_{n-1}+\alpha\_n$, $\beta\_2=\alpha\_{n-1}+2\alpha\_n$ and $\alpha\_{n-2}+\alpha\_{n-1}+2\alpha\_n$ are all roots. But among the differences of the form $\beta\_i-\alpha\_j$ the only roots are $\beta\_1-\alpha\_{n-2}$, $\beta\_1-\alpha\_n$ and $\beta\_2-\alpha\_n$, so this gives a counter-example.


The beautiful pictures of Hasse diagrams you refer to provide a good way to spot such examples, but for this one should draw them in a different way, which is easier to read. The keyword here is a *weight diagram*. For examples, see [this collection](http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.5052) of the diagrams along with a description of their various usages.


Namely, Figure 14 on page 35 is the weight diagram of the adjoint representation of a group (or of a Lie algebra) of type $\mathsf{B}\_n$, which also describes the structure of the root system (its vertices are the roots, plus the "zero weights" corresponding to the fundamental roots). One looks for a square which has non-consecutive label on its sides (say $i$ and $j$), such that the bonds joining its top or bottom vertex to something on the right are also labeled by either $i$ or $j$. Such a square is immediately found on the very bottom of the picture slightly to the left from the middle.


By the way, the quick inspection of the weight diagrams shows that there is no counter-examples besides the one above (I'm not sure, but I haven't spotted any).


