- 247 名前：１３２人目の素数さん： [2015/08/31(月) 23:57:53.05 ID:C7YDNbVP.net]
- 3×3正値エルミート行列A=:(a_ij),B=:(b_ij)について,
a22b33-a32~b32+b22a33-b32~a32>0となる事を示す問題です。
だれか証明をお願い致します。
a32~はa32の共役複素数の意味です。
a22b33-a32~b32+b22a33-b32~a32
=Re(a22)Re(b33)+Re(b22)Re(a33)-2(Re(a32)Re(b32)+Im(a32)Im(b32))
となると思いますがここから先に進めません。
