😊出会いの泉😊

コンペに応募するとして……

例えば、分母を 2023 以下に抑えつつ、項数をできるだけ多くする作戦がありえますね。

1 = 1/16
+1/6+1/10+1/12+1/14+1/18+1/20+1/22+1/24+1/28+1/36+1/40+1/44+1/48+1/56+1/66+1/70+1/72+1/80+1/88+1/90+1/110+1/112+1/132+1/140+1/144+1/154+1/176+1/180+1/210+1/220+1/264+1/280+1/308+1/360+1/420+1/440+1/528+1/560+1/616+1/720+1/840+1/880+1/1232+1/1680

上は 45 項ですが、見ればただちにお判りになるように、まだまだ項数は増やせそうです。
電卓などを補助に手計算で作りましたので根性が足らずに途中で挫折しました。とほほ。

(1/2)² = (1/3)²+(1/4)²+(1/5)²+(1/7)²+(1/12)²+(1/15)²+(1/20)²+(1/28)²+(1/35)²

をよく探したものだと感心したので(1/3)^2を調査してみたら
gp > V1=[4,6,9,15,20,36,45,60];
gp > V2=[4,6,12,13,15,20,39,52];
gp > V3=[4,6,12,14,15,20,28,42];
gp > V4=[5,6,7,10,14,15,21,30];
らに対しては全て
gp > vecsum(apply(i->1/i^2,V1))
%56 = 1/9
gp > vecsum(apply(i->1/i^2,V2))
%57 = 1/9
gp > vecsum(apply(i->1/i^2,V3))
%58 = 1/9
gp > vecsum(apply(i->1/i^2,V4))
%59 = 1/9
となり(1/3)^2を構成してくれるようです。

なお
(1/2)^2では
M1=[3,4,5,7,12,15,20,28,35]
でのパターン以外でも
M2=[3,4,5,6,12,36,45,60,90]
M3=[3,4,5,6,12,30,60,75,100]
M4=[3,4,5,6,14,20,35,84,140]
M5=[3,4,5,6,15,18,36,60,180]
M6=[3,4,5,6,12,28,60,105,210]
M7=[3,4,5,6,12,35,42,60,420]
M8=[3,4,5,6,12,36,45,50,900]
なども
gp > vecsum(apply(i->1/i^2,M1))
%60 = 1/4
gp > vecsum(apply(i->1/i^2,M2))
%61 = 1/4
gp > vecsum(apply(i->1/i^2,M3))
%62 = 1/4
･････････････
となり(1/2)^2を構成してくれるようです。

検索ではなく、何とか構成式を見つけることは出来ないんでしょうかね？

GAI さん。
たくさん計算してくださってまことにありがとうございました。
見ているだけで不可思議な幸せな気持ちになります。

知人に、くだんの論文のありかを尋ねておりまして、回答が来ました。

An algorithm for Egyptian fraction representations with restricted denominators https://www.semanticscholar.org/paper/An-algorithm-for-Egyptian-fraction-representations-Martin-Shi/a7d01f6936c77be939b0cd7ada41344f0ff81af2

分母の大きさを押さえる方向で
単位分数の和とするにはどういうアルゴリズムがよいのか、
といった論文のようです。

関数型プログラミング言語だと移植しやすいのかなあと思いました。

(1/n)=(1/a1)+(1/a2) で
7⇒[8,56] とか 8⇒[9,72] はなぜ書かれていないのでしょう？
一般に n⇒[n+1,n(n+1)] ですね。

7⇒[8,56] とか 8⇒[9,72] 　が見逃された理由

N=2^a*3^b*5^c*7^d
(a=0,1,2;b=0,1,2;c=0,1;d=0,1)
なる因子に限定する３６タイプの数の組み合わせから、条件を満たす組合せを
探し出していたので、上記の数での組み合わせが顔を出さない結果となっていました。
ですから8=>に対するパターンがどの分野でも見逃される結果を招いています。

探す数の材料を
N=2^a*3^b*5^c＊7^d
(a=0,1,2,3;b=0,1,2;c=0,1;d=0,1)
48パターンでやってみました。
2=>
[3, 6]
3=>
[4, 12]
4=>
[5, 20]
[6, 12]
5=>
[6, 30]
6=>
[7, 42]
[8, 24]
[9, 18]
[10, 15]
7=>
[8, 56]
8=>
[9, 72]
[10, 40]
[12, 24]
9=>
[10, 90]
[12, 36]
10=>
[12, 60]
[14, 35]
[15, 30]

