■等面単体の体積(その113)

 (n+1)^2A=(−2)^n・(n+1)^n+1

 (n+1)^2B=(−2)^n・(n+1)^n

−64|−3,−1, 1|

   | 0,−4, 0|

   | 1,−1,−3|

=(−1)^n(n+1)^3|・|=(−2)^n・(n+1)^n+1

 したがって,

  |・|=(−2)^n・(n+1)^n-2

(符号を除いて)Bと等しくなるはずである.

|−3,−1, 1|=−36+4=−32

| 0,−4, 0|

| 1,−1,−3|

  |・|=(−2)^3・4=−32

===================================

 各行に(3,4,3)を加えると

|0,3,4|

|3,0,3|

|4,3,0|となって,Bが復元されるから,Bの一部であることは間違いない.

|−3,−1, 1|+|3,4,3|=|0,3,4|

| 0,−4, 0| |3,4,3| |3,0,3|

| 1,−1,−3| |3,4,3| |4,3,0|

第2項は0であるから,これが一般に成り立てば証明は簡単なのであるが,

|−3,−1, 1|+|3,−1, 1|=|0,−1, 1|

| 0,−4, 0| |3,−4, 0| |3,−4, 0|

| 1,−1,−3| |3,−1,−3| |4,−1,−3|

|0,−1, 1|+|0,4, 1|=|0,3, 1|

|3,−4, 0| |3,4, 0| |3,0, 0|

|4,−1,−3| |4,4,−3| |4,3,−3|

|0,3, 1|+|0,3,3|=|0,3,4|

|3,0, 0| |3,0,3| |3,0,3|

|4,3,−3| |4,3,3| |4,3,4|とはならない.

===================================