■ルート系の分類定理(その6)
pqr<p+q+r+2 (次元数はn=p+q+r+1)
なので,
n=p+q+r+1>pqr−1
この式は「8次元」が重要な次元であることを示している.
===================================
[1]1/p+1/q+1/r>1
と
[2]pqr<p+q+r+2 (次元数はn=p+q+r+1)
は異なるものであるが,[1]において,パラメータが1から始まるようにすると
1/(p+1)+1/(q+1)+1/(r+1)>1
(p+1)(q+1)+(q+1)(r+1)+(r+1)(p+1)>(p+1)(q+1)(r+1)
pq+qr+rs+2(p+q+r)+3>pqr+pq+qr+rs+p+q+r+1
となって,
[2]pqr<p+q+r+2 (次元数はn=p+q+r+1)
が得られる.
===================================