学習環境
- Surface
- Windows 10 Pro (OS)
- Nebo(Windows アプリ)
- iPad
- MyScript Nebo - MyScript(iPad アプリ(iOS))
- 参考書籍
代数への出発 (新装版 数学入門シリーズ) (松坂 和夫(著)、岩波書店)の第7章(不等式)、1(1次不等式)の問1の解答を求めてみる。
コード
#!/usr/bin/env python3
from sympy import pprint, plot
from sympy.abc import x
from sympy.solvers.inequalities import solve_univariate_inequality
print('1.')
exprs = [4 * x - 13 < 6 * x + 5,
(2 * x + 3) / 4 >= (3 * x + 4) / 5,
(1 - 2 * x) / 3 - (1 + 2 * x) / 5 < (4 * x - 6) / 15]
for i, expr in enumerate(exprs, 1):
print(f'({i})')
pprint(solve_univariate_inequality(expr, x))
p = plot(4 * x - 13,
6 * x + 5,
(x, -15, 5),
legend=True,
show=False)
colors = ['red', 'green', 'blue', 'brown', 'orange',
'purple', 'pink', 'gray', 'skyblue', 'yellow']
for o, color in zip(p, colors):
o.line_color = color
p.show()
p.save('sample1.png')
入出力結果(Zsh、PowerShell、Terminal、Jupyter(IPython))
% ./sample1.py
1.
(1)
-9 < x ∧ x < ∞
(2)
x ≤ -1/2 ∧ -∞ < x
(3)
2/5 < x ∧ x < ∞
%
0 コメント:
コメントを投稿