Homeに戻る  一覧に戻る 

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


[2025.11.22]A^4+B^4+C^4=50562*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 --------(**)
が有理点をもつかどうかを議論する必要がある。

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

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

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


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

[MAGMAによる計算]
> PP(159,1,200);
** u= 1/81 ; tau(u)= 161/80 ; -12799*x^2 + 13121*y^2 + 25922*x*z - 12799*z^2
  (-1237/653 : 1872/653 : 1)  C1b (-1326070/1168249 : -170023/1168249 : 1)
** u= 3/5 ; tau(u)= 7/2 ; x^2 + 41*y^2 + 58*x*z + z^2
  (-1/3 : 2/3 : 1)  C1b (2503/35 : -167/35 : 1)
** u= -3/49 ; tau(u)= 101/52 ; -5399*x^2 + 4793*y^2 + 10210*x*z - 5399*z^2
  (6497/32943 : 28532/32943 : 1)  C2b (4520657/2368786 : 314039/2368786 : 1)
** u= -3/61 ; tau(u)= 125/64 ; -8183*x^2 + 7433*y^2 + 15634*x*z - 8183*z^2
  (253/227 : 80/227 : 1)  C2b (46423/48302 : -3763/48302 : 1)
** u= -4/25 ; tau(u)= 54/29 ; -1666*x^2 + 1234*y^2 + 2932*x*z - 1666*z^2
  (-61/4 : -75/4 : 1)  C2b (731314/419605 : 52019/419605 : 1)
