2017年12月17日日曜日

学習環境

数学読本〈5〉微分法の応用/積分法/積分法の応用/行列と行列式(松坂 和夫(著)、岩波書店)の第21章(もう1つの数学の基盤 - 行列と行列式)、21.2(行列式)、3次の行列式の諸性質、問33.を取り組んでみる。


  1. det b , c , a = - det c , h , a = det a , b , c = D

  2. det a + b , b + c , c + a = det a , b + c , c + a + det b , b + c , c + a = det a , b , c + a + det a , c , c + a + det b , b , c + a + det b , c , c + a = det a , b , c + det a , b , a + det a , c , c + det a , c , a + 0 + det b , c , c + det b , c , a = D + 0 + 0 + 0 + 0 + 0 + D = 2 D

コード(Emacs)

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, MatrixSymbol, Matrix

a = MatrixSymbol('a', 3, 1)
b = MatrixSymbol('b', 3, 1)
c = MatrixSymbol('c', 3, 1)
X = Matrix([[x[i] for x in [a, b, c]]
            for i in range(3)])
d = X.det()
X1 = Matrix([[x[i] for x in [b, c, a]]
             for i in range(3)])
d1 = X1.det()
X2 = Matrix([[x[i] for x in [a + b, b + c, c + a]]
             for i in range(3)])
d2 = X2.det()

for t in [X, d, X1, d1, d1 == d, X2, d2, d2.expand() == 2 * d]:
    pprint(t)
    print()

入出力結果(Terminal, Jupyter(IPython))

$ ./sample33.py
⎡a₀₀  b₀₀  c₀₀⎤
⎢             ⎥
⎢a₁₀  b₁₀  c₁₀⎥
⎢             ⎥
⎣a₂₀  b₂₀  c₂₀⎦

a₀₀⋅b₁₀⋅c₂₀ - a₀₀⋅b₂₀⋅c₁₀ - a₁₀⋅b₀₀⋅c₂₀ + a₁₀⋅b₂₀⋅c₀₀ + a₂₀⋅b₀₀⋅c₁₀ - a₂₀⋅b₁₀⋅
c₀₀

⎡b₀₀  c₀₀  a₀₀⎤
⎢             ⎥
⎢b₁₀  c₁₀  a₁₀⎥
⎢             ⎥
⎣b₂₀  c₂₀  a₂₀⎦

a₀₀⋅b₁₀⋅c₂₀ - a₀₀⋅b₂₀⋅c₁₀ - a₁₀⋅b₀₀⋅c₂₀ + a₁₀⋅b₂₀⋅c₀₀ + a₂₀⋅b₀₀⋅c₁₀ - a₂₀⋅b₁₀⋅
c₀₀

True

⎡a₀₀ + b₀₀  b₀₀ + c₀₀  a₀₀ + c₀₀⎤
⎢                               ⎥
⎢a₁₀ + b₁₀  b₁₀ + c₁₀  a₁₀ + c₁₀⎥
⎢                               ⎥
⎣a₂₀ + b₂₀  b₂₀ + c₂₀  a₂₀ + c₂₀⎦

-(a₀₀ + b₀₀)⋅(a₁₀ + c₁₀)⋅(b₂₀ + c₂₀) + (a₀₀ + b₀₀)⋅(a₂₀ + c₂₀)⋅(b₁₀ + c₁₀) + (
a₀₀ + c₀₀)⋅(a₁₀ + b₁₀)⋅(b₂₀ + c₂₀) - (a₀₀ + c₀₀)⋅(a₂₀ + b₂₀)⋅(b₁₀ + c₁₀) - (a₁
₀ + b₁₀)⋅(a₂₀ + c₂₀)⋅(b₀₀ + c₀₀) + (a₁₀ + c₁₀)⋅(a₂₀ + b₂₀)⋅(b₀₀ + c₀₀)

True

$

0 コメント:

コメントを投稿