■等面単体の体積(その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|とはならない.
===================================