学習環境
- Surface
- Windows 10 Pro (OS)
- Nebo(Windowsアプリ)
- iPad
- MyScript Nebo - MyScript(iPadアプリ(iOS))
- 参考書籍
新装版 数学読本2 (松坂 和夫(著)、岩波書店)の第8章(円の中にひそむ関数 - 三角関数)、8.1(一般角と三角関数)、簡単な三角方程式と三角不等式の問14の解答を求めてみる。
コード
#!/usr/bin/env python3
from sympy import pprint, symbols, tan, pi, sqrt, Interval
from sympy.solvers import solve_univariate_inequality
print('14.')
x = symbols('x')
domain = Interval(0, pi, False, True)
inequalities = [tan(x) > -1,
tan(x) <= 1 / sqrt(3)]
for i, inequality in enumerate(inequalities, 1):
print(f'({i})')
pprint(solve_univariate_inequality(inequality, x, domain=domain))
print()
入出力結果(Zsh、cmd.exe(コマンドプロンプト)、Terminal、Jupyter(IPython))
% ./sample14.py
14.
(1)
⎛ π⎞ ⎛3⋅π ⎞
⎜0 ≤ x ∧ x < ─⎟ ∨ ⎜─── < x ∧ x < π⎟
⎝ 2⎠ ⎝ 4 ⎠
(2)
⎛ π⎞ ⎛π ⎞
⎜0 ≤ x ∧ x ≤ ─⎟ ∨ ⎜─ < x ∧ x < π⎟
⎝ 6⎠ ⎝2 ⎠
%
0 コメント:
コメントを投稿