😊出会いの泉😊

勘違いだったらすみませんが、これ分母が 0 になりませんか？

(1)は、８通りとなりました。

ある本を読んでいるとき、この写像と結合法則の組合せについての記述を読んで
実際どんな写像（演算)が条件を満たすのかを知りたくなり、Mの要素が2つの場合に
全部(16通り)を全てチェックしたら、管理人さんと同様に8通りであることを実験から
見つけられました。
でもこれを前もってわかることはどうしても見つけられなく、次のMの要素が3個の場合は
全部で19683通りもあるので、何とかコンピュータを利用してカウントしない限り分からない
と感じそのプログラムをどう設計すれば可能なのかと、あれこれ試行錯誤を繰り返して組み上げて
いきました。（何日も組み方が分からず悪戦苦闘の連続でした。）
やっとこれで求まるのではないかと思われるプログラムで計算した結果が113通りでした。
Mの要素が4なら3492通りになりました。(結果が出るまで随分時間がかかりました。）
Mの要素が2の場合に較べ、その比率が極端に小さくなったのでこの結果は自信がありませんでした。
この僅かの8,113,3492を例のOEISで検索すると
A023814がヒットしました。
でもこのサイトでの説明文では何も結合法則なる記述はなく、数は一致するもこれが求める数を
示すものかいまいち自信がありません。
何方かこの数を示す正しい数値を見つけて貰いたいのですが･･･

もしこの数値が正しいなら結合法則が成り立つとはとても珍しい現象であると認識しないと
いけないものだと思える。

GAIさん

>この僅かの8,113,3492を例のOEISで検索すると
>A023814がヒットしました。
>でもこのサイトでの説明文では何も結合法則なる記述はなく、数は一致するもこれが求める数を
>示すものかいまいち自信がありません。


英語の意味を検索すると、

associative : 〔演算などが〕結合的な、結合律［法則］を満たす

binary operation : 二項演算

らしいので、

" Number of associative binary operations on an n-set "

は

「要素数nの集合における結合法則を満たす二項演算の数」

となってGAIさんが知りたいものそのものではないでしょうか？

つまり、なぜ理屈が間違うかというと、右辺は、sが合成数の場合(N^t-N){ただし、tはs以下のすべての自然数}の係数がsの倍数にならないというのが、前回の結論でした。
ただし、(N^t-N)がtの倍数としたら、成り立つようです。
(%i1) factor(4-6*3+11*2);
(%o1) 2^3=4X2
(%i2) factor(6-15*5+85*4-225*3+274*2);
%o2) 2^4 3^2=6^2x2^2
(%i3) factor(8-28*7+322*6-1960*5+6769*4-13132*3+13068*2);
(%o3) 2^7 3^3 5=8x2^4x3^3x5

編集済み

うんざりはちべえさん、おはようございます。

＞よってSが自然数のとき
N(N-1)(N-2)(N-3)・・・・{N-(S-1)}=(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-2)(N^3-N)+a(s-1)(N^2-N)
は、sが合成数でも成り立つ。

これは前回自分で証明されましたよね。No.1340の投稿です。

「因みに、何次でも-abcdN+N-(a+b+c+d)N+(ab+bc+cd+ac+ad+bd)N-(abc+abd+acd+bcd)Nの部分はNの項になり、解と係数の関係と同じで±が交互になり、必ず ±(a - 1) (b - 1) (c - 1) (d - 1)…と因数分解でき、ａ＝１より、
N(N-1)(N-2)(N-3)・・・・{N-(S-1)}=(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-2)(N^3-N)+a(s-1)(N^2-N)の形に出来るのですね。」（No.1342より）

このＳには合成数とか素数とか制限がないので、一般のＳで成り立つという事ですね。

＞つまり、なぜ理屈が間違うかというと、右辺は、sが合成数の場合(N^t-N){ただし、tはs以下のすべての自然数}の係数がsの倍数にならないというのが、前回の結論でした。

理屈は間違っていないと思います。一応、前回のものを挙げておきますね。

＞等式は成り立つので、左辺の倍数と右辺の倍数は等しいのです。
ところが、合成数のとき、左辺と右辺が一致しないという理屈がおかしいのです。

この右辺が×だけでつながった式ならおかしいですが、(N^4-N)-6(N^3-N)+11(N^2-N)は和と差でつながっているのでおかしくありません。確か、NHKの番組でも掛け算は簡単ですが足し算は難しいというような話をやっていましたよね。それと同じ事です。

＞ただし、(N^t-N)がtの倍数としたら、成り立つようです。
(%i1) factor(4-6*3+11*2);
(%o1) 2^3=4X2
(%i2) factor(6-15*5+85*4-225*3+274*2);
%o2) 2^4 3^2=6^2x2^2
(%i3) factor(8-28*7+322*6-1960*5+6769*4-13132*3+13068*2);
(%o3) 2^7 3^3 5=8x2^4x3^3x5

これは、DD++さんが発見した、N^561-Nは５６１の倍数という合成数561でやってみて下さい。多分、ダメですよ。（多分の所は証明してありますが、今回は省略します。）

壊れた扉様、こんにちは。

s=561ですか？
N(N-1)(N-2)(N-3)・・・(N-560)=(N^561-N)-a1(N^560-N)+a2(N^559-N)・・・・a561(N^2-N)
とてもそんな計算は無理です。

ええ、私も以前はあきらめていましたが、DD++さんは凄いですよね。

https://www.wolframalpha.com/input?i=Table%5B%28N%5E561-N%29mod561%2C%7BN%2C2%2C30%7D%5D&lang=ja

pythonとかと違って桁違いの計算力なんですね。因みに、今回のに使えるかどうかは全く考えていません。

DD++様の計算は、
N=2〜30において(N^561ーN) mod 561を求めるものです。

うんざりはちべえさん、こんにちは。

よく見ると、以前とは違う法則ですね。

＞つまり、なぜ理屈が間違うかというと、右辺は、sが合成数の場合(N^t-N){ただし、tはs以下のすべての自然数}の係数がsの倍数にならないというのが、前回の結論でした。
ただし、(N^t-N)がtの倍数としたら、成り立つようです。
(%i1) factor(4-6*3+11*2);
(%o1) 2^3=4X2
(%i2) factor(6-15*5+85*4-225*3+274*2);
%o2) 2^4 3^2=6^2x2^2
(%i3) factor(8-28*7+322*6-1960*5+6769*4-13132*3+13068*2);
(%o3) 2^7 3^3 5=8x2^4x3^3x5

