2020年7月8日水曜日

学習環境

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



    1. x0

      のとき、

      x2+x-12>0(x+4)(x-3)>0x<-4,3<x

      なので

      x>3
      x0

      のとき、

      x2-x-12>0(x-4)(x+3)>0x<-3,4<x

      なので、

      x<-3

      よって、

      x<-3,3<x

    2. x2-40

      のとき、

      x24x-2,2x
      x2-2x-9>0
      x2-2x-9=0x=1±10
      x<1-10,1+10<x

      よって、

      x<1-10,1+10<x
      x24-2x2

      のとき、

      -x2+4>2x+5x2+2x+1<0(x+1)2<0

      解はない。

      よって、

      x<1-10,1+10<x

    3. x2+x-20(x+2)(x-1)0x-2,1x

      のとき、

      x2+x-2-4x+4<0x2-3x+2<0(x-1)(x-2)<01<x<2

      よって、

      1<x<2
      -2x1

      のとき、

      -x2-x+2-4x+4<0x2+5x-6>0(x+6)(x-1)>0x<-6,1<x

      解はない。

      よって、

      1<x<2

コード

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

print('14.')

exprs = [x ** 2 + abs(x) - 12 > 0,
         abs(x ** 2 - 4) > 2 * x + 5,
         abs(x ** 2 + x - 2) - 4 * x + 4 < 0]
for i, expr in enumerate(exprs, 1):
    print(f'({i})')
    pprint(reduce_inequalities([expr]))

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

% ./sample14.py
14.
(1)
(-∞ < x ∧ x < -3) ∨ (3 < x ∧ x < ∞)
(2)
(-∞ < x ∧ x < 1 - √10) ∨ (x < ∞ ∧ 1 + √10 < x)
(3)
1 < x ∧ x < 2
%

0 コメント:

コメントを投稿