これでやっと姿が現れてきます。

(1/n)=(1/a1)+(1/a2)+(1/a3)+(1/a4)+(1/a5)+(1/a6)+(1/a7) で欠損している部分でも
8=>
[35, 42, 60, 63, 70, 72, 84]
[40, 42, 56, 60, 63, 72, 84]
その他多くが発見できました。

この前の三角比と話のときもそうでしたが、はちべえさんが論点先取についてよくわかっていない、または勘違いしているようなので。

以下のように書いた人がいたとしましょう。

-------

フェルマーの最終定理の証明

n≧3 のとき、
フェルマーの最終定理より、
a^n + b^n = c^n
に自然数解は存在しない。

c^n を移項すると、
a^n + b^n - c^n = 0
も自然数解は存在しない。

よって、ここから c^n を移項した、
a^n + b^n = c^n
に自然数解は存在しない。

したがって、フェルマーの最終定理は示された。

-------

これが証明になっていないことはわかりますか？
この人はフェルマーの最終定理をこれから証明しようとしています。
なのに、「フェルマーの最終定理より」と既に証明が済んでいる前提で話が始まるのはおかしいですよね。
こういうのを論点先取と言って、その後どう話を展開しようが正しい証明になることは絶対にありません。
「結論をみんなが納得してくれるなら、結論をみんなが納得してくれる」と言ってるだけなわけですからね。

それを理解してもらえたら次を見てください。

--------

( a^n + b^n )^2 ≧ (a+b)^n の証明

（一部略）

以降、a≧2, b≧2 とする。

( a^n + b^n )^2 ≧ (a+b)^n より、

（以下しばらく略）

よって ( a^n + b^n )^2 ≧ (a+b)^n

-------

これ、どう思いますか？

それは、おかしいですよね。

でも、補題は、そうなっていません。ちゃんと読んでいただければ、わかるはずです。
以降a≧2,ｂ≧2とする。
の下は、ちょっと表現はまずかったのですが、(a^n+b^n)^2-(a+b)^nとして、
(a^n+b^n)^2-(a+b)^n=a^2n+2a^nb^n+b^2n-(a+b)^n
と書くべきだったのです。(a^n+b^n)^2＞(a+b)^nを利用している箇所はありません。

> b≠0とする。a/b・・・
> は、どうなるんだろう？
は、「b≠0とする。」は論点先取りに当たりませんか？

ん？
使ってないんですか？
じゃあ、そこの行が削除されたと思って読んでみます。

b≠0 の話は、もし証明したい内容が b≠0 やそれに類する内容なのであれば、論点先取問題があります。
あるいは、b=0 も想定しているはずの証明で b≠0 を勝手に付け加えたとかも問題です。
それ以外、つまり b=0 と b≠0 で場合分けしただけとか、b≠0 であることを証明した後なら問題ないと思いますよ。

補題を直しました。緑色のうんざりはちべえをクリックしてください。

＞b≠0 の話は、もし証明したい内容が b≠0 やそれに類する内容なのであれば、論点先取問題があります。
あるいは、b=0 も想定しているはずの証明で b≠0 を勝手に付け加えたとかも問題です。
それ以外、つまり b=0 と b≠0 で場合分けしただけとか、b≠0 であることを証明した後なら問題ないと思いますよ。

証明に先立って、a/bが出てくるので、b≠0とするということはいいのですね。

では、背理法の場合は、論点先取りにはならないとしないとまずいですよね？

フェルマーの最終定理で、「a,b,cは互いに素な自然数とする」とか、
√２は無理数では、「a/bのa,bは互いに素である」として、「a/bは互いに素でない。矛盾」
となっています。

どう思います？

修正後のを読みました。
……なんで元のやつには全部を台無しにする一文を突っ込んであったんでしょうね。

気になった点を 2 つ。

1 つめ。
b = a + j で j≧0 としていますが、何か数値を新しい文字でおくときには、そういう条件を満たす数が存在する保証が必要です。
j に制限がなければそういう j が存在することは明らかですが、0 以上の範囲で存在する保証はありません。
最初の a≧2, b≧2 を b≧a≧2 にした上で、a>b≧2 の場合の証明を書き足す（同様にで十分でしょうけど）等の修正が必要だと思います。