s=4のとき、
N(N-1)(N-2)(N-3)=(N^4-N)-6(N^3-N)+11(N^2-N)-----(2)
=N(N^3-1)-6N(N^2-1)+11N(N-1)

s=6のとき、
N(N-1)(N-2)(N-3)(N-4)(N-5)=(N^6-N)-15(N^5-N)+85(N^4-N)-225(N^3-N)+274(N^2-N)------(3)
であるから、(1)より、
=N(N^5-1)-15N(N^4-1)+85N(N^3-1)-225N(N^2-1)+274N(N-1)

s=8のとき、
N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)(N-7)=(N^8-N)-28(N^7-N)+322(N^6-N)-1960(N^5-N)+6769(N^4-N)-13132(N^3-N)+13068(N^2-N)------(4)
であるから、(1)より、
=N{(N^7-1)-28(N^6-1)+322(N^5-1)-1960(N^4-1)+6769(N^3-1)-13132(N^2-1)+13068(N-1)}

以前と違って、係数に指数をかけて総和を取っているのですね。

このエレベータの問題よりもさらに厳しい条件の問題が
「私の備忘録 > 拡張カークマン問題」
の中にプレカークマン問題として載っています。
プレカークマン問題の解は、より条件の緩いこのエレベータ問題の解としても適します。

エレベータ問題とカークマンの女生徒問題は連動しているんですね。
一般にエレベータの総数を(2*n+1)*(3*n+1)で各エレベータはどこかの
階の3か所で稼働するように動くとき、どの階からも他の階に行けるように
なるためのビルの高さの最大階数は6*n+3となる。
これをf((2*n+1)*(3*n+1),3)=6*n+3　で表しておく。
これよりn=1,2,3,4で当てはめると
n=1で12台のエレベータでは9Fまでのビル(出題の問題)
n=2で35台のエレベータでは15Fまでのビル(カークマンの女生徒の解を利用できる。)
n=3で70台のエレベータでは21Fまでのビル
n=4で117台のエレベータでは27Fまでのビル
に対して設計できる。

また他にも
f(s^2+s,s)=s^2のようなものも,
エレベータ総数がs^2+sでビルの高さがs^2階までの時は
各エレベータがどれもs個の階だけしか止まらない動きをすれば
どんな階からでも他の階へ行けるエレベータを運行できる。
これよりs=2,3,4,5,6,7から
f(6,2)=4
f(12,3)=9
f(20,4)=16
f(30,5)=25
f(42,6)=36
f(56,7)=49

以前私の備忘録 > 拡張カークマン問題で
りらひいさんが投稿されていた

方陣[※]
0 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31 32 33 34
35 36 37 38 39 40 41
42 43 44 45 46 47 48

魔方陣[1]
3 34 9 40 15 46 21
28 10 41 16 47 22 4
11 35 17 48 23 5 29
36 18 42 24 6 30 12
19 43 25 0 31 13 37
44 26 1 32 7 38 20
27 2 33 8 39 14 45

魔方陣[2]
38 6 16 33 43 11 21
0 17 34 44 12 22 39
18 28 45 13 23 40 1
29 46 7 24 41 2 19
47 8 25 35 3 20 30
9 26 36 4 14 31 48
27 37 5 15 32 42 10

魔方陣[3]
17 13 2 47 36 32 21
7 3 48 37 33 22 18
4 42 38 34 23 19 8
43 39 28 24 20 9 5
40 29 25 14 10 6 44
30 26 15 11 0 45 41
27 16 12 1 46 35 31

の各方陣の各行、各列を利用させて貰うとこのf(56,7)=49
のモデルを作ることが出来ました。

追伸；
このモデルをつくっておけば
f(s^2-s+1,s)=s^2-s+1
でのs=8
即ちf(57,8)=57でのモデル
全部で57台のエレベータを57階建てのビルに設置し
各エレベータがどこかの階の8ヵ所を稼働するように上手く組み合わせておけば
どの階からも任意の階へ運行しているエレベータが存在している設計が難なく出来る。
(上のモデルの行と列を入れ替えて、残りのエレベータE50～E57に対する停止の8ヵ所の階を理詰めで決定。)

したがってりらひいさんのs:素数での
f(s^2+s,s)=s^2のモデルを構成できる汎用的構成方法を使えば
f((s+1)^2-(s+1)+1,s+1)=(s+1)^2-(s+1)+1
即ち
f(13,4)=13
f(31,6)=31
f(57,8)=57
f(133,12)=133
f(183,14)=183
f(307,18)=307
f(381,20)=381
f(553,24)=553
f(871,30)=871
f(993,32)=993
f(1407,38)=1407
f(1723,42)=1723
f(1893,44)=1893
f(2257,48)=2257
･･･････････
のモデルも順次作っていける。
（こんなものを試行錯誤で作ることは、殆んど望めない。)

対応していただきありがとうございます！

一般の場合
１～A＾ｎー1についても、Ａ個の組に、Ａ進法で、
その桁数の総和をＡで割った剰余で分けると、
それぞれの組の数の累乗和が等しくなることが
同様の方法で示すことが、できます。

1～A^n-1
をA=3; n=4で確認したら(N=1～80で調査)

Nを3進法で表し、各桁の数の和を3で割った余りで分類
M0=[5,7,11,13,15,19,21,26,29,31,33,37,39,44,45,50,52,55,57,62,63,68,70,74,76,78]
M1=[1,3,8,9,14,16,20,22,24,27,32,34,38,40,42,46,48,53,56,58,60,64,66,71,72,77,79]
M2=[2,4,6,10,12,17,18,23,25,28,30,35,36,41,43,47,49,51,54,59,61,65,67,69,73,75,80]
となりますので
gp > for(r=1,5,print(r";"\
sum(i=1,26,M0[i]^r)" VS "sum(i=1,27,M1[i]^r)" VS "sum(i=1,27,M2[i]^r)))
で計算すると
1;1080 VS 1080 VS 1080
2;57960 VS 57960 VS 57960
3;3499200 VS 3499200 VS 3499200
4;225284400 VS 225441864 VS 225284400
5;15099631200 VS 15136372800 VS 15110128800

となりr=3乗までは3つのグループは同一の和を作りましたが
4乗以上では不成立になりました。
（ksさんの記述では4乗まで一致するように感じてしまいました。)

