判斷矩陣是否可對角化?