Homeに戻る  一覧に戻る 

Integer Points on A^4+B^4+C^4=351122*D^4


[2026.02.20]A^4+B^4+C^4=351122*D^4の整点


■整点を求める方法は、 "A^4+B^4+C^4=3362*D^4の整点" と同様なので、詳細はそちらを参照すること。ただし、参照する数式のみ記載する。

自然数nを固定したとき、不定方程式
       A^4+B^4+C^4=2*n^2*D^4 ----------(1)
を満たす自明でない整数の組(A,B,C,D) (ただし C!=0かつgcd(A,B,C,D)=1)を探す。

以下では、Elkiesの論文(参考文献[1])の方法およびTom Womackの文書(参考文献[5])を参考にして、(1)を満たす整数の組(A,B,C,D)を探す。
ここで、整数A,B,C,Dは0以上として良い。


■x=A/C,y=B/C.t=D/Cとすると、
       x^4+y^4+1=2*n^2*t^4 ----------(2)
つまり、(2)を満たす有理数の組(x,y,t)を見つければ良い。

そのためには、nある有理数uに対して、
       ±(u^2-2)*y^2=(-u^2+4*u-2)*x^2-2*(u^2-2*u+2)*x+(-u^2+4*u-2) ----------(3a±)
       ±n*(u^2-2)*t^2=(u^2-2*u+2)*x^2+(-u^2+4*u-2)*x+(u^2-2*u+2) ----------(3b±)
の両方を満たす有理数の組(x,y,t)を見つければ良い。


■任意の有理数uについて、2次曲線(3b+)および(3b-)は、non-singularである。
また、u^2 > 2のとき、(3b+)のみ、u^2 < 2のとき、(3b-)のみが成立する。

■2次曲線(3a)がsingularであるのは、u=0,1,2のときであり。そのときに限る。
u=1のとき、(3a+)はsingularであるが、有理点を持たない。
u-0,2のとき、(3a+)はsingularであり、
       x^2 - x + 1=n*t^2 --------(**)
が有理点をもつかどうかを議論する必要がある。

351122=2*419^2であるので、以下では、n=419とする。

■n=419のとき、2次曲線(**)は、有理点を持たないことが確認できる。

{MAGMAでの計算]
;> P2 := ProjectiveSpace(Rationals(), 2);
> N:=419;
> C := Conic(P2,-N*y^2+x^2+x*z+z^2);
> HasRationalPoint(C);
false
>


■有理数u(u!=0,1,2)の高さが小さいものから、順に調べる。
例えば、有理数uの高さが400以下の範囲で、2つの2次曲線(3a+)と(3b±)が共に有理点を持つようなuを選択すると、以下のように165個のuが抽出される。
これらのuについて、(3a+),(3b±)を共に満たす有理数の組(x,y,t)を見つければ良い。

[MAGMAによる計算]
> PP(419,1,200);
** u= -1 ; tau(u)= 3/2 ; -7*x^2 + y^2 + 10*x*z - 7*z^2
  (1 : -2 : 1)  C2b (11/3 : -1/3 : 1)
** u= -1/25 ; tau(u)= 51/26 ; -1351*x^2 + 1249*y^2 + 2602*x*z - 1351*z^2
  (151/171 : -50/171 : 1)  C2b (-32297/1230 : -1643/1230 : 1)
** u= 3/2 ; tau(u)= -1 ; 7*x^2 - y^2 + 10*x*z + 7*z^2
  (-7/3 : -14/3 : 1)  C1a (-126/43 : -11/43 : 1)
** u= -4/37 ; tau(u)= 78/41 ; -3346*x^2 + 2722*y^2 + 6100*x*z - 3346*z^2
  (7/12 : 7/12 : 1)  C2b (-31075/12251 : 2025/12251 : 1)
** u= 4/45 ; tau(u)= 86/41 ; -3346*x^2 + 4034*y^2 + 7412*x*z - 3346*z^2
  (-2650/11177 : 12801/11177 : 1)  C1b (33397/1315 : 1537/1315 : 1)
** u= 5/9 ; tau(u)= 13/4 ; -7*x^2 + 137*y^2 + 194*x*z - 7*z^2
  (-445/2537 : -1392/2537 : 1)  C1b (-12869/1186 : 533/1186 : 1)
** u= 5/13 ; tau(u)= 21/8 ; -103*x^2 + 313*y^2 + 466*x*z - 103*z^2
  (-5 : 4 : 1)  C1b (-741/1514 : 77/1514 : 1)
** u= -5/173 ; tau(u)= 351/178 ; -63343*x^2 + 59833*y^2 + 123226*x*z - 63343*z^2
  (16243/11791 : 5662/11791 : 1)  C2b (77091/796955 : -37687/796955 : 1)
** u= -7/9 ; tau(u)= 25/16 ; -463*x^2 + 113*y^2 + 674*x*z - 463*z^2
  (77/83 : -120/83 : 1)  C2b (106690/1807 : -8897/1807 : 1)
** u= -7/25 ; tau(u)= 57/32 ; -1999*x^2 + 1201*y^2 + 3298*x*z - 1999*z^2
  (1/7 : 8/7 : 1)  C2b (192809/13990 : 10571/13990 : 1)
** u= -7/45 ; tau(u)= 97/52 ; -5359*x^2 + 4001*y^2 + 9458*x*z - 5359*z^2
  (4051/74305 : -81888/74305 : 1)  C2b (-155165/44938 : -9793/44938 : 1)
** u= -7/73 ; tau(u)= 153/80 ; -12751*x^2 + 10609*y^2 + 23458*x*z - 12751*z^2
  (45/67 : 3512/6901 : 1)  C2b (237633/19582 : -1204103/2016946 : 1)