もし勘違いしていたら教えて下さい。
4乗まで一致させるにはどんな工夫をすればいいのだろうか？

GAIさん、すいません。言葉足らずでしたので、加筆修正しました。
kに対して、ｒの範囲は、ｋ－１までです。
A＾ｋを、組み分けしたとき、ｋ－１乗和まで、成り立ちます。
従いまして、４乗の場合、３乗和まで成立します。
４乗和でも、成り立つためには、
５乗以上に個数を広げる必要がありますね。
只今、累乗和の問題に取り組んでいますが、前にも載せましたが、
同様のことが、ｎ個の場合、ｎー１乗和までしか、等しく作れない。
勿論、同じ数ではなくて。８個の累乗和まで、見つかりました。

不等号すら使わずにできます。
4頂点が(-1,1),(-1,-1),(1,-1),(1,1)である正方形（辺が軸に平行）
→ |1-x|+|1+x|+|1-y|+|1+y|=4
4頂点が(0,1),(-1,0),(0,-1),(1,0)である正方形（頂点が軸上）
→ |1-x-y|+|1-x+y|+|1+x-y|+|1+x+y|=4
半径1の円
→ x^2+y^2+|x^2+y^2-1|=1
横の長さがa、縦の長さがbの長方形
→ |a-2x|+|a+2x|+|b-2y|+|b+2y|=2(a+b)
重心が原点で一つの頂点が(0,a)である正三角形
→ |a+x√3-y|+|a-x√3-y|+|a+2y|=3a
重心が原点で一つの頂点が(0,a)である正六角形
→ |a√3-2x|+|a√3+2x|+|a√3+x+y√3|+|a√3+x-y√3|+|a√3-x+y√3|+|a√3-x-y√3|=6a√3

3頂点が(a,b)(c,d)(e,f)である三角形
→ |(ad-bc+bx-dx+cy-ay)(ad-bc+be-de+cf-af)|+|(cf-de+dx-fx+ey-cy)(cf-de+da-fa+eb-cb)|+|(eb-fa+fx-bx+ay-ey)(eb-fa+fc-bc+ad-ed)|
=(ad+cf+eb-bc-de-fa)^2

※すべて内部を含む領域です。

らすかるさん、ありがとうございます。
驚きの結果ですね。値がうまく相殺されるのですね。
円や六角形、自由な三角形も、方程式で！
絶対値は、場合分けなど、不便の記号だとばかり思って
いましたが、便利な記号なんですね。、

3頂点が(a,b)(c,d)(e,f)である三角形
→ |(ad-bc+bx-dx+cy-ay)(ad-bc+be-de+cf-af)|+|(cf-de+dx-fx+ey-cy)(cf-de+da-fa+eb-cb)|+|(eb-fa+fx-bx+ay-ey)(eb-fa+fc-bc+ad-ed)|
=(ad+cf+eb-bc-de-fa)^2

について計算していたら
(ad-bc+be-de+cf-af)=(cf-de+da-fa+eb-cb)=(eb-fa+fc-bc+ad-ed)=(ad+cf+eb-bc-de-fa)
が成り立つようなんですが、従って求める式は
|(ad-bc+bx-dx+cy-ay)|+|(cf-de+dx-fx+ey-cy)|+|(eb-fa+fx-bx+ay-ey)|=|(ad+cf+eb-bc-de-fa)|
と表してはいけませんかね？

確かにそうですね。全く気づきませんでした。
|ad-bc+bx-dx+cy-ay|+|cf-de+dx-fx+ey-cy|+|eb-fa+fx-bx+ay-ey|=|ad+cf+eb-bc-de-fa|
で十分ということですね。

P(7,1) = 14
P(21,1) = 63
P(42,1) = 144
P(91,1) = 338
P(189,1) = 729
P(n,2) = n
P(2n,2n) = 2n^2

a>b>2 のとき以外は上記で全部なことは確認しました。

a>b>2 の場合が難しい……。

b=1のとき
4a^2/(a+7)=4a-28+196/(a+7)
a+7は8以上の196の約数なので
a+7=14,28,49,98,196
∴a=7,21,42,91,189
（4a^2/(a+7)からaが正なら負になることはない）
→(a,b)=(7,1),(21,1),(42,1),(91,1),(189,1)

b=2のとき
4a^2/4a=a
→(a,b)=(n,2)

b=3のとき
4a^2/(9a-19)={4(9a+19)+1444/(9a-19)}/81
9a-19は1444の約数なので
9a-19=1,2,4,19,38,76,361,722,1444
しかし9a-19は9で割って8余る数なので、すべて不適。

b=4のとき
4a^2/(16a-56)=a^2/(4a-14)={(2a+7)+49/(2a-7)}/8
2a-7は49の約数なので
2a-7=1,7,49
∴a=4,7,28
このうちa=7は与式が正整数にならず不適なので
a=4,28が適解。
→(a,b)=(4,4),(28,4)

b=5のとき
4a^2/(25a-117)={4(25a+117)+54756/(25a-117)}/625
25a-117は54756の約数であり、54756の約数のうち
117足して25の倍数になるものは25a-117=108のみ。
このときa=9で、a=9のとき与式は正整数になるのでa=9は適解。
→(a,b)=(9,5)

b=6のとき
4a^2/(36a-208)=a^2/(9a-52)={(9a+52)+2704/(9a-52)}/81
9a-52は2704の約数であり、2704の約数のうち
52足して9の倍数になるものは2と1352のみ。
このとき順にa=6,156でいずれも与式は正整数になり適解。
→(a,b)=(6,6),(156,6)

b=7のとき
4a^2/(49a-335)={4(49a+335)+448900/(49a-335)}/2401
49a-335は448900の約数だが、448900の約数のうち
335足して49の倍数になるものは存在しないので、解なし。

b=8のとき
4a^2/(64a-504)=a^2/(16a-126)={(8a+63)+3969/(8a-63)}/128
8a-63は3969の約数であり、3969の約数のうち
63足して8の倍数になるものは1,9,49,81,441,3969
このとき順にa=8,9,14,18,63,504だが、与式に代入して
正整数になるものはa=8,14,18,504の4個
→(a,b)=(8,8),(14,8),(18,8),(504,8)

b=9のとき
4a^2/(81a-721)={4(81a+721)+2079364/(81a-721)}/6561
81a-721は2079364の約数だが、2079364の約数うち
721足して81の倍数になるものは存在しないので、解なし。

