>>830
AB=BAの場合に同じ行列Pを使って
P^-1APとP^-1BPが同時三角化できる
って話ですよね?