Lemma 1
Tag 0AY2, permanent. Cite it as [Bourbaki, Tag 0AY2].
Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems
For all , .
Let be the set of such that , in other words such that is an edge of . If and , is not an edge (otherwise would form a circuit), so . Let . Then is an orthonormal basis of . The distance from to is given by , hence the lemma.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.