数学 - Python - 大小関係を見る - 不等式 – 不等式の解法 – 1次不等式(絶対値)

数学読本〈1〉
楽天ブックス(Kobo) Yahoo!

学習環境

• Surface Go、タイプ カバー、ペン(端末)
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad Pro + Apple Pencil
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス(Kobo) Yahoo!)
  • JavaScriptリファレンス 第6版 (楽天ブックス(Kobo) Yahoo!)
  • インタラクティブ・データビジュアライゼーション (楽天ブックス(Kobo) Yahoo!)

数学読本〈1〉数・式の計算/方程式/不等式 (松坂 和夫(著)、岩波書店)の第4章(大小関係を見る - 不等式)、4.2(不等式の解法)、1次不等式の問7の解答を求めてみる。

7. 
   
   1. 
      
      $\begin{array}{}-3<x-1<3\\ -2<x<4\end{array}$
   2. 
      
      $\begin{array}{}2x-5<-5,5<2x-5\\ x<0,x>5\end{array}$
   3. 
      
      $\begin{array}{}-5\le \; <!--\; less-than\; or\; equal\; to\; -->2x+1\le \; <!--\; less-than\; or\; equal\; to\; -->5\\ -3\le \; <!--\; less-than\; or\; equal\; to\; -->x\le \; <!--\; less-than\; or\; equal\; to\; -->2\end{array}$

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols
from sympy.solvers.inequalities import reduce_inequalities

print('7.')

x = symbols('x')
ts = [abs(x - 1) < 3,
      abs(2 * x - 5) > 5,
      abs(2 * x + 1) <= 5]

for i, t in enumerate(ts, 1):
    print(f'({i})')
    pprint(reduce_inequalities(t))

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

$ python3 sample7.py
7.
(1)
-2 < x ∧ x < 4
(2)
(-∞ < x ∧ x < 0) ∨ (5 < x ∧ x < ∞)
(3)
-3 ≤ x ∧ x ≤ 2
$