证先证(1)和(3)。 令 (x,9k) 则对于任意的 (9k,9Dk) y=d191+d22+…+dnn∈T, 利用(9)=0(j≠k),得到 .,x k k=1 =(x,x)-2∑d(x,9)+∑dk2(9,9) x-2∑cd|9‖+∑d2l ∑c2|9+∑(c-d)1证 先证（1）和（3）。 令ck = ( , ) ( , ) k k k   x  ，则对于任意的 1 1 2 2 n n y T = + + +  d d d    ， 利用( j , k ) = 0（ j  k ），得到 2 1 1 2 1 1 2 2 2 2 1 1 2 2 2 2 2 1 1 , ( , ) 2 ( , ) ( , ) 2 ( ) . n n k k k k k k n n k k k k k k k n n k k k k k k k n n k k k k k k k d d d d c d d c c d          = = = = = = = =   − = − −     = − + = − + = − + −         x y x x x x x x x