** u= 4/29 ; tau(u)= 54/25 ; -1234*x^2 + 1666*y^2 + 2932*x*z - 1234*z^2
  (2 : -3/7 : 1)  C1b (365/599 : 289/4193 : 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 (-72818/141031 : -16029/141031 : 1)
** u= 4/89 ; tau(u)= 174/85 ; -14434*x^2 + 15826*y^2 + 30292*x*z - 14434*z^2
  (31303/22528 : 2603/22528 : 1)  C1b (-6121282/2839427 : -611361/2839427 : 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 (125/154 : -13/154 : 1)
** u= 5/37 ; tau(u)= 69/32 ; -2023*x^2 + 2713*y^2 + 4786*x*z - 2023*z^2
  (4817/1271 : 2776/1271 : 1)  C1b (-30027226/2072999 : 2305983/2072999 : 1)
** u= 5/169 ; tau(u)= 333/164 ; -53767*x^2 + 57097*y^2 + 110914*x*z - 53767*z^2
  (182033/581575 : 379548/581575 : 1)  C1b (-51501949/25381910 : -5280187/25381910 : 1)
** u= 7/2 ; tau(u)= 3/5 ; -x^2 - 41*y^2 + 58*x*z - z^2
  (9/167 : 38/167 : 1)  C1a (2410/1801 : -199/1801 : 1)
** u= 7/17 ; tau(u)= 27/10 ; -151*x^2 + 529*y^2 + 778*x*z - 151*z^2
  (1/5 : 6/115 : 1)  C1b (-3302/787 : 5537/18101 : 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 (184794962/48846445 : 13983943/48846445 : 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 (160997/18185 : 2345/3637 : 1)
** u= 7/153 ; tau(u)= 299/146 ; -42583*x^2 + 46769*y^2 + 89450*x*z - 42583*z^2
  (-15341/404539 : 401358/404539 : 1)  C1b (5995723/2657231 : -409201/2657231 : 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 (11185/6622 : 881/6622 : 1)
** u= -8/81 ; tau(u)= 170/89 ; -15778*x^2 + 13058*y^2 + 28964*x*z - 15778*z^2
  (2402/7199 : 243/313 : 1)  C2b (123286/76385 : -8669/76385 : 1)
** u= -8/101 ; tau(u)= 210/109 ; -23698*x^2 + 20338*y^2 + 44164*x*z - 23698*z^2
  (401/2841 : 2668/2841 : 1)  C2b (-48581/44290 : -6729/44290 : 1)
** u= 11/37 ; tau(u)= 63/26 ; -1231*x^2 + 2617*y^2 + 4090*x*z - 1231*z^2
  (899/23 : -590/23 : 1)  C1b (102257/416990 : -5585/83398 : 1)
** u= 11/157 ; tau(u)= 303/146 ; -42511*x^2 + 49177*y^2 + 91930*x*z - 42511*z^2
  (-7101/5167 : 11630/5167 : 1)  C1b (-29459486/1467883 : 2312901/1467883 : 1)
** u= -12/29 ; tau(u)= 70/41 ; -3218*x^2 + 1538*y^2 + 5044*x*z - 3218*z^2
  (18/49 : -53/49 : 1)  C2b (-10490/117383 : -12627/117383 : 1)
** u= 12/97 ; tau(u)= 182/85 ; -14306*x^2 + 18674*y^2 + 33268*x*z - 14306*z^2
  (2232/13787 : -9727/13787 : 1)  C1b (4104331/627185 : 290127/627185 : 1)
** u= -12/113 ; tau(u)= 238/125 ; -31106*x^2 + 25394*y^2 + 56788*x*z - 31106*z^2
  (-1103/1008 : 2285/1008 : 1)  C2b (-974938/190855 : 91509/190855 : 1)
** u= -12/181 ; tau(u)= 374/193 ; -74354*x^2 + 65378*y^2 + 140020*x*z - 74354*z^2
  (25971/20068 : -10435/20068 : 1)  C2b (59902/8699 : 4577/8699 : 1)
** u= 12/185 ; tau(u)= 358/173 ; -59714*x^2 + 68306*y^2 + 128308*x*z - 59714*z^2
  (1484/16225 : 95681/113575 : 1)  C1b (31589/25354 : -16097/177478 : 1)
** u= 12/197 ; tau(u)= 382/185 ; -68306*x^2 + 77474*y^2 + 146068*x*z - 68306*z^2
  (3907/6272 : 199/896 : 1)  C1b (1449550/1545287 : 119141/1545287 : 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 (11185/6622 : 881/6622 : 1)
** u= 15/73 ; tau(u)= 131/58 ; -6503*x^2 + 10433*y^2 + 17386*x*z - 6503*z^2
  (8947/20739 : -2962/20739 : 1)  C1b (-10057/28930 : 2461/28930 : 1)
** u= -15/101 ; tau(u)= 217/116 ; -26687*x^2 + 20177*y^2 + 47314*x*z - 26687*z^2
  (111/77 : 64/77 : 1)  C2b (595501/222050 : -43343/222050 : 1)
** u= 16/113 ; tau(u)= 210/97 ; -18562*x^2 + 25282*y^2 + 44356*x*z - 18562*z^2
  (61/123 : -26/123 : 1)  C1b (42847358/200225 : 3176397/200225 : 1)
** u= -16/181 ; tau(u)= 378/197 ; -77362*x^2 + 65266*y^2 + 143140*x*z - 77362*z^2
  (241/35271 : 38158/35271 : 1)  C2b (-6003167/1282774 : 563297/1282774 : 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 (706/265 : -1629/8215 : 1)
** u= 17/49 ; tau(u)= 81/32 ; -1759*x^2 + 4513*y^2 + 6850*x*z - 1759*z^2
  (4099/21893 : -7560/21893 : 1)  C1b (-98513191/50755157 : -8418707/50755157 : 1)
** u= 17/81 ; tau(u)= 145/64 ; -7903*x^2 + 12833*y^2 + 21314*x*z - 7903*z^2
  (79/1393 : -144/199 : 1)  C1b (-97186555/195413137 : 17953577/195413137 : 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 (125/154 : -13/154 : 1)
** u= -19/85 ; tau(u)= 189/104 ; -21271*x^2 + 14089*y^2 + 36082*x*z - 21271*z^2
  (-929/1733 : 3156/1733 : 1)  C2b (-14749655/7330477 : -1792057/7330477 : 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 (198343/366619 : 26379/366619 : 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 (18331933/2918297 : -1278167/2918297 : 1)
** u= -20/17 ; tau(u)= 54/37 ; -2338*x^2 + 178*y^2 + 3316*x*z - 2338*z^2
  (-5/96 : 361/96 : 1)  C2b (38575/25294 : 6637/25294 : 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 (-257854/23345 : -29307/23345 : 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 (459610/148913 : -30759/148913 : 1)
** u= 21/89 ; tau(u)= 157/68 ; -8807*x^2 + 15401*y^2 + 25090*x*z - 8807*z^2
  (-1787/23 : 1376/23 : 1)  C1b (-203578/102079 : 18451/102079 : 1)
** u= 21/137 ; tau(u)= 253/116 ; -26471*x^2 + 37097*y^2 + 64450*x*z - 26471*z^2
  (411/101 : -236/101 : 1)  C1b (-1134358/234841 : 92341/234841 : 1)
** u= -21/157 ; tau(u)= 335/178 ; -62927*x^2 + 48857*y^2 + 112666*x*z - 62927*z^2
  (16147/702459 : -780854/702459 : 1)  C2b (85240151/18836434 : 6500501/18836434 : 1)
** u= 23/169 ; tau(u)= 315/146 ; -42103*x^2 + 56593*y^2 + 99754*x*z - 42103*z^2
  (2615/1183 : -822/1183 : 1)  C1b (884401/2008630 : -135599/2008630 : 1)
** u= -24/17 ; tau(u)= 58/41 ; -2786*x^2 + 2*y^2 + 3940*x*z - 2786*z^2
  (16/9 : 431/9 : 1)  C2b (46/245 : 107/49 : 1)
** u= 24/61 ; tau(u)= 98/37 ; -2162*x^2 + 6866*y^2 + 10180*x*z - 2162*z^2
  (8207/49263 : 13636/49263 : 1)  C1b (3295813/1909310 : 46981/381862 : 1)
** u= 24/89 ; tau(u)= 154/65 ; -7874*x^2 + 15266*y^2 + 24292*x*z - 7874*z^2
  (91/326 : -109/326 : 1)  C1b (164275/3578 : 11541/3578 : 1)
** u= -24/89 ; tau(u)= 202/113 ; -24962*x^2 + 15266*y^2 + 41380*x*z - 24962*z^2
  (8441/47349 : 51952/47349 : 1)  C2b (4531727/1400365 : 71135/280073 : 1)
** u= 24/145 ; tau(u)= 266/121 ; -28706*x^2 + 41474*y^2 + 71332*x*z - 28706*z^2
  (-3581/1007771 : 842116/1007771 : 1)  C1b (173/238 : 1/14 : 1)
** u= -24/157 ; tau(u)= 338/181 ; -64946*x^2 + 48722*y^2 + 114820*x*z - 64946*z^2
  (-46037/742239 : 904280/742239 : 1)  C2b (647738/143659 : -49821/143659 : 1)
** u= 27/10 ; tau(u)= 7/17 ; 151*x^2 - 529*y^2 + 778*x*z + 151*z^2
  (-1/5 : -6/115 : 1)  C1a (26 : 41/23 : 1)
** u= 28/117 ; tau(u)= 206/89 ; -15058*x^2 + 26594*y^2 + 43220*x*z - 15058*z^2
  (5747/15548 : -3219/15548 : 1)  C1b (-56654/138245 : 2383/27649 : 1)
** u= 29/81 ; tau(u)= 133/52 ; -4567*x^2 + 12281*y^2 + 18530*x*z - 4567*z^2
  (17477/67823 : -5976/67823 : 1)  C1b (9458174/2740843 : 632033/2740843 : 1)
** u= -29/197 ; tau(u)= 423/226 ; -101311*x^2 + 76777*y^2 + 179770*x*z - 101311*z^2
  (-810247/82473 : 1015738/82473 : 1)  C2b (92889205/106126198 : 8040415/106126198 : 1)
** u= -31/73 ; tau(u)= 177/104 ; -20671*x^2 + 9697*y^2 + 32290*x*z - 20671*z^2
  (20317/15223 : 18548/15223 : 1)  C2b (286219/156118 : -22671/156118 : 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 (265/14 : 549/434 : 1)
** u= -35/81 ; tau(u)= 197/116 ; -25687*x^2 + 11897*y^2 + 40034*x*z - 25687*z^2
  (99583/15937 : 128916/15937 : 1)  C2b (451639/190739 : -37063/190739 : 1)
** u= -39/97 ; tau(u)= 233/136 ; -35471*x^2 + 17297*y^2 + 55810*x*z - 35471*z^2
  (-411/1391 : 17372/9737 : 1)  C2b (-3167/101 : -2279/707 : 1)
** u= -39/193 ; tau(u)= 425/232 ; -106127*x^2 + 72977*y^2 + 182146*x*z - 106127*z^2
  (19643/127353 : 133804/127353 : 1)  C2b (81574337/15333733 : 6529487/15333733 : 1)
** u= 41/169 ; tau(u)= 297/128 ; -31087*x^2 + 55441*y^2 + 89890*x*z - 31087*z^2
  (8479/49169 : 26832/49169 : 1)  C1b (8360174/261887 : -590749/261887 : 1)
** u= 44/117 ; tau(u)= 190/73 ; -8722*x^2 + 25442*y^2 + 38036*x*z - 8722*z^2
  (25621/118498 : 22359/118498 : 1)  C1b (468722/307165 : 34147/307165 : 1)
** u= -48/109 ; tau(u)= 266/157 ; -46994*x^2 + 21458*y^2 + 73060*x*z - 46994*z^2
  (-691/1767 : 3470/1767 : 1)  C2b (54154/183467 : -15967/183467 : 1)
** u= -48/193 ; tau(u)= 434/241 ; -113858*x^2 + 72194*y^2 + 190660*x*z - 113858*z^2
  (227517/175867 : 157306/175867 : 1)  C2b (25291/20585 : -383/4117 : 1)
** u= -49/169 ; tau(u)= 387/218 ; -92647*x^2 + 54721*y^2 + 152170*x*z - 92647*z^2
  (5781/7861 : -5902/7861 : 1)  C2b (344473/496414 : -37037/496414 : 1)
** u= -51/65 ; tau(u)= 181/116 ; -24311*x^2 + 5849*y^2 + 35362*x*z - 24311*z^2
  (69341/105087 : 6424/4569 : 1)  C2b (911422/673175 : -91487/673175 : 1)
** u= -51/181 ; tau(u)= 413/232 ; -105047*x^2 + 62921*y^2 + 173170*x*z - 105047*z^2
  (-469/4513 : 6340/4513 : 1)  C2b (-357590/92717 : -39105/92717 : 1)
** u= -52/73 ; tau(u)= 198/125 ; -28546*x^2 + 7954*y^2 + 41908*x*z - 28546*z^2
  (602/843 : -1085/843 : 1)  C2b (-700934/365029 : 126977/365029 : 1)
** u= 54/25 ; tau(u)= 4/29 ; 1234*x^2 - 1666*y^2 + 2932*x*z + 1234*z^2
  (-83/152 : -25/1064 : 1)  C1a (-1331/1574 : -821/11018 : 1)
** u= 54/29 ; tau(u)= -4/25 ; 1666*x^2 - 1234*y^2 + 2932*x*z + 1666*z^2
  (-274/449 : 285/449 : 1)  C1a (262993/229190 : -37697/229190 : 1)
** u= 54/37 ; tau(u)= -20/17 ; 2338*x^2 - 178*y^2 + 3316*x*z + 2338*z^2
  (-1/230 : 831/230 : 1)  C1a (-323462/150575 : 58601/150575 : 1)
** u= -55/153 ; tau(u)= 361/208 ; -83503*x^2 + 43793*y^2 + 133346*x*z - 83503*z^2
  (-33275/14731 : 63384/14731 : 1)  C2b (64145638/31645163 : 4964321/31645163 : 1)
** u= 56/153 ; tau(u)= 250/97 ; -15682*x^2 + 43682*y^2 + 65636*x*z - 15682*z^2
  (9487/703 : 4740/703 : 1)  C1b (387559/443525 : -35371/443525 : 1)
** u= 57/89 ; tau(u)= 121/32 ; 1201*x^2 + 12593*y^2 + 17890*x*z + 1201*z^2
  (-399/311 : 2728/2177 : 1)  C1b (309557/74785 : 30253/104699 : 1)
** u= 58/41 ; tau(u)= -24/17 ; 2786*x^2 - 2*y^2 + 3940*x*z + 2786*z^2
  (1/19 : 736/19 : 1)  C1a (-2/271 : -671/271 : 1)
** u= 61/125 ; tau(u)= 189/64 ; -4471*x^2 + 27529*y^2 + 39442*x*z - 4471*z^2
  (2359/26969 : 5280/26969 : 1)  C1b (-368747/213745 : -29983/213745 : 1)
** u= 61/197 ; tau(u)= 333/136 ; -33271*x^2 + 73897*y^2 + 114610*x*z - 33271*z^2
  (788999/9229 : 518676/9229 : 1)  C1b (6124418/1501181 : -409747/1501181 : 1)
** u= 63/26 ; tau(u)= 11/37 ; 1231*x^2 - 2617*y^2 + 4090*x*z + 1231*z^2
  (581/47 : 450/47 : 1)  C1a (2338/214121 : -15061/214121 : 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 (-2116127/920830 : 208993/184166 : 1)
** u= 64/81 ; tau(u)= 98/17 ; 3518*x^2 + 9026*y^2 + 13700*x*z + 3518*z^2
  (-121/131 : 108/131 : 1)  C1b (1234/129875 : -1799/25975 : 1)
** u= 69/32 ; tau(u)= 5/37 ; 2023*x^2 - 2713*y^2 + 4786*x*z + 2023*z^2
  (-705/2023 : -8/17 : 1)  C1a (-561146/72821 : 39807/72821 : 1)
** u= -69/125 ; tau(u)= 319/194 ; -70511*x^2 + 26489*y^2 + 106522*x*z - 70511*z^2
  (5657/7837 : -8390/7837 : 1)  C2b (5224270/3270629 : -440861/3270629 : 1)
** u= 69/137 ; tau(u)= 205/68 ; -4487*x^2 + 32777*y^2 + 46786*x*z - 4487*z^2
  (-1541/36689 : 16288/36689 : 1)  C1b (-917081/410075 : -69669/410075 : 1)
** u= 70/41 ; tau(u)= -12/29 ; 3218*x^2 - 1538*y^2 + 5044*x*z + 3218*z^2
  (21/212 : -331/212 : 1)  C1a (497/1685 : -207/1685 : 1)
** u= -71/137 ; tau(u)= 345/208 ; -81487*x^2 + 32497*y^2 + 124066*x*z - 81487*z^2
  (10335/6841 : 10736/6841 : 1)  C2b (2022997/25465 : 219837/25465 : 1)
** u= -75/89 ; tau(u)= 253/164 ; -48167*x^2 + 10217*y^2 + 69634*x*z - 48167*z^2
  (531119/1754169 : 3080060/1754169 : 1)  C2b (341813/406465 : 43881/406465 : 1)
** u= -75/197 ; tau(u)= 469/272 ; -142343*x^2 + 71993*y^2 + 225586*x*z - 142343*z^2
  (-22649/4481 : 37040/4481 : 1)  C2b (1959391/2182211 : -177717/2182211 : 1)
** u= -76/61 ; tau(u)= 198/137 ; -31762*x^2 + 1666*y^2 + 44980*x*z - 31762*z^2
  (752/937 : 20403/6559 : 1)  C2b (11758/15331 : 22223/107317 : 1)
** u= -76/169 ; tau(u)= 414/245 ; -114274*x^2 + 51346*y^2 + 177172*x*z - 114274*z^2
  (7240/3743 : -7371/3743 : 1)  C2b (61241018/77372777 : 6271339/77372777 : 1)
** u= -77/117 ; tau(u)= 311/194 ; -69343*x^2 + 21449*y^2 + 102650*x*z - 69343*z^2
  (441611/851052527 : -1529633370/851052527 : 1)  C2b (-859357/173671 : -120841/173671 : 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 (64331/2098 : 5499/2098 : 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 (-1353362/460483 : -275913/460483 : 1)
** u= 81/32 ; tau(u)= 17/49 ; 1759*x^2 - 4513*y^2 + 6850*x*z + 1759*z^2
  (-503/97 : -168/97 : 1)  C1a (1234/129875 : -1799/25975 : 1)
** u= 83/85 ; tau(u)= 87/2 ; 6881*x^2 + 7561*y^2 + 14458*x*z + 6881*z^2
  (-3063/2645 : -766/2645 : 1)  C1b (34787/22922 : -3873/22922 : 1)
** u= -84/73 ; tau(u)= 230/157 ; -42242*x^2 + 3602*y^2 + 59956*x*z - 42242*z^2
  (1809/14998 : -47167/14998 : 1)  C2b (-7090/667 : -1733/667 : 1)
** u= -84/121 ; tau(u)= 326/205 ; -76994*x^2 + 22226*y^2 + 113332*x*z - 76994*z^2
  (5188/15605 : -22891/15605 : 1)  C2b (1741510/1582223 : 169529/1582223 : 1)
** u= 84/173 ; tau(u)= 262/89 ; -8786*x^2 + 52802*y^2 + 75700*x*z - 8786*z^2
  (-872/503 : -893/503 : 1)  C1b (26059550/8821243 : -1780975/8821243 : 1)
** u= 84/185 ; tau(u)= 286/101 ; -13346*x^2 + 61394*y^2 + 88852*x*z - 13346*z^2
  (3023/22810 : -3911/22810 : 1)  C1b (21781/21170 : -1889/21170 : 1)
** u= 87/2 ; tau(u)= 83/85 ; -6881*x^2 - 7561*y^2 + 14458*x*z - 6881*z^2
  (2373/1879 : -434/1879 : 1)  C1a (-699295481/2838965 : 54331629/2838965 : 1)
** u= -87/173 ; tau(u)= 433/260 ; -127631*x^2 + 52289*y^2 + 195058*x*z - 127631*z^2
  (-119159/68487 : 276676/68487 : 1)  C2b (3698801149/1564441265 : 316810637/1564441265 : 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 (433898/249235 : -63557/249235 : 1)
** u= 88/89 ; tau(u)= 90 ; 7742*x^2 + 8098*y^2 + 15844*x*z + 7742*z^2
  (-823/680 : 73/680 : 1)  C1b (-156239/66379 : -10721/66379 : 1)
** u= 90 ; tau(u)= 88/89 ; -7742*x^2 - 8098*y^2 + 15844*x*z - 7742*z^2
  (1783/2152 : -201/2152 : 1)  C1a (3419870/1231807 : 236567/1231807 : 1)
** u= -92/81 ; tau(u)= 254/173 ; -51394*x^2 + 4658*y^2 + 72980*x*z - 51394*z^2
  (148/1741 : -5445/1741 : 1)  C2b (81091/56177 : -12781/56177 : 1)
** u= 92/117 ; tau(u)= 142/25 ; 7214*x^2 + 18914*y^2 + 28628*x*z + 7214*z^2
  (-20/13 : -93/91 : 1)  C1b (299270/55699 : -153529/389893 : 1)
** u= -93/85 ; tau(u)= 263/178 ; -54719*x^2 + 5801*y^2 + 77818*x*z - 54719*z^2
  (571/9203 : -27046/9203 : 1)  C2b (20521/3446 : 3751/3446 : 1)
** u= 93/113 ; tau(u)= 133/20 ; 7849*x^2 + 16889*y^2 + 26338*x*z + 7849*z^2
  (-11319/8263 : 7388/8263 : 1)  C1b (-388010/774119 : -52907/774119 : 1)
** u= 93/173 ; tau(u)= 253/80 ; -4151*x^2 + 51209*y^2 + 72658*x*z - 4151*z^2
  (-105085/1584357 : -663776/1584357 : 1)  C1b (153702310/584249651 : -39782543/584249651 : 1)
** u= -93/181 ; tau(u)= 455/274 ; -141503*x^2 + 56873*y^2 + 215674*x*z - 141503*z^2
  (20027/9267 : -22534/9267 : 1)  C2b (1617125/881881 : -134699/881881 : 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 (-3595306/1870621 : 245481/1870621 : 1)
** u= -96/173 ; tau(u)= 442/269 ; -135506*x^2 + 50642*y^2 + 204580*x*z - 135506*z^2
  (-8917/8227 : -26272/8227 : 1)  C2b (1471117/522686 : 134251/522686 : 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 (450574/34945 : 40631/34945 : 1)
** u= 97/113 ; tau(u)= 129/16 ; 8897*x^2 + 16129*y^2 + 26050*x*z + 8897*z^2
  (-87/191 : -6400/24257 : 1)  C1b (-14621/3607 : 125007/458089 : 1)
** u= -97/153 ; tau(u)= 403/250 ; -115591*x^2 + 37409*y^2 + 171818*x*z - 115591*z^2
  (-86399/4872529 : -8678490/4872529 : 1)  C2b (447125/1173409 : -112153/1173409 : 1)
** u= 98/17 ; tau(u)= 64/81 ; -3518*x^2 - 9026*y^2 + 13700*x*z - 3518*z^2
  (1363/2147 : 1386/2147 : 1)  C1a (-98513191/50755157 : -8418707/50755157 : 1)
** u= 98/37 ; tau(u)= 24/61 ; 2162*x^2 - 6866*y^2 + 10180*x*z + 2162*z^2
  (1089/4904 : -3983/4904 : 1)  C1a (-5260670/2934121 : 372295/2934121 : 1)
** u= 100/113 ; tau(u)= 126/13 ; 9662*x^2 + 15538*y^2 + 25876*x*z + 9662*z^2
  (-1663/2862 : -1055/2862 : 1)  C1b (-135835/31082 : 9229/31082 : 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 (-66503/85915 : -6501/85915 : 1)
** u= 101/52 ; tau(u)= -3/49 ; 5399*x^2 - 4793*y^2 + 10210*x*z + 5399*z^2
  (-13421/16431 : 6104/16431 : 1)  C1a (-33686/26803 : 2453/26803 : 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 (-972590/83927 : -98541/83927 : 1)
** u= 121/32 ; tau(u)= 57/89 ; -1201*x^2 - 12593*y^2 + 17890*x*z - 1201*z^2
  (227/651 : 2840/4557 : 1)  C1a (784739/3242 : 367057/22694 : 1)
** u= -121/97 ; tau(u)= 315/218 ; -80407*x^2 + 4177*y^2 + 113866*x*z - 80407*z^2
  (1713/3253 : 10406/3253 : 1)  C2b (-744125/2126383 : -791603/2126383 : 1)
** u= -123/169 ; tau(u)= 461/292 ; -155399*x^2 + 41993*y^2 + 227650*x*z - 155399*z^2
  (809/2863 : 31460/20041 : 1)  C2b (210419/225343 : 159147/1577401 : 1)
** u= 125/64 ; tau(u)= -3/61 ; 8183*x^2 - 7433*y^2 + 15634*x*z + 8183*z^2
  (-253/227 : -80/227 : 1)  C1a (-198361/288149 : -20339/288149 : 1)
** u= 126/13 ; tau(u)= 100/113 ; -9662*x^2 - 15538*y^2 + 25876*x*z - 9662*z^2
  (716/1529 : -225/1529 : 1)  C1a (30955/81434 : -5467/81434 : 1)
** u= 127/185 ; tau(u)= 243/58 ; 9401*x^2 + 52321*y^2 + 75178*x*z + 9401*z^2
  (-3791/29205 : 1802/29205 : 1)  C1b (-11285/126754 : -8459/126754 : 1)
** u= 128/145 ; tau(u)= 162/17 ; 15806*x^2 + 25666*y^2 + 42628*x*z + 15806*z^2
  (-3593/1595 : 36/1595 : 1)  C1b (-944839/831995 : -72341/831995 : 1)
** u= -128/197 ; tau(u)= 522/325 ; -194866*x^2 + 61234*y^2 + 288868*x*z - 194866*z^2
  (719/431 : 880/431 : 1)  C2b (844478/888665 : 85291/888665 : 1)
** u= 129/16 ; tau(u)= 97/113 ; -8897*x^2 - 16129*y^2 + 26050*x*z - 8897*z^2
  (71/31 : 64/127 : 1)  C1a (-4462/571 : 42429/72517 : 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 (30115/67198 : 4533/67198 : 1)
** u= 131/58 ; tau(u)= 15/73 ; 6503*x^2 - 10433*y^2 + 17386*x*z + 6503*z^2
  (17971/36117 : -45782/36117 : 1)  C1a (1012199/100781 : 76303/100781 : 1)
** u= 131/181 ; tau(u)= 231/50 ; 12161*x^2 + 48361*y^2 + 70522*x*z + 12161*z^2
  (-1655/301 : 122/301 : 1)  C1b (143465/152741 : 15363/152741 : 1)
** u= 133/20 ; tau(u)= 93/113 ; -7849*x^2 - 16889*y^2 + 26338*x*z - 7849*z^2
  (1943/5459 : 968/5459 : 1)  C1a (36101431/4046485 : 2458613/4046485 : 1)
** u= 133/52 ; tau(u)= 29/81 ; 4567*x^2 - 12281*y^2 + 18530*x*z + 4567*z^2
  (-37/4267 : -2556/4267 : 1)  C1a (5809114/4745167 : 575693/4745167 : 1)
** u= 133/153 ; tau(u)= 173/20 ; 16889*x^2 + 29129*y^2 + 47618*x*z + 16889*z^2
  (-64579/119891 : 43644/119891 : 1)  C1b (2371181/4575505 : 419627/4575505 : 1)
** u= 133/197 ; tau(u)= 261/64 ; 9497*x^2 + 59929*y^2 + 85810*x*z + 9497*z^2
  (-18813/139661 : -24800/139661 : 1)  C1b (102241/578077 : -40133/578077 : 1)
** u= -140/117 ; tau(u)= 374/257 ; -112498*x^2 + 7778*y^2 + 159476*x*z - 112498*z^2
  (4045/39874 : 141159/39874 : 1)  C2b (141395/6718 : -34721/6718 : 1)
** u= 141/193 ; tau(u)= 245/52 ; 14473*x^2 + 54617*y^2 + 79906*x*z + 14473*z^2
  (-16169/44445 : -21416/44445 : 1)  C1b (-528635/681977 : -53147/681977 : 1)
** u= 142/25 ; tau(u)= 92/117 ; -7214*x^2 - 18914*y^2 + 28628*x*z - 7214*z^2
  (76/281 : -15/1967 : 1)  C1a (-550/7631 : 3761/53417 : 1)
** u= 145/64 ; tau(u)= 17/81 ; 7903*x^2 - 12833*y^2 + 21314*x*z + 7903*z^2
  (3257/12745 : 13248/12745 : 1)  C1a (-944839/831995 : -72341/831995 : 1)
** u= 145/153 ; tau(u)= 161/8 ; 20897*x^2 + 25793*y^2 + 46946*x*z + 20897*z^2
  (-47137/46037 : -20796/46037 : 1)  C1b (-99533/397262 : 27541/397262 : 1)
** u= -147/109 ; tau(u)= 365/256 ; -109463*x^2 + 2153*y^2 + 154834*x*z - 109463*z^2
  (-107199/146047 : -98336/8591 : 1)  C2b (4309/5330 : 1811/5330 : 1)
** u= -147/193 ; tau(u)= 533/340 ; -209591*x^2 + 52889*y^2 + 305698*x*z - 209591*z^2
  (-173/681 : -1624/681 : 1)  C2b (695825/355714 : -70223/355714 : 1)
** u= 147/197 ; tau(u)= 247/50 ; 16609*x^2 + 56009*y^2 + 82618*x*z + 16609*z^2
  (-4549/2899 : 3290/2899 : 1)  C1b (3051106/694499 : -222197/694499 : 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 (833038/1462541 : -375079/1462541 : 1)
** u= 154/65 ; tau(u)= 24/89 ; 7874*x^2 - 15266*y^2 + 24292*x*z + 7874*z^2
  (-610/2699 : -1153/2699 : 1)  C1a (-222515/1086457 : 73281/1086457 : 1)
** u= 157/68 ; tau(u)= 21/89 ; 8807*x^2 - 15401*y^2 + 25090*x*z + 8807*z^2
  (-167/417 : -44/417 : 1)  C1a (860011/245290 : -13937/49058 : 1)
** u= -157/117 ; tau(u)= 391/274 ; -125503*x^2 + 2729*y^2 + 177530*x*z - 125503*z^2
  (35143/986239 : 6521790/986239 : 1)  C2b (2675126/4120993 : 1322681/4120993 : 1)
** u= 161/8 ; tau(u)= 145/153 ; -20897*x^2 - 25793*y^2 + 46946*x*z - 20897*z^2
  (79009/128645 : 5844/128645 : 1)  C1a (-499735/168539 : -44957/168539 : 1)
** u= 161/80 ; tau(u)= 1/81 ; 12799*x^2 - 13121*y^2 + 25922*x*z + 12799*z^2
  (-200033/84023 : 112752/84023 : 1)  C1a (54050/122663 : -12341/122663 : 1)
** u= 162/17 ; tau(u)= 128/145 ; -15806*x^2 - 25666*y^2 + 42628*x*z - 15806*z^2
  (823/985 : -576/985 : 1)  C1a (-97186555/195413137 : 17953577/195413137 : 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 (14407/83771 : 34741/83771 : 1)
** u= -168/185 ; tau(u)= 538/353 ; -220994*x^2 + 40226*y^2 + 317668*x*z - 220994*z^2
  (-106/295 : 887/295 : 1)  C2b (72749123/3165730 : 11123017/3165730 : 1)
** u= 169/185 ; tau(u)= 201/16 ; 28049*x^2 + 39889*y^2 + 68962*x*z + 28049*z^2
  (-39447/20951 : 728/2993 : 1)  C1b (295006750/37294063 : 23007867/37294063 : 1)
** u= 170/89 ; tau(u)= -8/81 ; 15778*x^2 - 13058*y^2 + 28964*x*z + 15778*z^2
  (439/2441 : -3132/2441 : 1)  C1a (63130/113857 : 13147/113857 : 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 (-190523/18266 : 13967/18266 : 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 (-35550943/13912562 : -2402243/13912562 : 1)
** u= 173/20 ; tau(u)= 133/153 ; -16889*x^2 - 29129*y^2 + 47618*x*z - 16889*z^2
  (37621/30677 : -22812/30677 : 1)  C1a (90241135/31714861 : 6049547/31714861 : 1)
** u= 174/85 ; tau(u)= 4/89 ; 14434*x^2 - 15826*y^2 + 30292*x*z + 14434*z^2
  (-13903/22644 : -6431/22644 : 1)  C1a (21908930/1361239 : 1752537/1361239 : 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 (2717909/1565135 : -306879/1565135 : 1)
** u= 177/104 ; tau(u)= -31/73 ; 20671*x^2 - 9697*y^2 + 32290*x*z + 20671*z^2
  (135463/95547 : -318868/95547 : 1)  C1a (14359/66437 : 7821/66437 : 1)
** u= 181/116 ; tau(u)= -51/65 ; 24311*x^2 - 5849*y^2 + 35362*x*z + 24311*z^2
  (-1046665/5850359 : 10478252/5850359 : 1)  C1a (-6820357/6429785 : 723883/6429785 : 1)
** u= 182/85 ; tau(u)= 12/97 ; 14306*x^2 - 18674*y^2 + 33268*x*z + 14306*z^2
  (-362/2947 : -2203/2947 : 1)  C1a (16177/35365 : 3351/35365 : 1)
** u= -183/157 ; tau(u)= 497/340 ; -197711*x^2 + 15809*y^2 + 280498*x*z - 197711*z^2
  (207/121 : 524/121 : 1)  C2b (-250843/56770 : 69359/56770 : 1)
** u= -185/153 ; tau(u)= 491/338 ; -194263*x^2 + 12593*y^2 + 275306*x*z - 194263*z^2
  (2075/22547 : -580866/157829 : 1)  C2b (263785/365621 : -475619/2559347 : 1)
** u= 189/64 ; tau(u)= 61/125 ; 4471*x^2 - 27529*y^2 + 39442*x*z + 4471*z^2
  (1233/10177 : -5920/10177 : 1)  C1a (205210750/182932037 : 474733/4461757 : 1)
** u= 189/104 ; tau(u)= -19/85 ; 21271*x^2 - 14089*y^2 + 36082*x*z + 21271*z^2
  (-865/707 : -564/707 : 1)  C1a (5742353/2372230 : 663497/2372230 : 1)
** u= 190/73 ; tau(u)= 44/117 ; 8722*x^2 - 25442*y^2 + 38036*x*z + 8722*z^2
  (-4217/18476 : -2577/18476 : 1)  C1a (-1556465/436786 : -104021/436786 : 1)
** u= -192/157 ; tau(u)= 506/349 ; -206738*x^2 + 12434*y^2 + 292900*x*z - 206738*z^2
  (5111/47523 : -25660/6789 : 1)  C2b (28945025/16789462 : 5667895/16789462 : 1)
** u= -196/181 ; tau(u)= 558/377 ; -245842*x^2 + 27106*y^2 + 349780*x*z - 245842*z^2
  (43931/5704 : 120687/5704 : 1)  C2b (1549594/1402105 : 46165/280421 : 1)
** u= 197/116 ; tau(u)= -35/81 ; 25687*x^2 - 11897*y^2 + 40034*x*z + 25687*z^2
  (83809/260225 : 484524/260225 : 1)  C1a (-174610546/36540905 : 15815113/36540905 : 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 (447685/514718 : -38723/514718 : 1)
** u= 198/125 ; tau(u)= -52/73 ; 28546*x^2 - 7954*y^2 + 41908*x*z + 28546*z^2
  (-15559/420776 : 775755/420776 : 1)  C1a (395032859/152769775 : -65836153/152769775 : 1)
** u= 198/137 ; tau(u)= -76/61 ; 31762*x^2 - 1666*y^2 + 44980*x*z + 31762*z^2
  (-269/126 : 6131/882 : 1)  C1a (-23134/44755 : 13381/62657 : 1)
175
>

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


[2025.11.23追記] u=100/113のときの整点を追加した。


[参考文献]


Last Update: 2025.11.23
H.Nakao

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