将no. 1的假设和记号,用sHisHj的nij阶表示,并放入aij=−2cosnijπ。那么aii=2和aij≤0如果i=j,cf.§ 3。证明12,利用前面习题的方法,有
Xa21⋮al1a12X⋮al2……⋱…a1la2l⋮X=i=1∏l(X−2cos(πmi/h)),
其中 m1,…,ml 是 W 的指数。
12更多细节请参见:H. S. M. COXETER, 乘积 of 生成元 of 有限群由反射生成,Duke Math。杂志,第 XVIII (1951),p. 765-782。