学習環境
- Surface Go、タイプ カバー、ペン(端末)
- Windows 10 Pro (OS)
- Nebo(Windows アプリ)
- iPad Pro + Apple Pencil
- MyScript Nebo - MyScript(iPad アプリ(iOS))
- 参考書籍
代数への出発 (新装版 数学入門シリーズ) (松坂 和夫(著)、岩波書店)の第1章(実数)、4(実数の大小)、問10の解答を求めてみる。
a が 0以上の場合。
また、
よって、
a が0未満の場合。
（証明終）
（証明終）
コード
Python 3
#!/usr/bin/env python3
from sympy import symbols
from unittest import TestCase, main
class MyTest(TestCase):
def setUp(self):
pass
def tearDown(self):
pass
def test1(self):
a = symbols('a', real=True)
self.assertEqual(abs(a), abs(-a))
def test2(self):
a = symbols('a', real=True)
self.assertEqual(a ** 2, abs(a) ** 2)
if __name__ == '__main__':
main()
入出力結果(Bash、cmd.exe(コマンドプロンプト)、Terminal、Jupyter(IPython))
$ ./sample10.py -v test1 (__main__.MyTest) ... ok test2 (__main__.MyTest) ... ok ---------------------------------------------------------------------- Ran 2 tests in 0.001s OK $
0 コメント:
コメントを投稿