2017年10月21日土曜日

学習環境

ラング線形代数学(上)(S.ラング (著)、芹沢 正三 (翻訳)、ちくま学芸文庫)の1章(R^n におけるベクトル)、6(複素数)、練習問題4.を取り組んでみる。

  1. α、βを次のようにおく。

    a,b,c,d α=a+bi β=c+di
    • 共役の積について。

      αβ ¯ = ( a+bi )( c+di ) ¯ = ( acbd )+( ad+bc )i ¯ =( acbd )( ad+bc )i α ¯ β ¯ =( abi )( cdi ) =( ac+bd )+( adbc )i =( ac+bd )( ad+bc )i αβ ¯ = α ¯ β ¯
    • 共役の和について。

      α+β ¯ = ( a+bi )+( c+di ) ¯ = ( a+c )+( b+d )i ¯ =( a+c )( b+d )i α ¯ + β ¯ = a+bi ¯ + abi ¯ =( abi )+( cdi ) =( a+c )+( bd )i =( a+c )( b+d )i α+β ¯ = α ¯ + β ¯

コード(Emacs)

Python 3

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

print('4.')
a, b, c, d = symbols('a b c d', real=True)
α = a + b * I
β = c + d * I

for l, r in [((α * β).conjugate(), α.conjugate() * β.conjugate()),
             ((α + β).conjugate(), α.conjugate() + β.conjugate())]:
    print(l == r)

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

$ ./sample4.py
4.
(a - ⅈ⋅b)⋅(c - ⅈ⋅d)

(a - ⅈ⋅b)⋅(c - ⅈ⋅d)

True
a - ⅈ⋅b + c - ⅈ⋅d

a - ⅈ⋅b + c - ⅈ⋅d

True
$

0 コメント:

コメントを投稿