2019年9月21日土曜日

学習環境

代数への出発 (新装版 数学入門シリーズ) (松坂 和夫(著)、岩波書店)の第1章(実数)、4(実数の大小)、問6の解答を求めてみる。


  1. a > b

    と仮定する。

    問題の仮定より b は正なので、 VI の(1)より

    a b > b b = 1

    同様に VI の(1) より、

    a b a > 1 a 1 b > 1 a

    (証明終)

コード

Python 3

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

print('6.')

a = symbols('a', positive=True)
epsilon = 1e-10
b = a + epsilon

print(f'{a} < {b}: {a < b}')
print(f'1 / {b} < 1 / {a} < : {1 / b < 1 / a}')

for a in [0.5] + list(range(1, 5)):
    b = a + b
    print(f'{a} < {b}: {a < b}')
    print(f'1 / {b} < 1 / {a} < : {1 / b < 1 / a}')

入出力結果(Bash、cmd.exe(コマンドプロンプト)、Terminal、Jupyter(IPython))

$ ./sample6.py
6.
a < a + 1.0e-10: True
1 / a + 1.0e-10 < 1 / a < : 1/(a + 1.0e-10) < 1/a
0.5 < a + 0.5000000001: True
1 / a + 0.5000000001 < 1 / 0.5 < : True
1 < a + 1.5000000001: True
1 / a + 1.5000000001 < 1 / 1 < : True
2 < a + 3.5000000001: True
1 / a + 3.5000000001 < 1 / 2 < : True
3 < a + 6.5000000001: True
1 / a + 6.5000000001 < 1 / 3 < : True
4 < a + 10.5000000001: True
1 / a + 10.5000000001 < 1 / 4 < : True
b
$

0 コメント:

コメントを投稿

関連コンテンツ