数学 - 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次不等式の問5の解答を求めてみる。

5. 
   
   1. 
      
      $\begin{array}{}2x>-8\\ x>-4\end{array}$
   2. 
      
      $\begin{array}{}7x\le \; <!--\; less-than\; or\; equal\; to\; -->28\\ x\le \; <!--\; less-than\; or\; equal\; to\; -->4\end{array}$
   3. 
      
      $\begin{array}{}10x+15\ge \; <!--\; greater-than\; or\; equal\; to\; -->12x+16\\ x\le \; <!--\; less-than\; or\; equal\; to\; -->-\frac{1}{2}\end{array}$
   4. 
      
      $\begin{array}{}6\left(x-1\right)-4\left(2x-9\right)<3x\\ 6x-6-8x+36<3x\\ 5x>30\\ x>6\end{array}$

コード

Python 3

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

print('5.')

x = symbols('x')
ts = [2 * x - 7 <= -5,
      3 * x + 11 > 5 * x + 7,
      x / 2 > (x - 1) / 3,
      x / 5 > (x - 1) / 6]

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

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

$ python3 sample5.py
5.
(1)
x ≤ 1 ∧ -∞ < x
(2)
-∞ < x ∧ x < 2
(3)
-2 < x ∧ x < ∞
(4)
-5 < x ∧ x < ∞
$