2018年6月17日日曜日

学習環境

解析入門〈3〉(松坂 和夫(著)、岩波書店)の第16章(行列式)、16.2(行列式の他の性質)、問題1-(b).を取り組んでみる。



    1. D n = 1 + x 2 D n - 1 - x 2 D n - 2 D 1 = 1 + x 2 D 2 = 1 + x 2 2 - x 2 = 1 + x 2 + x 4

      よって、帰納法により、

      D n = i = 0 n x 2 i

コード(Emacs)

Python 3

#!/usr/bin/env python3
from sympy import pprint, symbols, Matrix, init_printing

init_printing(order='rev-lex')

x = symbols('x')


def f(i, j):
    if i == j:
        return 1 + x ** 2
    if i + 1 == j or i == j + 1:
        return x
    return 0


for n in range(1, 11):
    print(f'{n}次')
    m = Matrix([[f(i, j) for j in range(n)]
                for i in range(n)])
    for t in [m, m.det()]:
        pprint(t)
        print()
    print()

入出力結果(Terminal, Jupyter(IPython))

$ ./sample2.py
1次
⎡     2⎤
⎣1 + x ⎦

     2
1 + x 


2次
⎡     2        ⎤
⎢1 + x     x   ⎥
⎢              ⎥
⎢             2⎥
⎣  x     1 + x ⎦

        2     
⎛     2⎞     2
⎝1 + x ⎠  - x 


3次
⎡     2                ⎤
⎢1 + x     x       0   ⎥
⎢                      ⎥
⎢             2        ⎥
⎢  x     1 + x     x   ⎥
⎢                      ⎥
⎢                     2⎥
⎣  0       x     1 + x ⎦

        3                
⎛     2⎞       2 ⎛     2⎞
⎝1 + x ⎠  - 2⋅x ⋅⎝1 + x ⎠


4次
⎡     2                        ⎤
⎢1 + x     x       0       0   ⎥
⎢                              ⎥
⎢             2                ⎥
⎢  x     1 + x     x       0   ⎥
⎢                              ⎥
⎢                     2        ⎥
⎢  0       x     1 + x     x   ⎥
⎢                              ⎥
⎢                             2⎥
⎣  0       0       x     1 + x ⎦

     2    4    6    8
1 + x  + x  + x  + x 


5次
⎡     2                                ⎤
⎢1 + x     x       0       0       0   ⎥
⎢                                      ⎥
⎢             2                        ⎥
⎢  x     1 + x     x       0       0   ⎥
⎢                                      ⎥
⎢                     2                ⎥
⎢  0       x     1 + x     x       0   ⎥
⎢                                      ⎥
⎢                             2        ⎥
⎢  0       0       x     1 + x     x   ⎥
⎢                                      ⎥
⎢                                     2⎥
⎣  0       0       0       x     1 + x ⎦

     2    4    6    8    10
1 + x  + x  + x  + x  + x  


6次
⎡     2                                        ⎤
⎢1 + x     x       0       0       0       0   ⎥
⎢                                              ⎥
⎢             2                                ⎥
⎢  x     1 + x     x       0       0       0   ⎥
⎢                                              ⎥
⎢                     2                        ⎥
⎢  0       x     1 + x     x       0       0   ⎥
⎢                                              ⎥
⎢                             2                ⎥
⎢  0       0       x     1 + x     x       0   ⎥
⎢                                              ⎥
⎢                                     2        ⎥
⎢  0       0       0       x     1 + x     x   ⎥
⎢                                              ⎥
⎢                                             2⎥
⎣  0       0       0       0       x     1 + x ⎦

     2    4    6    8    10    12
1 + x  + x  + x  + x  + x   + x  


7次
⎡     2                                                ⎤
⎢1 + x     x       0       0       0       0       0   ⎥
⎢                                                      ⎥
⎢             2                                        ⎥
⎢  x     1 + x     x       0       0       0       0   ⎥
⎢                                                      ⎥
⎢                     2                                ⎥
⎢  0       x     1 + x     x       0       0       0   ⎥
⎢                                                      ⎥
⎢                             2                        ⎥
⎢  0       0       x     1 + x     x       0       0   ⎥
⎢                                                      ⎥
⎢                                     2                ⎥
⎢  0       0       0       x     1 + x     x       0   ⎥
⎢                                                      ⎥
⎢                                             2        ⎥
⎢  0       0       0       0       x     1 + x     x   ⎥
⎢                                                      ⎥
⎢                                                     2⎥
⎣  0       0       0       0       0       x     1 + x ⎦

     2    4    6    8    10    12    14
