このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1305867431/792
#  [1] 授業単元: 固有値 
#  [2] 問題文(含コード&リンク):  
#  Jacobi法の確認プログラム(2x2行列)と直交行列の角度計算方法を例として, 
#  2×2対称行列の固有値と固有ベクトルを求めるプログラムを作成しなさい 
#  ↓確認プログラム 
#  http://ime.nu/codepad.org/zjJntLI9 
#  ↓直交行列の角度計算方法 
#  /*�����s���̊p�x�̌v�Z*/ 
#                  if(a[i][i]==a[j][j]) theta=PI/4.0; 
#                  else theta=atan2(2*a[i][j],(a[i][i]-a[j][j]))/2.0; 
#  

'2×2対称行列の固有値'([[A,B],[B,A]],_固有値) :-
_固有値 is A + B .
'2×2対称行列の固有値'([[A,B],[B,A]],_固有値) :-
_固有値 is A - B .