>>526
[v1,v2,v3,Pv1,Pv2,Pv3]は正方行列ではないので行列式は計算できませんよね。
もし正方行列でも、Pの成分をパラメータとしたn^2変数多項式が
実根を持つかという難しい問題になってしまいます。