1âŠnâŠ22000ã®æ«å®çã§ããæçµçã¯1âŠnâŠ30000ã®äºå®ã§ãçŸåšèšç®äžã§ãã
æ«å®çã§ã¯ãããŸãããæå°å€ã¯ãã¹ãŠç¢ºå®ããŠããŸãã
ååãã¯ãªãã¯ããã°äžèЧã®ããŒãžã«é£ã¹ããšæããŸãã
ããããã®è¡šã®åè¡ã¯ãå·Šããé ã« n, x, y, z, w ã®å€ã§ãã
ããã¯äžæçã«éåãããŠãããµã€ãã§ããããã€æ¶ãããããããŸããã®ã§ã
å¿
èŠã§ããã°ããŠã³ããŒãããŠäžãããç¡æè»¢èŒOKã§ãã
è§ã®å€§ããïŒïŒïŒïŒãèŠãŠ
ãªããŠçŽ æŽãããåé¡ã ãšã»ã»ã»ã»ã»
ãã®è¯åãäœã£ã人ã®é ã®äžãèŠããŠã¿ããã
倧æããç®é¡ã³ã³ã¯ãŒã«ãã«å¿åããæã
ãµãšããããšããã
ãã©ããªäžè§åœ¢ã§ããäžçªé·ã蟺ãé€ãããä»ã®äºèŸºãçŽåŸãšããåãã
ããããæããšã
ãã®äºã€ã®åã¯å¿
ãäžçªé·ã蟺äžã§äº€å·®ããã
ãšããããšã«æ°ã¥ããŸããã
åœããåã®ããšããç¥ããªããã©
èªåèªèº«ã§æ°ã¥ããããšãããšãŠãå¬ããã£ãã§ãã
å顿è§ã®å€§ããïŒïŒïŒïŒ
å¹³è¡å蟺圢ã«ãããŠãïŒïŒ¡ïŒ¥ïŒïŒ¥ïŒ£ãïŒïŒ¢ïŒ€ã®ãšããâ ã®å€§ãããæ±ããã
ã§æ²èŒãããŠããŸããïŒïŒ¢ïŒ€âB E=B C (ãããã¯ãB E=A D)ã§ãããã
ãã¿ãŸãããééããŠããŸãããåé¡ã®æ¹ã¯ä¿®æ£æžã¿ã§ããããã«æè¬ããŸãã
æ¬¡ã®æ¥µéå€ãæ±ããã
ïœïœïœ(ïœâ0){(ïœïœïœ(ïŒx))^ïŒ/(ïŒïŒïœïœïœ(ïŒïœ))}
åºå
žïŒïŒïŒïŒïŒå¹Ž åŠç¿é¢å€§åŠçåŠéš
tan(x)=tãšçœ®ããš
tan(3*x)=tan(x+2*x)=(tax(x)+tan(2*x))/(1-tan(x)*tan(2*x))
tan(2*x)=2*tan(x)/(1 - tan(x)^2)
ãšçµåããããš
tan(3*x)=(3*t - t^3)/(1 - 3*t^2)
ãŸã
cos(2*x)=cos(x)^2-sin(x)^2=(cos(x)^2-sin(x)^2)/(cos(x)^2+sin(x)^2)=(1 - t^2)/(1 + t^2)
ãããã
(ïœïœïœ(3*x))^2/(ïŒïŒïœïœïœ(2*x))=((3*t - t^3)^2/(1 - 3*t^2)^2)/(1 - (1 - t^2)/(1 + t^2))
=(t^6 - 5*t^4 + 3*t^2 + 9)/(18*t^4 - 12*t^2 + 2)
ããã«x-->0ãªãt-->0ãã
(t^6 - 5*t^4 + 3*t^2 + 9)/(18*t^4 - 12*t^2 + 2)-->9/2
以äžãã
lim(x->0){(ïœïœïœ(3x))^ïŒ/(ïŒïŒïœïœïœ(2x))}=9/2
ååã¯
9*(x^2)*(tan(3*x)/(3*x))^2
ãšå€åœ¢ã
忝ã¯
2*(x^2)*(sin(x)/x)^2
ãšå€åœ¢ã
çŽåãããš
(9*(tan(3*x)/(3*x))^2) / (2*(sin(x)/x)^2)
xâ0 ã®ãšãã
(sin(x)/x)â1,
tan(3*x)/(3*x))^2â1
ãšãªãã®ã§
å
šäœâ9/2
ãšããã®ã¯ä¹±æŽãªã®ã§ãããïŒ
äžè§åœ¢ABCã«ãããŠ
忡件ãæå®ããããšããè§A,B,Cã¯ããããã©ããããã®è§åºŠïŒåºŠæ°æ³ã§å°æ°ç¬¬ïŒäœãŸã§)ã§ããã§ããããïŒ
(1) tan(A):tan(B):tan(C)=1:2:3
(2) sin(A):sin(B):sin(C)=2:3:4
(3) cos(A):cos(B):cos(C)=3:4:5
(3)ã¯ç¶ºéºã«æžããŸããã§ããã
(1)
(A,B,C)=(atan(1),atan(2),atan(3))â(45.00°, 63.43°, 71.57°)
(2)
(A,B,C)=(acos(7/8),acos(11/16),acos(-1/4))â(28.96°, 46.57°, 104.48°)
(3)
(A,B,C)=
(acos(5(2cos(acos(347/625)/3)-1)/12),
acos(5(2cos(acos(347/625)/3)-1)/9),
acos(25(2cos(acos(347/625)/3)-1)/36))
â(68.14°, 60.23°, 51.63°)
cosã®å ŽåãŠããããŸããåé¡èšå®ã«ã¯åé¡ãªãã£ãã®ã§çµã¿å
¥ããŠããŸããã
ãã®å Žåã§ã3æ¬¡é¢æ°ã®è§£ãå©çšããå°ãããŠããŠãããã§ãã
äžèšã¯é·ããã 1100 ã®æååã§ãããæéãããã°ãã©ã®ãããªèŠåã§äœãããŠãããæšæž¬ããŠã¿ãŠãã ããã
01001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001101001001101101001001101001101101001001101001101101001101001001101101001101001001101101001001101001101101001001101001101101001101001001101101001001101
ãã®è³ªåã®æå³ã¯æååã®çŽ å æ°åè§£ã«çžåœããLyndon word ã«åè§£ãããšè§£éããŠãããã§ããããïŒ
ãªãã°1100åã®é·ãã®æååã¯æ¬¡ã®7åã®ãã®ã«åè§£ãããã
[[0, 1],
[0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, 0, 0, 1, 1, 0, 1, 1, 0, 1],
[0, 0, 1, 0, 0, 1, 1, 0, 1]]
ã©ãããã£ããè¡ããªãã£ãã®ã§ãããäžåºŠèãçŽããŠã¿ãŸããã
A=010,B=011
ãšçœ®ããš
X=AB=010011,Y=BA=011010ã§
XX=010011010011
ãªã®ã§Xã3ãããå·Šã«ããããš
011010=YãåºçŸ
å³ã¡
0->010011,1->011010
ãšãã倿Žã§äžŠã¹ãèŠåã§è¡ããš
0->010011->(010011)(011010)(010011)(010011)(011010)(011010)=010011011010010011010011011010011010
ãšãªãé æžã®1100æ¡ã®æååã®æåã®36åãåºçŸããã
åŸã£ãŠæåã®216åã®é
åã
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011ã011010ã011010ã010011ã011010ã010011
011010 ; Y1
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011ã011010ã010011ã010011ã011010ã011010
010011 ; X1
010011__011010__011010__010011__011010__010011
011010 ; Y1
010011__011010__011010__010011__011010__010011
011010 ; Y1
ããã¯
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
X1Y1X1X1Y1Y1(010011ã«å¯Ÿå¿)
åããç¶ã216åã®æ§å
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
010011011010011010010011011010010011=Y1
010011011010010011010011011010011010=X1
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)
ãããŸã§ã§216*5=1080å
æ®ã20åã以äžã®é
å
01001101101001001101
ãã¶ãç¶ãã¯0011011010011010ãšãªã
X1Y1Y1X1Y1X1(011010ã«å¯Ÿå¿)ãçŸãããã®ãšæãããŸãã
ãã®ããã«å
ã«è§0->010011,1->011010ã®å€åã0ããã¹ã¿ãŒãããèªå·±èªèº«ã«ç¹°ãè¿ãæäœããŠãã£ãŠçã¿åºãããŠãé
åã®æ§ã§ãã
GAI ããã埡æå¯ã§ãã
äžèšã®çœ®æã«ãŒã«ãæ°åç¹°ãè¿ãããã®ã§ããã
"é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â010011,ã1â011010"
1906幎ããã«ãŠã§ãŒã®æ°åŠè
ã¢ã¯ã»ã«ã»ãã¥ãšïŒAxel ThueïŒã¯ã
äžèšã®ãããªçœ®æãäžã«åºããŸããã
(äžèšã¯ L-system ã®æžãæ¹ã®ç䌌ãããŠããŸãã®ã§ã宿°ãèšè¿°ããŠããŸã)
"é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â01,ã1â10"
â¥â¥â¥
ã¢ã«ãã¡ãããã®ãAããšãBãã®2æåã ãã§ãã©ããŸã§ãç¶ãé·ãæååãäœããšæ³åããŠãã ããããã ããã²ãšã€ã ãã«ãŒã«ããããŸãã
âãã«ãŒã«ã
ã©ããªã«çããã®ã§ãããŸã£ããåããããŸãã3åé£ç¶ããŠç¶ã䞊ã³ïŒäŸïŒXYZXYZXYZïŒãäœã£ãŠã¯ãªããªãã
âãããæºããæååããæ°åŠã®äžçã§ã¯ããã¥ãŒãããªãŒã»ã¯ãŒãïŒç«æ¹å åãå«ãŸãªãèªïŒããšåŒã³ãŸããããã¥ãŒãïŒç«æ¹äœïŒããšããã®ã¯ãæ°åŠã§ Xã»Xã»X = X^3ïŒåããã®ã3ã€äžŠã¶ããšïŒãæå³ããããã§ãã
â詊ãã«ãé©åœã«æåã䞊ã¹ãŠã¿ãŸãããã
âA B A B A B â AB ã3åç¹°ãè¿ãããŠããŸãããããã¯ã«ãŒã«éåïŒãã¥ãŒãå«ãïŒã§ãã
âã§ã¯ãA B B A A B B A ã¯ã©ãã§ãããïŒ
âA (1)
âB B (2 - ããã¯2åã ããã»ãŒã)
âA A (ã»ãŒã)
âB B (ã»ãŒã)
ã§ã¯ã3åé£ç¶ããéšåã¯ãããŸããïŒ ãã£ããæ¢ããŠã¿ãŠãã ãããã©ãã«ããããŸããïŒ
â¥
å
ã»ã©ç޹ä»ãã
Thue ãäœã£ã眮æã¯
ãããªãäžä»£(眮æã«ããæ¬¡äžä»£ãçæ)ã§ã
Cubefree word ãšãªã£ãŠããŸãã
â¥
ä»åç§ãã玹ä»ããäžèšã®çœ®æãã
ã©ããã Cubefree ãšãªã£ãŠããããã§ãã
é
ç®","äžããããèšå®"
"倿°","0,1"
"宿°","ãªã"
"åæç¶æ
","0"
"眮æèŠå","0â010011,ã1â011010"
â» Thue ã«ãã
"眮æèŠå","0â01,ã1â10"
ããã£ãšçšãã§
"眮æèŠå","0â??0??1,ã1â??1??0"
ãšééããããŠ
?? ã« 01 ãåœãŠã¯ãããã®ã
ä»åç§ããæ¡å
ããŠãã
"眮æèŠå","0â010011,ã1â011010"
ãšãªããŸãã
æ£æ©äžã«ãããªãµãã«ãããã©ããªãã®ããšæãã€ããŠ
å®éã«ãã£ãŠã¿ãããšããããã§ãã
ãªãã管ç人ããããŸãšãããŒãžã§
ç¹°ãè¿ããã¿ãŒã³ã®ããã«ã¿ããŠããã§ããªãéšåã
è²ä»ãã§ç€ºããŠããã ããŸããã
æé£ã埡座ããŸãã
â»P.S. ç§ã®çœ®æã«ããã Cubefree word æ§ã®èšŒæã«ã¯
ãããé£ããå®çãåœãŠã«ããªããã°ãããªãããã§
æ®å¿µã§ãã岿ããŸã
æ·»ä»ã®å³è§£ãæãæããŠããŸããã
ãã¿ãŽã©ã¹ã®å®çã®èšŒæã«ãªã£ãŠãããšã®ããšã§ããã
ãåé¡ã
çŽè§äžè§åœ¢ã«ãããŠãæèŸºã®é·ãã c ãä»ã®2蟺ã®é·ãã aãb ïŒãã ã a †bïŒãšããŸãã
蟺ã®é·ãã c^2 ããã³ a*b ã§ããé·æ¹åœ¢ããäºãã«çžäŒŒãª 3 åã®äžè§åœ¢ã®ã¿ã«ãã£ãŠåå²ã§ããããšã蚌æããŠãã ããã
ãã ããããã§ããåå²ãšã¯ 3 åã®äžè§åœ¢ã®å
éšãäºãã«éãªããããããã®äžŠã³åãããé·æ¹åœ¢å
šäœã«äžèŽããããšãšããŸãã
=====
ãReddit ã§ã¿ãããŠä»°å€©ããŸããã
ãã£ã顿ãšã¯ç°ãªãåå²ã®ä»æ¹ããã£ãã®ã§ãã®ã¹ã¬ããã¯çµäºã§ãã
ä»»æã®é·æ¹åœ¢ã¯ã察è§ç·ãšãäžæ¹ã®é ç¹ãã察è§ç·ãžäžãããåç·ã«ãã£ãŠãäºãã«çžäŒŒãª3åã®çŽè§äžè§åœ¢ã«åå²ã§ããããã§ãã
ããŒãŒãŒ
ïŒïŒãïŒïŒãïŒïŒãïŒïŒã次ã¯ïŒ
1Ã8=8ããª?
ãã
倧åœããã§ãã
æ°åã¯æ°žé ã«ç¶ããŠã»ãããã®ã§ããã
éäžã§çµãã£ãŠããŸãæ°åãããã®ã§ããã
å·šå€§ãªæ°ãé©åœã«èããŠåãããšããããšãããã«0ã«ãªã£ãŠããŸããŸãã
ã©ããªæ°ã ãšïŒ1æ¡ã«ãªããŸã§ã«ïŒé·ãç¶ããããŸããã®é£ç¶ã«
äžéãããã®ããšããããšã«ã¯èå³ããããŸãã
(远èš)
ã¡ãã£ãšèª¿ã¹ãããä»ã®ãšããããã£ãŠããæé·ã¯11åã§
11åãšãªãæå°ã®å€ã¯277777788888899ã ããã§ãã
ãããªææŠãã§ããã®ã§ããã
ããã§ãã§ã¯æ°åã®æ¹åŒã10鲿³ãã11鲿³ãžå€ããŠã¿ãŠææŠããããšã¿ããš
[6,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,8,8,8,8,8,8,8,9,9,9,9,9,9,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10,10]
=78651871429395862061789067874710687825489797403089215(åé²è¡šç€º)
ã13åç¶ããããã
æŽã«
13鲿³ãªã
[7,7,7,7,7,7,9,10,10,10,10,10,10,10,10,10,11,12,12,12,12,12,12]
=24356446321678355215229300(åé²è¡šç€º)
ã14åç¶ããŠãããããã§ãã
ä»ã®çŽ æ°ã§ã®é²æ³ã調ã¹ãŠã¿ãŸããã 29鲿³ã§
[5,22,22,22,22,22,22,26,28]
=2894282817967(åé²è¡šç€º)
ã§18å(ãªã調æ»ç¯å²ããã£ãšåºããã°èšé²æŽæ°ãããããïŒ)
ãã®ããã«å°ãã«ãŒã«ãå€ããŠããã°æç¶æ°ã¯å¢ãããŠè¡ãããã§ãããéçãåœç¶
èµ·ããããã§ããããŸãã( ãªã«ã0ãå
¥ã£ãŠããã°ããã«ã¹ãããã§ããã)
ãªã97鲿³ã§ã¯å¯èœãªéãã®ç¯å²åºããŠã®èšç®ã§ã¯é£ç¶31åã®ãã®ãèŠã€ããŸããã
以äžããã®æ°ãšçµéã«ãªããŸãã
å
ã®æ°N=
[35,
70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70, 70,
75, 75, 75, 75, 75, 75, 75, 75, 75, 75, 75, 75,
96, 96, 96, 96, 96, 96, 96](ä¹åäžé²æ³è¡šç€º)
=880081036693018055569997022690825077554547958845112225633353085723385569682192201612460614697(å鲿³)
ãã®åŸã®çµé
1;[2, 8, 81, 93, 74, 10, 20, 52, 88, 20, 46, 74, 38, 39, 39, 38, 94, 61, 51, 84, 11, 19, 13, 47, 80, 96, 52, 54, 3, 94, 64, 46, 32, 40, 96, 57, 42, 6, 22, 86, 9, 3, 13, 29, 86],
2;[5, 62, 51, 12, 8, 59, 62, 67, 26, 27, 3, 87, 83, 37, 75, 26, 41, 62, 29, 6, 66, 90, 45, 31, 49, 60, 44, 17, 52, 89, 26, 3, 29, 33, 74],
3;[18, 54, 85, 93, 74, 52, 85, 62, 93, 64, 84, 27, 58, 93, 79, 20, 72, 35, 55, 26, 29, 79, 21, 50, 3, 16, 13],
4;[1, 86, 80, 51, 71, 39, 45, 2, 5, 67, 35, 54, 77, 49, 14, 21, 15, 43, 84, 39, 57, 28, 93],
5;[3, 22, 55, 41, 79, 66, 47, 1, 62, 6, 61, 75, 85, 43, 14, 39, 75, 90],
6;[12, 41, 7, 87, 7, 59, 43, 16, 55, 28, 95, 68, 96, 58],
7;[63, 92, 35, 93, 94, 73, 84, 56, 66, 70, 42],
8;[1, 58, 41, 96, 49, 13, 68, 79, 72, 42, 57],
9;[17, 17, 51, 35, 64, 41, 64, 1, 94],
10;[9, 75, 29, 77, 47, 54, 93],
11;[41, 41, 62, 96, 75, 27],
12;[2, 34, 83, 34, 92, 43],
13;[8, 55, 75, 37, 49],
14;[65, 53, 67, 79],
15;[19, 94, 94, 34],
16;[6, 24, 63, 91],
17;[87, 71, 82],
18;[53, 80, 77],
19;[34, 67, 75],
20;[18, 15, 33],
21;[91, 83],
22;[77, 84],
23;[66, 66],
24;[44, 88],
25;[39, 89],
26;[35, 76],
27;[27, 41],
28;[11, 40],
29;[4, 52],
30;[2, 14],
31;[28]
x^4+12391*y^4=z^4+12391*w^4ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
90466648937086391259059297185193084050091312946125980758704088910495297251777975323207851434680776^4+12391*8142602303635299962102717733961825694546100150529741621468343508902157308723178436648590894259533^4=104847674163638723818116867505582489359999482936978006401213439568796106420388534546506448362394944^4+12391*2643166616278949457190460006330228287885027342609277610413669484823449567734740980825356801526093^4
48709213559441616604177832531061350990424761284046932274260633167526635198021653193116994383091494342312004535694446552^4+12391*3498707535113764288211321963110936228047984733207001052873372057595022578150643941483996807827368655879164976277722759^4=52297864943679398666795322527575334555612784422891020047422072156019995676344080608429963434126964532270733124308177216^4+12391*807218996935427741248204465725448554156967379073935223002292816225002219408823379999270019550766013410118534817424761^4
1072483274658779339159219501625994593863060277184942113679227135365900371281739518798914841006741848121479146178162523328338303298069701914330026871024639427868^4+12391*110158329813297834828431912686370865577693323761890086108919606450171842366153969732570352253099922305334754485702711384979648453391771595623136507566319493653^4=1306909860989638117220177836617351825025334463411720454522089171831657567064008960417695759635894540581513113144709000512352396739862032534271222807390123631956^4+12391*65661609934846248717286838557147057794012315908193669523226920899146054470548111481515336718764597039690720739207146503030921627952476369332760444707793659413^4
394545744594163206770983343561515266601539306530887318757592769804220900387197051914293832587905828247406260719029187181846056629905009018342211214594873063353676299413558709886499087078089656236152426267165664564572070797201796861137538254724777576964875181119167757236938556^4+12391*107622667586757326726237985650168672568839326727926285296646366786362988007268838822858605101173217201907586665111480947813323771930968180092507144991278652126914668645628781711985608464366073171231497403272788466388020359892020154302989840310074456540688973047902639726652467^4=677339207208802974114909645448512066898241997588011135416690813114765926200573749855119143564790654568203965584487719656380562171006059181471243606966533680687466679579874149744191171801213292921114739476114806609662904324424650072324077067650357584816188609679665300808255428^4+12391*104472429374222498781706740765078927653687691564916577197677165696545781352763684632760378131490402538690691983982418408087555383894819442254267149287466810873428116479107798181283455077976654342490237503439068067430104785525119754086914269384110549347796098372470517951835187^4
1858981671113633074403132526022287419317728885892604912472036915392479430293761734216898658717371894623240600078834076863380000572642642179329488563604029475842942810166060522663563735635470759021216601932355386639178775952355477928075915077238017906613382952393273159688659709237588471029423046539388501295315185374077875698517604288951613961286801692758618579314597322628290109520070648880398928^4+12391*994490633652297793056750386989415160018647528417808980827550309233705172055174115755746036260398732235565453600789698824970397816815941888211443143006145947005826895792899941676302291673169138025860395335878862020273320926463210449803610771042643060433953061411161703398670345564564278247619624923762637011912034590431533680418986102852272527376779213273258808784435859193511449648948187470525661^4=4499931731083024662737205791886181622683494202100132685958965741990127014822301500182570263467973477351743974807714686211077276205494182957161116805061599855114343426005744027257534865225386725964919411751356375981831461794341551436928697589828938603098040367414174884211545648391710526405069871931621223492202011299594202514305298951307768558827269225104284004685168315155467349061300554962403144^4+12391*986221911324745898193804562408505492505676458737836849287646310714530516341230708718507667302552454810812077445870758185802558907822713695162278038087031837447723566086862686769176055519267837181916712028371879986716193455026344681835976113400547461929539999854514589993494108801027263284115494120411904635753084853705711431421784893914843420778571435985990260243492385201871480006974242090977501^4
4434651598123377580922255080970004854475922917906937301416402290677489204701295536517228291540593391865819173552516253178120440955873001671832100168907798747642748526971808373230717382613737362926693975211985702341493934968695317281657516200750832405967418198196191280315387863143931011154492367567130950532000732592228905999908235802570072264270055216645259898131812836211145453369706710344218764^4+12391*373155940910275085297180988815336268369682125657163378760292279850403063794402113542795814571498855691297606297555420074068145776428857815319247576608117644317994095015612579348845301764081419113072615464106169788089896410713754430516031124243936030988420699719489565219981618147959496681437687675671496844370641881548501336504362568034329766583072047302383247238934128069372387146313024985862857^4=5003807980306143902121743046656172391765560647201698260608680130850462109164472207818561668007958111222193277560594274240876624932990538918540037552792747752301498938802229660776934924574821250253707625983240907962659453689188646866984669641812022344048383880654813329370033839585641730290721056796884022971110267466056559382771995960462321361699678243179247786261596780011068333343939255627930276^4+12391*53711345726799655602434985449289384597546171313907340633916100279326614552980389933204217779024683825982971708503095722998992206409295119711705461305594109176068713857203386310817854706731496382187622614335234427784242629656242758479333956551956422572303562124476971571002864183323542670733829246643307484961509273822238700643457550384857056489145222598107668858403829780569772834361383976920777^4
....
12391ã¯ãå
çš(x,y,z,w)=(8456197,681359,9262933,429569)ã
æå°è§£ã§ããããšã確å®ããŸããã
ããã§ã???ãã®æ®ã4åã®9562,15427,18311,19219ãé€ã
ä»ã®æå°è§£(max(x,y,z,w)ãæå°)(nâŠ20077)ããã¹ãŠç¢ºå®ããŸããã
çŸåšãåŒã®å€(=x^4+ny^4)ãæå°ãã§ããæå°è§£ã調ã¹ãŠ
ãããšãããªã®ã§ãäžèš4å以å€ã®æå°è§£ã確å®ããã
ãŸãšããŠå
¬è¡šããäºå®ã§ãã
(远èš)
9562ã¯ãä»ããã
9868696^4 + 9562 * 410163^4 = 9938304^4 + 9562 * 65587^4
ãçºèŠããŸããã®ã§ããããæå°è§£ã§ããããšã確èªããã°ç¢ºå®ã§ãã
(確èªã«ã¯æ°æ¥ããããŸã)
ãããããã
ãã¡ããã20001<=h<=20077ã®ç¯å²ã®å°ããæŽæ°è§£ã¯ã"dqde4.c"ã«ãã£ãŠæ¢ã«èšç®æžã¿ã§ãã
ä»ãh=20078ã®ãšãã¯ãmax{x,y,z,w}<=2000000ã§ã¯æŽæ°è§£ãèŠã€ãããªããŠãçŸåšãmax{x,y,z,w}<=3000000ã§èšç®äžã§ãããšãããããh<=20100ãŸã§èšç®ããŠã¿ãããšæã£ãŠããŸãã
ãããããããããããh>20000ã®ç¯å²ã§ãæŽæ°è§£ãèŠã€ããããšãã§ããªãã£ãhãããã°ãæ¥åæ²ç·ã®æçç¹ã䜿ã£ãŠãæŽæ°è§£ãæ¢ããŠã¿ãã®ã§ããã²ãæããŠãã ããã
20100ãŸã§ã¯èšç®ããŸãã(é€20078)ã
20078ã¯äžŠè¡ããŠãã£ãã(âµä»ã®æ¢çŽ¢ãåªå
ãããã)æ¢çŽ¢äžã§ããã
5700000ãŸã§ã«ã¯ãªãããã§ããã
â»ãã°ã§èŠéãããŠããå¯èœæ§ããããŸãã®ã§ãåŒãç¶ãèšç®ããŠé ãããšãããããã§ãã
20100ã§ãããã®ã¯ã20111ã§è¥å¹²é¢åãªããšãããããã§ãã
ãã®ããšã¯åŸã§æžãã€ããã ã£ãã®ã§ããããã£ããã§ãã®ã§ä»æžããŸãã
ãé¢åãªããšããšããã®ã¯ã0ãå«ãããã©ããã®åé¡ãã§ãã
ç§ã¯1âŠxïŒz, 1âŠwïŒyã§èšç®ããŠããŸããã(0ã¯åŸã§èšç®ããŠãç°¡åãªã®ã§)ã
Seiji Tomitaæ°ã®èšç®çµæã«ã¯0ãå«ãŸããŠãããã®ã79åå«ãŸããŠããŸãããã
ããããã¡ããšèšç®ãããšã0ãå«ãŸãããã®ã¯195åã«ãªãã¯ãã§ãã
ïŒãã¡11åã¯4乿°ã§æåããé€å€ãããŠããŸãã®ã§ãå®éã¯184åã§ãïŒ
ã©ããã2ïœ5000ã¯0ãå«ããŠèšç®ããŠããŠããã以äžã¯ã»ãŒ0ãå«ããã«
èšç®ãããŠããããã§ã(5335,12595,12935ã®3åã ã0ãå«ãã§ããŸã)ã
ãšããããã§ãèšç®çµæã¯(ãããã20100ãŸã§ã§)
(1)ã1âŠxïŒz,1âŠwïŒyã§max(x,y,z,w)=max(y,z)ãæå°ã§ããè§£ãïŒè€æ°ããå Žåã¯x^4+ny^4ãæå°ã®ãã®ãæ¡çšïŒ
(2)ã1âŠxïŒz,1âŠwïŒyã§x^4+ny^4=z^4+nw^4ãæå°ã§ããè§£ãïŒè€æ°ããå Žåã¯max(y,z)ãæå°ã®ãã®ãæ¡çšïŒ
(3)ã0âŠxïŒz,0âŠwïŒyã§max(x,y,z,w)=max(y,z)ãæå°ã§ããè§£ãïŒè€æ°ããå Žåã¯x^4+ny^4ãæå°ã®ãã®ãæ¡çšïŒ
(4)ã0âŠxïŒz,0âŠwïŒyã§x^4+ny^4=z^4+nw^4ãæå°ã§ããè§£ãïŒè€æ°ããå Žåã¯max(y,z)ãæå°ã®ãã®ãæ¡çšïŒ
ã®4éãã®è¡šãå¥ã
ã«åºãããšæã£ãŠããŸãã
20111ã®å Žåã¯
(1)(2)ã§ã¯ (x,y,z,w)=(54,12,107,11)
(3)(4)ã§ã¯ (x,y,z,w)=(5,1,12,0)
ã«ãªããšæããŸãã
ä»ã®äŸã§ã¯
84ã®å Žåã¯
(1)ã§ã¯ (x,y,z,w)=(13,11,29,9) (13^4+84*11^4=1258405)
(2)(3)ã¯(1)ãšåã
(4)ã§ã¯ (x,y,z,w)=(17,10,31,0) (17^4+84*10^4=923521)
260ã®å Žåã¯
(1)ã§ã¯ (x,y,z,w)=(236,151,536,121) (236^4+260*151^4=138272300676)
(2)ã§ã¯ (x,y,z,w)=(126,141,566,35) (126^4+260*141^4=103018129236)
(3)ã§ã¯ (x,y,z,w)=(7,2,9,0) (7^4+260*2^4=6561)
(4)ã¯(3)ãšåã
ã®ããã«ãªããŸãã
çŸåšã9562,15427,18311,19219ã«ã€ããŠå
šåã§æ¢çŽ¢äžã
20078ã¯ããã£ãããæ¢çŽ¢äž
(1)â(2)ã®å€æŽç¹ãããã£ãããæ¢çŽ¢äž
ãªã®ã§ããã(1)â(2)ã®å€æŽç¹ãåºæã£ãæç¹ã§
(15427,18311,19219,20078ã®è§£ãèŠã€ãã£ãŠããªããŠãæ«å®çãšããŠ)å
¬è¡šããäºå®ã§ãã
ãããããã
泚æãã¹ãæ
å ±ãæäŸããã ããããããšãããããŸãã
æå°å€â¡ãšæå°å€ãã®éãã¯èªèããŸããããSeiji Tomitaã®è¡šã«ã0ã®æ±ãã§ããã®ããã«åŸ®åŠãªä»æ§(æ¡ä»¶)ã®å·®ãå«ãŸããŠãããšã¯å
šãæ°ã¥ããŠããŸããã§ããã
ããšããšã®ç®æšã¯ãSeiji Tomitaã®è¡šã§ã???ä»ãã®æ«å®æå°è§£ãåèã«ããŠãçã®æå°è§£ãæ±ããããšããããšã ã£ãã®ã§ãå°ãªããšããæ¥åæ²ç·ã®æçç¹ã䜿ã£ãŠæ±ããæŽæ°è§£ã§ã¯ã0ãå«ãæŽæ°è§£ã¯é€ããŠ(å®è³ªçã«ã¯é€ãããŠ)ããŸãã
ãã(0ã®æ±ããšæŽæ°ããŒã¿ã®ãŸãšã)ã¯ãããããããã«å
šæš©å§ä»»ããŸãã
ããããããã®è²¢ç®åºŠãå§åçã«å€§ããã®ã§ãSeiji Tomitaæ°ãžã®æçµå ±åã¯ãããããããããããŠããã ãã®ã劥åœã ãšæããŸãã
h=20078ã®ãã max{x,y,z,w}<=3000000ã®ç¯å²ã§ã¯ãèªæã§ãªãæŽæ°è§£ã¯èŠã€ãããªãããšã確èªã§ããŸããã
-bash-3.1$ time ./dqde4 20078 -m 3000000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 20078, N = 3000000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 150901824
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
Found 0 solutions.
Search finished successfully.
real 425m0.549s
user 424m46.821s
sys 0m13.369s
x^4+12391*y^4=z^4+12391*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
718901034532286548723430458587047903777397151289239^4+12391*57451008357573276494993444645137467164876367078809^4=727061994739772229807032044735698076441939872261067^4+12391*56090848322992329647726513620362438387452580250171^4
108507614053875066581083493712865633588461755190996343969269992471395^4+12391*133293342027510367029707317699590327283678432380364538379760440212518^4=1366728374859625343076619603953901090348685131819110157497526007643823^4+12391*76410118106781345719548700673915582176358797057654430541615562316220^4
1411625406536963531039295242821235124570647918283769376516744024055405341729039751277217310778107^4+12391*821755213999580265894610795269375518179995503951438151227966443982501329922251102622005451153374^4=8578366234005402994696689513856698823995566655446340998771949100918482581479281230516287141036263^4+12391*372701590578492978048288249903201765057490952242323785814567735494678210036122477251172853889652^4
156256736172629294620718121293199569268388106111239903656479836534361231719816052997347706369482462611479479978867602908124643459422544438157367^4+12391*96000392843172828828056377093941687935667216833527089953012451806485158061320169106476477610106854092841122218015239685309435898843416557669578^4=1000823887766598033540929425648619669485246495307590087491155694930086502788250452727183840171158698525117713245512339885865994051471756872780371^4+12391*44760799089155294325312173631961662100475848032531274019433524592802387116752230848496211356839185226098583326425549810980789199831452181434256^4
2062618299573624232658125245931015178923662518713948160344452257439223673293298204867901732057353473700815584907901282375010793680585041140446165305009632051261163527263302114218919418056065869733168979732^4+12391*350317150619006443840590502313762078485205050933902626332517037230861457672760653994117521390785336993634026115619624464578430975583077821316570775583871832495365017906968709917263966965975555397100492151^4=2133746002232724025069100838931024232135874457434982630109194080922316674826476060466454598760390085942795192540961136927633610183491976674785193879595558248310794794134539308878551962511822393414758061056^4+12391*349076899682051599113947178496577823358051111757585838743090685829395267013868390228275200412171922946967770125857445419195636335096425147888655755183659884099961368992671527265647929795339155127554014647^4
289914283469733560115164798311638199604763182604163874105488246336603646746184040071350777878201176306979497164282835044557927893465784911964966865450575242073432120859040017778849825965811424502017141129698966709447831652199^4+12391*401509801702304538187848500651738992694851062707385540404367881860408145124919014910167226454322233307845996560958069641767103703035864469219870531320728913560811895172620294689259745616965647427829353168841723780259106370114^4=4106852152108904135714832702427422169676331402910278590132247816522293965205735203255188100423543029118313524515919531245538675094531881355580718737137928447628967071400138306979330539870318217477475543676102854142016717017219^4+12391*234646509737557224412096150034225002317076974010300245600092046503873574618339512287138993969901408827376341330981379725063020830475151604716088113960496620698443929917562753510820373367118818068080380588892257458502374524056^4
16234335126153905708410689831063421604403951305063445916514157281460011455770450773977433977444982795487653051355292362630133832365381986822344369661900424218931124117270939644832561028338051203512889774174902395042851819020492286714900705152874979732514902370924484153237693074067^4+12391*1730136839304938321396159962200371805581510458359327099393687616086911230467606821708596600894616229503601469174502003223875492552961762620304255839391859366128586499506169639223000478735245624248622650540594754794752333269172657885184241148048170560398155446362844991722968481495^4=20101674015145462955403683949785781293548242224305187933177072515079071559365558715923031337761922080173217527493486573529112092824258180436183896846552690419435474526976167627687846208007793627036074363313279631334158922880237765433847251260783694670095303217490801469261071081455^4+12391*1085580357806345446897327609079978524057461971819036763283201743817067879868422164717663707508459682056007389818136301407379115809815730351331001308616481666044528097888631642080452948790288553661425219017531882079534482625881744765359816796730051404134755305268458772385738813597^4
15874375355783090673656668327163242130253209346987708696186243275442427769808265260424939088299695508597698341092854544314945893412528273119328585429643068419120131314098633198398306975885370330760769870926271987995387319938268965729193075520014110369361106349765436811246300439952714^4+12391*3240987771633554020647641323061665755078769543272630672206517428897510064782816946990587723643782493291881864469005507040360001099270388252902262816375486251313015545135980986726570418434082832105940458221769133120253604833047340095334589232520645330848674838783165326225907530754929^4=22323906240307374289317521344634347161084862910209572160032884397559229498463831451745074530941449873797380116755319198420221970719837990356513180023555382082914154439852981912861836753667970686057299442580477627764406902808927934984710463512442694693297835264773209900462337965736322^4+12391*3125392494381523473181390288904599126810909166260249470496670516602766146595865838371081212896408403773964545172356783415501309589457322326404698092490922165692698747189288198483453536491474004030404427362689136173045432291485476690316000606222155512927815430306609125725532203526577^4
....
x^4+12391*y^4=z^4+12391*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
15277093978728943657393459790075249923568307887584693592060174899^4+12391*42527056178166824551284793142174230391964672746991926700536552233^4=83937521680192742075382630376335051786006171700146437781864812839^4+12391*42514042958051763219666141286177456787670595471063328762827722971^4
376484714376979186210390059659642860967045881713612982236369451420937035241448148^4+12391*28600962290902148156345722270872502802283396156512900371958514587954160438326715^4=410449945157849496180525916560727648839520008975540387792717012878975656143700250^4+12391*512092664129546103770726501485886802694427210853447247767966661793228906460801^4
542874408321974323871704267311992273796610208392043725379419014669450299570886669193786070771806128785693805332083989843914881796018^4+12391*39791112837135676027707328533656587061509718819455634476531926595817147331525209603179227899105889677801294831057283046589319703789^4=585996826958479019168074728380216706238658714482694247547222103605108430398269440037379930865335483880863249236073510412528556931744^4+12391*2829039720131651487961219046607073539753856456040901189843564650967320908054263165813062104652156739084628627637693987777598158881^4
3007920550737575989990662218263835033944846837515637993458765059315965607343753587087770843961563329430225298501545445823603835797822374851558800278365870994138^4+12391*235865131269969224402549844781168820308319628532157627063639524186673271932371285659468722244392310218502910165789003805888723889168934081725688675351148841671^4=3311158792670584544992519679637933733006431712318937879658397211318681953785709564101104692360017018749452934694039746598325838076797186105628422819294365542916^4+12391*24053361815466679884756550682344350315895978442099418250330891815655025017876694637674576382853709197977920856348968286730135207095189850333987788301846485853^4
7764521586482365018237805467084666904658961489309140761264069313930265713087031676220708041151228418587062075821562267576858464242486211580767958786074890864958694407386196265088986613109283859530365620228866406772077581823244119003579903010183468050011981689^4+12391*17338404547108543116259119985229282533991830019400951758286605386517705910151398249316264691042372980188713121177665797572388612110968864560562004081496189904187410030309122524940139065715507858716821475287232061544368963715735419303875163569125302497038729544^4=48196403647529978436230096139075397122574229134702839837261260978245856464607736285622356310605005021090288991607673717813656252868033689231599508367286414923346312185516339579411169675910736045116194215328655793955852937002587650426202575948631549037383043143^4+12391*17317494362360839813448557733619914795649827962365076021139558897181371876866348558742290968489435536242624235210429731202009492425214687711579324130970830717287690922373857458764589273828594014642460177655444556041724197866559036201229984663830195492136465988^4
197005198877891792415295739138889224084301770892109910419346146605534109979729674190574836574549099852299573677215107070473602245134134166303584861708951764566871688516785445227550752347604039283427542445974237376482843396934083966121299800992069459337187199989493817086789850346234483215779720460679764500547272^4+12391*13857293398254154630691800551860763751034702199063046446437023596770830279401301523240880349242507562533060559217944911438937709907148775127326066209260546653196919242182930348793549775211869366338410164881308474730709472260144640327639184981597578927757859831726238847198200819113549371421319784280460395700921^4=210485242426108336762350859388250289878784439927634863236752128925939801405089075660650450982409512160351661774047532939288066603971593291435867368692658426758127391722109379300455053606350177799825309768394396829075513475566367574244527154420708172449729767878598328252678279806645944718398610555789518099097002^4+12391*2302970356925688047501697480979850212906700168613086888660467322137380486236100263176067999647868441345556476218722738169396830903612382156798203080369121917834887923333844000589862982000893495140323888521171801079849404861044404793444310614192967688435658783922372133579546995903725226319413988472100168372581^4
64871946524374857798436978719426690202944881997088490691539997954711485372750582099917293901961332354294271783463359602989292786878890981819259792719212870938960470332293184668393621170932020126500426852370726627575136752952393090515165122069627736027673146418459215488217739184100822236317171785301109823775979661776311843546037^4+12391*6592451303082184285953064436740695091205409766142682674452926449184082693323221812902767144909467219866606550634746104114416582993560132180354972816133948327165630025336086545934085136664749402083552568103756976485440548188903310568032400409755897983420981080795511641507046801216780820584744269323988924480623053993510732897495^4=77701576021075672975958106417082771445131219685753772901870598537107549237586221424525179720014536257465796644307511838503257595917093161708579915911833338087330071684771141098330922196080447044053415238151517399859483401450480146120808315676543993224634901806106490961953336992494025421322588482782376976204853324364684900989895^4+12391*4404373979804228723350759304107374544954308252713273505830445478583972047964469036761134984850421839994700472945955812040410396182041736296205132777540737800008313991073590394012172884891045098676151762565492256901142293380885594236804622681886608185403380680045010193123465605977393337991327185659954349029840085367951887768669^4
80118384150939624083310811114753197072348241374442335256638309243532634511547361103685872007432904672420200547314982108619487768282142576499332840711725544766004055431730683585911674418259830984229670768270143390847951346915308603593849765591244815048510344079889699852747155207202043173004446000834372278362275528444712948245059907463682027313789639388192741408529^4+12391*8540117553011406471796659139346120813664883059925735511091423536029981230580661399756278473243468774571061737740929132090801814133739980507476662774527503600452132910183263665059155157769358399571779360920755283263991054262628887479587286262931424669885204228371696882579799656860751559188202553263608177464998081312993980615522937710731753175026022459281548773388^4=97250804328017714828442099406467479328044145874483229259581288011528826034703393658768631788210017526374658457669631400476780893951307747663296700422535459524847799327490441987452209080278207537117160607724168615573362942440622366660152009164770228794153055074453634694851990636938918317927964127457324190756174268283434740018079650838512376809917805317459909281583^4+12391*6144814027341242738315873682123263976931606511537887920002558265109611503553080790314658481708342243104187899705913118072592293582687309061635216977595280478556790429039386393404160266817821502903211930039837766500647456187640052291528922514376072826379976624111675839224344997199427136460527269556064890301200838548767555189922556610551403535940976908661737974944^4
....
ã¯ãããŸããŠãY.K.ãšç³ããŸãã
ã¿ã€ãã«ã®éã2A^4+B^4+C^4=D^4ã®éèªæãªæŽæ°è§£ãæ¢çŽ¢ããããšè©Šè¡é¯èª€ããŠãããšãããããæ¹ãããã®æ²ç€ºæ¿ã®ååšãæããŠããã ããŸããã
æ§ã
ãªãã£ãªãã¡ã³ãã¹æ¹çšåŒã®è§£ãæ±ããŠãããšã®ããšã§ããããããã2A^4+B^4+C^4=D^4ã®æŽæ°è§£ãããæ¢ã«æ±ããããŠãããããããããªããšæã£ãã®ã§ãããèªåã§ã¯èŠã€ããããªãã£ãããããã«æçš¿ãããŠããã ããŸãã
ããçšåºŠã®ããšãåãã£ãŠããŠãäžçªå°ããéèªæè§£ã(A,B,C,D)=(110135,249568,244580,325193)ãšèŠã€ããŸããã(ç§ã®ææã§ã¯ãªã)
çŸåš2çªç®ã«å°ããè§£ãã©ãã«ãæ¢çŽ¢äžã§ã...ãããªããªãå³ããæãã§ãã
Y.K.ãã
(A,B,C,D)=(110135,249568,244580,325193)ã¯ã
ãã2*A^4+B^4+C^4=D^4
ã®æŽæ°è§£ã«ãªã£ãŠããŸããã
2*110135^4+249568^4+244580^4=7751937824733931778626
325193^4=11183165553400911588001
ãªã®ã§ã巊蟺ãšå³èŸºã¯äžèŽããŸããã
(1)æ¹çšåŒãŸãã¯æ°å€ã®ééãã§ã¯ãªãã§ããïŒ
ãããããã
ãã 110135^4+249568^4+2*244580^4=11183165553400911588001
ãªã®ã§ã A^4+B^4+2*C^4=D^4ã®èªæã§ãªãæŽæ°è§£ã«ã¯ãªã£ãŠããŸãã
(2)Y.K.ããã®ææã§ã¯ãªãã®ã§ããã°ãã ãã®ææãªã®ã§ããïŒ
ããã©ããã«å
¬éãããŠããã®ã§ããã°ãããã«æŽæ°è§£ãæ±ããæ¹æ³ãæžããŠããã®ã§ã¯ãªãã§ããããïŒ
(3)è§£ãã人ã誰ãªã®ããåãã£ãŠããã®ã§ããã°ãè§£ãã人ã«èãã®ãæ©ãã®ã§ã¯ãªãããããïŒ
ããè§£ããã®ã§ããã°ãè§£ãæ¹ãæããŠæ¬²ãããããã§ãã
(1) ãã¿ãŸãã... AãšCãéã§ãã... 2*A^4+B^4+C^4=D^4ãšãããªãã°(244580,249568,110135,325193)ã§ãã
(2) ããã¯Eugene Goãšããmathoverflowã®æ¹ã®çµæã§ãäžèšURLã®è³ªåã®åçãšããŠA^4+B^4+C^4+D^4=E^4ã®æŽæ°è§£ã®ãªã¹ãããããŠããã£ããããŸãã
mathoverflowã§ã®Eugene Goæ°ã®åçïŒ
https://math.stackexchange.com/questions/5145111/in-order-to-parameterize-more-numerical-solutions-are-requested-for-the-a4b/5145556#5145556
Eugene Goæ°ã®æŽæ°è§£ã®ãªã¹ãïŒ
https://drive.google.com/file/d/1lEEdTOVH_7V-dHQl1PjqPx5Emw8K4qm5/view
ãããããã«æžãããŠããã®ã¯ãããŸã§A^4+B^4+C^4+D^4=E^4ã®æŽæ°è§£ããã«ãŒããã©ãŒã¹ã§æ±ããæ¹æ³ã§ãã£ãŠãA^4+B^4+2*C^4=D^4ã®æŽæ°è§£ãæ±ããããšã«ç¹åããŠããããã§ã¯ãªãã®ã§ãããããããŸããŸãã®ãªã¹ãã«å
¥ããããã®å°ããè§£ãèŒã£ãŠããã®ã§ãA^4+B^4+2*C^4=D^4ã®æŽæ°è§£ãåŸããããšããããã§ãã
è²ã
ãšå·¥å€«ããŠããŸããEugene Goæ°ã®ç°å¢ãçŽ æŽãããã®ãç§ã®å®è£
ãäžæãããªã®ããç§ã¯ãŸã æå°è§£(244580,249568,110135,325193)ããæ¢çŽ¢ã«ãã£ãŠã§ã¯èŠã€ããããŠããŸãã...
(3) 解説ã®pdfãããã®ã§ãããèªãã§ããŸãã... ãã©A^4+B^4+2*C^4=D^4çšã®æé©åã®æ¹æ³ãåããã詊è¡é¯èª€äžã§ã
Y.K.ãã
Seiji Tomitaã以äžã®URLã§ç޹ä»ããŠãã
2. a^4 + b^4 + c^4 + d^4 = (a+b+c+d)^4 has infinetly many solutions
ã®èšŒæããã³ãã«ãªãã®ã§ã¯ãªãã§ããããïŒ
http://www.maroon.dti.ne.jp/fermat/dioph63e.html
åç
§ããŠããMaddenã®è«æã¯ã
Jacobi, Lee W., Madden, Daniel J., "On a^4 + b^4 + c^4 + d^4 = ( a + b + c + d )^4". American Mathematical Monthly. 115 (3), p220â236.
ã®ããã§ãã
ã»Aã¯10ã®åæ°
ã»Bã¯5ã®åæ°
ã»Cã¯ãBã10ã§å²ãåãããšã5ã§å²ãåããªã奿°ãå²ãåããªããšã5ã§å²ãåããªãå¶æ°
ã»Dã¯5ã§å²ãåããªã奿°
ïŒãã¡ããBãšCã¯äº€æå¯ïŒ
ãšãããšãããŸã§çµã£ãŠãäœãšãæå°è§£ãŸã§ã¯æ¢çŽ¢ã§ãã©ãçããŸããã
ããã2çªç®ã¯DïŒ1000äžãšããã£ãŠããŸãã®ã§ãïŒç§ã«ã¯ïŒããªãå³ããã§ãã
Y.K.ããããããããã
2*A^4+B^4+C^4=D^4ã®2çªç®ä»¥éã®æŽæ°è§£ã«ã€ããŠããã«ãŒããã©ãŒã¹ã§ã®æ¢çŽ¢ã¯å°é£ãšã®çµè«ãåºãŠããŸããããéåžžã«è峿·±ãå€éšã®ç¥èŠãèŠã€ããŸããã
Xã«ãŠããããã¡ãæ°ïŒ@Kaimochi_920ïŒãšããæ¹ãããŸãã«ãã®æ¹çšåŒãç¡éã«è§£ãæã€ããšã®èšŒæãšãããã«äŒŽãå
·äœçãªå·šå€§æŽæ°è§£ïŒ50æ¡èŠæš¡ïŒãæç€ºãããŠããã®ã確èªããŸããã æçš¿ã¡ãã»ãŒãžãšæŽæ°è§£ã®æ¡æ°ããèŠãŠããæ¬æ¹çšåŒãæ¥åæ²ç·ãžãšåž°çãããããšã¯æããã§ãã
該åœãã¹ãã®URLïŒ https://x.com/Kaimochi_920/status/2093769056121999782Â
ãåèãŸã§ã«ã
ãããã¡ãæ°ïŒ@Kaiããmochi_920ïŒã®Xæçš¿
ããããhttps://x.com/Kaimochi_920/status/2093926485098660240
ã«ã¯ãæ¥åæ²ç·ã®åŒãšå
ã®A^4+B^4+2*C^4=D^4ã®æŽæ°è§£ãšã®é¢ä¿ãæžããŠãã£ãã®ã§ãããã䜿ã£ãŠãããã«å·šå€§ãªïŒçªç®ãïŒçªç®ã5çªç®ã6çªç®ã®æŽæ°è§£ãèšç®ããŸããã
[A,B,C,D]=
[49494256269168883921893536501755051556767975295914677935284954387412484692879666198489957014418420251879785591236298119337198884489585465, 93764198766252763890432809404866529374544191829088062449961647867739247626037659251559888322722610863702742076798967503976470276124891552, 87651612318971616899430892021752796370990837975548428503301481603367277690574374614094885746471525222135789942762282336062876847882686900, 119120345356566624443103411153397529190918659231499392470804555719384197453210796755123761028125283297778707622699668720872038417957894073],
[7024705385197176036160160975394031394011040954419963433879670124833890132894842575226042553063518228679627051254666196679304252864614263356362362965051930600484525650264380285750519595657456896658608514107436509197761583958423094631256980841898901672279533985510670935, 29163586096379186878080521399438505461743602457747737058118256121510697727463265115966499343045546259944203081598708254352775140383787787251240476588216821659398280006492025001553007403915767149063060038668075028370808923377675711310890602016321127482346143909242908128, 32813599886791494039499606683949526768320948393125455250856826720863241186386575851807745667237820912634257046359945443485505668102152863193122109397467763808970761219444631945137067680043416977402243290377428997371304747408786161530610328234353764040317601768928332740, 41771449560894616158124989486205994462774413773530603245721407676829476737889155265204414020174506306681037132697324910604266721798763932872034463050546290588253483068944641346149128109434982047040137406553910619537094195829206260896402728462693428087429380749042483753],
[547306683463903341098288137926081385040029939445959556146513914422912037493650530854804050597962203367725036201007999456173256109035663535012841509406339712759633297361463451795210270367186730803983993140466720320521886098012670823476826235407789686025366872875781409438662671679523977285797649828748790425310732119634067653464794306660980232841237135653467110723321826239512610386083167600571855289548690407831629791614387511140494226034938135, 898078003728976797350687428262329577344590580663832927724458490337201509017880709798812179251174185335485747185154848669475376046837037978698903614696977513308167035507888230761842749708786564425254959813655597189594836550894108737740073813699030192704528541966194714108737068353151882382613868080751869170208288058156091416064691067887047855892690012791690310886976360462811357091569190051376737628411596150572222738332604450423664205027891168, 811934948336590036230521571381017440956404399772907062094454292032512526091881745890491171581899078633973677898621882599245035887539459500862629062185498162001764595195287882189775352691036035206049190247080738889591414474532911419252605933620226271313339636803522478699922319732444552813780291924715004733330935731233960656582338931932827386761237182582373367740128560427011569875773706312603706789135381259477485537740630162838529833753065220, 1126336287964357480128604205677453132877420965196276772201121075576480993575430885157462460412346387515257097879227669423598684941712963248328630199926568725632509638625961639075666723990307835090260513423110300436031265365139644781027495694126292958523002100626604027749559693248171722981734563373453487754897179540987859055597462655648090155234563103510625738709948655790353521607393595745984296999832373032406231352298844486753392733238866793],
[150129592713131587482323979466643197140646568425903442102468798998326531718037871666516044777802839012490230415206233675790968366665311064620704767030480266790290767626984188002639262793705410734666439481985983361208104355472728393139627803041050900384790419999476947008143667434487602477740864968028815316805547932652445024964343784200174782737982547147124221125343484091295545164251216943210748250174210733265838502867490342017798409747677690696856812219844964108133114467270678543217125247237266171510905575635800624301958729209958664825387576559856289010430152354033670309068756701676961817732061982397046161386272752450989200557258347780887120178911852847865, 1275596823380223625840619016702106891266574080053048988144078675195590730201140718515567593239877788455250143700819699055120519965787984209603587594468617134705715387944158065284270341603744674162172894595870151041768422928909226780089005873365775968976602836586745520152448627092243834769181960342452308302444520867576044009695761700609711268469067553092271279366706769144970080101401083386555077368850294599143197155303797906774179598669269958666469273727362550421408479975504623190183843097502254622634226438147663403314044452927070930279762576963814632247405239969412716993803141609601782026842827025683047749043242029093737028497543946485056380455959915568032, 1576074736785745345686904185961566283429759992522238646026481273955783133497086374622287134089666389243969637725833350099349028721346660361372120785242267515945321183589518777697123875749528384383451620193199646008475603369216552974134739287591560132459269012219980974421874107393162369898046314675219839902561759035059866043276616517290212568155230133353198014970534393058221927633487823575683564348793384226885886012267835307622709151910996699838068905581029331591098633794051983346793566038955015701675390351186569443568144513027613359107808369426033149658871138101606629884353390436656258668228609009910446818807065940961993777020735285530108774535496301525620, 1967620346626220431251730397329180501554446476439048174074632224634249416831169382998960322665517756415906383167551190861786045271772927922790974254698349591205731766795920831187940722386552197529478692971273767424581906325306349030984984993636351117031214257608574133865748939833823037703253059755710943735996656130376276792414163714828290127448981118248455030989407136427077790660876275491644571919377366024242091785434903977011964888041585903248253520667164331440324243497594059503570433698522428751858972819209658873886119349192719269010835371060090267711106812604869401761041244868940578019720392888105148008934957018740165770441065554987449002991188182857593],
....
2*A^4+B^4+C^4=D^4ã®æŽæ°è§£ã«ã€ããŠã¯ãMathOverflowã§ãè°è«ãããŠããŠãEugene Goæ°ã®æŽæ°è§£ãšã¯å¥ã®æŽæ°è§£ããVepiræ°ãAnders HÞyer Bergæ°ã«ãã£ãŠçºèŠãããŠããŸãã
https://mathoverflow.net/questions/515812/more-small-solutions-to-a-new-infinite-family-2a4c4d4-e4
ãããã®æ¹æ³ãåèã«ããã°ãããã«å¥ã®æŽæ°è§£ãèŠã€ããããšãã§ãããã§ãã