2020年6月28日日曜日

学習環境

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



    1. | x - 1 | < 3
      - 3 < x - 1 < 3
      - 2 < x < 4

    2. 2 x - 5 < - 6 , 6 < 2 x - 5
      x < - 1 2 , 11 2 < x
      - 5 12 < 2 x + 5 < 5 12
      - 65 24 < x < - 55 24

    3. x 1

      のとき、

      - x + 1 1 2 x + 1
      0 x

      また、

      x 1

      のとき、

      x - 1 1 2 x + 1
      x 4

      よって求める範囲は

      x 0 , 4 x

コード

#!/usr/bin/env python3
from sympy import pprint, plot, Rational
from sympy.abc import x
from sympy.solvers.inequalities import reduce_inequalities

print('4.')

exprs = [abs(x - 1) < 3,
         abs(2 * x - 5) > 6,
         abs(2 * x + 5) < Rational(5, 12),
         abs(x - 1) >= x / 2 + 1]

for i, expr in enumerate(exprs, 1):
    print(f'({i})')
    pprint(reduce_inequalities([expr], x))

for i, (f, g) in enumerate([(abs(x - 1), 3),
                            (abs(2 * x - 5), 6),
                            (abs(2 * x + 5), Rational(5, 12)),
                            (abs(x - 1), x / 2 + 1)], 1):
    p = plot(f, g,
             (x, -10, 10),
             ylim=(-10, 10),
             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.save(f'sample4_{i}.png')

p.show()

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

% ./sample4.py
4.
(1)
-2 < x ∧ x < 4
(2)
(-∞ < x ∧ x < -1/2) ∨ (11/2 < x ∧ x < ∞)
(3)
-65            -55 
──── < x ∧ x < ────
 24             24 
(4)
(4 ≤ x ∧ x < ∞) ∨ (x ≤ 0 ∧ -∞ < x)
%

0 コメント:

コメントを投稿