** u= 7/89 ; tau(u)= 171/82 ; -13399*x^2 + 15793*y^2 + 29290*x*z - 13399*z^2
  (17377/26853 : 1598/26853 : 1)  C1b (9406179/751558 : 427489/751558 : 1)
** u= 7/185 ; tau(u)= 363/178 ; -63319*x^2 + 68401*y^2 + 131818*x*z - 63319*z^2
  (443265/818897 : 321134/818897 : 1)  C1b (4673675/644459 : -211029/644459 : 1)
** u= 8/13 ; tau(u)= 18/5 ; 14*x^2 + 274*y^2 + 388*x*z + 14*z^2
  (-8/217 : 1/31 : 1)  C1b (623/4582 : -191/4582 : 1)
** u= 8/45 ; tau(u)= 82/37 ; -2674*x^2 + 3986*y^2 + 6788*x*z - 2674*z^2
  (1091/227423 : -26448/32489 : 1)  C1b (851678/411095 : 35453/411095 : 1)
** u= -11/117 ; tau(u)= 245/128 ; -32647*x^2 + 27257*y^2 + 60146*x*z - 32647*z^2
  (527/257 : -336/257 : 1)  C2b (2285965/754318 : -101633/754318 : 1)
** u= 13/4 ; tau(u)= 5/9 ; 7*x^2 - 137*y^2 + 194*x*z + 7*z^2
  (5/361 : 96/361 : 1)  C1a (623/4582 : -191/4582 : 1)
** u= -13/181 ; tau(u)= 375/194 ; -75103*x^2 + 65353*y^2 + 140794*x*z - 75103*z^2
  (627/1435 : 134/205 : 1)  C2b (34556875/2154163 : -1696407/2154163 : 1)
** u= -16/13 ; tau(u)= 42/29 ; -1426*x^2 + 82*y^2 + 2020*x*z - 1426*z^2
  (59/6 : -229/6 : 1)  C2b (-8326/1557 : -1627/1557 : 1)
** u= 17/25 ; tau(u)= 33/8 ; 161*x^2 + 961*y^2 + 1378*x*z + 161*z^2
  (-3/7 : 20/31 : 1)  C1b (-87/73 : -137/2263 : 1)
** u= 18/5 ; tau(u)= 8/13 ; -14*x^2 - 274*y^2 + 388*x*z - 14*z^2
  (8/217 : -1/31 : 1)  C1a (-12869/1186 : 533/1186 : 1)
** u= 19/29 ; tau(u)= 39/10 ; 161*x^2 + 1321*y^2 + 1882*x*z + 161*z^2
  (-1097/2523 : -1738/2523 : 1)  C1b (-5025/1222 : 209/1222 : 1)
** u= -19/49 ; tau(u)= 117/68 ; -8887*x^2 + 4441*y^2 + 14050*x*z - 8887*z^2
  (153/223 : 196/223 : 1)  C2b (-1574111/5142 : -96919/5142 : 1)
** u= -19/97 ; tau(u)= 213/116 ; -26551*x^2 + 18457*y^2 + 45730*x*z - 26551*z^2
  (239/369 : -244/369 : 1)  C2b (226370/259223 : 12195/259223 : 1)
** u= 19/101 ; tau(u)= 183/82 ; -13087*x^2 + 20041*y^2 + 33850*x*z - 13087*z^2
  (1881/233 : 8870/1631 : 1)  C1b (60926/177743 : -51573/1244201 : 1)
** u= 19/117 ; tau(u)= 215/98 ; -18847*x^2 + 27017*y^2 + 46586*x*z - 18847*z^2
  (-3065833/17710799 : 17860626/17710799 : 1)  C1b (81824914/31044925 : 3395669/31044925 : 1)
** u= -19/181 ; tau(u)= 381/200 ; -79639*x^2 + 65161*y^2 + 145522*x*z - 79639*z^2
  (-129741/141361 : -293180/141361 : 1)  C2b (8625903/3986407 : -374621/3986407 : 1)
** u= -20/41 ; tau(u)= 102/61 ; -7042*x^2 + 2962*y^2 + 10804*x*z - 7042*z^2
  (125/192 : 193/192 : 1)  C2b (-1375246/25639 : -91843/25639 : 1)
** u= 21/8 ; tau(u)= 5/13 ; 103*x^2 - 313*y^2 + 466*x*z + 103*z^2
  (1/5 : -4/5 : 1)  C1a (12713/7175 : 671/7175 : 1)
** u= 21/61 ; tau(u)= 101/40 ; -2759*x^2 + 7001*y^2 + 10642*x*z - 2759*z^2
  (-987/26695 : -17924/26695 : 1)  C1b (175519/73415 : -7317/73415 : 1)
** u= -21/101 ; tau(u)= 223/122 ; -29327*x^2 + 19961*y^2 + 50170*x*z - 29327*z^2
  (-4371/15581 : -23578/15581 : 1)  C2b (-282252791/684977 : 15479739/684977 : 1)
** u= -21/149 ; tau(u)= 319/170 ; -57359*x^2 + 43961*y^2 + 102202*x*z - 57359*z^2
  (-14759/26981 : 46474/26981 : 1)  C2b (-19544521/615166 : 1047963/615166 : 1)
** u= -23/41 ; tau(u)= 105/64 ; -7663*x^2 + 2833*y^2 + 11554*x*z - 7663*z^2
  (9657/8327 : -10576/8327 : 1)  C2b (21467/36883 : 1937/36883 : 1)
