Homeに戻る  一覧に戻る 

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


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

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

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

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


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

[MAGMAによる計算]
> PP(17,1,200);
** u= -1 ; tau(u)= 3/2 ; -7*x^2 + y^2 + 10*x*z - 7*z^2
  (1 : -2 : 1)  C2b (-4/21 : -13/21 : 1)
** u= 3/2 ; tau(u)= -1 ; 7*x^2 - y^2 + 10*x*z + 7*z^2
  (-7/3 : -14/3 : 1)  C1a (-239/84 : -103/84 : 1)
** u= 4/9 ; tau(u)= 14/5 ; -34*x^2 + 146*y^2 + 212*x*z - 34*z^2
  (1/22 : 9/22 : 1)  C1b (356/21 : -73/21 : 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 (3199/6591 : 1441/6591 : 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 (2932/6247 : 1347/6247 : 1)
** u= 7/9 ; tau(u)= 11/2 ; 41*x^2 + 113*y^2 + 170*x*z + 41*z^2
  (-137/187 : -138/187 : 1)  C1b (91635/35564 : 22295/35564 : 1)
** u= -7/13 ; tau(u)= 33/20 ; -751*x^2 + 289*y^2 + 1138*x*z - 751*z^2
  (5/3 : 92/51 : 1)  C2b (-23/39 : 329/663 : 1)
** u= -7/157 ; tau(u)= 321/164 ; -53743*x^2 + 49249*y^2 + 103090*x*z - 53743*z^2
  (10141/7671 : -3688/7671 : 1)  C2b (-182253/1277 : 771587/21709 : 1)
** u= -7/193 ; tau(u)= 393/200 ; -79951*x^2 + 74449*y^2 + 154498*x*z - 79951*z^2
  (5891/8561 : 3364/8561 : 1)  C2b (17685768/147353 : -4350619/147353 : 1)
** u= -8/29 ; tau(u)= 66/37 ; -2674*x^2 + 1618*y^2 + 4420*x*z - 2674*z^2
  (19/27 : 20/27 : 1)  C2b (-452635/149141 : 157515/149141 : 1)
** u= -8/41 ; tau(u)= 90/49 ; -4738*x^2 + 3298*y^2 + 8164*x*z - 4738*z^2
  (1123/1460 : -903/1460 : 1)  C2b (832/569 : 3133/9673 : 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 (18959/21951 : 5071/21951 : 1)
** u= -8/45 ; tau(u)= 98/53 ; -5554*x^2 + 3986*y^2 + 9668*x*z - 5554*z^2
  (172/241 : -147/241 : 1)  C2b (14217/2249 : 3487/2249 : 1)
** u= 11/2 ; tau(u)= 7/9 ; -41*x^2 - 113*y^2 + 170*x*z - 41*z^2
  (17/43 : 18/43 : 1)  C1a (556/2091 : 427/2091 : 1)
** u= 11/61 ; tau(u)= 111/50 ; -4879*x^2 + 7321*y^2 + 12442*x*z - 4879*z^2
  (-230291/336901 : -492790/336901 : 1)  C1b (-262588/201661 : 86921/201661 : 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 (-58959/23647 : -18977/23647 : 1)
** u= -11/149 ; tau(u)= 309/160 ; -51079*x^2 + 44281*y^2 + 95602*x*z - 51079*z^2
  (-16633/5217 : 23192/5217 : 1)  C2b (-31783424/863767 : 8127519/863767 : 1)
** u= 12/13 ; tau(u)= 14 ; 142*x^2 + 194*y^2 + 340*x*z + 142*z^2
  (-144/119 : -67/119 : 1)  C1b (356/1309 : -339/1309 : 1)
** u= 12/49 ; tau(u)= 86/37 ; -2594*x^2 + 4658*y^2 + 7540*x*z - 2594*z^2
  (3036/1153 : -455/1153 : 1)  C1b (-14951/1601 : 57771/27217 : 1)
** u= 12/121 ; tau(u)= 230/109 ; -23618*x^2 + 29138*y^2 + 53044*x*z - 23618*z^2
  (6784/79263 : 64427/79263 : 1)  C1b (997/2324 : -8187/39508 : 1)
** u= 12/181 ; tau(u)= 350/169 ; -56978*x^2 + 65378*y^2 + 122644*x*z - 56978*z^2
  (2050/4697 : 2197/4697 : 1)  C1b (-3645404/904817 : 973383/904817 : 1)
** u= -12/185 ; tau(u)= 382/197 ; -77474*x^2 + 68306*y^2 + 146068*x*z - 77474*z^2
  (311/402 : -1121/2814 : 1)  C2b (133/1541 : 2589/10787 : 1)
** u= 13/53 ; tau(u)= 93/40 ; -3031*x^2 + 5449*y^2 + 8818*x*z - 3031*z^2
  (-1707/4423 : -4972/4423 : 1)  C1b (67/69 : 17/69 : 1)
** u= 14 ; tau(u)= 12/13 ; -142*x^2 - 194*y^2 + 340*x*z - 142*z^2
  (2/3 : -1/3 : 1)  C1a (293180/4913 : 66105/4913 : 1)
** u= 14/5 ; tau(u)= 4/9 ; 34*x^2 - 146*y^2 + 212*x*z + 34*z^2
  (-1/22 : 9/22 : 1)  C1a (3052/8243 : 1909/8243 : 1)
** u= -16/49 ; tau(u)= 114/65 ; -8194*x^2 + 4546*y^2 + 13252*x*z - 8194*z^2
  (285/691 : 658/691 : 1)  C2b (8807/2639 : -2187/2639 : 1)
** u= 16/65 ; tau(u)= 114/49 ; -4546*x^2 + 8194*y^2 + 13252*x*z - 4546*z^2
  (3429/1247 : 686/1247 : 1)  C1b (861344/49807 : 3135041/846719 : 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 (222416/200209 : -51689/200209 : 1)
** u= -19/61 ; tau(u)= 141/80 ; -12439*x^2 + 7081*y^2 + 20242*x*z - 12439*z^2
  (-46883/215739 : -338432/215739 : 1)  C2b (470471/131321 : 116943/131321 : 1)
** u= 19/149 ; tau(u)= 279/130 ; -33439*x^2 + 44041*y^2 + 78202*x*z - 33439*z^2
  (7299/4079 : 466/4079 : 1)  C1b (-2070237/4436956 : -1289273/4436956 : 1)
** u= 20/109 ; tau(u)= 198/89 ; -15442*x^2 + 23362*y^2 + 39604*x*z - 15442*z^2
  (-899/770 : -207/110 : 1)  C1b (7377588/1150139 : 1565197/1150139 : 1)
** u= -21/29 ; tau(u)= 79/50 ; -4559*x^2 + 1241*y^2 + 6682*x*z - 4559*z^2
  (-940973/973083 : 3414890/973083 : 1)  C2b (149/883 : -5337/15011 : 1)
** u= 21/37 ; tau(u)= 53/16 ; -71*x^2 + 2297*y^2 + 3250*x*z - 71*z^2
  (9/431 : 16/431 : 1)  C1b (-344/659 : -153/659 : 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 (921584/584953 : -201921/584953 : 1)
** u= 23/49 ; tau(u)= 75/26 ; -823*x^2 + 4273*y^2 + 6154*x*z - 823*z^2
  (4943/44507 : -8330/44507 : 1)  C1b (-964087/483748 : 233597/483748 : 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 (-199663/29896 : -776937/508232 : 1)
** u= 28/53 ; tau(u)= 78/25 ; -466*x^2 + 4834*y^2 + 6868*x*z - 466*z^2
  (-1379/192144 : -62735/192144 : 1)  C1b (35321/12937 : 7519/12937 : 1)
** u= -28/73 ; tau(u)= 174/101 ; -19618*x^2 + 9874*y^2 + 31060*x*z - 19618*z^2
  (548/2247 : 2599/2247 : 1)  C2b (-40703/86748 : 35527/86748 : 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 (719/204 : 3517/3468 : 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 (-46393/12368 : 10717/12368 : 1)
** u= 31/81 ; tau(u)= 131/50 ; -4039*x^2 + 12161*y^2 + 18122*x*z - 4039*z^2
  (727/8503 : 3870/8503 : 1)  C1b (2454327/1221892 : 520441/1221892 : 1)
** u= 32/37 ; tau(u)= 42/5 ; 974*x^2 + 1714*y^2 + 2788*x*z + 974*z^2
  (-9/22 : 1/22 : 1)  C1b (17/32 : 9/32 : 1)
** u= -32/117 ; tau(u)= 266/149 ; -43378*x^2 + 26354*y^2 + 71780*x*z - 43378*z^2
  (4453/4972 : 3609/4972 : 1)  C2b (31853/4493 : -8309/4493 : 1)
** u= 32/145 ; tau(u)= 258/113 ; -24514*x^2 + 41026*y^2 + 67588*x*z - 24514*z^2
  (417/12094 : 8899/12094 : 1)  C1b (2893328/180811 : -623557/180811 : 1)
** u= 33/20 ; tau(u)= -7/13 ; 751*x^2 - 289*y^2 + 1138*x*z + 751*z^2
  (-1/583 : 15956/9911 : 1)  C1a (39/23 : 329/391 : 1)
** u= -33/97 ; tau(u)= 227/130 ; -32711*x^2 + 17729*y^2 + 52618*x*z - 32711*z^2
  (41/2773 : 3722/2773 : 1)  C2b (37453/178604 : 46701/178604 : 1)
** u= -35/29 ; tau(u)= 93/64 ; -6967*x^2 + 457*y^2 + 9874*x*z - 6967*z^2
  (1941/10427 : -35744/10427 : 1)  C2b (-361757/11104 : 294693/11104 : 1)
** u= 35/37 ; tau(u)= 39/2 ; 1217*x^2 + 1513*y^2 + 2746*x*z + 1217*z^2
  (-5/7 : -2/7 : 1)  C1b (32071/4377 : -134471/74409 : 1)
** u= 35/117 ; tau(u)= 199/82 ; -12223*x^2 + 26153*y^2 + 40826*x*z - 12223*z^2
  (6697/23029 : 5298/23029 : 1)  C1b (1927687/3041953 : -658981/3041953 : 1)
** u= 35/157 ; tau(u)= 279/122 ; -28543*x^2 + 48073*y^2 + 79066*x*z - 28543*z^2
  (62297/151873 : 20934/151873 : 1)  C1b (329091964/1249955027 : -257780209/1249955027 : 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 (105312/20539 : 25729/20539 : 1)
** u= 39/2 ; tau(u)= 35/37 ; -1217*x^2 - 1513*y^2 + 2746*x*z - 1217*z^2
  (7/5 : -2/5 : 1)  C1a (-7331/1093 : -30937/18581 : 1)
** u= 40/41 ; tau(u)= 42 ; 1598*x^2 + 1762*y^2 + 3364*x*z + 1598*z^2
  (-537/451 : 128/451 : 1)  C1b (6432/9479 : 3259/9479 : 1)
** u= -40/97 ; tau(u)= 234/137 ; -35938*x^2 + 17218*y^2 + 56356*x*z - 35938*z^2
  (-2995/14101 : -23916/14101 : 1)  C2b (-5517/971344 : -302473/971344 : 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 (-471872/148017 : -1989053/2516289 : 1)
** u= 42 ; tau(u)= 40/41 ; -1598*x^2 - 1762*y^2 + 3364*x*z - 1598*z^2
  (5/4 : -1/4 : 1)  C1a (1992/3371 : 709/3371 : 1)
** u= 42/5 ; tau(u)= 32/37 ; -974*x^2 - 1714*y^2 + 2788*x*z - 974*z^2
  (141/59 : 16/59 : 1)  C1a (2024/2567 : 581/2567 : 1)
** u= 43/101 ; tau(u)= 159/58 ; -4879*x^2 + 18553*y^2 + 27130*x*z - 4879*z^2
  (76871/10871 : 2722/1553 : 1)  C1b (-77047/164623 : -40213/164623 : 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 (-71948/5237 : 23017/5237 : 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 (18959/21951 : 5071/21951 : 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 (-515392/523663 : 143631/523663 : 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 (170579/102544 : -42171/102544 : 1)
** u= 49/89 ; tau(u)= 129/40 ; -799*x^2 + 13441*y^2 + 19042*x*z - 799*z^2
  (-1383/98507 : 27748/98507 : 1)  C1b (30117128/2330123 : -6146169/2330123 : 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 (1718291/697596 : -402377/697596 : 1)
** u= 52/89 ; tau(u)= 126/37 ; -34*x^2 + 13138*y^2 + 18580*x*z - 34*z^2
  (-914/12869 : -243/757 : 1)  C1b (159411/4156 : 32521/4156 : 1)
** u= -52/121 ; tau(u)= 294/173 ; -57154*x^2 + 26578*y^2 + 89140*x*z - 57154*z^2
  (1642/157 : -2233/157 : 1)  C2b (1638852/21203 : -510481/21203 : 1)
** u= 53/16 ; tau(u)= 21/37 ; 71*x^2 - 2297*y^2 + 3250*x*z + 71*z^2
  (-43/4101 : -520/4101 : 1)  C1a (1136/9659 : -153/743 : 1)
** u= -53/45 ; tau(u)= 143/98 ; -16399*x^2 + 1241*y^2 + 23258*x*z - 16399*z^2
  (7499/8195 : -21882/8195 : 1)  C2b (-199/732 : -11153/12444 : 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 (-6641/27784 : -5739/27784 : 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 (156/607 : -187/607 : 1)
** u= -55/73 ; tau(u)= 201/128 ; -29743*x^2 + 7633*y^2 + 43426*x*z - 29743*z^2
  (-7353/5801 : 24176/5801 : 1)  C2b (293/16 : -1963/272 : 1)
** u= -56/65 ; tau(u)= 186/121 ; -26146*x^2 + 5314*y^2 + 37732*x*z - 26146*z^2
  (4/7 : -11/7 : 1)  C2b (-9006867/10548877 : 8226773/10548877 : 1)
** u= 56/121 ; tau(u)= 186/65 ; -5314*x^2 + 26146*y^2 + 37732*x*z - 5314*z^2
  (-141/1795 : -1012/1795 : 1)  C1b (-4216/12533 : 48243/213061 : 1)
** u= 57/109 ; tau(u)= 161/52 ; -2159*x^2 + 20513*y^2 + 29170*x*z - 2159*z^2
  (-21933/71317 : 53012/71317 : 1)  C1b (165865/97511 : -38055/97511 : 1)
** u= 59/61 ; tau(u)= 63/2 ; 3473*x^2 + 3961*y^2 + 7450*x*z + 3473*z^2
  (-141/163 : -50/163 : 1)  C1b (708/3787 : -16651/64379 : 1)
** u= -60/49 ; tau(u)= 158/109 ; -20162*x^2 + 1202*y^2 + 28564*x*z - 20162*z^2
  (24/815 : -3269/815 : 1)  C2b (301028/10117 : 245769/10117 : 1)
** u= 63/2 ; tau(u)= 59/61 ; -3473*x^2 - 3961*y^2 + 7450*x*z - 3473*z^2
  (14551/10157 : 1370/10157 : 1)  C1a (-4083/532 : 17419/9044 : 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 (144/827 : 5803/14059 : 1)
** u= 66/37 ; tau(u)= -8/29 ; 2674*x^2 - 1618*y^2 + 4420*x*z + 2674*z^2
  (-172/151 : 125/151 : 1)  C1a (109064/49521 : -40961/49521 : 1)
** u= 67/173 ; tau(u)= 279/106 ; -17983*x^2 + 55369*y^2 + 82330*x*z - 17983*z^2
  (-3203/19581 : -14870/19581 : 1)  C1b (30092/327 : -106733/5559 : 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 (70808/2955 : 3061/591 : 1)
** u= -73/145 ; tau(u)= 363/218 ; -89719*x^2 + 36721*y^2 + 137098*x*z - 89719*z^2
  (2037335/1208027 : -2125586/1208027 : 1)  C2b (3998564/1290753 : 1094011/1290753 : 1)
** u= 75/26 ; tau(u)= 23/49 ; 823*x^2 - 4273*y^2 + 6154*x*z + 823*z^2
  (151/2201 : -1190/2201 : 1)  C1a (23397/6188 : -5143/6188 : 1)
** u= 76/137 ; tau(u)= 198/61 ; -1666*x^2 + 31762*y^2 + 44980*x*z - 1666*z^2
  (7351/406496 : 66621/406496 : 1)  C1b (-697908/284693 : 155809/284693 : 1)
** u= 76/185 ; tau(u)= 294/109 ; -17986*x^2 + 62674*y^2 + 92212*x*z - 17986*z^2
  (1681/94702 : 48377/94702 : 1)  C1b (-1338436/405231 : -306239/405231 : 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 (7015908/4345763 : 1946429/4345763 : 1)
** u= 78/25 ; tau(u)= 28/53 ; 466*x^2 - 4834*y^2 + 6868*x*z + 466*z^2
  (2/7 : -5/7 : 1)  C1a (-18156/1373 : -3703/1373 : 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 (-1825/601 : 405/601 : 1)
** u= 79/50 ; tau(u)= -21/29 ; 4559*x^2 - 1241*y^2 + 6682*x*z + 4559*z^2
  (-3343/5367 : -7090/5367 : 1)  C1a (-1436/751 : -7269/12767 : 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 (105312/20539 : 25729/20539 : 1)
** u= 83/181 ; tau(u)= 279/98 ; -12319*x^2 + 58633*y^2 + 84730*x*z - 12319*z^2
  (-48053/910999 : 487970/910999 : 1)  C1b (-29663/18503 : 130283/314551 : 1)
** u= -84/65 ; tau(u)= 214/149 ; -37346*x^2 + 1394*y^2 + 52852*x*z - 37346*z^2
  (-4968/6581 : -55327/6581 : 1)  C2b (412/1079 : 15081/18343 : 1)
** u= -84/101 ; tau(u)= 286/185 ; -61394*x^2 + 13346*y^2 + 88852*x*z - 61394*z^2
  (659/280 : -1063/280 : 1)  C2b (-1306861/363259 : -699087/363259 : 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 (32092/19073 : -8127/19073 : 1)
** u= 86/37 ; tau(u)= 12/49 ; 2594*x^2 - 4658*y^2 + 7540*x*z + 2594*z^2
  (-1679/76 : 1169/76 : 1)  C1a (-1151/1855 : -1347/6307 : 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 (-371529/19879 : -76759/19879 : 1)
** u= -88/145 ; tau(u)= 378/233 ; -100834*x^2 + 34306*y^2 + 150628*x*z - 100834*z^2
  (-885/9682 : -17761/9682 : 1)  C2b (-4359968/1781861 : 2051359/1781861 : 1)
** u= -88/193 ; tau(u)= 474/281 ; -150178*x^2 + 66754*y^2 + 232420*x*z - 150178*z^2
  (6401/1788 : -7715/1788 : 1)  C2b (49365/89272 : -21965/89272 : 1)
** u= 90/49 ; tau(u)= -8/41 ; 4738*x^2 - 3298*y^2 + 8164*x*z + 4738*z^2
  (-1613/1789 : 1092/1789 : 1)  C1a (-1856/3921 : -869/3921 : 1)
** u= -91/121 ; tau(u)= 333/212 ; -81607*x^2 + 21001*y^2 + 119170*x*z - 81607*z^2
  (5213/4187831 : -8247800/4187831 : 1)  C2b (30341/28611 : 9583/28611 : 1)
** u= 93/40 ; tau(u)= 13/53 ; 3031*x^2 - 5449*y^2 + 8818*x*z + 3031*z^2
  (-203/1185 : -644/1185 : 1)  C1a (649736/30953 : 144211/30953 : 1)
** u= 93/64 ; tau(u)= -35/29 ; 6967*x^2 - 457*y^2 + 9874*x*z + 6967*z^2
  (373/8661 : 34864/8661 : 1)  C1a (-385552/5041 : -304527/5041 : 1)
** u= -95/149 ; tau(u)= 393/244 ; -110047*x^2 + 35377*y^2 + 163474*x*z - 110047*z^2
  (11575/13669 : -16336/13669 : 1)  C2b (-6584/14939 : -125179/253963 : 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 (148496/8671 : 30543/8671 : 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 (-11056633/13350112 : 3741131/13350112 : 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 (-415048/3083 : -85041/3083 : 1)
** u= 98/53 ; tau(u)= -8/45 ; 5554*x^2 - 3986*y^2 + 9668*x*z + 5554*z^2
  (-3877/2269 : -2604/2269 : 1)  C1a (-132832/6981 : -34441/6981 : 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 (-4039/673 : -14443/11441 : 1)
** u= 100/173 ; tau(u)= 246/73 ; -658*x^2 + 49858*y^2 + 70516*x*z - 658*z^2
  (763/123328 : -175/2624 : 1)  C1b (216573/219844 : -1027/3604 : 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 (-18112/24701 : 5619/24701 : 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 (265371/202228 : -87989/202228 : 1)
** u= 103/113 ; tau(u)= 123/10 ; 10409*x^2 + 14929*y^2 + 25738*x*z + 10409*z^2
  (-652957/1239051 : -164698/1239051 : 1)  C1b (-562997/476901 : 128813/476901 : 1)
** u= 104/193 ; tau(u)= 282/89 ; -5026*x^2 + 63682*y^2 + 90340*x*z - 5026*z^2
  (2246/79391 : 15649/79391 : 1)  C1b (47816/41445 : 42719/140913 : 1)
** u= 107/117 ; tau(u)= 127/10 ; 11249*x^2 + 15929*y^2 + 27578*x*z + 11249*z^2
  (-13739/17245 : -8178/17245 : 1)  C1b (11651/861 : 46141/14637 : 1)
** u= 111/50 ; tau(u)= 11/61 ; 4879*x^2 - 7321*y^2 + 12442*x*z + 4879*z^2
  (11 : 10 : 1)  C1a (169948/84001 : -48539/84001 : 1)
** u= -112/81 ; tau(u)= 274/193 ; -61954*x^2 + 578*y^2 + 87620*x*z - 61954*z^2
  (19 : 3222/17 : 1)  C2b (16/19 : -491/323 : 1)
** u= -112/117 ; tau(u)= 346/229 ; -92338*x^2 + 14834*y^2 + 132260*x*z - 92338*z^2
  (-1187/1987 : 7374/1987 : 1)  C2b (139408/36703 : -59801/36703 : 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 (-11516461/2185996 : -4716271/2185996 : 1)
** u= 114/49 ; tau(u)= 16/65 ; 4546*x^2 - 8194*y^2 + 13252*x*z + 4546*z^2
  (-487/150 : -161/150 : 1)  C1a (-16939/1347 : -61271/22899 : 1)
** u= 114/65 ; tau(u)= -16/49 ; 8194*x^2 - 4546*y^2 + 13252*x*z + 8194*z^2
  (29/153 : -14/9 : 1)  C1a (-9032/10741 : -2569/10741 : 1)
** u= 120/181 ; tau(u)= 242/61 ; 6958*x^2 + 51122*y^2 + 72964*x*z + 6958*z^2
  (-5563/34878 : 10351/34878 : 1)  C1b (-4854856/4136797 : 1243779/4136797 : 1)
** u= 121/125 ; tau(u)= 129/4 ; 14609*x^2 + 16609*y^2 + 31282*x*z + 14609*z^2
  (-3535/2603 : 616/2603 : 1)  C1b (306664/43207 : -1316649/734519 : 1)
** u= 123/10 ; tau(u)= 103/113 ; -10409*x^2 - 14929*y^2 + 25738*x*z - 10409*z^2
  (6507/12569 : 1154/12569 : 1)  C1a (901/3228 : 671/3228 : 1)
** u= -123/121 ; tau(u)= 365/244 ; -103943*x^2 + 14153*y^2 + 148354*x*z - 103943*z^2
  (-47371/247759 : 768328/247759 : 1)  C2b (15806347/67709 : 8750121/67709 : 1)
** u= -124/121 ; tau(u)= 366/245 ; -104674*x^2 + 13906*y^2 + 149332*x*z - 104674*z^2
  (4798/7669 : 14861/7669 : 1)  C2b (1844/587 : -14259/9979 : 1)
** u= -124/181 ; tau(u)= 486/305 ; -170674*x^2 + 50146*y^2 + 251572*x*z - 170674*z^2
  (6905/394 : -12213/394 : 1)  C2b (-19064713/2406532 : -7979351/2406532 : 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 (2247/817 : -7843/13889 : 1)
** u= 126/37 ; tau(u)= 52/89 ; 34*x^2 - 13138*y^2 + 18580*x*z + 34*z^2
  (1789/6754 : 4149/6754 : 1)  C1a (375396/17519 : -76651/17519 : 1)
** u= 127/10 ; tau(u)= 107/117 ; -11249*x^2 - 15929*y^2 + 27578*x*z - 11249*z^2
  (38993/25867 : 14142/25867 : 1)  C1a (-7181/1428 : -30199/24276 : 1)
** u= -128/149 ; tau(u)= 426/277 ; -137074*x^2 + 28018*y^2 + 197860*x*z - 137074*z^2
  (-551/121 : 1424/121 : 1)  C2b (-15720/227999 : 108995/227999 : 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 (172191/10871 : -36539/10871 : 1)
** u= 129/4 ; tau(u)= 121/125 ; -14609*x^2 - 16609*y^2 + 31282*x*z - 14609*z^2
  (19631/26239 : -5060/26239 : 1)  C1a (2273/3793 : -13569/64481 : 1)
** u= 129/40 ; tau(u)= 49/89 ; 799*x^2 - 13441*y^2 + 19042*x*z + 799*z^2
  (-349/27159 : -5516/27159 : 1)  C1a (16669/237968 : -48837/237968 : 1)
** u= 131/50 ; tau(u)= 31/81 ; 4039*x^2 - 12161*y^2 + 18122*x*z + 4039*z^2
  (1309/347 : -1134/347 : 1)  C1a (815161/163404 : -10669/9612 : 1)
** u= -132/97 ; tau(u)= 326/229 ; -87458*x^2 + 1394*y^2 + 123700*x*z - 87458*z^2
  (27/122 : 829/122 : 1)  C2b (-2324/1679 : -101793/28543 : 1)
** u= 132/137 ; tau(u)= 142/5 ; 17374*x^2 + 20114*y^2 + 37588*x*z + 17374*z^2
  (-1351/1944 : -259/1944 : 1)  C1b (134261/71788 : 41997/71788 : 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 (-681477/412352 : 148351/412352 : 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 (-251616/170867 : 54299/170867 : 1)
** u= 133/173 ; tau(u)= 213/40 ; 14489*x^2 + 42169*y^2 + 63058*x*z + 14489*z^2
  (-32443/131975 : 7516/131975 : 1)  C1b (234680497/20570831 : 50383031/20570831 : 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 (-231843/39352 : 47369/39352 : 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 (3037/2116 : 27443/35972 : 1)
** u= 137/157 ; tau(u)= 177/20 ; 17969*x^2 + 30529*y^2 + 50098*x*z + 17969*z^2
  (-379/803 : 188/803 : 1)  C1b (-56693/8509 : -11913/8509 : 1)
** u= 140/169 ; tau(u)= 198/29 ; 17918*x^2 + 37522*y^2 + 58804*x*z + 17918*z^2
  (-4093/6606 : -3679/6606 : 1)  C1b (-1746764/489119 : -357307/489119 : 1)
** u= 140/181 ; tau(u)= 222/41 ; 16238*x^2 + 45922*y^2 + 68884*x*z + 16238*z^2
  (-12728/48349 : 6263/48349 : 1)  C1b (-13637/23052 : -5011/23052 : 1)
** u= 141/80 ; tau(u)= -19/61 ; 12439*x^2 - 7081*y^2 + 20242*x*z + 12439*z^2
  (-65107/357717 : 407008/357717 : 1)  C1a (81397296/189869 : 23635933/189869 : 1)
** u= 142/5 ; tau(u)= 132/137 ; -17374*x^2 - 20114*y^2 + 37588*x*z - 17374*z^2
  (4380/3017 : 73/431 : 1)  C1a (-8284/111347 : 27057/111347 : 1)
** u= 143/98 ; tau(u)= -53/45 ; 16399*x^2 - 1241*y^2 + 23258*x*z + 16399*z^2
  (991/8201 : -32466/8201 : 1)  C1a (-13497/1964 : -153881/33388 : 1)
** u= 143/145 ; tau(u)= 147/2 ; 20441*x^2 + 21601*y^2 + 42058*x*z + 20441*z^2
  (-13/11 : -2/11 : 1)  C1b (-1530044/604469 : 321719/604469 : 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 (-25995/57632 : -14185/57632 : 1)
** u= 147/2 ; tau(u)= 143/145 ; -20441*x^2 - 21601*y^2 + 42058*x*z - 20441*z^2
  (13/11 : -2/11 : 1)  C1a (2617898444/1300403967 : -547543961/1300403967 : 1)
** u= -147/113 ; tau(u)= 373/260 ; -113591*x^2 + 3929*y^2 + 160738*x*z - 113591*z^2
  (-39513/46909 : 429632/46909 : 1)  C2b (-3256331/1407683 : 4789449/1407683 : 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 (-9128/1201 : -32409/20417 : 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 (-16088/1859 : -11741/1859 : 1)
** u= 155/181 ; tau(u)= 207/26 ; 22673*x^2 + 41497*y^2 + 66874*x*z + 22673*z^2
  (-29727/12721 : 6178/12721 : 1)  C1b (-52668/38383 : -198497/652511 : 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 (-2083/563 : -459/563 : 1)
** u= 158/109 ; tau(u)= -60/49 ; 20162*x^2 - 1202*y^2 + 28564*x*z + 20162*z^2
  (219/964 : -4627/964 : 1)  C1a (-54484/7127 : -41559/7127 : 1)
** u= 159/58 ; tau(u)= 43/101 ; 4879*x^2 - 18553*y^2 + 27130*x*z + 4879*z^2
  (-183/1111 : 190/1111 : 1)  C1a (-55316/6231 : -11311/6231 : 1)
** u= 161/52 ; tau(u)= 57/109 ; 2159*x^2 - 20513*y^2 + 29170*x*z + 2159*z^2
  (-717/10423 : -928/10423 : 1)  C1a (-232840/100451 : 50445/100451 : 1)
** u= -164/117 ; tau(u)= 398/281 ; -131026*x^2 + 482*y^2 + 185300*x*z - 131026*z^2
  (-193/98 : 639/14 : 1)  C2b (13500/9367 : 32105/9367 : 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 (163728/33167 : 34273/33167 : 1)
** u= -165/173 ; tau(u)= 511/338 ; -201263*x^2 + 32633*y^2 + 288346*x*z - 201263*z^2
  (15/11 : -26/11 : 1)  C2b (4799/18748 : 8043/18748 : 1)
** u= 168/173 ; tau(u)= 178/5 ; 28174*x^2 + 31634*y^2 + 59908*x*z + 28174*z^2
  (-3079/4197 : 584/4197 : 1)  C1b (1500383/1867399 : 40173/109847 : 1)
** u= -168/193 ; tau(u)= 554/361 ; -232418*x^2 + 46274*y^2 + 335140*x*z - 232418*z^2
  (12/7 : 19/7 : 1)  C2b (30785/22249 : 10245/22249 : 1)
** u= -172/193 ; tau(u)= 558/365 ; -236866*x^2 + 44914*y^2 + 340948*x*z - 236866*z^2
  (60368/116509 : -193431/116509 : 1)  C2b (-47299/30148 : -575191/512516 : 1)
** u= -173/125 ; tau(u)= 423/298 ; -147679*x^2 + 1321*y^2 + 208858*x*z - 147679*z^2
  (4523/3463 : 33930/3463 : 1)  C2b (392012/364839 : 626947/364839 : 1)
** u= 174/101 ; tau(u)= -28/73 ; 19618*x^2 - 9874*y^2 + 31060*x*z + 19618*z^2
  (-1546/1179 : 1333/1179 : 1)  C1a (-77341/467876 : -128753/467876 : 1)
** u= 177/20 ; tau(u)= 137/157 ; -17969*x^2 - 30529*y^2 + 50098*x*z - 17969*z^2
  (72807/171839 : -5516/171839 : 1)  C1a (13136411/5364499 : 2697753/5364499 : 1)
** u= 178/5 ; tau(u)= 168/173 ; -28174*x^2 - 31634*y^2 + 59908*x*z - 28174*z^2
  (2281/3162 : 347/3162 : 1)  C1a (-120136/108953 : 46377/108953 : 1)
** u= 186/65 ; tau(u)= 56/121 ; 5314*x^2 - 26146*y^2 + 37732*x*z + 5314*z^2
  (-939/48635 : 20372/48635 : 1)  C1a (-27168/2243 : 5551/2243 : 1)
** u= 186/121 ; tau(u)= -56/65 ; 26146*x^2 - 5314*y^2 + 37732*x*z + 26146*z^2
  (-26113/330661 : -692824/330661 : 1)  C1a (1864/10023 : 5207/10023 : 1)
** u= -193/145 ; tau(u)= 483/338 ; -191239*x^2 + 4801*y^2 + 270538*x*z - 191239*z^2
  (-30587/69561 : 591526/69561 : 1)  C2b (225569/291431 : -266571/291431 : 1)
** u= 198/29 ; tau(u)= 140/169 ; -17918*x^2 - 37522*y^2 + 58804*x*z - 17918*z^2
  (86162/186149 : -71019/186149 : 1)  C1a (40804/45253 : -10921/45253 : 1)
** u= 198/61 ; tau(u)= 76/137 ; 1666*x^2 - 31762*y^2 + 44980*x*z + 1666*z^2
  (5636/12791 : 10599/12791 : 1)  C1a (139977/43252 : 30211/43252 : 1)
** u= 198/89 ; tau(u)= 20/109 ; 15442*x^2 - 23362*y^2 + 39604*x*z + 15442*z^2
  (-8/21 : -1/3 : 1)  C1a (-10413804/2877493 : 2157517/2877493 : 1)
** u= 199/82 ; tau(u)= 35/117 ; 12223*x^2 - 26153*y^2 + 40826*x*z + 12223*z^2
  (-953/209 : 366/209 : 1)  C1a (-3294092491/25412240269 : 5276994727/25412240269 : 1)
** u= -200/173 ; tau(u)= 546/373 ; -238258*x^2 + 19858*y^2 + 338116*x*z - 238258*z^2
  (-108431/655609 : -2551180/655609 : 1)  C2b (1020256/122333 : -663841/122333 : 1)
176
>


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





[参考文献]


Last Update: 2026.02.01
H.Nakao

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