b=10のとき
4a^2/(100a-992)=a^2/(25a-248)={(25a+248)+61504/(25a-248)}/625
25a-248は61504の約数であり、61504の約数のうち
248足して25の倍数になるものは2と30752のみ。
このとき順にa=10,1240でいずれも与式は正整数になり適解。
→(a,b)=(10,10),(1240,10)

b=11のとき
4a^2/(121a-1323)={4(121a+1323)+7001316/(121a-1323)}/14641
121a-1323は7001316の約数であり、7001316の約数のうち
1323足して121の倍数になるものは存在しないので、解なし。

b=12のとき
4a^2/(144a-1720)=a^2/(36a-430)={(18a+215)+46225/(18a-215)}/648
18a-215は46225の約数であり、46225の約数のうち
215足して18の倍数になるものは1と46225のみ。
このとき順にa=12,2580でいずれも与式は正整数になり適解。
→(a,b)=(12,12),(2580,12)

b=13のとき
4a^2/(169a-2189)={4(169a+2189)+19166884/(169a-2189)}/28561
169a-2189は19166884の約数であり、19166884の約数のうち
2189足して169の倍数になるものは存在しないので、解なし。

b=14のとき
4a^2/(196a-2736)=a^2/(49a-684)={4(49a+684)+1871424/(49a-684)}/9604
49a-684は1871424の約数であり、1871424の約数のうち
684足して49の倍数になるものは2,32832,233928
このとき順にa=14,684,4788だが、a=684は与式が正整数にならず不適なので
a=14,4788が適解。
→(a,b)=(14,14),(4788,14)

b=15のとき
4a^2/(225a-3367)={4(225a+3367)+45346756/(225a-3367)}/50625
225a-3367は45346756の約数であり、45346756の約数のうち
3367足して225の倍数になるものは存在しないので、解なし。

b=16のとき
4a^2/(256a-4088)=a^2/(64a-1022)={(32a+511)+261121/(32a-511)}/2048
32a-511は261121の約数であり、261121の約数のうち
511足して32の倍数になるものは1と261121のみ。
このとき順にa=16,8176でいずれも与式は正整数になり適解。
→(a,b)=(16,16),(8176,16)

b=17のとき
4a^2/(289a-4905)={4(289a+4905)+96236100/(289a-4905)}/83521
289a-4905は96236100の約数であり、96236100の約数のうち
4905足して289の倍数になるものは8100のみ。
このときa=45となり、与式は正整数になるので適解。
→(a,b)=(45,17)

ここまでをまとめると、b≦17のときの解は
(a,b)=
(7,1),(21,1),(42,1),(91,1),(189,1),
(n,2),
(4,4),(28,4),
(9,5),
(6,6),(156,6),
(8,8),(14,8),(18,8),(504,8),
(10,10),(1240,10),
(12,12),(2580,12),
(14,14),(4788,14),
(16,16),(8176,16),
(45,17)
眺めてみて
(2n,2n)が解になりそうなのでa=b=2nとすると与式=2n^2となり成り立つ。
また
(4,4)と(28,4)、(6,6)と(156,6)、(8,8)と(504,8)、(10,10)と(1240,10)、
(12,12)と(2580,12)、(14,14)と(4788,14)、(16,16)と(8176,16)は
いずれも与式の値が同じなので、このことから後者の一般解を導出すると
(a,b)=(2n(n^3-1),2n)

まとめ
一般式で表される解で見つかっているものは
(a,b)=(n,2),(2n,2n),(2n(n^3-1),2n)
（ただし前二つはn≧1、最後の一つはn≧2）
それ以外でわかっている解はb≦17のとき
(7,1),(21,1),(42,1),(91,1),(189,1),
(9,5),(14,8),(18,8),(45,17)
孤立解でb＞17であるものは未発見なので、存在するかどうかは不明。
(a,b)=(9,5)のときの与式の値が3、
(a,b)=(14,8),(18,8)のときの与式の値が2、
(a,b)=(45,17)のときの与式の値が1となるため、
ひょっとするとb＞17の孤立解は存在しないかも？

# 最初b=12までで投稿しましたが、その後プログラムで探索したところ
# (a,b)=(45,17)という解があることがわかりましたので、b=17までに
# 拡張しました。

元々P(a,b)=a^2/(2*a*b^2-b^3+1)
での格子点探しの問題に挑戦していて、分数型での形が面白かったので
もっと他の形で調べたらどうなるだろうかと
P(a,b)=3*a/(4*a^2*b^3-b^5+1)
P(a,b)=4*a/(a*b^2-b^3+8)
などと調査して
P(a,b)=4*a^2/(a*b^2-b^3+8)
を調べていた時、結構色々なパターンが同時に含まれてきて、果てこれを手作業
だけで見つけ出すことは可能なのだろうかと疑問に持った。

b=1の場合の攻め方
b=2の場合の特別さ
及び
a=b=2*nでの思い掛けなさ
ところがコンピュータによる検索では
P(9,5)=3,P(45,17)=1
などの思いもよらぬものの出現
更に
a=b=2*nでP(2*n,2*n)=2*n^2 と整理されたであろう部分から
a=2*n*(n^3-1),b=2*nの組み合わせも顔をのぞかせる意外さ
(この式で表されることに気付けたときはビックリしました。）
実はらすかるさんの解答を拝見して
P(14,8)=P(18,8)=2
が存在できることをすっかり見落としておったことに気付かされました。

他に思い掛けなく存在できる格子点が存在しているのではないかという一抹の不安はあります。

なお
P(a,b)=4*a^2/(a*b^2-b^3+7)
に対して調査していたら
P(2,1)=2
P(3,1)=4
P(6,1)=12
P(10,1)=25
P(12,1)=32
P(18,1)=54
P(30,1)=100
P(42,1)=147
P(66,1)=242
P(138,1)=529
とやたらと多くのパターンが発生可能
P(7*n,7*n)=P(7*n*(n*(7*n)^2-1),7*n)=28*n^2
とやはり2通りの形式で作れます。
他に
P(4,3)=P(5,3)=4
P(20,3)=10
P(180,3)=81
となるようです。

この P(a,b) ですが、実は
P((ab^3-8a)/(ab^2-b^3+8),b) = P(a,b)
という恒等式が成立します。

P(2n(n^3-1),2n) = P(2n,2n) も P(14,8) = P(18,8) も、この恒等式の一部ですね。
尤も、b が偶数または P が 4 の倍数のときでないと、左辺が整数解にはなりませんけども。

うんざりはちべえさん、こんにちは。

＞理屈では、Sが素数なら、左辺と右辺は計算と一致するが、合成数では左辺と右辺は一致しない。
しかし、計算上は左辺＝右辺は成立する。左辺を展開し計算すると右辺になる。

合成数の場合でも他の変形をすれば、一致しますよね。むしろ、素数の場合はこの変形で係数が全て素数倍になる事が見事ですね。
また、係数の符号が±で交替になっている事も面白いですね。数学的帰納法でちょっとやってみましたが、無理っぽいので止めました。
因みに、

N(N-1)=N^2-N（追加しました。）
N(N-1)(N-2)=(N^3-N)-3(N^2-N)
N(N-1)(N-2)(N-3)=(N^4-N)-6(N^3-N)+11(N^2-N)
N(N-1)(N-2)(N-3)(N-4) =(N^5-N)-10(N^4-N)+35(N^3-N)-50(N^2-N)
N(N-1)(N-2)(N-3)(N-4)(N-5)=(N^6-N)-15(N^5-N)+85(N^4-N)-225(N^3-N)+274(N^2-N)
N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)=(N^7-N)-21(N^6-N)+175(N^5-N)-735(N^4-N)+1624(N^3-N)-1764(N^2-N)
N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)(N-7)=(N^8-N)-28(N^7-N)+322(N^6-N)-1960(N^5-N)+6769(N^4-N)-13132(N^3-N)+13068(N^2-N)