** u= 24/137 ; tau(u)= 250/113 ; -24962*x^2 + 36962*y^2 + 63076*x*z - 24962*z^2
  (-5857/6022 : 10385/6022 : 1)  C1b (2675/12838 : -543/12838 : 1)
** u= 25/16 ; tau(u)= -7/9 ; 463*x^2 - 113*y^2 + 674*x*z + 463*z^2
  (-67/37 : -96/37 : 1)  C1a (12825/14794 : 2141/14794 : 1)
** u= -28/37 ; tau(u)= 102/65 ; -7666*x^2 + 1954*y^2 + 11188*x*z - 7666*z^2
  (993/2230 : 3271/2230 : 1)  C2b (-199625/466577 : -51301/466577 : 1)
** u= 28/125 ; tau(u)= 222/97 ; -18034*x^2 + 30466*y^2 + 50068*x*z - 18034*z^2
  (-6393/130342 : 107005/130342 : 1)  C1b (152195/23461 : -6439/23461 : 1)
** u= 28/153 ; tau(u)= 278/125 ; -30466*x^2 + 46034*y^2 + 78068*x*z - 30466*z^2
  (14806/46759 : 20445/46759 : 1)  C1b (6099063/2118985 : -252889/2118985 : 1)
** u= 28/197 ; tau(u)= 366/169 ; -56338*x^2 + 76834*y^2 + 134740*x*z - 56338*z^2
  (1380316/3397353 : -1279265/3397353 : 1)  C1b (-95597/217706 : -12439/217706 : 1)
** u= -29/53 ; tau(u)= 135/82 ; -12607*x^2 + 4777*y^2 + 19066*x*z - 12607*z^2
  (-3377/4051 : 11314/4051 : 1)  C2b (-2571566/1926885 : -283531/1926885 : 1)
** u= 33/8 ; tau(u)= 17/25 ; -161*x^2 - 961*y^2 + 1378*x*z - 161*z^2
  (9/61 : 380/1891 : 1)  C1a (46/95 : -129/2945 : 1)
** u= 33/149 ; tau(u)= 265/116 ; -25823*x^2 + 43313*y^2 + 71314*x*z - 25823*z^2
  (60287/239769 : 112436/239769 : 1)  C1b (7150570/794627 : -305967/794627 : 1)
** u= 37/41 ; tau(u)= 45/4 ; 1337*x^2 + 1993*y^2 + 3394*x*z + 1337*z^2
  (-1579/835 : -324/835 : 1)  C1b (81141/4934 : -3751/4934 : 1)
** u= -37/109 ; tau(u)= 255/146 ; -41263*x^2 + 22393*y^2 + 66394*x*z - 41263*z^2
  (-129/1111 : 11566/7777 : 1)  C2b (32137/16185 : -10601/113295 : 1)
** u= 39/10 ; tau(u)= 19/29 ; -161*x^2 - 1321*y^2 + 1882*x*z - 161*z^2
  (3113/23499 : -854/3357 : 1)  C1a (261/11491 : 473/11491 : 1)
** u= 39/73 ; tau(u)= 107/34 ; -791*x^2 + 9137*y^2 + 12970*x*z - 791*z^2
  (1399/30183 : 4370/30183 : 1)  C1b (-62582/831005 : 6891/166201 : 1)
** u= 41/157 ; tau(u)= 273/116 ; -25231*x^2 + 47617*y^2 + 76210*x*z - 25231*z^2
  (3503453/1243719 : -591280/1243719 : 1)  C1b (33642/48091 : -2129/48091 : 1)
** u= 42/29 ; tau(u)= -16/13 ; 1426*x^2 - 82*y^2 + 2020*x*z + 1426*z^2
  (-173/167 : -542/167 : 1)  C1a (-4171/910 : -123/182 : 1)
** u= 44/85 ; tau(u)= 126/41 ; -1426*x^2 + 12514*y^2 + 17812*x*z - 1426*z^2
  (-471/8572 : 3761/8572 : 1)  C1b (12963/70133 : -2897/70133 : 1)
** u= -44/113 ; tau(u)= 270/157 ; -47362*x^2 + 23602*y^2 + 74836*x*z - 47362*z^2
  (10997/5944 : -10311/5944 : 1)  C2b (-361520947/23011507 : -23159597/23011507 : 1)
** u= -44/149 ; tau(u)= 342/193 ; -72562*x^2 + 42466*y^2 + 118900*x*z - 72562*z^2
  (881/516 : -713/516 : 1)  C2b (8473022/1269609 : -448759/1269609 : 1)
** u= 44/153 ; tau(u)= 262/109 ; -21826*x^2 + 44882*y^2 + 70580*x*z - 21826*z^2
  (848/9509 : -5625/9509 : 1)  C1b (614199/48385 : 5207/9677 : 1)
** u= 44/169 ; tau(u)= 294/125 ; -29314*x^2 + 55186*y^2 + 88372*x*z - 29314*z^2
  (-3998/253 : 3185/253 : 1)  C1b (15618185/1645462 : 662359/1645462 : 1)
** u= 45/4 ; tau(u)= 37/41 ; -1337*x^2 - 1993*y^2 + 3394*x*z - 1337*z^2
  (749/433 : -224/433 : 1)  C1a (851678/411095 : 35453/411095 : 1)
** u= -47/113 ; tau(u)= 273/160 ; -48991*x^2 + 23329*y^2 + 76738*x*z - 48991*z^2
  (-30319/38615 : -94408/38615 : 1)  C2b (67198/41957 : 3241/41957 : 1)
** u= 48/73 ; tau(u)= 98/25 ; 1054*x^2 + 8354*y^2 + 11908*x*z + 1054*z^2
  (-1094/9879 : -1715/9879 : 1)  C1b (-5856223/676858 : 18513/52066 : 1)
