2020年7月19日日曜日

学習環境

代数への出発 (新装版 数学入門シリーズ) (松坂 和夫(著)、岩波書店)の第7章(不等式)、3(不等式の証明)、正の数に関する絶対不等式、問25、26、27の解答を求めてみる。


  1. (a-b)2-(a-b)2
    =a-b-a-b+2ab
    =-2b+2ab
    >-2b+2b2
    =0

    よって、

    (a-b)2>(a-b)2
    a-b>a-b

    ゆえに、

    a-b

    のほうが大きい。


  2. (a+b)2-(a+b2)2
    =a+b-a+b+2ab2
    =a+b-2ab2
    =(a-b)22
    0

    よって、

    (a+b)2(a+b2)2
    a+ba+b2

  3. |x+y|2-(|x|-|y|)2
    =(x+y)2-x2-y2+2|xy|
    =2(|xy|+xy)
    0

    よって、

    (|x|-|y|)2|x+y|2
    |x|-|y||x+y|

    (証明終)

コード

#!/usr/bin/env python3
from sympy import sqrt
from sympy.plotting import plot3d
from sympy.abc import x, y

print('26, 27.')

fgs = [
    (sqrt(x + y), (sqrt(x) + sqrt(y)) / sqrt(2)),
    (abs(x) - abs(y), abs(x + y))
]
for i, (f, g) in enumerate(fgs, 26):
    p = plot3d(f, g,
               (x, 0, 5),
               (y, 0, 5),
               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'sample{i}.png')
p.show()

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

% ./sample25.py 
26, 27.
%

0 コメント:

コメントを投稿