On the Poincaré series and cardinalities of finite reflection groups

Let be a crystallographic reflection group with length function . We give a short and elementary derivation of the identity , where the product ranges over positive roots , and denotes the sum of the coordinates of with respect to the simple roots. We also prove that in the noncrystallographic case, this identity is valid in the limit ; i.e., .