** u= -48/101 ; tau(u)= 250/149 ; -42098*x^2 + 18098*y^2 + 64804*x*z - 42098*z^2
  (-37/22 : -85/22 : 1)  C2b (-1984838/179213 : 137643/179213 : 1)
** u= 49/53 ; tau(u)= 57/4 ; 2369*x^2 + 3217*y^2 + 5650*x*z + 2369*z^2
  (-3209/4701 : 1624/4701 : 1)  C1b (-1069541/348850 : 8937/69770 : 1)
** u= 51/26 ; tau(u)= -1/25 ; 1351*x^2 - 1249*y^2 + 2602*x*z + 1351*z^2
  (-959/1139 : -350/1139 : 1)  C1a (-119470/45523 : 5157/45523 : 1)
** u= 52/149 ; tau(u)= 246/97 ; -16114*x^2 + 41698*y^2 + 63220*x*z - 16114*z^2
  (34506/9101 : 4001/9101 : 1)  C1b (-1487593/183994 : 65707/183994 : 1)
** u= 52/173 ; tau(u)= 294/121 ; -26578*x^2 + 57154*y^2 + 89140*x*z - 26578*z^2
  (78/241 : 935/9881 : 1)  C1b (6489813/285334 : 276557/285334 : 1)
** u= 53/61 ; tau(u)= 69/8 ; 2681*x^2 + 4633*y^2 + 7570*x*z + 2681*z^2
  (-7179/16087 : 3020/16087 : 1)  C1b (-19631/20558 : -1009/20558 : 1)
** u= -53/149 ; tau(u)= 351/202 ; -78799*x^2 + 41593*y^2 + 126010*x*z - 78799*z^2
  (24641/94489 : 104934/94489 : 1)  C2b (-4614366/1232213 : 328901/1232213 : 1)
** u= -55/49 ; tau(u)= 153/104 ; -18607*x^2 + 1777*y^2 + 26434*x*z - 18607*z^2
  (-1/181 : 588/181 : 1)  C2b (13818034/3145319 : 1574447/3145319 : 1)
** u= -55/109 ; tau(u)= 273/164 ; -50767*x^2 + 20737*y^2 + 77554*x*z - 50767*z^2
  (-91167/3659 : -147064/3659 : 1)  C2b (587335/147026 : -33637/147026 : 1)
** u= -55/157 ; tau(u)= 369/212 ; -86863*x^2 + 46273*y^2 + 139186*x*z - 86863*z^2
  (5959/6065 : -5196/6065 : 1)  C2b (36634631/1717255 : -2132153/1717255 : 1)
** u= -56/41 ; tau(u)= 138/97 ; -15682*x^2 + 226*y^2 + 22180*x*z - 15682*z^2
  (-1327/146 : 11945/146 : 1)  C2b (6519/7393 : 1843/7393 : 1)
** u= 57/4 ; tau(u)= 49/53 ; -2369*x^2 - 3217*y^2 + 5650*x*z - 2369*z^2
  (457/477 : -248/477 : 1)  C1a (24142/154139 : 6669/154139 : 1)
** u= 57/32 ; tau(u)= -7/25 ; 1999*x^2 - 1201*y^2 + 3298*x*z + 1999*z^2
  (-957/5627 : 6280/5627 : 1)  C1a (-1889583/74930 : -105623/74930 : 1)
** u= -57/137 ; tau(u)= 331/194 ; -72023*x^2 + 34289*y^2 + 112810*x*z - 72023*z^2
  (-382793/178043 : -773686/178043 : 1)  C2b (428196946/24153833 : 25889811/24153833 : 1)
** u= 57/193 ; tau(u)= 329/136 ; -33743*x^2 + 71249*y^2 + 111490*x*z - 33743*z^2
  (139247/443397 : -75356/443397 : 1)  C1b (2489851/1060658 : 103401/1060658 : 1)
** u= -60/61 ; tau(u)= 182/121 ; -25682*x^2 + 3842*y^2 + 36724*x*z - 25682*z^2
  (512045/261178 : -964513/261178 : 1)  C2b (80285/31819 : 6657/31819 : 1)
** u= 61/65 ; tau(u)= 69/4 ; 3689*x^2 + 4729*y^2 + 8482*x*z + 3689*z^2
  (-9063/8731 : 4288/8731 : 1)  C1b (283245/103702 : 15793/103702 : 1)
** u= 61/113 ; tau(u)= 165/52 ; -1687*x^2 + 21817*y^2 + 30946*x*z - 1687*z^2
  (-38355/358771 : -24572/51253 : 1)  C1b (130134/387001 : 16519/387001 : 1)
** u= -64/49 ; tau(u)= 162/113 ; -21442*x^2 + 706*y^2 + 30340*x*z - 21442*z^2
  (-19/86 : 553/86 : 1)  C2b (6516482/2498101 : 1147927/2498101 : 1)
** u= -64/73 ; tau(u)= 210/137 ; -33442*x^2 + 6562*y^2 + 48196*x*z - 33442*z^2
  (1187/38511 : -85028/38511 : 1)  C2b (-1900190/248757 : 194777/248757 : 1)
** u= -64/121 ; tau(u)= 306/185 ; -64354*x^2 + 25186*y^2 + 97732*x*z - 64354*z^2
  (-2515/28307 : 338602/198149 : 1)  C2b (352906/443145 : 161509/3102015 : 1)
** u= -64/193 ; tau(u)= 450/257 ; -128002*x^2 + 70402*y^2 + 206596*x*z - 128002*z^2
  (521/469 : -60/67 : 1)  C2b (-842349/1180069 : -108049/1180069 : 1)
