åããã®ãã¿ãããŸããã®ã§ã玹ä»ããããŸãã
次ã®ããŒãžã«ã¯ã256åã®æçæ°ã
16ïœ16 ã®æ¹é£ãšããŠæäŸãããŠããŸãã
https://github.com/TokusiN/AtanMagic/blob/main/data.txt
ãã®256åã®æçæ°ã§ã¯ã1ãã512ãŸã§ã®èªç¶æ°ãå
šãŠäœ¿ãããã®ãã¡256åã®èªç¶æ°ãååã«ãæ®ãã®256åãåæ¯ãšããŠäžå¯Ÿäžã«çµã¿åãããã§ãã256åã®åæ°ããã®ãŸãŸæ¢çŽã«ãªã£ãŠããŸããèšãæããã°çŽåæäœã¯äžåãããŠããŸããã
åè¿°ã®éãã«ã16ïœ16 ã®æ¹é£ãšããŠããŒã¿æäŸãããŠå±
ãããã§ããã
åãã¹ç®ã®æçæ°ã«arctané¢æ°ãäœçšãããå€ã§æ¹é£ãã€ãããšããããéæ¹é£ã«ãªã£ãŠããŠã瞊暪æãããããã®ç·åã 2Ï ã«ãªã£ãŠããŸãã
éæ¹é£ã§ããããšãåç»åãããã®ã以äžã«ãããŸãã
https://tatt61880.github.io/AtanMagic/
ããã«ããŠãã©ãããçºæ³ãªãã§ãããããâŠâŠ
æèŠããŸããã
äœè
ãã³ãã«ããŒã ïŒTakusiNããç©åãã§ããã
1ïœ512ã®ãã¹ãŠã䜿ã£ãŠ16*16=216åã®æ¢çŽåæ°ãäœãã®ãããããã©ããããarctanã§éæ¹é£ã ãªããŠãã£ããŸãïœã§ãã
ãªããšããã®äººã«é£çµ¡ããšããŠçºèŠã®çµç·¯ãèããããã®ã§ããã
ã³ã³ãã¥ãŒã¿ã§ã®è
åã§ã®è§£æ±ºã趣å³ã ãšæžãããŠã¯ãããäœãããã®æ³åãæ°ä»ããç¡ããã°å°åºç¡çã§ãããã
ãããŒäžã®äžåã人ãããããã ã
ã¡ãªã¿ã«ç¬¬äžè¡ã®åæ°ãéåããŠã¿ãŠããæ°ãè«å€§éããŠäœã«ããã³ããåããŸããã§ããã
èŠçŽåæ°ãšarctanå€ãããããã©ã³ã¹ããšããŠããããšã«æåããã®ã§
ã§ã¯1ïœ8ã®æ°åãäžåãã€äœ¿ã£ãŠã2è¡2åã®1ããå°ãã4ã€ã®æ¢çŽåæ°ã§
å¯èœãªéãçµåããäœã£ãŠã¿ãã
[1/2 3/4]ã
[5/6 7/8]
----------
[1/2 3/4]
[5/8 6/7]
----------

