• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:エジプトの分数予想がとけたかも2)

エジプトの分数予想が解けたかも2

このQ&Aのポイント
  • エルディシュの分数予想と呼ばれる予想が解けたよ
  • 分子4の分数は3つの単位分数で表されるというものです。
  • AとBの関係によって分数が整数になり、Lが合成数となることがわかりました。また、A*n+1だけが解けなく残りますが、Aを大きくすることでほとんどの数が解けるようになります。

質問者が選んだベストアンサー

  • ベストアンサー
  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.4

与えられたLに対して 4/L=1/x+1/y+1/z…(式) となる自然数x,y,zが存在する事を示さなければ (式)が解けたとは言えません。 以下に (L-1)(L-121)(L-169)(L-289)(L-361)(L-529)≠0(mod840)のとき (式)が解ける事を示します 4/2=2=1+1/2+1/2 だから L=0(mod2)のとき解ける 4/3=1+1/6+1/6 だから L=0(mod3)のとき解ける L=0,2(mod4)のときL=0(mod2)だから解ける L=3(mod4)のとき L=4k-1 4/(4k-1)=1/(2k)+1/(2k)+1/{k(4k-1)} だから解ける L=0,2,4,6(mod8)のときL=0(mod2)だから解ける L=3(mod8)のときL=3(mod4)だから解ける L=5(mod8)のとき L=8k-3 4/(8k-3)=1/(2k)+1/{k(8k-3)}+1/{2k(8k-3)} だから解ける L=2n(mod24)のときL=0(mod2)だから解ける L=3,9,15,21(mod24)のときL=0(mod3)だから解ける L=5(mod24)のときL=5(mod8)だから解ける L=7,11,19,23(mod24)のときL=3(mod4)だから解ける L=13(mod24)のときL=5(mod8)だから解ける L=17(mod24)のとき L=24k-7 4/(24k-7)=1/(6k)+1/{k(24k-7)}+1/{6k(24k-7)} だから解ける L=1(mod24)のとき未解決だから L=1(mod24)とする (L=5のときL=5(mod8)だから解けるから) L=0(mod5)のとき解ける (L=1(mod24)だからL=1(mod4)だから) L=2(mod5)のとき L=4(5j+4)+1=5(4j+3)+2となる整数jがあるから L=17(mod20)だから L=20y-3となる自然数yがある 4/L=1/(5y)+1/(2yL)+1/(10yL) だから解ける (L=1(mod24)だからL=1(mod3)だから) L=3(mod5)のとき L=3(5j+4)+1=5(3j+2)+3となる整数jがあるから L=13(mod15)だから L=15c-2となる自然数cがある 4/L=1/(4c)+1/(4L)+1/(2cL) だから解ける (L=1(mod24)だから) L=1(mod5)のときL=1(mod120) (L=1(mod24)だから) L=4(mod5)のとき L=5{3(8j+3)}+4=24(5j+2)+1となる整数jがあるから L=49(mod120) だから (L-1)(L-49)≠0(mod120)のとき解ける (L-1)(L-49)=0(mod120)のとき未解決だから (L-1)(L-49)=0(mod120)とする (L=7のときL=3(mod4)だから解けるから) L=0(mod7)のとき解ける (L=1(mod24)だからL=1(mod4)だから) L=3(mod7)のとき L=4(7j+4)+1=7(4j+2)+3となる整数jがあるから L=17(mod28)だから L=28x-11となる自然数xがある 4/L=1/(7x-1)+1/(xL)+1/{xL(7x-1)} だから解ける (L=1(mod24)だから) L=5(mod7) L=24(7j+6)+1=7(24j+20)+5となる整数jがあるから L=145(mod168)だから L=168b-23となる自然数bがある 4/L=1/(42b)+1/(2bL)+1/(21bL) だから解ける (L=1(mod24)だからL=1(mod8)だから) L=6(mod7)のとき L=8(7j+5)+1=7(8j+5)+6となる整数jがあるから L=41(mod56)だから L=56x-15となる自然数xがある 4/L=1/{2(7x-1)}+1/(2xL)+1/{2xL(7x-1)} だから解ける {L=1(mod120)}&{L=1(mod7)}→L=1(mod840) {L=1(mod120)}&{L=2(mod7)}→L=11^2=121(mod840) {L=49(mod120)}&{L=1(mod7)}→L=13^2=169(mod840) {L=49(mod120)}&{L=2(mod7)}→L=17^2=289(mod840) {L=1(mod120)}&{L=4(mod7)}→L=19^2=361(mod840) {L=49(mod120)}&{L=4(mod7)}→L=23^2=529(mod840) だから ∴ (L-1)(L-121)(L-169)(L-289)(L-361)(L-529)≠0(mod840)のとき 解ける

