A、Bを n次正方対称行列で、それぞれの行列の固有値がすべて

非負とします。このとき、

 | a(11)*B a(12)*B ・・・・ a(1n)*B  |
| a(21)*B  |
・                     
     ・                    
| a(n1)*B ・・・ a(nn)*B |  (a(ij)とはAの(i,j)成分)

上の n*n次行列の固有値がすべて非負である。

これを教えてください。