-----------
[7/8 5/6]
[3/4 1/2]
çã®å
šéšã§432éãã®è¡åãäœããŸããã
ãšããããã¹ãŠã®è¡åã§ããã®å€ã«å¯Ÿããarctanã®å€ãåã£ãè¡åã«ã¯äœã®çŸããèŠåã瀺ããã®ã¯ãããŸããã§ããã
ãã£ãŠã¯ããŸããããã¶ã3次æ£æ¹è¡åã§1ïœ18ãçšãã9åã®æ¢çŽåæ°ã§ã®ã¿ã€ãã§ãäœã®ææãããåŸãããªããã®ãšæãããŸãã
16次ãŸã§æ¡åŒµããè¡åã§ãã®åãæ³åãçŸãåºãããšãçã
èå³ãåŒãç«ãŠãŸãã
ïŒSNS ã®X(æ§twitterïŒã§äœè
ã®TokusiNããã«ã©ããã£ãŠäœã£ãã®ãå°ããŠããã
æãä»ããã®ã¯ããã³ç³»ã®å
¬åŒããã§å
·äœçãªäœææ¹æ³ã¯ã¬ãã¬ãã®ã³ã³ãã¥ãŒãã£ã³ã°ãšã®ããšã§ããã
èããšããã«ããã°
ä»»æã®æ£ã®æŽæ° q, r ã«ã€ããŠãµãã€ã®å
¬åŒ
â : Ï/4 = arctan(q/(q +r)) +arctan(r/(2*q +r))
â¡: Ï/4 = arctan(q/(q -r)) +arctan(r/(2*q -r))
ããšãã«æãç«ã€ã®ã ããã§ã
arctané¢æ°ãžã®åŒæ°ã¯ãšãã«çåæ°ã§ãããšãããããœã§ããããã®atanmagic ã§ããããªã£ãŠããŸãã®ã§äœ¿ããããïŒ
Q[1]ããQ[8]ãŸã§ãR[1]ããR[8]ãŸã§ã®16åã®æŽæ°ãããããŒã«éžã¶ãš
8*(Ï/4) =
arctan(Q[1]/(Q[1] +R[1])) +arctan(R[1]/(2*Q[1] +R[1]))
+arctan(Q[2]/(Q[2] +R[2])) +arctan(R[2]/(2*Q[2] +R[2]))
+arctan(Q[3]/(Q[3] +R[3])) +arctan(R[3]/(2*Q[3] +R[3]))
+arctan(Q[4]/(Q[4] +R[4])) +arctan(R[4]/(2*Q[4] +R[4]))
+arctan(Q[5]/(Q[5] +R[5])) +arctan(R[5]/(2*Q[5] +R[5]))
+arctan(Q[6]/(Q[6] +R[6])) +arctan(R[6]/(2*Q[6] +R[6]))
+arctan(Q[7]/(Q[7] +R[7])) +arctan(R[7]/(2*Q[7] +R[7]))
+arctan(Q[8]/(Q[8] +R[8])) +arctan(R[8]/(2*Q[8] +R[8]))
ãšãªãã16åã®arctané¢æ°ã®å€ã®ç·åã 2*Ï
ãšãã圢ãåŸãããŸããatanmagic ã®æ§è³ªã®äžéšã«ãã䌌ãŠããŸããã¡ãã£ãšããã£ãŠããã®ãããããŸããã
äžèšã¯å
¬åŒâ ã®ã¿ã§ã€ã£ã±ã£ãŠããŸãããå®éã«ã¯å
¬åŒâ¡ãšã®æ··åšã§ãããçã§ããèªç±åºŠãèšãäžãããŸããâŠâŠ(é§ç®ïŒè¿œèšãåç
§é¡ããŸã)
ããããäœæŠã§ä»åã®éæ¹é£ãäœãããã®ãã©ãããã ãã§ã¯ãããŸãããâŠâŠæã¿èãããããŸããã
è¿œèšã
â¡ã¯çåæ°ã®ã¿ã®åŒã«ãªã£ãŠããŸããã§ããã謹ãã§ãè©«ã³ããŸãã
â ã¯æ¬¡ã®GAIããã«ãã埡æçš¿å
ã§äœ¿ãããåŒãšå®è³ªçã«åããã®ãšæããŸãã
ç§ãæšæ¥ããã©ããã£ãŠæ§æããŠããããã ããããšããŒãšèãç¶ããŠããŸãã
ç§ãèŠã€ããããã³ã®å
¬åŒãã©ããšããŠãäžè¬ã«1ããå°ããæ¢çŽåæ°ã®s/t
ã«å¯Ÿãããã®ã§(tan(Ï/4)=1ã ããå¯äžæçæ°ãšãªããã®ã§ããã®ãã¿ãŒã³ã¯äœãæãã)
arctan(s/t)+arctan((t-s)/(t+s))=Ï/4ã
ã®çµåãã§å¿
ãÏ/4ãäœããã®ã§,ãããã
arctan(1/2)+arctan(1/3)=Ï/4
arctan(1/4)+arctan(3/5)=Ï/4
arctan(1/5)+arctan(2/3)=Ï/4
arctan(1/6)+arctan(5/7)=Ï/4
arctan(1/7)+arctan(3/4)=Ï/4
arctan(1/8)+arctan(7/9)=Ï/4
arctan(1/9)+arctan(4/5)=Ï/4
arctan(1/10)+arctan(9/11)=Ï/4
åŸã£ãŠããããã¹ãŠè¶³ãåãããã°
A=[1/2,1/3,2/3,1/4,3/4,1/5,3/5,4/5,1/6,1/7,5/7,1/8,1/9,7/9,1/10,9/11]
ã®16åã®æ¢çŽæåã«å¯Ÿãããã®arctanå€ã®åã¯2*Ïãäœãã
gp > vecsum(apply(i->atan(i),A))
%=6.28318530717958647692528(=2*Ï)
ããããµã€ãã«ãã16Ã16次ã®æ£æ¹è¡åã®ç¬¬1è¡ã¯
M1=[5/168 ,259/498 ,216/337 ,129/478 ,381/436 ,266/303 ,6/127 ,78/179
,31/480 ,144/307 ,210/341 ,43/474 ,174/443 ,172/379 ,271/348 ,41/88]
ã§ããã®ã§ããã®æ¢çŽåæ°ãšã»ãããçµãã§Ï/4 ãç£ã¿åºããŠãããã®ã¯
ãããã
5/168 VS 163/173
259/498 VS 239/757
216/337 VS 121/553
129/478 VS 349/607
381/436 VS 55/817
266/303 VS 37/569
6/127 VS 121/133
78/179 VS 101/257
31/480 VS 449/511
144/307 VS 163/451
210/341 VS 131/551
43/474 VS 431/517
174/443 VS 269/617
172/379 VS 207/551
271/348 VS 77/619
41/88 VS 47/129
ã察å¿ããŠããããšãšãªãã
ãšãããå³ã«çŸãã16åã®æ¢çŽåæ°ã¯äœåŠã«ã䜿ãããŠããªããããã163ãªã©ã®æ°ã¯éè€ããŠ
åºçŸããããšãèµ·ãããããã512ããã倧ããªæ°åã䜿ãããããšã«ãªãã
ãã®æ¹éãããã§ã¹ãããããããšã«ãªã£ãã
ããã§ä»è€çŽ æ°ã§ã®åè§ã®æ§åã«åãæ¿ã
å£ã§è§£èª¬ããŠããã®ã倧å€ãªã®ã§ãä»æ€çŽ¢ãæããŠããããã°ã©ã ã§
èªã¿åã£ãŠäžããã
äŸãååšããŠããŠãèšå€§ãªæéãèŠããå¿
èŠããããããªãã§ãã
{t=0;}for(a1=2,512,for(a2=1,a1-1,for(a3=3,512,for(a4=2,a3-1,\
for(a5=4,512,for(a6=3,a5-1,for(a7=5,512,for(a8=4,a7-1,\
for(a9=6,512,for(a10=5,a9-1,for(a11=7,512,for(a12=6,a11-1,\
for(a13=8,512,for(a14=7,a13-1,for(a15=9,512,for(a16=8,a15-1,\
for(a17=10,512,for(a18=7,a17-1,for(a19=11,512,for(a20=10,a19-1,\
for(a21=12,512,for(a22=9,a21-1,for(a23=13,512,for(a24=12,a23-1,\
for(a25=14,512,for(a26=11,a25-1,for(a27=15,512,for(a28=14,a27-1,\
for(a29=16,512,for(a30=13,a29-1,for(a31=17,512,for(a32=16,a31-1,\
if(gcd(a1,a2)==1 && gcd(a3,a4)==1 && gcd(a5,a6)==1 && gcd(a7,a8)==1 && \
gcd(a9,a10)==1 && gcd(a11,a12)==1 && gcd(a13,a14)==1 && gcd(a15,a16)==1 &&\
gcd(a17,a18)==1 && gcd(a19,a20)==1 && gcd(a21,a22)==1 && gcd(a23,a24)==1 && \
gcd(a25,a26)==1 && gcd(a27,a28)==1 && gcd(a29,a30)==1 && gcd(a31,a32)==1 && \
imag((a1+a2*I)*(a3+a4*I)*(a5+a6*I)*(a7+a8*I)*(a9+a10*I)*(a11+a12*I)*(a13+a14*I)*(a15+a16*I)*\
(a17+a18*I)*(a19+a20*I)*(a21+a22*I)*(a23+a24*I)*(a25+a26*I)*(a27+a28*I)*(a29+a30*I)*(a31+a32*I))==0 , \
print(t++";"a2/a1","a4/a3","a6/a5","a8/a7","a10/a9","a12/a11","a14/a13","a16/a15","\
a18/a17","a20/a19","a22/a21","a24/a23","a26/a25","a28/a27","a30/a29","a32/a31)) \
))))))))))))))))))))))))))))))))
äžèšã®ããæ¹ã§ã¯ãšãŠããããªãããããæéããããŠãç¡çãšå€å®
ããã§1ïœ512ãäžåºŠãã€çšããæ¡ä»¶ãé€ãã°ã次ã®ãããª16次ã®è¡åã§ã¯arctanã§ã®åè¡ãååã2ã€ã®å¯Ÿè§ç·ã§ã®åã¯2*Ïã®
éæ¹é£ãšã¯ãªãããã§ãã
éã«èšãã°åŠäœã«1ïœ512ãäžåºŠãã€äœ¿ããšããããšãåãããšãããããŸãã
[163/173 239/757 121/553 349/607 55/817 37/569 121/133 101/257 449/511 163/451 131/551 431/517 269/617 207/551 77/619 47/129]
[299/623 107/531 199/773 191/339 353/467 159/529 93/263 315/457 139/513 5/857 19/331 183/239 357/587 235/263 91/463 323/541]
[133/379 179/627 137/571 301/593 263/431 223/327 151/247 371/641 33/901 157/347 247/255 267/529 33/277 87/773 245/337 151/807]
[269/397 133/869 203/521 297/679 143/599 191/577 173/293 141/449 161/325 197/769 91/367 461/527 107/553 287/723 311/369 173/389]
[ 79/203 361/543 59/763 245/419 279/347 91/313 401/607 359/625 77/207 287/359 47/883 49/739 355/489 199/617 143/353 91/503]
[337/361 23/449 289/373 47/259 409/503 445/561 61/187 31/983 263/457 275/459 249/347 1/829 109/823 191/683 141/367 221/419]
[ 97/141 105/499 131/359 1/557 121/843 201/607 323/503 127/491 199/787 331/583 401/491 261/521 391/577 377/523 37/813 295/383]
[ 31/411 421/557 341/529 249/421 61/383 273/293 237/575 295/503 439/471 31/599 139/885 31/209 163/647 119/729 251/455 377/543]
[ 49/559 213/323 329/431 11/427 113/587 209/609 53/779 199/269 213/757 59/137 311/547 61/329 421/475 239/473 277/607 469/549]
[ 89/817 199/241 175/639 359/519 185/553 203/663 181/395 89/543 73/783 333/557 215/779 139/759 343/607 473/507 275/311 239/701]
[ 97/575 177/703 415/559 237/493 163/317 43/883 353/379 185/303 133/233 49/113 143/745 241/537 113/877 331/469 261/755 255/707]
[157/443 337/413 53/429 99/923 401/507 197/557 125/467 227/553 269/569 349/651 193/805 253/503 113/789 357/589 301/451 289/587]
[ 17/563 223/253 193/199 337/411 213/641 217/419 89/613 467/471 139/653 139/797 199/251 49/457 25/967 167/367 135/181 61/631]
[159/379 283/301 227/727 119/529 61/863 327/341 137/653 201/515 191/331 403/515 187/617 423/581 337/683 25/553 31/815 289/481]
[101/141 53/467 143/691 145/497 175/447 223/517 17/667 127/755 173/189 113/221 191/193 259/281 367/427 101/497 217/557 21/311]
[317/469 49/793 251/373 439/477 283/333 137/415 263/665 29/349 79/639 189/577 351/631 71/203 293/341 145/499 83/387 163/491]
æ£æ° a,b,s,t,x,y ã«ã€ããŠ
a ïŒ b, s ïŒ t, x ïŒ y
ãèŠè«ããŠãããŠ
arctan(a/b) +arctan(s/t)
ïŒ arctan((a*y +b*x)/(b*y -a*x)) +arctan((s*y -t*x)/(t*y +s*x))
ãšã§ããŸãã
x ïŒ 0 ãªãã°å³èŸºãšå·ŠèŸºã¯çãããªãããšã¯èªæã§ãã
巊蟺ã®ïŒåã®æçæ°ãã¡ãã£ãšããããŠã¿ãããšèããã®ã§ããå³èŸºã®arctanã«å°ãããå€ãçåæ°ã«ãªãã«ãããŠèŠæŠããŠãããŸãããŸããããããããšã«çŽåãçºçãããããããŸããã
ãªããªãããŸããããªãã§ãã
æ¯èŒçäœãæã(arctanãšã¿ã€ãããæãçç¥ã§atanã§æžããŠããŸãã)
atan(1/4)+atan(3/5)(=Ï/4) (a=1,b=4,s=3,t=5ã«å¯Ÿå¿)
ããDengan kesaktian Indukmuããã®ããããã¯ããã¯ãçšããŠ
å
ã
ã®16è¡åã®ç¬¬1è¡ã®æåãäœãåºããŠãããš(第2é
ç®ã«çžåœ)
(x,y)=(479,855)->atan(163/173)+atan(5/168)ããã:ok
(x,y)=(38,2041)->atan(349/607)+atan(129/478) :noã
(x,y)=(351,653)->atan(121/133)+atan(6/127) :ok
(x,y)=(133,794)->atan(101/257)+atan(78/179) :ok
(x,y)=(1258,2493)->atan(449/511)+atan(31/480) :ok
(x,y)=(201,1967)->atan(163/451)+atan(144/307) :ok
(x,y)=(71,147)->atan(431/517)+atan(43/474) :no
(x,y)=(27,161)->atan(269/617)+atan(174/443) :no
(x,y)=(277,2411)->(atan(207/551)+atan(172/379) :no
(x,y)=(59,563)->atan(47/129)+atan(41/88) :ok
ãªãåŒã«äœãå€ããããã
ãªã
atan(259/498)
atan(216/337)
atan(381/436)
atan(266/303)
atan(210/341)
atan(271,348)
ã«ã¯(x,y)ãèŠã€ãããªãã
ãã ãåæ¯ã512ãããããã®ã¯æ¡çšããªãããšã«ããã(:no)
第1é
ç®ã®åæ¯ã512以äžãªãæ¡çšããŠ(:ok)ããã§äœ¿ãããŠããéšåã®
å
ã®è¡åãããã®æ°ãå«ãåæ°ã¯æ¶ããŠããã
ãããä»åºŠã¯å
ã®16è¡åã®ç¬¬2è¡ã®åæ°æ¶ãæ®ã£ããã®ã«å¯ŸããŠäœã£ãŠããã
ãããç¹°ãè¿ããŠè¡ãã°èªããš1ïœ512ã ãã§äœãããŠããåæ°ãæ®ã£ãŠãããªãã ãããïŒ
ãªãéæ¹é£ã®äœãæ¹ã«ã€ããŠäœåºŠãå°ããŠã¿ããTokusiNãããã
8次ããé ã«æ€èšããçµæãçŸå®çãªæéã§äœãããšãå¯èœãªæå°æ¬¡æ°ã16ã ã£ãã®ã§ãã
ããã³ç³»ã®ååšçå
¬åŒã®çæææ³ãç解ãããšããã®éæ³é£ã«äœ¿ãããŠããåæ°ãã©ã®ããã«éžã°ãããããããšæããŸãã
atanéæ¹é£ãã©ããã£ãŠäœã£ããããã¡ããšãŸãšããæ¹ãè¯ãæ°ããããã©ãã詳现ãèŠããŠãªããªãã
çµæ§çŽ°ããã¹ãããã«åããŠå°ããã€èšç®ããŠãã£ãããšã¯èŠããŠããã©ãã®ã¹ãããã®å解ã¯ããå¿åŽã®åœŒæ¹
ã®è¿äºããããŸããã