これらの右辺の係数を各段それぞれ足すと、左辺のNを除いた定数項の符号を逆にした数になるのも面白いですね。（証明は全然考えていません。）

うっかりしました。証明は簡単ですね。左辺のNの項の係数はｋ段目は(-1)^k・ｋ!で、右辺のNの係数は括弧の係数の和×(-1)ですから、「左辺のNを除いた定数項の符号を逆にした数になる」のは当然でした。

壊れた扉様、こんばんは。

＞左辺のNの項の係数はｋ段目は(-1)^k・ｋ!で、右辺のNの係数は括弧の係数の和×(-1)ですから、「左辺のNを除いた定数項の符号を逆にした数になる」のは当然でした。

もう少しわかりやすく説明してもらえないでしょうか？

うんざりはちべえさん、こんばんは。

私も書いた後に中途半端で変だなと思っていました。

左辺のNの項の係数は、N(N-1)(N-2)だったらNを外した(N-1)(N-2)の定数項と等しいですよね。N(N-1)(N-2)(N-3)だったら(N-1)(N-2)(N-3)の定数項と等しいという事です。（ここで、ｋ段目は(-1)^k・ｋ!なんて必要ありませんでした。）

また、右辺のNの項の係数は、(N^3-N)-3(N^2-N)だったら（　）の係数１と－３を足して－Nをかけるので、{１＋(－３)}×(－１)で最後の×(－１)で符号が逆になるので、「右辺の係数を各段それぞれ足すと、左辺のNを除いた定数項の符号を逆にした数になる」のは当然でしたという事です。（また、ちょっと分かり難いかもしれません。）

結局、うんざりはちべえさんが見い出した、N(N-1)(N-2)(N-3)・・・・{N-(S-1)}=(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-2)(N^3-N)+a(s-1)(N^2-N)が成り立つ事がキーという事です。

N(N-a)=N^2-Na=(N^2-N)-Na+N=(N^2-N)+(1-a)N

N(N-a)(N-b)=N^3-(a+b)N^2+Nab
=(N^3-N)-(a+b)(N^2-N)+Nab+N-(a+b)N
=(N^3-N)-(a+b)(N^2-N)+{ab+1-(a+b)}N
(%i3) factor(a*b+1-(a+b));因数分解せよ
(%o3) (a - 1) (b - 1)

N(N-a)(N-b)(N-c)=N^4-(a+b+c)N^3+(ab+bc+ac)N^2-abcN
=(N^4-N)-(a+b+c)(N^3-N)+(ab+bc+ac)(N^2-N)
-abcN+N-(a+b+c)N+(ab+bc+ac)N={-abc+1-(a+b+c)+(ab+bc+ac)}N
(%i5) factor(-a*b*c+1-(a+b+c)+(a*b+b*c+a*c));因数分解せよ
(%o5) - (a - 1) (b - 1) (c - 1)

N(N-a)(N-b)(N-c)(N-d)=N^5-(a+b+c+d)N^4+(ab+bc+cd+ac+ad+bd)N^3-(abc+abd+acd+bcd)N^2+abcdN
=(N^5-N)-(a+b+c+d)(N^4-N)+(ab+bc+cd+ac+ad+bd)(N^3-N)-(abc+abd+acd+bcd)(N^2-N)
+abcdN+N-(a+b+c+d)N+(ab+bc+cd+ac+ad+bd)N+(abc+abd+acd+bcd)N
(%i8) factor(a*b*c*d+1-(a+b+c+d)+(a*b+b*c+c*d+a*c+a*d+b*d)-(a*b*c+a*b*d+a*c*d+b*c*d));因数分解せよ
(%o8) (a - 1) (b - 1) (c - 1) (d - 1)

ここで、a=1ですから0ですね。
この関係から
N(N-a)(N-b)(N-c)(N-d)(N-e)は、
(%o8) (a - 1) (b - 1) (c - 1) (d - 1)(e-1)
になるのでしょうね。

壊れた扉様、こんにちは。

(a - 1) (b - 1) (c - 1) (d - 1)(e-1)とN(N-a)(N-b)(N-c)(N-d)(N-e)は、ほぼ同じだから、当たり前だというのがわかりました。

うんざりはちべえさん、こんにちは。

今朝は何故か投稿できませんでした。

N(N-a)(N-b)(N-c)(N-d)=N^5-(a+b+c+d)N^4+(ab+bc+cd+ac+ad+bd)N^3-(abc+abd+acd+bcd)N^2+abcdN
=(N^5-N)-(a+b+c+d)(N^4-N)+(ab+bc+cd+ac+ad+bd)(N^3-N)-(abc+abd+acd+bcd)(N^2-N)
-abcdN+N-(a+b+c+d)N+(ab+bc+cd+ac+ad+bd)N-(abc+abd+acd+bcd)N
(%i8) factor(a*b*c*d+1-(a+b+c+d)+(a*b+b*c+c*d+a*c+a*d+b*d)-(a*b*c+a*b*d+a*c*d+b*c*d));因数分解せよ
(%o8) (a - 1) (b - 1) (c - 1) (d - 1)

