2020年6月25日木曜日


代数への出発
楽天ブックス Yahoo!

学習環境

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



    1. 4x-13<6x+5
      2x>-18
      x>-9

    2. 10x+15≥12x+162x≤-1x≤-12

    3. 5-10x-3-6x<4x-620x>8x>25

コード

#!/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 < ∞
%
時刻: 18:00 ラベル: , , , ,

0 コメント:

コメントを投稿

コメントの投稿(Atom)