判斷矩陣能否對角化?