Loading [MathJax]/jax/output/CommonHTML/jax.js

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 コメント:

コメントを投稿