■ある無限級数(その68)

 クネーザーは12次元の反例:

  D12=1/2(θ3^12+θ4^12)

  E8+D4=1/2(θ2^8+θ3^8+θ4^8)×1/2(θ3^4+θ4^4)

を見つけ,その後,北岡は8次元の反例を見つけました.

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

  θ3^4=θ2^4+θ4^4

より,θ3を消去すれば両者は(定数倍を除いて)一致することが確認できる.

  θ3^8=θ2^8+θ4^8+2θ2^4θ4^4

  θ3^12=θ2^12+θ4^12+3θ2^8θ4^4+3θ2^4θ4^8

  D12=1/2(θ2^12+2θ4^12+3θ2^8θ4^4+3θ2^4θ4^8)

  E8+D4=1/2(2θ2^8+2θ4^8+2θ2^4θ4^4)×1/2(θ2^4+2θ4^4)

=1/2(θ2^8+θ4^8+θ2^4θ4^4)(θ2^4+2θ4^4)

=1/2(θ2^12+2θ4^12+3θ2^4θ4^8+3θ2^8θ4^4)

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