2 つめ。
b≧a という条件も付け足した前提での話になります。
この証明って
b^2n = b^n*b^n ≧ 2^n*b^n = (2b)^n ≧ (a+b)^n
という一行を、わざわざ二項定理で展開したり間の不等式を増やしたりして話をややこしくしているだけに見えるんですが、その理解は間違っているでしょうか？

> 証明に先立って、a/bが出てくるので、b≠0とするということはいいのですね。

先立ってというか、そもそも命題が b≠0 を前提に書かれているかどうかですね。
・命題自体に b≠0 と明記されている
・b が辺の長さなど通常 0 になることがない量を表す文字である
・命題の中に b を分母にした分数が存在する
・命題の中に b を真数にする対数が存在する
などの場合は b≠0 としてしまって大丈夫です。
（b≠0 「とする」よりも b≠0 「である」と書く方が、自分が勝手に決めたと誤解されないので、より良いと思います）

> 背理法の話

背理法の場合は、論点先取にはなりません。
背理法は、命題 A を証明するのに「命題 A の反例の存在を仮定する」のです。
「命題 A を仮定する」わけじゃありません。
確かにぱっと見は論点先取っぽくも見える行為ではあるので、ややこしくはあるのですが。

なお、未証明のまま根拠に用いていいのは「命題 A の反例の存在を仮定する」とした部分のみであることに注意が必要です。

フェルマーの最終定理であれば、命題が「等式を満たす x, y, z は存在しない」です。
だから「等式を満たす x, y, z が存在したと仮定する」は根拠なく仮定して、他の内容の根拠に用いて大丈夫です。
でも、それ以外は根拠なく用いてはいけません。
その x, y, z が互いに素かどうかは、反例の存在を仮定しただけでは何も言えませんので、別途証明が必要です。

√2 の証明も、命題が「無理数である」なので、「有理数である」を根拠なく仮定し、他の内容の根拠に用いて構いません。
でも、それ以外は根拠なく用いてはいけません。
だから、
・有理数であるならば、互いに素な整数 a, b （ただし b≠0）を用いて、その数を a/b と書ける
・√2 は有理数である
・よって互いに素な整数 a, b （ただし b≠0）を用いて √2 = a/b と書ける
という話をするときに、1 つめの文が本当に正しいかどうかはきちんと確認しなければいけません。

１つめ
なるほど、a≧2, b≧2 と書いてあるからb=a+jだけで済みますね。

２つめ
なるほど。シンプルですね。

フェルマーの最終定理を初等的に証明しました。
ご迷惑おかけしますが、皆さんのご意見をお聞かせください。
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
二項定理より、{http://y-daisan.private.coocan.jp/html/felmer-7-2.pdfより　緑色のうんざりはちべえをクリックしてください。}
　　　n
a^n-1=Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(a-1)^(n-i)}----(a)
　　　i=1

　　　n
b^n-1=Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(b-1)^(n-i)}----(b)
　　　 i=1

　　　n
c^n-1=Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(c-1)^(n-i)}----(c)
　　　 i=1

a^n+b^n=c^nとすると、{ただしa<b<cとする}

a^n-1+b^n-1+1=c^n-1
(a^n-1)+(b^n-1)+1=(c^n-1)
(a^n-1)+1=(c^n-1)-(b^n-1)
式(a),(b),(c)より、
n
Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(a-1)^(n-i)}＋１
i=1

　n
＝Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(c-1)^(n-i)}
　i=1

　n
ーΣ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(b-1)^(n-i)}
　i=1

　　　　n
a^n-1+1＝Σ nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}
　　　　i=1

n
Σ [nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]-1----(d)
i=1

とすると、(d)式の
(c-1)^(n-i)-(a-1)^(n-i)
の大小関係を調べればよい。
公式、
x^n-y^n=(x-y){x^(n-1)+x^(n-2)y+x^(n-3)y^2+・・・+xy^(n-2)+y^(n-1)}
より、
x,yが自然数なら、{}の中は、正の自然数。したがって、(x-y)が正か負でx^nとy^nの大小関係がわかる。

１）
(c-1)^(n-i)-(a-1)^(n-i)
において、c>b>aより、c-1>a-1より、
c-bの項数とaの項数が問題となり、条件はc-b>aがつく。
(c-1)^(n-i)-(a-1)^(n-i)>0
となる。よって(d)式は>0----(g)

