Python+Sympy(数式処理）でZパラメータ（インピーダンス行列）からSパラメータに変換する。その３. S=(Z+Zo)⁻¹(Z-Zo)とS=(Z-Zo)(Z+Zo)⁻¹とどちらでもいいことを確認。

SパラメータとZパラメータの変換で、

S=(Z+Zo)⁻¹(Z-Zo)

と書いてあるケースと、

S=(Z-Zo)(Z+Zo)⁻¹

がある。ただしZoは特性インピーダンスZoが対角成分にある行列（ZoI, I=単位行列）行列なので一般には積の順番を変えると成り立たないが、この場合は成り立つ。

Sympyで見てみる。まずは2行2列の成分表示から。

S1==S2がTrueなので成り立ってる。ただ、、、simplify入れないとFalseになってしまうのでそこだけ注意が必要。

次はMatrixSympolを使ったN行N列の一般の場合。

これも成り立っている。

証明も付けておきます。

まずZoZ = ZZoなので

(Z + Zo)(Z - Zo) = (Z - Zo)(Z + Zo)

が成り立つ。この式に左側も右側も(Z+Zo)⁻¹をかけてみる。

(Z+Zo)⁻¹(Z + Zo)(Z - Zo)(Z+Zo)⁻¹　= (Z+Zo)⁻¹(Z - Zo)(Z + Zo)(Z+Zo)⁻¹

もちろん、 (Z+Zo)⁻¹(Z +Zo) = (Z + Zo)(Z+Zo)⁻¹ = Iなので

S = (Z - Zo)(Z+Zo)⁻¹　=  (Z+Zo)⁻¹(Z - Zo)
が成り立つということ。