Let be a nonempty set of unit vectors in a real Euclidean plane, closed under the reflections and satisfying for every pair. Then it consists of an antipodal pair, a square, or a regular hexagon. Relative to any fixed member, the inner products can only be , so only eight angles are initially possible. Reflection gives every negative vector. If a perpendicular pair occurs, it and its negatives exhaust the set, since any extra sixty-degree direction would have forbidden inner product with one of them. Otherwise any noncollinear pair gives, after negation, a sixty-degree angle; reflection supplies the third direction and negation supplies the other three hexagon vertices. If no such pair occurs, only the antipodal pair remains. Each configuration directly satisfies the conditions.
These are the equal-length cases of the classification of rank-two root systems, with the antipodal case having rank one. The square is the orthogonal sum of two A1 root systems, and the hexagon is an A2 root system. The root system is considered in the span of its vectors when the ambient plane is not spanned.

Articles by others on the same topic (0)

There are currently no matching articles.