数学 - Pytyhon - 解析学 - ベクトル - ベクトルのノルム - 内積、等式

続 解析入門 (原書第2版)
楽天ブックス Yahoo!
原著: Calculus of Several Variables

学習環境

• Surface
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス Yahoo!)

続 解析入門 (原書第2版) (S.ラング(著)、松坂 和夫(翻訳)、片山 孝次(翻訳)、岩波書店)の第1章(ベクトル)、4(ベクトルのノルム)の練習問題10の解答を求めてみる。

10. 
    
    $\begin{array}{l}A=(1,0)\\ B=(0,1)\\ C=(0,-1)\end{array}$

    のとき、

    $\begin{array}{l}A\ne O\\ B\ne O\\ C\ne O\\ A·B=0\\ A·C=0\end{array}$

    よって

    $A·B=A·C$

    であるが、

    $B\ne C$

    である。

    （証明終）

コード

#!/usr/bin/env python3
from unittest import TestCase, main
from sympy import symbols, Matrix

print('10.')


class Test(TestCase):
    def test(self):
        a = Matrix([1, 0])
        b = Matrix([0, 1])
        c = Matrix([0, -1])
        for o in [a, b, c]:
            self.assertNotEqual(a, Matrix([0, 0]))
        self.assertEqual(a.dot(b), a.dot(c))
        self.assertNotEqual(b, c)


if __name__ == "__main__":
    main()

入出力結果(Zsh、PowerShell、Terminal、Jupyter(IPython))

% ./sample10.py -v
10.
test (__main__.Test) ... ok

----------------------------------------------------------------------
Ran 1 test in 0.001s

OK
%