** u= -68/125 ; tau(u)= 318/193 ; -69874*x^2 + 26626*y^2 + 105748*x*z - 69874*z^2
  (-64/71 : 205/71 : 1)  C2b (1856525/6163182 : 353123/6163182 : 1)
** u= 68/181 ; tau(u)= 294/113 ; -20914*x^2 + 60898*y^2 + 91060*x*z - 20914*z^2
  (67687/836328 : 396403/836328 : 1)  C1b (4448599/151633 : -186549/151633 : 1)
** u= 69/4 ; tau(u)= 61/65 ; -3689*x^2 - 4729*y^2 + 8482*x*z - 3689*z^2
  (565/333 : -44/333 : 1)  C1a (-523019/6490 : 24329/6490 : 1)
** u= 69/8 ; tau(u)= 53/61 ; -2681*x^2 - 4633*y^2 + 7570*x*z - 2681*z^2
  (1197/2449 : -700/2449 : 1)  C1a (31866431/139742 : 1404937/139742 : 1)
** u= 71/169 ; tau(u)= 267/98 ; -14167*x^2 + 52081*y^2 + 76330*x*z - 14167*z^2
  (-58073/2031807 : 1138774/2031807 : 1)  C1b (-76516358/41906401 : 3923343/41906401 : 1)
** u= 71/193 ; tau(u)= 315/122 ; -24727*x^2 + 69457*y^2 + 104266*x*z - 24727*z^2
  (919/20983 : -11318/20983 : 1)  C1b (3417019082/154620433 : 143212657/154620433 : 1)
** u= -76/109 ; tau(u)= 294/185 ; -62674*x^2 + 17986*y^2 + 92212*x*z - 62674*z^2
  (894/5539 : -211183/127397 : 1)  C2b (69611/2405 : 122331/55315 : 1)
** u= 78/41 ; tau(u)= -4/37 ; 3346*x^2 - 2722*y^2 + 6100*x*z + 3346*z^2
  (692/2119 : 3065/2119 : 1)  C1a (-13823/13394 : -669/13394 : 1)
** u= -79/85 ; tau(u)= 249/164 ; -47551*x^2 + 8209*y^2 + 68242*x*z - 47551*z^2
  (55/813 : 1864/813 : 1)  C2b (6083765/242798 : 589347/242798 : 1)
** u= -80/101 ; tau(u)= 282/181 ; -59122*x^2 + 14002*y^2 + 85924*x*z - 59122*z^2
  (-1847/51171 : -107938/51171 : 1)  C2b (1561673/6976423 : 514271/6976423 : 1)
** u= 82/37 ; tau(u)= 8/45 ; 2674*x^2 - 3986*y^2 + 6788*x*z + 2674*z^2
  (-593/3074 : 1863/3074 : 1)  C1a (81141/4934 : -3751/4934 : 1)
** u= -83/113 ; tau(u)= 309/196 ; -69943*x^2 + 18649*y^2 + 102370*x*z - 69943*z^2
  (10511/53693 : 90160/53693 : 1)  C2b (-3475405/2647226 : 455385/2647226 : 1)
** u= 84/121 ; tau(u)= 158/37 ; 4318*x^2 + 22226*y^2 + 32020*x*z + 4318*z^2
  (-1068/5543 : -1529/5543 : 1)  C1b (-2926930/110749 : -120825/110749 : 1)
** u= 86/41 ; tau(u)= 4/45 ; 3346*x^2 - 4034*y^2 + 7412*x*z + 3346*z^2
  (-3944/6971 : -1641/6971 : 1)  C1a (5671817/268618 : 271493/268618 : 1)
** u= -88/81 ; tau(u)= 250/169 ; -49378*x^2 + 5378*y^2 + 70244*x*z - 49378*z^2
  (7019/8711 : 18720/8711 : 1)  C2b (-523451621/10071870 : -66240421/10071870 : 1)
** u= 88/117 ; tau(u)= 146/29 ; 6062*x^2 + 19634*y^2 + 29060*x*z + 6062*z^2
  (-40897/67007 : -46404/67007 : 1)  C1b (-41043/40699 : 2161/40699 : 1)
** u= 88/137 ; tau(u)= 186/49 ; 2942*x^2 + 29794*y^2 + 42340*x*z + 2942*z^2
  (-2279/32337 : -980/32337 : 1)  C1b (-6619187/352434 : 271957/352434 : 1)
** u= -91/73 ; tau(u)= 237/164 ; -45511*x^2 + 2377*y^2 + 64450*x*z - 45511*z^2
  (107/201 : -640/201 : 1)  C2b (-2271482/1914921 : -695953/1914921 : 1)
** u= -91/109 ; tau(u)= 309/200 ; -71719*x^2 + 15481*y^2 + 103762*x*z - 71719*z^2
  (13/7 : 20/7 : 1)  C2b (-1399889/752634 : -178477/752634 : 1)
** u= -93/125 ; tau(u)= 343/218 ; -86399*x^2 + 22601*y^2 + 126298*x*z - 86399*z^2
  (-99833/10107 : -210070/10107 : 1)  C2b (992313847/366950 : -81012417/366950 : 1)
** u= -93/197 ; tau(u)= 487/290 ; -159551*x^2 + 68969*y^2 + 245818*x*z - 159551*z^2
  (649/66497 : -100382/66497 : 1)  C2b (20077970/3361021 : -1178997/3361021 : 1)
** u= 95/193 ; tau(u)= 291/98 ; -10183*x^2 + 65473*y^2 + 93706*x*z - 10183*z^2
  (9241/331533 : 112798/331533 : 1)  C1b (4562119/265094 : -187663/265094 : 1)
