不思議な４平方和恒等式を紹介したい．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］

　６（ａ^2＋ｂ^2＋ｃ^2＋ｄ^2）

＝（ａ＋ｂ）^2＋（ａ−ｂ）^2＋（ｃ＋ｄ）^2＋（ｃ−ｄ）^2

＋（ａ＋ｃ）^2＋（ａ−ｃ）^2＋（ｂ＋ｄ）^2＋（ｂ−ｄ）^2

＋（ａ＋ｄ）^2＋（ａ−ｄ）^2＋（ｂ＋ｃ）^2＋（ｂ−ｃ）^2

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［２］

　６（ａ^2＋ｂ^2＋ｃ^2＋ｄ^2）^2

＝（ａ＋ｂ）^4＋（ａ−ｂ）^4＋（ｃ＋ｄ）^4＋（ｃ−ｄ）^4

＋（ａ＋ｃ）^4＋（ａ−ｃ）^4＋（ｂ＋ｄ）^4＋（ｂ−ｄ）^4

＋（ａ＋ｄ）^4＋（ａ−ｄ）^4＋（ｂ＋ｃ）^4＋（ｂ−ｃ）^4

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［雑感］

　２（ａ^2＋ｂ^2）

＝（ａ＋ｂ）^2＋（ａ−ｂ）^2

　しかし，

　２（ａ^2＋ｂ^2）^2≠（ａ＋ｂ）^4＋（ａ−ｂ）^4

　２平方和版は成り立たないわけであるから，６平方和版，８平方和版も成り立たないと思われる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

8(a^2+b^2+c^2+d^2+1)=(2a+1)^2+(2a-1)^2+(2b+1)^2+(2b-1)^2+(2c+1)^2+(2c-1)^2+(2d+1)^2+(2d-1)^2

この恒等式より８の倍数が８つの奇数の平方和としてあらわされることがわかる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

(a+1)(b+1)(c+1)+(a-1)(b-1)(c-1)=2(a+b+c+abc)

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