Let $\mathfrak{g}$ be a complex simple Lie algebra. We fix a Cartan subalgebra $\mathfrak{t}\subset \mathfrak{g} $. Let $R\subset \mathfrak{t}^\*$ the set of roots. We fix $\Pi\subset R$ the set of simple roots, which induces the set of positive roots $R^+$. Let $W$ be the Weyl group which generator by the reflection $s\_\alpha$ of simple roots.


Let $K\subset \mathfrak{t}^\*$ be the Weyl chamber, that is (for some scalar product on $ \mathfrak{t}^\*$)
$$K=\{X\in \mathfrak{t}^\*: (X,\alpha)>0, \hbox{ for all } \alpha\in \Pi\}.$$


Question : can we show that, except the case $A\_1,A\_2$, $R\cap K$ is empty? 


I'm almost sure about this result. For $A\_n,B\_n,C\_n,D\_n, G\_2$, the explicit calculation gives us the result. I have not done the calculation for the type $E$ and $F$. I think a direct proof (without much calculations, for example the Dykin diagram contains enough information to conclude) should exist. Thank you!


**Add:** As pointed by Sasha, where are 2 possible length of root. 


**Add 2 and answer:** Thank to Sasha, I can complete the proof as short as possible.


We know that $W$ acts on $R$.
Fact: every two elements $\alpha,\beta$ connected by a single line in Dykin diagram is in the same $W$-orbit, since $s\_\alpha s\_\beta(\alpha)=\beta$. 


From this, we can get that: in the (resp. non-)simple-lanced case, we have only one (resp. two) $W$-orbit. This means $R\cap \overline{K}$ has one (resp. two) element. To show the element of $\alpha \in R\cap \overline{K}$ on the Wall, by Chevalley's lemma, it is equivalent to the stabilizer $W\_\alpha$ is non trivial. This is consequence of $|W|>|R|$ (resp. $|W|>|R|-1$).



Root in positive Weyl chamber
Rather than prolong the tangled comments, I'll try to provide a straightforward answer to the current formulation of the question. As noted already, there are two small cases of irreducible root systems (belonging to simple Lie algebras) in which the dominant (open) Weyl chamber denoted $K$ here contains a root: type $A\_1$ and $2\rho = \alpha$ (the sole positive root), type $A\_2$ and $\rho = \alpha\_1 + \alpha\_2$.


Beyond these cases, there are no others. Possibly there is a somewhat more conceptual proof of this, but at the moment I can only verify case-by-case that the highest root $\tilde{\alpha}$ and (if there are two root lengths) the highest short root $\alpha\_0$ lie in the closure of $K$ but not in $K$ itself. In the background is the fact that $\tilde{\alpha}$ and (if it exists) $\alpha\_0$ are the only roots which are *dominant* weights: highest weights of irreducible finite dimensional representations. (This fact does have conceptual origins, which I won't go into here.)


In order to study the root systems individually, it's best to rely on the tables at the end of Bourbaki's Chapters 4-6 in *Lie Groups and Lie Algebras*. For the highest short roots, when they exist, it may be easiest to look at the table in my textbook on page 66. For the exceptional types, it's useful to refer to the explicit tables of positive roots arranged by height appended to Springer's IHES paper [here](http://www.numdam.org/numdam-bin/fitem?id=PMIHES_1966__30__115_0). In all cases, what has to be checked is that some simple root is orthogonal to the dominant root in question, i.e., adding or subtracting it doesn't produce another root. (The dominance means that the addition part is automatic.)


ADDED: After all the edits and comments, maybe it's useful to outline a more detailed proof (based on the Bourbaki/Serre treatment of root systems). Note that only the axiomatic theory of root systems is actually involved here, leaving aside the origins in Lie algebras. 


While developing basic facts about a (reduced) root system in a real euclidean space $E$, with Weyl group $W$, one needs to show that there exist simple systems of roots $\alpha\_1, \dots, \alpha\_n$ and resulting positive systems (all conjugate under $W$). In particular, $W$ is generated by the reflections $s\_i$ corresponding to the $\alpha\_i$, and the positive roots have a natural partial ordering $\beta \leq \alpha$. 


The proofs show that in fact $W$ acts simply transitively on the systems of simple roots. When all hyperplanes orthogonal to roots are removed from $E$, the remaining open sets (Weyl chambers) are then permuted simply transitively by $W$. One of these is the positive (or dominant) Weyl chamber denoted here by $K$, defined by the condition that $(\lambda, \alpha\_i) > 0$ for all $\lambda \in K$ and all $\alpha\_i$. Then one shows that the closure $\overline{K}$ is a *fundamental domain* for $W$: every element of $E$ is $W$-conjugate to a unique element of $\overline{K}$.


With this information in place, one can say more special things about an *irreducible* root system (one coming from a simple Lie algebra):


1) Under the partial ordering, there is a unique maximal root $\tilde{\alpha}$. 


2) $W$ acts irreducibly on $E$.


3) There are at most two root lengths (long, short), those of the same length being $W$-conjugate (so only one of a given length can lie in $\overline{K}$). (If all roots are of equal length, the system is usually called "simply-laced".)


4) If there are two root lengths, $\tilde{\alpha}$ is long. Comparing with the *dual* root system (where long and short are interchanged), one sees that in this case there is a unique maximal short root $\alpha\_0$ in the partial ordering of the original system. Moreover, $\alpha\_0$ lies in $\overline{K}$.


Only at this point does the *classification* of irreducible root systems by Dynkin diagrams come into play. As I've indicated above, one can identify case-by-case which highest long/short roots are orthogonal to particular simple roots; as noted, the only cases where $\tilde{\alpha} \in K$ are types $A\_1, A\_2$. 