よって、N(N-a)(N-b)(N-c)(N-d)=(N^5-N)-(a+b+c+d)(N^4-N)+(ab+bc+cd+ac+ad+bd)(N^3-N)-(abc+abd+acd+bcd)(N^2-N)+(a - 1) (b - 1) (c - 1) (d - 1)
と変形出来て、ａ＝１から、N(N-a)(N-b)(N-c)(N-d)=(N^5-N)-(a+b+c+d)(N^4-N)+(ab+bc+cd+ac+ad+bd)(N^3-N)-(abc+abd+acd+bcd)(N^2-N)と出来るのですね。

＞N(N-1)(N-2)(N-3)・・・・{N-(S-1)}=(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-2)(N^3-N)+a(s-1)(N^2-N)
が上の結果から成り立つはずである。
うまい証明はないだろうか？

見事に自分で解決されましたね。
因みに、何次でも-abcdN+N-(a+b+c+d)N+(ab+bc+cd+ac+ad+bd)N-(abc+abd+acd+bcd)Nの部分はNの項になり、解と係数の関係と同じで±が交互になり、必ず ±(a - 1) (b - 1) (c - 1) (d - 1)…と因数分解でき、ａ＝１より、
N(N-1)(N-2)(N-3)・・・・{N-(S-1)}=(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-2)(N^3-N)+a(s-1)(N^2-N)の形に出来るのですね。

等式は成り立つので、左辺の倍数と右辺の倍数は等しいのです。
ところが、合成数のとき、左辺と右辺が一致しないという理屈がおかしいのです。
つまりN^s-Nでｓが合成数ならsの倍数にならないということです。
たとえば、
N(N-1)(N-2)(N-3)=(N^4-N)-6(N^3-N)+11(N^2-N)
は左辺は4の倍数ですが、右辺の係数は6,11で共通の倍数を持ちません。N^4-Nが4の倍数とすると、ですから成り立ちません。
N^3-Nは３の倍数、N^2-Nは2の倍数ですから、(N^4-N)-6(N^3-N)+11(N^2-N)=4a-6x3b+11x2c=4a-18b+22cで4の倍数にはなりません。
N^4-Nがいくつの倍数たとえば、ｘでも、xa-18b+22cはa,b,cに関わらず4の倍数にはなりません。
だから、合成数はなにか不思議な力が作用しているのです。

その理由がわかりません。

うんざりはちべえさん、おはようございます。

＞等式は成り立つので、左辺の倍数と右辺の倍数は等しいのです。
ところが、合成数のとき、左辺と右辺が一致しないという理屈がおかしいのです。

この右辺が×だけでつながった式ならおかしいですが、(N^4-N)-6(N^3-N)+11(N^2-N)は和と差でつながっているのでおかしくありません。確か、NHKの番組でも掛け算は簡単ですが足し算は難しいというような話をやっていましたよね。それと同じ事です。

・素数は、
２：N(N-1)=N^2-N
３：N(N-1)(N-2)=N^3-3N^2+2N=(N^3-N)-3(N^2-N)
５：N(N-1)(N-2)(N-3)(N-4) =(N^5-N)-10(N^4-N)+35(N^3-N)-50(N^2-N)
７：N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6) =N^7-N-21(N^6-N)+175(N^5-N)-735(N^4-N)+1624(N^3-N)-1764(N^2-N)
注：175=5^2x7 735=3x5x7^2 1624=2^3x7x29 1764=2^2x3^2x7^2
すべて、係数が素数の倍数。
検算　右辺の因数分解の結果
(%i1) factor((N^3-N)-3*(N^2-N));
(%o1) (N - 2) (N - 1) N
(%i2) factor((N^5-N)-10*(N^4-N)+35*(N^3-N)-50*(N^2-N));
(%o2) (N - 4) (N - 3) (N - 2) (N - 1) N
(%i3) factor(N^7-N-21*(N^6-N)+175*(N^5-N)-735*(N^4-N)+1624*(N^3-N)-1764*(N^2-N))
;
(%o3) (N - 6) (N - 5) (N - 4) (N - 3) (N - 2) (N - 1) N
あっている。


・合成数は、
４：N(N-1)(N-2)(N-3)=(N^4-N)-6(N^3-N)+11(N^2-N)
６：N(N-1)(N-2)(N-3)(N-4)(N-5)=(N^6-N)-15(N^5-N)+85(N^4-N)-225(N^3-N)+274(N^2-N)
８：N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)(N-7)=(N^8-N)-28(N^7-N)+322(N^6-N)-1960(N^5-N)+6769(N^4-N)-13132(N^3-N)+13068(N^2-N)

検算　右辺の因数分解の結果
(%i16) factor((N^4-N)-6*(N^3-N)+11*(N^2-N));
(%o16) (N - 3) (N - 2) (N - 1) N
(%i17) factor((N^6-N)-15*(N^5-N)+85*(N^4-N)-225*(N^3-N)+274*(N^2-N));
(%o17) (N - 5) (N - 4) (N - 3) (N - 2) (N - 1) N
(%i18) factor((N^8-N)-28*(N^7-N)+322*(N^6-N)-1960*(N^5-N)+6769*(N^4-N)-13132*(N^3-N)+13068*(N^2-N));
(%o18) (N - 7) (N - 6) (N - 5) (N - 4) (N - 3) (N - 2) (N - 1) N
あっている。

さて、
N(N-1)(N-2)(N-3)=(N^4-N)-6(N^3-N)+11(N^2-N)
は、4の倍数であるが係数6=2x3,11は4の倍数でない。

N(N-1)(N-2)(N-3)(N-4)(N-5)=(N^6-N)-15(N^5-N)+85(N^4-N)-225(N^3-N)+274(N^2-N)
は、6の倍数であるが係数15=3x5,85=5x17,225=3^2x5^2,274=2x137は6の倍数でない。

N(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)(N-7)=(N^8-N)-28(N^7-N)+322(N^6-N)-1960(N^5-N)+6769(N^4-N)-13132(N^3-N)+13068(N^2-N)
は、8の倍数であるが係数28=2^2x7,322=2x7x23,1960=2^3x5x7^2,6769=7x967,13132=2^2x7^2x67,13068=2^2x3^3x11^2は8の倍数でない。

なぜこのような違いが出るのだろう？不思議です。

