■ルート系の分類定理(その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)

が得られる.

===================================