koolergoal
質問者

お礼

結局素数の場合だけ解けないことがわかりました。 前後の順番がむちゃくちゃになってしまったが、結局 素数は合成数ではない、ということが結論かな。 大変長い論文を書かせてしまって申し訳ない、と思っています。

すると、全ての回答が全文表示されます。

その他の回答 (3)

  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.3

L=4abc-a-bとなる自然数a,b,cがあれば, 4/L=1/(bcL)+1/(acL)+1/(abc) となる事は式を変形すれば示す事はできます その式が正しくないとはいっていません 409=4abc-a-bとなる自然数a,b,cが無いといっているのです L=409 のとき L=4abc-a-b となる自然数a,b,cは存在しないけれども L=4abc-4b-c となる自然数a,b,cは存在します 任意の素数Lを与えた時 L=4abc-a-b となる自然数a,b,cは存在するか L=4abc-4b-c となる自然数a,b,cは存在するか どちらかが成り立つ事を証明すれば 解けた事になりますが それを証明しなければ解けたとはいえません

すると、全ての回答が全文表示されます。
  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.2

L=409 のとき L=4abc-a-b となる 自然数a,b,c をどのように求めるのでしょうか? それを示さなければ解けたとはいえません

koolergoal
質問者

補足

 L = 4abc-4b-c    M = ac-1  4/L= 1/abLM + 1/abL + 1/bM  P=4abc-a-b  4/P=1/bcP + 1/acP + 1/abc 上の式が正しいかどうか確認してみてください。 私が公式と呼んでいる式です。上のabcに値を 代入すれば求まると思います。

すると、全ての回答が全文表示されます。
  • jcpmutura
  • ベストアンサー率84% (311/366)
回答No.1

では L=5 のとき L=A*n+1 となる A,nをどのように定め 4/5=1/x+1/y+1/z となる自然数x,y,zをA,nからどのように求めたのでしょうか? それを明らかにしない限り解けたとはいえません L=7 L=11 L=13 L=17 L=19 L=23 … L=一般の素数 のときもそうです

koolergoal
質問者

補足

A=2*3=6の場合をとけばいいのですが。 判りにくくなるかもしれませんがA=24の場合が一般 的なのですが。  L=4*a*b*c-a-b  a、b、cに自然数を代入して計算した数L は解けることを証明をせずに使います。 a=n、b=c=1を代入すれば L=3*nー1は解けれます。 ・・・・(1) L=2*3*n=6*n ・・・・(2) L=6*n+1は解けれません ・・・・(3) L=6*n+2=2*(3*n+1)・・・・(4) L=6*n+3=3*(2*n+1)・・・・(5) (1)より L=6*n+4=2*(3*n+2)・・・・(6) (1)より L=6*n+5  ・・・・(7)  (2)、(3)、(4)、(5)、(6)より L=6*n+1と L=6*n+5が解けないのがわかりますが。 (7)は今は解けませんがA=2*2*2*3*5*7=840の場合に 数を大きくしていけば解けるようになります。(そんな 無理をしなくても公式を使えば解けてしまうのですが) この場合A=840は5という素数を含んでいますと いうことがいいたいのですが。 L=5はa=2、b=c=1を代入すれば 求まり、 4/5=1/2+1/5+1/10 となります。 話は変わりますが、前に書いた論文に 間違いがあったので修正しておきます。 誤:L=pi*((A/B)*n+1) 正:L=pa*((A/B)*n+1)

すると、全ての回答が全文表示されます。

関連するQ&A