** u= 96/113 ; tau(u)= 130/17 ; 8638*x^2 + 16322*y^2 + 26116*x*z + 8638*z^2
  (-3161/1527 : 1096/1527 : 1)  C1b (-2421334/405625 : 101331/405625 : 1)
** u= 96/149 ; tau(u)= 202/53 ; 3598*x^2 + 35186*y^2 + 50020*x*z + 3598*z^2
  (-27331/370237 : -2440/52891 : 1)  C1b (7862674/358457 : 325239/358457 : 1)
** u= 97/52 ; tau(u)= -7/45 ; 5359*x^2 - 4001*y^2 + 9458*x*z + 5359*z^2
  (-107/173 : -108/173 : 1)  C1a (361190/719199 : 51551/719199 : 1)
** u= 97/197 ; tau(u)= 297/100 ; -10591*x^2 + 68209*y^2 + 97618*x*z - 10591*z^2
  (93229/1125431 : 218760/1125431 : 1)  C1b (13904731/382115 : 573127/382115 : 1)
** u= 98/25 ; tau(u)= 48/73 ; -1054*x^2 - 8354*y^2 + 11908*x*z - 1054*z^2
  (8/3 : -5/3 : 1)  C1a (1522514/87455 : 62577/87455 : 1)
** u= -100/157 ; tau(u)= 414/257 ; -122098*x^2 + 39298*y^2 + 181396*x*z - 122098*z^2
  (98/5233 : -63675/36631 : 1)  C2b (-2772305/1495298 : 2045507/10467086 : 1)
** u= 100/197 ; tau(u)= 294/97 ; -8818*x^2 + 67618*y^2 + 96436*x*z - 8818*z^2
  (-5249/17926 : 13405/17926 : 1)  C1b (-277921962/253103665 : 16197989/253103665 : 1)
** u= 101/40 ; tau(u)= 21/61 ; 2759*x^2 - 7001*y^2 + 10642*x*z + 2759*z^2
  (-4345/27411 : 11068/27411 : 1)  C1a (-949022/255205 : -39039/255205 : 1)
** u= -101/117 ; tau(u)= 335/218 ; -84847*x^2 + 17177*y^2 + 122426*x*z - 84847*z^2
  (26171/37907 : 58398/37907 : 1)  C2b (18678626/1339229 : 1639429/1339229 : 1)
** u= 102/61 ; tau(u)= -20/41 ; 7042*x^2 - 2962*y^2 + 10804*x*z + 7042*z^2
  (-1024/471 : -1123/471 : 1)  C1a (-1774/4585 : -243/4585 : 1)
** u= 102/65 ; tau(u)= -28/37 ; 7666*x^2 - 1954*y^2 + 11188*x*z + 7666*z^2
  (-1466/4283 : 6667/4283 : 1)  C1a (8736909/14738629 : 1792063/14738629 : 1)
** u= -103/153 ; tau(u)= 409/256 ; -120463*x^2 + 36209*y^2 + 177890*x*z - 120463*z^2
  (-37363/288467 : -578304/288467 : 1)  C2b (32950390/6308821 : -2224405/6308821 : 1)
** u= 105/64 ; tau(u)= -23/41 ; 7663*x^2 - 2833*y^2 + 11554*x*z + 7663*z^2
  (2309/661 : 4672/661 : 1)  C1a (1026690/281273 : 85903/281273 : 1)
** u= 105/137 ; tau(u)= 169/32 ; 8977*x^2 + 26513*y^2 + 39586*x*z + 8977*z^2
  (-123991/510351 : 32968/510351 : 1)  C1b (-14083/3037 : 579/3037 : 1)
** u= 107/34 ; tau(u)= 39/73 ; 791*x^2 - 9137*y^2 + 12970*x*z + 791*z^2
  (4439/3261 : 4814/3261 : 1)  C1a (176986/250315 : -2595/50063 : 1)
** u= -113/185 ; tau(u)= 483/298 ; -164839*x^2 + 55681*y^2 + 246058*x*z - 164839*z^2
  (5117/8441 : 9878/8441 : 1)  C2b (115644850/7451141 : 8045429/7451141 : 1)
** u= 115/149 ; tau(u)= 183/34 ; 10913*x^2 + 31177*y^2 + 46714*x*z + 10913*z^2
  (-2051/4821 : -2282/4821 : 1)  C1b (-881823/164210 : -36299/164210 : 1)
** u= 116/117 ; tau(u)= 118 ; 13454*x^2 + 13922*y^2 + 27380*x*z + 13454*z^2
  (-4808/5599 : -555/5599 : 1)  C1b (-188498/102981 : 7969/102981 : 1)
** u= 116/121 ; tau(u)= 126/5 ; 13406*x^2 + 15826*y^2 + 29332*x*z + 13406*z^2
  (-2603/3656 : 759/3656 : 1)  C1b (-8135/35022 : 1511/35022 : 1)
** u= 116/157 ; tau(u)= 198/41 ; 10094*x^2 + 35842*y^2 + 52660*x*z + 10094*z^2
  (-15994/66679 : -15579/66679 : 1)  C1b (-1818478/26659 : 75937/26659 : 1)
** u= 117/68 ; tau(u)= -19/49 ; 8887*x^2 - 4441*y^2 + 14050*x*z + 8887*z^2
  (-3097/1263 : -3164/1263 : 1)  C1a (-201283/217586 : 11069/217586 : 1)
** u= 118 ; tau(u)= 116/117 ; -13454*x^2 - 13922*y^2 + 27380*x*z - 13454*z^2
  (10487/10102 : 1857/10102 : 1)  C1a (1249286/318907 : -54613/318907 : 1)
