2019年1月9日水曜日

学習環境

数学読本〈1〉数・式の計算/方程式/不等式 (松坂 和夫(著)、岩波書店)の第3章(数学の威力を発揮する - 方程式)、3.4(等式の証明)、整式の恒等式の問44の解答を求めてみる。


  1. x 2 a - b b - c c - a = - a 2 x - b x - c b - c - b 2 x - a x - c c - a - c 2 x - a x - b a - b

    x に a を代入。

    左辺。

    a 2 a - b b - c c - a

    右辺。

    a 2 a - b b - c c - a

    よって、 左辺と右辺は等しい。

    同様に、 X が b、 c のときも等式は成り立つ。

    また、両辺は x の2次式である。

    このことから、 3つの 異なる a、 b、 c で成り立つので、 問題の等式は恒等式である。

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, solve
from sympy.plotting import plot3d

print('44.')

a, b, c, d, x = symbols('a, b, c, d, x')

left = x ** 2 / ((x - a) * (x - b) * (x - c))
right = a ** 2 / ((a - b) * (a - c) * (x - a)) + \
    b ** 2 / ((b - c) * (b - a) * (x - b)) + \
    c ** 2 / ((c - a) * (c - b) * (x - c))

for x0 in range(-5, 6):
    print(f'x = {x0}: {(left - right).subs({x: x0}).simplify() == 0}')

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

$ ./sample44.py
44.
x = -5: True
x = -4: True
x = -3: True
x = -2: True
x = -1: True
x = 0: True
x = 1: True
x = 2: True
x = 3: True
x = 4: True
x = 5: True
$

0 コメント:

コメントを投稿