2019年9月23日月曜日

学習環境

微分積分学 (ちくま学芸文庫) (吉田 洋一(著)、筑摩書房)のⅡ.(微分法の公式)、2.(数学的帰納法)、問1の解答を求めてみる。


  1. d dx F x = d dx f 1 x f n - 1 x f n x = d dx f 1 x · · f n - 1 ( x f n x + f 1 x · · f n - 1 x d dx f n x = f 1 ' x f 2 x · · f n - 1 x f n x + f 1 x f 2 ' x f 3 x · · f n - 1 x f n x + + f 1 x · · f n - 1 ' x f n x + f 1 x · · f n - 1 x f n ' x

    よって、 帰納法によりすべての自然.'数について成り立つ。

    (証明終)

コード

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, Function, product, Derivative

print('1.')

x = symbols('x')
f = 1

for i in range(1, 6):
    print(f'n = {i}')
    f *= Function(f'f_{i}')(x)
    d = Derivative(f, x, 1)
    for o in [d, d.doit()]:
        pprint(o)
        print()

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

$ ./sample1.py
1.
n = 1
d        
──(f₁(x))
dx       

d        
──(f₁(x))
dx       

n = 2
d              
──(f₁(x)⋅f₂(x))
dx             

      d                 d        
f₁(x)⋅──(f₂(x)) + f₂(x)⋅──(f₁(x))
      dx                dx       

n = 3
d                    
──(f₁(x)⋅f₂(x)⋅f₃(x))
dx                   

            d                       d                       d        
f₁(x)⋅f₂(x)⋅──(f₃(x)) + f₁(x)⋅f₃(x)⋅──(f₂(x)) + f₂(x)⋅f₃(x)⋅──(f₁(x))
            dx                      dx                      dx       

n = 4
d                          
──(f₁(x)⋅f₂(x)⋅f₃(x)⋅f₄(x))
dx                         

                  d                             d                             
f₁(x)⋅f₂(x)⋅f₃(x)⋅──(f₄(x)) + f₁(x)⋅f₂(x)⋅f₄(x)⋅──(f₃(x)) + f₁(x)⋅f₃(x)⋅f₄(x)⋅
                  dx                            dx                            

d                             d        
──(f₂(x)) + f₂(x)⋅f₃(x)⋅f₄(x)⋅──(f₁(x))
dx                            dx       

n = 5
d                                
──(f₁(x)⋅f₂(x)⋅f₃(x)⋅f₄(x)⋅f₅(x))
dx                               

                        d                                   d                 
f₁(x)⋅f₂(x)⋅f₃(x)⋅f₄(x)⋅──(f₅(x)) + f₁(x)⋅f₂(x)⋅f₃(x)⋅f₅(x)⋅──(f₄(x)) + f₁(x)⋅
                        dx                                  dx                

                  d                                   d                       
f₂(x)⋅f₄(x)⋅f₅(x)⋅──(f₃(x)) + f₁(x)⋅f₃(x)⋅f₄(x)⋅f₅(x)⋅──(f₂(x)) + f₂(x)⋅f₃(x)⋅
                  dx                                  dx                      

            d        
f₄(x)⋅f₅(x)⋅──(f₁(x))
            dx       

$ 

0 コメント:

コメントを投稿

関連コンテンツ