うんざりはちべえさん、こんにちは。

＞なぜこのような違いが出るのだろう？不思議です。

例えば、

N(N-a)(N-b)(N-c)=N^4-(a+b+c)N^3+(ab+bc+ac)N^2-abcN
=(N^4-N)-(a+b+c)(N^3-N)+(ab+bc+ac)(N^2-N)
-abcN+N-(a+b+c)N+(ab+bc+ac)N={-abc+1-(a+b+c)+(ab+bc+ac)}N
(%i5) factor(-a*b*c+1-(a+b+c)+(a*b+b*c+a*c));因数分解せよ
(%o5) - (a - 1) (b - 1) (c - 1)

右辺の係数は(N^4-N)-(a+b+c)(N^3-N)+(ab+bc+ac)(N^2-N)よりa+b+cとab+bc+acですが、これは前段階のN^4-(a+b+c)N^3+(ab+bc+ac)N^2-abcNの係数と同じです。つまり、ａ＋ｂ＋ｃは１＋２＋３でこれは左辺の積が素数個の場合ではありませんが、
素数個の場合は、ｃ＝ｐ－１となり、１＋２＋３＋･･･＋(ｐ－１)となり、＝ｐ(ｐ－１)/２でｐは素数よりｐの倍数になるという訳です。
ただし、(ab+bc+ac)以下の場合は証明出来ていません。（昨日やって諦めました。）

壊れた扉様、こんにちは。

N(N-a)(N-b)=N^3-(a+b)N^2+Nab
=(N^3-N)-(a+b)(N^2-N)

N(N-a)(N-b)(N-c)=N^4-(a+b+c)N^3+(ab+bc+ac)N^2-abcN
=(N^4-N)-(a+b+c)(N^3-N)+(ab+bc+ac)(N^2-N)

N(N-a)(N-b)(N-c)(N-d)=N^5-(a+b+c+d)N^4+(ab+bc+cd+ac+ad+bd)N^3-(abc+abd+acd+bcd)N^2+abcdN
=(N^5-N)-(a+b+c+d)(N^4-N)+(ab+bc+cd+ac+ad+bd)(N^3-N)-(abc+abd+acd+bcd)(N^2-N)

N(N-a)(N-b)(N-c)(N-d)(N-e)
=N^6-(a+b+c+d+e)N^5+(ab+ac+bc+ad+bd+cd+ae+be+ce+de)N^4-(abc+abd+acd+bcd+abe+ace+bce+ade+bde+cde)N^3+(abcd+abce+abde+acde+bcde)N^2-Nabcde
=(N^6-N)-(a+b+c+d+e)(N^5-N)+(ab+ac+bc+ad+bd+cd+ae+be+ce+de)(N^4-N)-(abc+abd+acd+bcd+abe+ace+bce+ade+bde+cde)(N^3-N)+(abcd+abce+abde+acde+bcde)(N^2-N)

Sのとき、
=N^S-N-(1+2+3+・・・+S-1){N^(s-1)-N}・・・・
=N^S-N-{(s-1)S/2}{N^(s-1)-N}・・・・
ここで、Sが素数ならS-1は偶数。よって{(s-1)S/2}は、sの倍数。
ｓが合成数で偶数なら、(s-1)は奇数で、s/2は2で割れて、sの倍数にならない。
ｓが合成数で奇数なら、(s-1)は偶数で2で割れて、{(s-1)S/2}は、sの倍数。
ｓが合成数で奇数なら、
=N^S-N-{(s-1)S/2}{N^(s-1)-N}・・・・
{(s-1)S/2}{N^(s-1)-N}は、ｓの倍数になる。
すこし、進歩。

さて、
=N^S-N-{(s-1)S/2}{N^(s-1)-N}+{ab+c(a+b)+d(a+b+c)+e(a+b+c+d)・・・}{N^(s-2)-N}・・・
そこで、
{ab+c(a+b)+d(a+b+c)+e(a+b+c+d)・・・}
より、
2x1+3x(1+2)+4x(1+2+3)+5x(1+2+3+4)・・・・+(s-1)(1+2+3+4+・・・・+(s-2))}
どうしたものか？

＞素数個の場合は、ｃ＝ｐ－１となり、１＋２＋３＋･･･＋(ｐ－１)となり、＝ｐ(ｐ－１)/２でｐは素数よりｐの倍数になるという訳です。

同じ結論になりました。ただし、奇数の合成数も倍数になるようです。残念。

＞ただし、奇数の合成数も倍数になるようです。残念。

鋭い所に気付かれましたね。一応、奇数の合成数の場合も調べてみました。

N*(N-1)*(N-2)*(N-3)*(N-4)*(N-5)*(N-6)*(N-7)*(N-8)*(N-9)*(N-10)*(N-11)*(N-12)*(N-13)*(N-14)を展開すると、

𝑁^15−105𝑁^14+5005𝑁^13−143325𝑁^12+2749747𝑁^11−37312275𝑁^10+368411615𝑁^9−2681453775𝑁^8+14409322928𝑁^7−56663366760𝑁^6+159721605680𝑁^5−310989260400𝑁^4+392156797824𝑁^3−283465647360𝑁^2+87178291200𝑁

やはり、素数じゃないと成り立たないみたいですね。

壊れた扉様、こんばんは。

105/15=7で15の倍数ですが、
5005=5x7x11x13は、15の倍数でないですね。
143325=3^2x5^2x7^2x13は、15の倍数ですね。
2749747=7x11x13x41x67は、15の倍数でないですね。
まあ、このへんでやめておきます。

15は係数がすべて15の倍数でないですね。つまり、15の倍数になれませんね。

もう少し式を整理させました。

N(N-a)(N-b)(N-c)(N-d)(N-e)(N-f)=N^7-(f+e+d+c+b+a)N^6
+ {(e+d+c+b+a)f+(d+c+b+a)e+(c+b+a)d+(b+a)c+ab} N^5
- [{(d+c+b+a)e+(c+b+a)d+(b+a)c+ab}f+{(c+b+a)d+(b+a)c+ab}e+{(b+a)c+ab}d+abc] N^4
+ [{{(c+b+a)d+(b+a)c+ab}e+{(b+a)c+ab}d +abc)}f+{{(b+a)c+ab}d+abc}e+abcd] N^3
- [{{{(b+a)c+ab}d+abc}e+abcd}f+abcde] N^2
+ abcdef N

規則正しくなってますが、これから得るものは、・・・・・？