1 + x  + x  + x  + x  + x   + x   + x  


8次
⎡     2                                                        ⎤
⎢1 + x     x       0       0       0       0       0       0   ⎥
⎢                                                              ⎥
⎢             2                                                ⎥
⎢  x     1 + x     x       0       0       0       0       0   ⎥
⎢                                                              ⎥
⎢                     2                                        ⎥
⎢  0       x     1 + x     x       0       0       0       0   ⎥
⎢                                                              ⎥
⎢                             2                                ⎥
⎢  0       0       x     1 + x     x       0       0       0   ⎥
⎢                                                              ⎥
⎢                                     2                        ⎥
⎢  0       0       0       x     1 + x     x       0       0   ⎥
⎢                                                              ⎥
⎢                                             2                ⎥
⎢  0       0       0       0       x     1 + x     x       0   ⎥
⎢                                                              ⎥
⎢                                                     2        ⎥
⎢  0       0       0       0       0       x     1 + x     x   ⎥
⎢                                                              ⎥
⎢                                                             2⎥
⎣  0       0       0       0       0       0       x     1 + x ⎦

     2    4    6    8    10    12    14    16
1 + x  + x  + x  + x  + x   + x   + x   + x  


9次
⎡     2                                                                ⎤
⎢1 + x     x       0       0       0       0       0       0       0   ⎥
⎢                                                                      ⎥
⎢             2                                                        ⎥
⎢  x     1 + x     x       0       0       0       0       0       0   ⎥
⎢                                                                      ⎥
⎢                     2                                                ⎥
⎢  0       x     1 + x     x       0       0       0       0       0   ⎥
⎢                                                                      ⎥
⎢                             2                                        ⎥
⎢  0       0       x     1 + x     x       0       0       0       0   ⎥
⎢                                                                      ⎥
⎢                                     2                                ⎥
⎢  0       0       0       x     1 + x     x       0       0       0   ⎥
⎢                                                                      ⎥
⎢                                             2                        ⎥
⎢  0       0       0       0       x     1 + x     x       0       0   ⎥
⎢                                                                      ⎥
⎢                                                     2                ⎥
⎢  0       0       0       0       0       x     1 + x     x       0   ⎥
⎢                                                                      ⎥
⎢                                                             2        ⎥
⎢  0       0       0       0       0       0       x     1 + x     x   ⎥
⎢                                                                      ⎥
⎢                                                                     2⎥
⎣  0       0       0       0       0       0       0       x     1 + x ⎦

     2    4    6    8    10    12    14    16    18
1 + x  + x  + x  + x  + x   + x   + x   + x   + x  


10次
⎡     2                                                                       
⎢1 + x     x       0       0       0       0       0       0       0       0  
⎢                                                                             
⎢             2                                                               
⎢  x     1 + x     x       0       0       0       0       0       0       0  
⎢                                                                             
⎢                     2                                                       
⎢  0       x     1 + x     x       0       0       0       0       0       0  
⎢                                                                             
⎢                             2                                               
⎢  0       0       x     1 + x     x       0       0       0       0       0  
⎢                                                                             
⎢                                     2                                       
⎢  0       0       0       x     1 + x     x       0       0       0       0  
⎢                                                                             
⎢                                             2                               
⎢  0       0       0       0       x     1 + x     x       0       0       0  
⎢                                                                             
⎢                                                     2                       
⎢  0       0       0       0       0       x     1 + x     x       0       0  
⎢                                                                             
⎢                                                             2               
⎢  0       0       0       0       0       0       x     1 + x     x       0  
⎢                                                                             
⎢                                                                     2       
⎢  0       0       0       0       0       0       0       x     1 + x     x  
⎢                                                                             
⎢                                                                             
⎣  0       0       0       0       0       0       0       0       x     1 + x

 ⎤
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
 ⎥
2⎥
 ⎦

     2    4    6    8    10    12    14    16    18    20
1 + x  + x  + x  + x  + x   + x   + x   + x   + x   + x  


$

0 コメント:

コメントを投稿

関連コンテンツ