** u= 119/121 ; tau(u)= 123/2 ; 14153*x^2 + 15121*y^2 + 29290*x*z + 14153*z^2
  (-30593/27883 : 6974/27883 : 1)  C1b (-95407/343529 : -14853/343529 : 1)
** u= -120/113 ; tau(u)= 346/233 ; -94178*x^2 + 11138*y^2 + 134116*x*z - 94178*z^2
  (28439/15195 : 59896/15195 : 1)  C2b (15643/239885 : 27471/239885 : 1)
** u= 123/2 ; tau(u)= 119/121 ; -14153*x^2 - 15121*y^2 + 29290*x*z - 14153*z^2
  (10639/8237 : 550/8237 : 1)  C1a (37589731/312962 : -1800021/312962 : 1)
** u= -124/169 ; tau(u)= 462/293 ; -156322*x^2 + 41746*y^2 + 228820*x*z - 156322*z^2
  (278/57807 : -111469/57807 : 1)  C2b (-877297/234489 : 85043/234489 : 1)
** u= 126/5 ; tau(u)= 116/121 ; -13406*x^2 - 15826*y^2 + 29332*x*z - 13406*z^2
  (393/256 : 11/256 : 1)  C1a (-46634/4315 : -2293/4315 : 1)
** u= 126/41 ; tau(u)= 44/85 ; 1426*x^2 - 12514*y^2 + 17812*x*z + 1426*z^2
  (240/1657 : -941/1657 : 1)  C1a (36025/158082 : -6797/158082 : 1)
** u= 128/169 ; tau(u)= 210/41 ; 13022*x^2 + 40738*y^2 + 60484*x*z + 13022*z^2
  (-785/1087 : -832/1087 : 1)  C1b (-2702/2045 : 127/2045 : 1)
** u= 128/193 ; tau(u)= 258/65 ; 7934*x^2 + 58114*y^2 + 82948*x*z + 7934*z^2
  (-2283/23621 : -2048/165347 : 1)  C1b (2658521/159770 : -773811/1118390 : 1)
** u= 130/17 ; tau(u)= 96/113 ; -8638*x^2 - 16322*y^2 + 26116*x*z - 8638*z^2
  (59271/31369 : 24392/31369 : 1)  C1a (-68764345/217151 : -3007899/217151 : 1)
** u= 133/149 ; tau(u)= 165/16 ; 17177*x^2 + 26713*y^2 + 44914*x*z + 17177*z^2
  (-7623/3959 : 1816/3959 : 1)  C1b (1350188738/20614067 : 60837753/20614067 : 1)
** u= 135/82 ; tau(u)= -29/53 ; 12607*x^2 - 4777*y^2 + 19066*x*z + 12607*z^2
  (3059/2201 : -8022/2201 : 1)  C1a (-36682/793953 : -53153/793953 : 1)
** u= 138/97 ; tau(u)= -56/41 ; 15682*x^2 - 226*y^2 + 22180*x*z + 15682*z^2
  (-144/121 : -863/121 : 1)  C1a (54647/13506 : -22211/13506 : 1)
** u= 140/193 ; tau(u)= 246/53 ; 13982*x^2 + 54898*y^2 + 80116*x*z + 13982*z^2
  (-7713/35228 : 8081/35228 : 1)  C1b (-958417/830665 : 48139/830665 : 1)
** u= 146/29 ; tau(u)= 88/117 ; -6062*x^2 - 19634*y^2 + 29060*x*z - 6062*z^2
  (5761/3263 : 3780/3263 : 1)  C1a (6850537/610454 : 283663/610454 : 1)
** u= 147/181 ; tau(u)= 215/34 ; 19297*x^2 + 43913*y^2 + 67834*x*z + 19297*z^2
  (-21325/10539 : 9926/10539 : 1)  C1b (-725906/304091 : -30171/304091 : 1)
** u= 149/181 ; tau(u)= 213/32 ; 20153*x^2 + 43321*y^2 + 67570*x*z + 20153*z^2
  (-63077/63853 : -50344/63853 : 1)  C1b (1627669/1149382 : 97299/1149382 : 1)
** u= -151/121 ; tau(u)= 393/272 ; -125167*x^2 + 6481*y^2 + 177250*x*z - 125167*z^2
  (40129/72447 : -230120/72447 : 1)  C2b (362875/234994 : -46575/234994 : 1)
** u= -152/117 ; tau(u)= 386/269 ; -121618*x^2 + 4274*y^2 + 172100*x*z - 121618*z^2
  (967/802 : -3699/802 : 1)  C2b (6075774/2776163 : -999317/2776163 : 1)
** u= 153/80 ; tau(u)= -7/73 ; 12751*x^2 - 10609*y^2 + 23458*x*z + 12751*z^2
  (-45/67 : -3512/6901 : 1)  C1a (4345/4002 : 38807/412206 : 1)
** u= 153/104 ; tau(u)= -55/49 ; 18607*x^2 - 1777*y^2 + 26434*x*z + 18607*z^2
  (-6089/8763 : 868/381 : 1)  C1a (-398034/118039 : -43423/118039 : 1)
** u= -155/137 ; tau(u)= 429/292 ; -146503*x^2 + 13513*y^2 + 208066*x*z - 146503*z^2
  (-18609/216985 : -759196/216985 : 1)  C2b (4563578/3086635 : -439591/3086635 : 1)
** u= 158/37 ; tau(u)= 84/121 ; -4318*x^2 - 22226*y^2 + 32020*x*z - 4318*z^2
  (2757/18968 : -1991/18968 : 1)  C1a (-1793174/533497 : -80379/533497 : 1)
