😊出会いの泉😊

次の命題が成り立ちそうなのですが、いい証明方法（成立しないなら反例）があるでしょうか。
n=3,4,5のときの数値計算から予想しました。

-------

Mを正方行列とするとき、Mの逆行列をinv(M)，Mの余因子行列をadj(M)と表す。

n次の正則行列Pが与えられているとき、sim(・)を次のように定める。
n次正方行列Mに対して sim(M) = inv(P)MP とする。
n次元の行ベクトルxに対して sim(x) = xP とする。
n次元の列ベクトルyに対して sim(y) = inv(P)y とする。

n次正方行列Mから第i行と第j列を取り除いて得られる小行列をM[i,j]と書くことにする。
n次元行ベクトルxからk番目の成分を取り除いて得られるn-1次元行ベクトルをx'[k]と書くことにする。
n次元列ベクトルyからk番目の成分を取り除いて得られるn-1次元列ベクトルをy'[k]と書くことにする。


n≧3とする。
n次元行ベクトルx，n次正方行列M，n次元列ベクトルy が与えられたときに定まる行列R(x,M,y)を次のように定義する。
R(x,M,y)の(i,j)成分をr[i,j]とするとき、
r[i,j] = x'[i]((-1)^(i+j)*adj(M[j,i]))y'[j]
とする。

このとき、
R(sim(x),sim(M),sim(y)) = sim(R(x,M,y))
が成り立つ。

-------

という予想です。
命題の中身を言葉で表すと、行列R(x,M,y)に対して変換行列Pによる基底の変換が矛盾なく適用されるかという感じになるかと思います。