２）
また、
c-1)^(n-i)-(a-1)^(n-i)
において、c>b>aより、c-1>a-1より、
c-bの項数とaの項数が問題となり、条件はc-b＜aがつく。
(c-1)^(n-i)-(a-1)^(n-i)<0
となる。よって(d)式は<0----(h)

これらを満足すれば、フェルマーの最終定理は証明できる。

３）
ただし、(d)式=0の場合を考えてみる。i=1〜nにおいて
(c-1)^(n-i)-(a-1)^(n-i)
c>b>aより、c-1>a-1より、(c-1)^(n-i)-(a-1)^(n-i)≧0----(f)
c-bの項数とaの項数が問題となり、条件はc-b=aがつく。

３−１）i=nのとき、
nCn{b^(n-n)+(b+1)^(n-n)+(b+2)^(n-n)+・・・+(c-1)^(n-n)}
-{nCn{1^(n-n)+2^(n-n)+3^(n-n)+・・・+(a-1)^(n-n)+1}
=c-b-a=0

３−２）i=n-1のとき、
nC1{b+(b+1)+(b+2)+・・・+(c-1)}-{nC1{1+2+3+・・・+(a-1)}
=n{(c-1)c/2-(b-1)b/2-(a-1)a/2}
=n{(c-1)c-(b-1)b-(a-1)a}/2
=n{c^2-c-b^2+b-a^2+a}/2
=n{c^2-b^2-a^2-(c-b-a)}/2
c-b=aより、
=n{(c-b)(c+b)-a^2}/2
=n{a(c+b)-a^2}/2
=n{a(a+2b)-a^2}/2
=n{a^2+2ab-a^2}/2
=abn
ここで、a,b,nは自然数より、
nC1{b+(b+1)+(b+2)+・・・+(c-1)}-{nC1{1+2+3+・・・+(a-1)}=abn>0----(e)

３−３）
(d)式=0であるには、(f)であるから、i=1〜nまで、
n
Σ [nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]-1----(d)
i=1
の[nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]=0でなければならない。
ところが、i=n-1で(e)式はabn>0であり、0でない。---(j)

したがって、(d)式=0にはならない。

ゆえに、(g)と(h)と(j)から(c)式ー(b)式　ー｛（ａ）式＋１｝≠　０

つまり、a^n+b^n≠c^n

よって、フェルマーの最終定理は初等的に証明された。

> 条件はc-b>aがつく
> 条件はc-b＜aがつく
> 条件はc-b=aがつく

条件がつく、という言葉の意味がわからないんですが、
これはどういう主張でしょう？

DD＋＋様、こんばんは。

＞c-bの項数とaの項数が問題となる

ので、(d)式が＞０あるいは、＜０あるいは＝０であるには、項数の大小関係という問題があるので、条件がつくということです。

そういうことではない問題があるとご指摘でしょうか？

純粋に条件が「つく」という日本語の意味がわかりませんという話です。
条件が「得られる」とか、条件が「与えられる」とか、条件が「必要になる」とかならわかります。
条件が「つく」とは一体？

なるほど、「必要になる」意味ですね。

では、必要になったその条件はどこで証明されているのでしょう？

１）
＞c-1)^(n-i)-(a-1)^(n-i)----(ア）
において、c>b>aより、c-1>a-1より、
c-bの項数とaの項数が問題となり、条件はc-b>aがつく。
(c-1)^(n-i)-(a-1)^(n-i)>0
となる。よって(d)式は>0----(g)

(ア）とc>b>aと公式より、(c-1)^(n-i)-(a-1)^(n-i)>0
となるには、条件はc-b>aが必要になります。

どうように、２）３）も同様です。

論理の順序として不適切な表現だったかもしれません。

順番の問題じゃなく、「必要だ」と言っているものが、どこにも存在していないですよね？

＞３）
ただし、(d)式=0の場合を考えてみる。i=1〜nにおいて
(c-1)^(n-i)-(a-1)^(n-i)
c>b>aより、c-1>a-1より、(c-1)^(n-i)-(a-1)^(n-i)≧0----(f)
c-bの項数とaの項数が問題となり、条件はc-b=aがつく。

ここの意味がよく分からないのですが。

n
Σ [nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]-1----(d)
i=1

c-bの項数とはb^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)の項数でaの項数とは(a)式のnCi{・・・}の項数の事でしょうか。
そうだとすると、左はc-1-b+1=c-b個で右はa-1個でc-b=a-1なのではないでしょうか。

>３−３）
(d)式=0であるには、(f)であるから、i=1〜nまで、
n
Σ [nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]-1----(d)
i=1
の[nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]=0でなければならない。

これでは(d)式は-1ではないのでしょうか。

必要性でしかないのだから、c-b と a の大小関係が決まってもアの大小関係は決まりませんけど。

正直、必要性十分性がぐちゃぐちゃで、まともに「みなさんのご意見」が出せないくらいひどいです。
意見をするには「間違っているんだけど、何をしたかったのかはわかる」程度にはきちんと整理されていなければなりませんが、この文章はまずその推測すら不可能です。

KY様、おはようございます。

＞c-bの項数とaの項数が問題となり、条件はc-b=aがつく。

　　　n
b^n-1=Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(b-1)^(n-i)}----(b)
　　　 i=1


　　　n
c^n-1=Σ nCi{1^(n-i)+2^(n-i)+3^(n-i)+・・・+(c-1)^(n-i)}----(c)
　　　 i=1

より、c-n-1とb^n-1の差は、c>bなので、１〜b-1が引かれて、

n
Σ [nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}
i=1

となりますので、ｂ〜c-1項でb=10,c=20とすると、10〜19なので、10項ですよね。項数はc-bになりませんか？aも1からa-1なので、あれ、項数はa-1ですね。

＞そうだとすると、左はc-1-b+1=c-b個で右はa-1個でc-b=a-1なのではないでしょうか。

まったく、そうですね。うっかりしてました。

＞３−３）
＞これでは(d)式は-1ではないのでしょうか。

＞の[nCi{b^(n-i)+(b+1)^(n-i)+(b+2)^(n-i)+・・・+(c-1)^(n-i)}-(a)式のnCi{・・・}]=0でなければならない。
ここでは、項数が一致していると意味であったのですが、(d)式=0という前提があるとしても、おかしいですね。

ありがとうございます。

DD++様、おはようございます。

このKY様への回答から参考になるともいます。
なお、投稿制限のため、過去の投稿のうち２つ投稿を消しました。

明日、NHKのEテレで、午後9:30より、「笑わない数学　無限」が、放送されます。

先週は、素数を追いかけていたオイラーが素数がπと関係し、ガウスがeと関係することを発見し、リーマン予想の零点間隔が、原子と関係するとこまでゆきました。素数は宇宙の成り立ちと関係するようです。

明日は、カントールの無限です。

今日、NHKのEテレで、午後９時半から、「笑わない数学　四色問題」が放送されます。

確か、コンピュータで虱潰しで証明したそうですが、認められてないそうな・・・・・

その後、ソフトウェアでちゃんと解決したらしい・・・・？

これをよんだらなんとかいとぐちが・・・・

「エレガントな証明があるというのは宗教みたいなものだ。」と言ってましたね。
でも、実際に、あるかもしれません。

フェルマーの最終定理もワイルズの証明をエレファントな証明だとすれば、初等数学で、エレガントな証明が実際あるかもしれませんね。

先週は無限でした。カントールの話でした。有理数は、可算集合なので、自然数程度の無限です。

ところで、オイラーはオイラー積ですべての素数の積つまり、唯一の自然数mを定義するのです。でも、ユークリッドにより、ｍ＋１は新しい素数か合成数なはずですが、ところが、mより、以降の自然数には素数がないということであり、素数定理よりそんなことはありません。
すると、オイラーは、自然数はｍが最大であるといっているようなものです。それは、自然数は有限であるということではないでしょうか？

これは、オイラーの新しい業績ではないでしょうか？

素数は無限にありますが、ｍは、無限大ではありません。素因数分解できるから、自然数でないといけないのです。自然数は、可算集合の要素ですから、可付番集合の要素であって、すべての要素の１つ１つに番号がついているのです。したがって、無限大にはなれないのです。

大体無限大は、実数か複素数なので、自然数には、無限大はありません。

なぜこんなおかしなことになるかというと、オイラー積がそもそも間違いだからだ思う。

また、オイラー積が、間違いであれば、リーマンのゼータ関数も間違いである。

したがって、素数が宇宙の成り立ちとは、全く関係がないのである。

なんでこんなおかしなことになるかというと、はちべえさんは「数学的に正しいか」ということはこれっぽっちも考えておらず、「自分の予想に一致するか」でしか考えてないからです。

私はその番組を見ていないのですが、無限がテーマなのに無限とは何かを正しく解説してもらえなかったのですか？

DD++様、こんにちは。

なにか不都合がありましたか？私の感想です。特に、意味はありません。

数学的に証明されていることを、ただの思い込みを理由に誤りだと断ずる。
数学という世界において不都合以外の何物でもないでしょう。

＞なぜこんなおかしなことになるかというと、オイラー積がそもそも間違いだからだ思う。

は、No.941の、「自然数は有限である」が、「こんなおかしなことになる」と言ってるわけで、可算集合でも可付番数合でも、無限大でもありません。

もはや何を言っているのかさっぱりわかりません。
誰か、No947 ではちべえさんが言っていることを理解できる人がいたら通訳してください……。

番組では、自然数と奇数が単射である、自然数と偶数が単射である、自然数と有理数が単射であるときて、実数は、対角線論法ででっかい無限であるとなり、自然数は小さな無限で、すると、カントールは、中くらいの無限つまり、連続体仮設と進み、うつ病だったかになって、証明できなかった。あとで、ゲーデルの不完全性原理？によって、これは、できない問題だった。というカントールの話でした。

私は、バーゼル問題とかで、そうか自然数が、無限でなければいいなと思って、No.471を思い立ったのです。
ですから、No.471は、私の感想であって、番組とは関係ないのです。

これで少しは、疑問は晴れたでしょうか？

いや、やっぱり意味がわかりません。
「自然数が有限だと自分の予想に合うから、オイラー積による自然数が無限にある証明が間違っているということに決めた」としか読めませんが。

まあ、どうでも構わないです。

ところで、4色問題のコンピュータによるエレファントな証明は、エレガントでないと非難されましたが、彼は、エレガントな証明があるというのは宗教みたいなものだと切り捨てましたが、コンピュータの一つ一つの解析を観察すれば、きっと分類ができ、法則が見つかってエレガントな証明ができると思うのですがね。科学という文字の意味は、観察して分類することなので、まさに科学するということです。

私の(a^n+b^n)^2>(a+b)^nも、何もわからないところから、n=3,5,7と順に進み、数ヶ月かかって、観察を続けて、あの証明になったのです。それをあなたは一日で、終わらせた。つまり、問題の焦点が極まれば、極めて早いということです。ですから、4色問題もそれと同じで、コンピュータの解析結果をよくよく観察すれば、エレガントな証明はできると思うのですがね。

フェルマーの最終定理の初等的証明もそうだと思います。

数学的に正しいかどうかを「どうでも構わない」と言えてしまう人は、数学に関わるべきではないと思いますよ。

前にも言ったとおり、私の間違いからでも、そこからヒントを得る人がいるかもしれません。白川博士のノーベル賞です。私には、数学は向いてないかもしれませんが、誰かがこれをヒントに、自然数は有限であると証明するかもしれません。

日本人には、世界唯一のもったいないという発想があります。

もったいないからすれば、無駄なんてないと思いますよ。

> 自然数は有限であると証明するかもしれません。

無限にあると証明されているのですから、そんな可能性は絶対にありえません。
それが理解できないのであれば、そもそも証明とは何かを勉強してください。

はちべえさんがあっしゃるに。

《大体無限大は、実数か複素数なので、自然数には、無限大はありません。》とのこと。

ひとつアドバイスしておきます。
無限大は、数ではありません。
無限大は実数や複素数などの数ではないのです。

勉強しなおしてください。

今日、午後9時半からの、NHKのEテレで、「笑わない数学　P対NP問題」があります。

NP問題とは、虱潰しで探すしかない問題で、P問題とは、ある手法で解ける問題です。先週の四色問題の五辺国は、NP問題として解決されました。

NP問題は、たくさんあって、虱潰しと言っても、天文学的数でとても太刀打ちできません。スーパーコンピュータよりはるかに速い量子コンピュータでも太刀打ちできません。

しかし、1970年にソ連とアメリカの戦略研究者が、別々に、大発見するのです。それは、一番難しいNP問題が解けると、すべてのNP問題は解けると証明されたのです。

さて、p=NPでしょうか、P≠NPでしょうか？

6!/2=360
1～26の和は351なので1+…+26にすると残り18で不適
1～25の和は325なので1+…+25にすると残り70
よって書かれている条件だけなら
1+…+25+70+25+…+1でよいが美しくはない
1～24の和は300なので1+…+24にすると残り120
これは24で割り切れるので
1+…+23+24+24+24+24+24+24+24+23+…+1
とできる
単に条件を満たせばよいだけなら何も考えずに
1+2+2+…+2+2+1　（2は359個）
なども可

１つ作ってみました。
1+3+5+…+33+35+36+36+35+33+…+5+3+1

3!～6!の一般式
N!(N=3,4,5,6) に対して
n=[2.1√(N!-2)] により項数nを定めると
N=3,4,5,6に対してn=4,9,22,56
そしてa[1]～a[n]の値は
a[k]=[√(N!/2)・sin((2k-1)π/(2n))+1.265]
この式によると
N=3のときn=4で
a[1]～a[4]=1,2,2,1
N=4のときn=9で
a[1]～a[9]=1,2,3,4,4,4,3,2,1
N=5のときn=22で
a[1]～a[22]=1,2,3,4,5,6,7,8,8,8,8,8,8,8,8,7,6,5,4,3,2,1
N=6のときn=56で
a[1]～a[56]=
1,2,3,4,6,7,8,9,9,10,11,12,13,14,15,15,16,17,17,18,18,18,19,19,19,20,20,20,
20,20,20,19,19,19,18,18,18,17,17,16,15,15,14,13,12,11,10,9,9,8,7,6,4,3,2,1
sinで生成していますので、グラフを描けばsinカーブに近い綺麗な形になると思います。
※N=7には使えません。

勝手に考えた問題ですが、
条件が、一つ忘れました。
１からはじめて、一段づつ、の広義の単調増加、後単調減少です。
因みに、平方数は、きれいな山なりになりますね。

適当な条件で、きれいな問題と解答になればいいですね。

四つの条件だけだと、解は複数あります。
そこで、もう一つ、同じ数をできるだけ使わない
そうすると、同じ１だけの場合が、除かれます。
６！＝７２０＞２６×２６＝６７６
残り７２０－６７６＝４４＝２６＋１８
６！＝1＋…＋９＋９＋…＋２６＋２６＋…＋９＋９＋…＋１
26余分でした。９が４個です。訂正します。
「同じ数をできるだけ使わない」が曖昧でしょうか？

曖昧以前に
> ６！＝1＋…＋９＋９＋…＋２６＋２６＋２６＋…＋９＋９＋…＋１
左辺は720、右辺は746で一致しないと思います。

１＋２＋・・・＋８＋９＋９＋１０＋・・・＋２５＋２６＋２６＋２５＋・・・＋１０＋９＋９＋８＋・・・＋２＋１
とすればいいのでは・・・？

任意の（大きい数）の場合
N奇数の時　Nー奇数の平方数＝残り偶数
N偶数の時　Nー偶数の平方数＝残り偶数
残りの偶数部分を適当に振り分ければ、
山なりの富士山のような分割にできるようです。

103で、無料版の計算時間を超えました。残念。

2 以外の任意の素数で成り立つことが簡単に示せますが、それが素数の出現の規則性とどう関係があるんでしょう？

DD++様、こんばんは。
k
Σ sin^2(j π/(2k+1))=(2k+1)/4
j=1

sin^2(j π/(2k+1))の和と表せるという規則性です。

現段階で、出現の予測は判明しておりません。

あれ、素数でなくても、そうなるのか・・・・・

95の素数でないときは、
1/4｛95+2sin・・・・のように、1/4の横に、95とすぐ現れるが、素数97の場合、-2cosの項があって-588＋・・・となるようだ。
87の素数でないときは、
1/4｛87+2sin・・・・のように、1/4の横に、87とすぐ現れる。

奇数の自然数５〜３３まで調べてみました。そのつどwolframalphaが計算しますので、20秒くらいお待ちださい。

緑色のうんざりはちべえをクリックしてください。

例えば
G=1,他はすべて0（すべて-1でもよい）
で成り立ちますね。
より一般には
A,B,G,Iは大きい側にしかない
C,F,Jは小さい側にしかない
のようになっていますので、
B=I=1,他は0
とか
C=J=-1,他は0
など、解の組合せは多数（全部で117969通り）あります。

らすかるさん、

ありがとうございました。

※なるほど、そのように着眼すればよいのですね……

yahooで、幾何学なら、WolframAlpfa　幾何学　と検索すれば見つかります。

高等学校　数学　です。