** u= -160/153 ; tau(u)= 466/313 ; -170338*x^2 + 21218*y^2 + 242756*x*z - 170338*z^2
  (965/1109 : 232728/114227 : 1)  C2b (3530/2553 : -30283/262959 : 1)
** u= 162/113 ; tau(u)= -64/49 ; 21442*x^2 - 706*y^2 + 30340*x*z + 21442*z^2
  (667/1153 : -9324/1153 : 1)  C1a (-2188914/1296857 : 355241/1296857 : 1)
** u= 165/16 ; tau(u)= 133/149 ; -17177*x^2 - 26713*y^2 + 44914*x*z - 17177*z^2
  (11987/10795 : -7088/10795 : 1)  C1a (-37214/1067741 : -48489/1067741 : 1)
** u= 165/52 ; tau(u)= 61/113 ; 1687*x^2 - 21817*y^2 + 30946*x*z + 1687*z^2
  (-79315/2559901 : 468196/2559901 : 1)  C1a (-78111470/363901 : -3212861/363901 : 1)
** u= -168/121 ; tau(u)= 410/289 ; -138818*x^2 + 1058*y^2 + 196324*x*z - 138818*z^2
  (3/14 : -3179/322 : 1)  C2b (-11675/9818 : -215049/225814 : 1)
** u= 168/185 ; tau(u)= 202/17 ; 27646*x^2 + 40226*y^2 + 69028*x*z + 27646*z^2
  (-1042/895 : 551/895 : 1)  C1b (4762970/358069 : -222519/358069 : 1)
** u= 169/32 ; tau(u)= 105/137 ; -8977*x^2 - 26513*y^2 + 39586*x*z - 8977*z^2
  (174929/435449 : -197912/435449 : 1)  C1a (-1139813954/14520175 : -48254673/14520175 : 1)
** u= 171/82 ; tau(u)= 7/89 ; 13399*x^2 - 15793*y^2 + 29290*x*z + 13399*z^2
  (65479/50449 : 109194/50449 : 1)  C1a (9090990/220217 : -432515/220217 : 1)
** u= 172/185 ; tau(u)= 198/13 ; 29246*x^2 + 38866*y^2 + 68788*x*z + 29246*z^2
  (-1133/1808 : -447/1808 : 1)  C1b (238901/859035 : 45251/859035 : 1)
** u= -176/197 ; tau(u)= 570/373 ; -247282*x^2 + 46642*y^2 + 355876*x*z - 247282*z^2
  (21039/1523209 : 3472558/1523209 : 1)  C2b (46683455/131438 : 4445823/131438 : 1)
** u= 182/121 ; tau(u)= -60/61 ; 25682*x^2 - 3842*y^2 + 36724*x*z + 25682*z^2
  (2120/8643 : 26543/8643 : 1)  C1a (-4553185/389951 : -458127/389951 : 1)
** u= 183/34 ; tau(u)= 115/149 ; -10913*x^2 - 31177*y^2 + 46714*x*z - 10913*z^2
  (255/721 : -38/103 : 1)  C1a (352209110/9071989 : 14808177/9071989 : 1)
** u= 183/82 ; tau(u)= 19/101 ; 13087*x^2 - 20041*y^2 + 33850*x*z + 13087*z^2
  (-2843/7151 : -14570/50057 : 1)  C1a (-10183/13831 : -4287/96817 : 1)
** u= 184/185 ; tau(u)= 186 ; 33854*x^2 + 34594*y^2 + 68452*x*z + 33854*z^2
  (-2037/1787 : 916/12509 : 1)  C1b (-7724099/3556115 : -2285293/24892805 : 1)
** u= 184/197 ; tau(u)= 210/13 ; 33518*x^2 + 43762*y^2 + 77956*x*z + 33518*z^2
  (-68857/119615 : -9052/119615 : 1)  C1b (-37170042/794935 : -1698313/794935 : 1)
** u= 186 ; tau(u)= 184/185 ; -33854*x^2 - 34594*y^2 + 68452*x*z - 33854*z^2
  (482/501 : 487/3507 : 1)  C1a (489939/344251 : -148937/2409757 : 1)
** u= 186/49 ; tau(u)= 88/137 ; -2942*x^2 - 29794*y^2 + 42340*x*z - 2942*z^2
  (4/11 : 7/11 : 1)  C1a (3017414/72057 : 124087/72057 : 1)
** u= -187/169 ; tau(u)= 525/356 ; -218503*x^2 + 22153*y^2 + 310594*x*z - 218503*z^2
  (36403/54837 : -121420/54837 : 1)  C2b (2770846/12947925 : 1445269/12947925 : 1)
** u= 198/13 ; tau(u)= 172/185 ; -29246*x^2 - 38866*y^2 + 68788*x*z - 29246*z^2
  (900/521 : -127/521 : 1)  C1a (-704149/208035 : 37439/208035 : 1)
** u= 198/41 ; tau(u)= 116/157 ; -10094*x^2 - 35842*y^2 + 52660*x*z - 10094*z^2
  (61541/289924 : 38411/289924 : 1)  C1a (338246/187643 : 14821/187643 : 1)
165
>

ここからは、 "A^4+B^4+C^4=3362*D^4の整点" と同様なので、最終的に得られた(1)の整点のみを記述する。
ここで、対応する整点が見つかった各有理数uについて、0 <= A <= B <=C を満たすように、A,B,Cを交換して、Dの小さい順に(1)の等式を並べ替えると、以下のようになる。



[2026.02.21追記] u=44/85のときの整点を追加した。


[参考文献]


Last Update: 2026.02.21
H.Nakao

Homeに戻る[Homeに戻る]  一覧に戻る[一覧に戻る]