さすがうんざりはちべえさん、諦めませんね。

＞N(N-a)(N-b)(N-c)(N-d)(N-e)(N-f)=N^7-(f+e+d+c+b+a)N^6
+ {(e+d+c+b+a)f+(d+c+b+a)e+(c+b+a)d+(b+a)c+ab} N^5
- [{(d+c+b+a)e+(c+b+a)d+(b+a)c+ab}f+{(c+b+a)d+(b+a)c+ab}e+{(b+a)c+ab}d+abc] N^4
+ [{{(c+b+a)d+(b+a)c+ab}e+{(b+a)c+ab}d +abc)}f+{{(b+a)c+ab}d+abc}e+abcd] N^3
- [{{{(b+a)c+ab}d+abc}e+abcd}f+abcde] N^2
+ abcdef N

N^5の係数は解決しました。(e+d+c+b+a)f+(d+c+b+a)e+(c+b+a)d+(b+a)c+abは、a=1,b=2,…,f=p-1（ｐは素数）で、それぞれの括弧の右の数字は括弧の最後の数字の次の数字になっているので、ｆをｎ番目とすると、
Σ(n=1~p-1){n(n-1)/2}nで求められます。
∴Σ(n=1~p-1){n(n-1)/2}n=Σ(n=1~p-1){n^2(n-1)/2}=(1/2)Σ(n=1~p-1)(n^3-n^2)=(1/2)Σ(n=1~p-1)n^3－(1/2)Σ(n=1~p-1)n^2
=(1/2){p(p-1)/2}^2－(1/2){p(p-1)(2p-1)/6}=p^2(p-1)^2/8－p(p-1)(2p-1)/12=3p^2(p-1)^2/24－2p(p-1)(2p-1)/24
=p(p-1){3p(p-1)-2(2p-1)}/24=p(p-1)(3p^2-7p+2)/24=p(p-1)(p-2)(3p-1)/24
よって、係数はp(p-1)(p-2)(3p-1)/24でｐは素数よりｐの倍数になる。

因みに、N^4の一番左の{(d+c+b+a)e+(c+b+a)d+(b+a)c+ab}fを同じ方法でやると、
(p-1)Σ(n=1~p-1){(n-2)(n-1)/2}(n-1)でこれを計算すると、
={(p-1)/2}[{p(p-1)/2}^2－４{p(p-1)(2p-1)/6}＋5p(p-1)/2－2(p-1)}で初めの３項は問題ありませんが、最後の項は(p-1)^2で素数になりません。つまり、この分解方法ではダメみたいです。
念のため、この計算結果が正しい事はｐ＝７とすると５１０となり、また、{(4+3+2+1)5+(3+2+1)4+(2+1)3+1・2}6=510となる事から確認済みです。

壊れた扉様、おはようございます。

＞よって、係数はp(p-1)(p-2)(3p-1)/24でｐは素数よりｐの倍数になる。

pが合成数で24と素である場合、pの倍数になりませんかね？
ただし、(p-1)((3p-1)は24の倍数。

pが合成数で24と素である場合、pは２と３の倍数でないということで、たとえば、最小は25ですが、
(p-1)((3p-1)が(25-1)(75-1)で24の倍数ですよね。
すると、N^24とN^23を突破します。N^22は、どうでしょう？
順番に積み上げるしかありませんね。

でも、２４以下では、正しいことが証明されました。前進です。

うんざりはちべえさん、おはようございます。

＞pが合成数で24と素である場合、pの倍数になりませんかね？

以前の「ただし、奇数の合成数も倍数になるようです。残念。」の時も思ったのですが、この証明しようとしている法則は多分素数の場合しか成り立たないですよね。だから、素数以外の合成数の場合は全く考える必要がありません。（多分、うんざりはちべえさんとは見る角度が違っていて誤解されていると思います。）
念のため、左辺の積の数が素数個の場合のみを考えて（証明しようとして）いるという事です。
N(N-a)(N-b)(N-c)(N-d)(N-e)(N-f)は７個の積。（元に戻すとN(N-1)(N-2)(N-3)(N-4)(N-5)(N-6)）

壊れた扉様、こんにちは。

もうスレッドも終わりですから、
＞素数の場合しか成り立たない
として終わりにしますか？

うんざりはちべえさん、こんにちは。

ええ、そうしましょう。今回は色々と収穫がありましたね。

うんざりはちべえと壊れた扉の定理１
N(N-1)(N-2)(N-3)・・・・{N-(S-1)}は必ず(N^S-N)-a1{N^(S-1)-N}+a2{N^(S-2)-N}・・・・-a(s-3)(N^3-N)+a(s-2)(N^2-N)の形に変形出来、右辺の係数の符号は±交互になり、その総和は(-1)^S・(S-1)!になる。（修正しました。）

うんざりはちべえと壊れた扉の定理２
１～ｐ－１までのｐ－１個の自然数の全ての２個の組み合わせの積の総和はｐの倍数になる。ただし、ｐ≧５
例えば、ｐ＝５の場合、1・2＋1・3＋1・4＋2・3＋2・4＋3・4＝３５で５の倍数。
ｐ＝７の場合、1・2＋1・3＋1・4＋1・5＋1・6＋2・3＋2・4＋2・5＋2・6＋3・4＋3・5＋3・6＋4・5＋4・6＋5・6＝１７５＝２５・７で７の倍数。

うんざりはちべえと壊れた扉の予想
１～ｐ－１までのｐ－１個の自然数の全ての２～ｐ－２個の組み合わせの積の総和はｐの倍数になる。
例えば、ｐ＝７の場合のｐ－２個の場合、1・2・3・4・5＋1・2・3・4・6＋1・2・3・5・6＋1・2・4・5・6＋1・3・4・5・6＋2・3・4・5・6＝１２０＋１４４＋１８０＋２４０＋３６０＋７２０＝１７６４＝２５２・７で７の倍数。よって、ｐの倍数になる。

「まほうじん」の字が違いますよ。
魔方陣と書きます。

それはともかくとして。

n≧3のとき、n(n-2)次元になると思います。
なので、4×4のときは8次元です。

一例：
[
[M+A+K, M+P, M-A-B-P, M+B-K ],
[M+Q, M+C-K, M+D+K, M-C-D-Q ],
[M-A+B-Q, M-D+K, M-C-K, M+A-B+C+D+Q ],
[M-B-K, M-C+D-P, M+A+B+C-D+P, M-A+K ],
]