Homeに戻る  一覧に戻る 

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


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

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

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

{MAGMAでの計算]
> P2 := ProjectiveSpace(Rationals(), 2);
> N:=321;
> 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を選択すると、以下のように156個のuが抽出される。
これらのuについて、(3a+),(3b±)を共に満たす有理数の組(x,y,t)を見つければ良い。

[MAGMAによる計算]
> PP(321,1,200);
** u= -1/49 ; tau(u)= 99/50 ; -4999*x^2 + 4801*y^2 + 9802*x*z - 4999*z^2
  (-353/543 : 910/543 : 1)  C2b (-3887/847 : 247/847 : 1)
** u= 3/5 ; tau(u)= 7/2 ; x^2 + 41*y^2 + 58*x*z + z^2
  (-1/3 : 2/3 : 1)  C1b (3863075/1690972 : -199199/1690972 : 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 (10220/23231 : 1177/23231 : 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 (29668/2815 : 10481/19705 : 1)
** u= 7/2 ; tau(u)= 3/5 ; -x^2 - 41*y^2 + 58*x*z - z^2
  (9/167 : 38/167 : 1)  C1a (7972/5425 : 449/5425 : 1)
** u= 7/41 ; tau(u)= 75/34 ; -2263*x^2 + 3313*y^2 + 5674*x*z - 2263*z^2
  (7409/3381 : 1550/3381 : 1)  C1b (25196/7109 : 1203/7109 : 1)
** u= -12/37 ; tau(u)= 86/49 ; -4658*x^2 + 2594*y^2 + 7540*x*z - 4658*z^2
  (1/6 : -7/6 : 1)  C2b (23413/54269 : 2951/54269 : 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 (-45745/19036 : -2775/19036 : 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 (-4902292/1220305 : 334257/1220305 : 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 (865795/318851 : -291901/2231957 : 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 (4272268/642953 : -1603407/4500671 : 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 (2330645/3130516 : 159281/3130516 : 1)
** u= -15/121 ; tau(u)= 257/136 ; -36767*x^2 + 29057*y^2 + 66274*x*z - 36767*z^2
  (245/223 : 836/1561 : 1)  C2b (-238480/14743 : 103041/103201 : 1)
** u= 15/193 ; tau(u)= 371/178 ; -63143*x^2 + 74273*y^2 + 137866*x*z - 63143*z^2
  (-69/47 : -1858/799 : 1)  C1b (4350071/4111585 : -237109/4111585 : 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 (9091097/1505120 : 555633/1505120 : 1)
** u= 16/89 ; tau(u)= 162/73 ; -10402*x^2 + 15586*y^2 + 26500*x*z - 10402*z^2
  (-491/2763 : -2750/2763 : 1)  C1b (-456130792/228812801 : 30110683/228812801 : 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 (154520/743491 : 35657/743491 : 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 (1980680/920549 : -102247/920549 : 1)
** u= -19/117 ; tau(u)= 253/136 ; -36631*x^2 + 27017*y^2 + 64370*x*z - 36631*z^2
  (12073/4219 : -10020/4219 : 1)  C2b (2924560/1537361 : 146705/1537361 : 1)
** u= -20/81 ; tau(u)= 182/101 ; -20002*x^2 + 12722*y^2 + 33524*x*z - 20002*z^2
  (-106/677 : -963/677 : 1)  C2b (1595876/172501 : 96059/172501 : 1)
** u= -21/61 ; tau(u)= 143/82 ; -13007*x^2 + 7001*y^2 + 20890*x*z - 13007*z^2
  (5767/19163 : -20354/19163 : 1)  C2b (1976476/947687 : 107189/947687 : 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 (7616/6997 : 9847/6997 : 1)
** u= 24/25 ; tau(u)= 26 ; 574*x^2 + 674*y^2 + 1252*x*z + 574*z^2
  (-109/166 : 5/166 : 1)  C1b (1451/4051 : -263/4051 : 1)
** u= 24/125 ; tau(u)= 226/101 ; -19826*x^2 + 30674*y^2 + 51652*x*z - 19826*z^2
  (-696/1915 : -15539/13405 : 1)  C1b (-14080/55063 : -22173/385441 : 1)
** u= -24/125 ; tau(u)= 274/149 ; -43826*x^2 + 30674*y^2 + 75652*x*z - 43826*z^2
  (8011/25031 : 155320/175217 : 1)  C2b (70841/222745 : -82721/1559215 : 1)
** u= 26 ; tau(u)= 24/25 ; -574*x^2 - 674*y^2 + 1252*x*z - 574*z^2
  (109/166 : -5/166 : 1)  C1a (-560/3859 : 223/3859 : 1)
** u= -31/37 ; tau(u)= 105/68 ; -8287*x^2 + 1777*y^2 + 11986*x*z - 8287*z^2
  (59/17 : 104/17 : 1)  C2b (-387656/335125 : 68163/335125 : 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 (45295/56224 : -4209/56224 : 1)
** u= -32/53 ; tau(u)= 138/85 ; -13426*x^2 + 4594*y^2 + 20068*x*z - 13426*z^2
  (-6585/28567 : -8248/4081 : 1)  C2b (100184/191705 : 11979/191705 : 1)
** u= -33/65 ; tau(u)= 163/98 ; -18119*x^2 + 7361*y^2 + 27658*x*z - 18119*z^2
  (11/3 : -14/3 : 1)  C2b (584653/823043 : -47699/823043 : 1)
** u= -33/89 ; tau(u)= 211/122 ; -28679*x^2 + 14753*y^2 + 45610*x*z - 28679*z^2
  (59971/478031 : -602146/478031 : 1)  C2b (9645011/6706012 : 522337/6706012 : 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 (4935103/2281100 : -235547/2281100 : 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 (-4755685/738116 : -256571/738116 : 1)
** u= -35/173 ; tau(u)= 381/208 ; -85303*x^2 + 58633*y^2 + 146386*x*z - 85303*z^2
  (-83483/163555 : -288352/163555 : 1)  C2b (1730191/325960 : 97461/325960 : 1)
** u= 39/49 ; tau(u)= 59/10 ; 1321*x^2 + 3281*y^2 + 5002*x*z + 1321*z^2
  (-911/573 : 574/573 : 1)  C1b (575717/78955 : -29307/78955 : 1)
** u= 39/89 ; tau(u)= 139/50 ; -3479*x^2 + 14321*y^2 + 20842*x*z - 3479*z^2
  (127177/768221 : 71486/768221 : 1)  C1b (1237540/627653 : -61457/627653 : 1)
** u= 39/137 ; tau(u)= 235/98 ; -17687*x^2 + 36017*y^2 + 56746*x*z - 17687*z^2
  (-11181/14807 : -20734/14807 : 1)  C1b (-8982415/8004559 : 682087/8004559 : 1)
** u= -40/117 ; tau(u)= 274/157 ; -47698*x^2 + 25778*y^2 + 76676*x*z - 47698*z^2
  (27635/42419 : 35436/42419 : 1)  C2b (1085648/512785 : -58907/512785 : 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 (-16064/52241 : -177/3073 : 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 (63380/229919 : -10997/229919 : 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 (2214884/828263 : 120919/828263 : 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 (66913820/5292373 : -3240305/5292373 : 1)
** u= -47/89 ; tau(u)= 225/136 ; -34783*x^2 + 13633*y^2 + 52834*x*z - 34783*z^2
  (32113/41507 : -43140/41507 : 1)  C2b (208751/439040 : 26423/439040 : 1)
** u= 47/145 ; tau(u)= 243/98 ; -16999*x^2 + 39841*y^2 + 61258*x*z - 16999*z^2
  (-62651/854813 : 629118/854813 : 1)  C1b (4797580/833359 : -226877/833359 : 1)
** u= 48/113 ; tau(u)= 178/65 ; -6146*x^2 + 23234*y^2 + 33988*x*z - 6146*z^2
  (-11589/181648 : -108827/181648 : 1)  C1b (-113456/724061 : 35939/724061 : 1)
** u= 49/117 ; tau(u)= 185/68 ; -6847*x^2 + 24977*y^2 + 36626*x*z - 6847*z^2
  (-2503/616787 : -326424/616787 : 1)  C1b (852616/1775939 : 87013/1775939 : 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 (10891/661661 : 63487/661661 : 1)
** u= -51/149 ; tau(u)= 349/200 ; -77399*x^2 + 41801*y^2 + 124402*x*z - 77399*z^2
  (-515019/2097679 : -3442940/2097679 : 1)  C2b (1201475/1179157 : 70463/1179157 : 1)
** u= -51/157 ; tau(u)= 365/208 ; -83927*x^2 + 46697*y^2 + 135826*x*z - 83927*z^2
  (375/4969 : 43832/34783 : 1)  C2b (40120/84233 : -31707/589631 : 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 (5990348/5717921 : -388319/5717921 : 1)
** u= 52/113 ; tau(u)= 174/61 ; -4738*x^2 + 22834*y^2 + 32980*x*z - 4738*z^2
  (-4519/10322 : -67765/72254 : 1)  C1b (-1114628/66001 : 373857/462007 : 1)
** u= -52/181 ; tau(u)= 414/233 ; -105874*x^2 + 62818*y^2 + 174100*x*z - 105874*z^2
  (-18007/9442 : 239229/66094 : 1)  C2b (42750071/3296207 : 18778549/23073449 : 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 (7012/246317 : -41249/246317 : 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 (4859/3100 : 2483/21700 : 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 (-75995/110708 : 5599/110708 : 1)
** u= 55/153 ; tau(u)= 251/98 ; -16183*x^2 + 43793*y^2 + 66026*x*z - 16183*z^2
  (-52513/101051 : -113106/101051 : 1)  C1b (204455/358537 : -17767/358537 : 1)
** u= -56/81 ; tau(u)= 218/137 ; -34402*x^2 + 9986*y^2 + 50660*x*z - 34402*z^2
  (4811/983759 : 1819368/983759 : 1)  C2b (923899/874835 : -12835/174967 : 1)
** u= 56/85 ; tau(u)= 114/29 ; 1454*x^2 + 11314*y^2 + 16132*x*z + 1454*z^2
  (-57907/340229 : -113068/340229 : 1)  C1b (-26223112/646223 : 1233441/646223 : 1)
** u= -56/89 ; tau(u)= 234/145 ; -38914*x^2 + 12706*y^2 + 57892*x*z - 38914*z^2
  (24903/68491 : 92168/68491 : 1)  C2b (-855245/431443 : 2443/10523 : 1)
** u= -56/185 ; tau(u)= 426/241 ; -113026*x^2 + 65314*y^2 + 184612*x*z - 113026*z^2
  (929/4437 : -83128/75429 : 1)  C2b (-120755/1723888 : -2030793/29306096 : 1)
** u= 57/137 ; tau(u)= 217/80 ; -9551*x^2 + 34289*y^2 + 50338*x*z - 9551*z^2
  (10025/52383 : -4624/52383 : 1)  C1b (-4107632/3980555 : 298333/3980555 : 1)
** u= -57/185 ; tau(u)= 427/242 ; -113879*x^2 + 65201*y^2 + 185578*x*z - 113879*z^2
  (-110835/1557577 : 2179474/1557577 : 1)  C2b (15526051/3465740 : -910593/3465740 : 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 (-329/880 : -241/176 : 1)
** u= 59/10 ; tau(u)= 39/49 ; -1321*x^2 - 3281*y^2 + 5002*x*z - 1321*z^2
  (1025/347 : 266/347 : 1)  C1a (12710884/221875 : -616641/221875 : 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 (-25004/32443 : 1643/32443 : 1)
** u= -59/101 ; tau(u)= 261/160 ; -47719*x^2 + 16921*y^2 + 71602*x*z - 47719*z^2
  (-11329/30921 : 67384/30921 : 1)  C2b (51667/134920 : 8737/134920 : 1)
** u= -60/53 ; tau(u)= 166/113 ; -21938*x^2 + 2018*y^2 + 31156*x*z - 21938*z^2
  (-358/885 : 3847/885 : 1)  C2b (594991/758060 : 84011/758060 : 1)
** u= -61/117 ; tau(u)= 295/178 ; -59647*x^2 + 23657*y^2 + 90746*x*z - 59647*z^2
  (163435/1673839 : -2466186/1673839 : 1)  C2b (37236655/15559649 : 2276033/15559649 : 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 (290276/149473 : 13921/149473 : 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 (-120740545/49336712 : 85801909/345356984 : 1)
** u= -67/61 ; tau(u)= 189/128 ; -28279*x^2 + 2953*y^2 + 40210*x*z - 28279*z^2
  (-271/511 : 2256/511 : 1)  C2b (64199/70553 : 7607/70553 : 1)
** u= -67/81 ; tau(u)= 229/148 ; -39319*x^2 + 8633*y^2 + 56930*x*z - 39319*z^2
  (1073/11243 : 22392/11243 : 1)  C2b (1468024/359303 : -126407/359303 : 1)
** u= -68/173 ; tau(u)= 414/241 ; -111538*x^2 + 55234*y^2 + 176020*x*z - 111538*z^2
  (-12632/411 : 18415/411 : 1)  C2b (-116195/39949 : 785/3073 : 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 (-46646840/22025189 : -2520837/22025189 : 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 (-275599/895040 : -84513/895040 : 1)
** u= 71/153 ; tau(u)= 235/82 ; -8407*x^2 + 41777*y^2 + 60266*x*z - 8407*z^2
  (10799/88427 : 14814/88427 : 1)  C1b (44171165/17711179 : -2144407/17711179 : 1)
** u= 73/81 ; tau(u)= 89/8 ; 5201*x^2 + 7793*y^2 + 13250*x*z + 5201*z^2
  (-24217/29837 : -15588/29837 : 1)  C1b (-398672/242411 : -19381/242411 : 1)
** u= 75/34 ; tau(u)= 7/41 ; 2263*x^2 - 3313*y^2 + 5674*x*z + 2263*z^2
  (241/51 : 250/51 : 1)  C1a (-158164/93385 : -7653/93385 : 1)
** u= -75/181 ; tau(u)= 437/256 ; -125447*x^2 + 59897*y^2 + 196594*x*z - 125447*z^2
  (19307/37694037 : 54528800/37694037 : 1)  C2b (89187835/50686829 : 4930159/50686829 : 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 (4436/1889 : 7077/43447 : 1)
** u= 79/153 ; tau(u)= 227/74 ; -4711*x^2 + 40577*y^2 + 57770*x*z - 4711*z^2
  (-2209603/59070449 : 24320850/59070449 : 1)  C1b (9740411/681460 : -91439/136292 : 1)
** u= 80/117 ; tau(u)= 154/37 ; 3662*x^2 + 20978*y^2 + 30116*x*z + 3662*z^2
  (-2803/10199 : -4638/10199 : 1)  C1b (307551920/79210519 : 15452839/79210519 : 1)
** u= -80/117 ; tau(u)= 314/197 ; -71218*x^2 + 20978*y^2 + 104996*x*z - 71218*z^2
  (1369/727 : -1782/727 : 1)  C2b (657085/380384 : 43019/380384 : 1)
** u= -80/149 ; tau(u)= 378/229 ; -98482*x^2 + 38002*y^2 + 149284*x*z - 98482*z^2
  (56954/352381 : -501357/352381 : 1)  C2b (-1031192/51523 : -83377/51523 : 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 (2038636/170593 : 95879/170593 : 1)
** u= -84/61 ; tau(u)= 206/145 ; -34994*x^2 + 386*y^2 + 49492*x*z - 34994*z^2
  (5/22 : -179/22 : 1)  C2b (16931/21139 : 6739/21139 : 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 (1330492/532109 : 64949/532109 : 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 (58670812/6177305 : 2756879/6177305 : 1)
** u= 84/193 ; tau(u)= 302/109 ; -16706*x^2 + 67442*y^2 + 98260*x*z - 16706*z^2
  (-873/13502 : -7907/13502 : 1)  C1b (4200541/45533 : 199749/45533 : 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 (94084/111727 : 8487/111727 : 1)
** u= 86/49 ; tau(u)= -12/37 ; 4658*x^2 - 2594*y^2 + 7540*x*z + 4658*z^2
  (349/10534 : 14497/10534 : 1)  C1a (-782837/398764 : -41813/398764 : 1)
** u= 87/89 ; tau(u)= 91/2 ; 7561*x^2 + 8273*y^2 + 15850*x*z + 7561*z^2
  (-5061/4271 : -1154/4271 : 1)  C1b (-1832431/588100 : 17871/117620 : 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 (323545/139673 : -35129/139673 : 1)
** u= 89/8 ; tau(u)= 73/81 ; -5201*x^2 - 7793*y^2 + 13250*x*z - 5201*z^2
  (841/1013 : 540/1013 : 1)  C1a (-456130792/228812801 : 30110683/228812801 : 1)
** u= 91/2 ; tau(u)= 87/89 ; -7561*x^2 - 8273*y^2 + 15850*x*z - 7561*z^2
  (2283/2837 : 538/2837 : 1)  C1a (-48316/67613 : 5469/67613 : 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 (-55300/128971 : 43123/902797 : 1)
** u= 93/97 ; tau(u)= 101/4 ; 8617*x^2 + 10169*y^2 + 18850*x*z + 8617*z^2
  (-3733/4237 : -1516/4237 : 1)  C1b (46393/210359 : -12639/210359 : 1)
** u= -96/85 ; tau(u)= 266/181 ; -56306*x^2 + 5234*y^2 + 79972*x*z - 56306*z^2
  (2859/2033 : 6602/2033 : 1)  C2b (339952/258455 : 37359/258455 : 1)
** u= 96/97 ; tau(u)= 98 ; 9214*x^2 + 9602*y^2 + 18820*x*z + 9214*z^2
  (-1653/1499 : 280/1499 : 1)  C1b (4292936/88585 : 47927/17717 : 1)
** u= 98 ; tau(u)= 96/97 ; -9214*x^2 - 9602*y^2 + 18820*x*z - 9214*z^2
  (1499/1653 : 280/1653 : 1)  C1a (390512/3750281 : -197551/3750281 : 1)
** u= 99/50 ; tau(u)= -1/49 ; 4999*x^2 - 4801*y^2 + 9802*x*z + 4999*z^2
  (-4759/5571 : -1330/5571 : 1)  C1a (-15931/22525 : 1121/22525 : 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 (-14983/135785 : -86831/950495 : 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 (-4053364/3537251 : 253671/3537251 : 1)
** u= 101/4 ; tau(u)= 93/97 ; -8617*x^2 - 10169*y^2 + 18850*x*z - 8617*z^2
  (28253/39477 : 8396/39477 : 1)  C1a (-4855912/1992161 : -324159/1992161 : 1)
** u= 101/117 ; tau(u)= 133/16 ; 9689*x^2 + 17177*y^2 + 27890*x*z + 9689*z^2
  (-10351/25511 : -1104/25511 : 1)  C1b (2040920/1672201 : 153635/1672201 : 1)
** u= 101/121 ; tau(u)= 141/20 ; 9401*x^2 + 19081*y^2 + 30082*x*z + 9401*z^2
  (-33991/86547 : 1144/5091 : 1)  C1b (-592367/357472 : -29163/357472 : 1)
** u= 105/68 ; tau(u)= -31/37 ; 8287*x^2 - 1777*y^2 + 11986*x*z + 8287*z^2
  (-887/617 : -1324/617 : 1)  C1a (-1241/719 : -93/719 : 1)
** u= 105/157 ; tau(u)= 209/52 ; 5617*x^2 + 38273*y^2 + 54706*x*z + 5617*z^2
  (-36651/207235 : -66004/207235 : 1)  C1b (570863/1045480 : 58583/1045480 : 1)
** u= 114/29 ; tau(u)= 56/85 ; -1454*x^2 - 11314*y^2 + 16132*x*z - 1454*z^2
  (219/2320 : 163/2320 : 1)  C1a (1662040/107831 : 78033/107831 : 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 (-67544/97385 : 5181/97385 : 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 (351013/444868 : -30327/444868 : 1)
** u= -116/149 ; tau(u)= 414/265 ; -126994*x^2 + 30946*y^2 + 184852*x*z - 126994*z^2
  (-1510/2383 : 7359/2383 : 1)  C2b (337529/99356 : -26891/99356 : 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 (-22835689/1158191665 : -10873513/231638333 : 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 (8661628/4328117 : -470291/4328117 : 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 (-30797603/26716672 : -1649789/26716672 : 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 (-4476700/2075207 : 212507/2075207 : 1)
** u= -132/113 ; tau(u)= 358/245 ; -102626*x^2 + 8114*y^2 + 145588*x*z - 102626*z^2
  (-1048/145 : 4109/145 : 1)  C2b (13047148/6348407 : 1618753/6348407 : 1)
** u= 133/16 ; tau(u)= 101/117 ; -9689*x^2 - 17177*y^2 + 27890*x*z - 9689*z^2
  (227/499 : -120/499 : 1)  C1a (-1393985/1002928 : 99575/1002928 : 1)
** u= 136/185 ; tau(u)= 234/49 ; 13694*x^2 + 49954*y^2 + 73252*x*z + 13694*z^2
  (-9325/39103 : -9576/39103 : 1)  C1b (462103/1158295 : 63319/1158295 : 1)
** u= 138/85 ; tau(u)= -32/53 ; 13426*x^2 - 4594*y^2 + 20068*x*z + 13426*z^2
  (-17961/8711 : 21934/8711 : 1)  C1a (147863/14425 : 13023/14425 : 1)
** u= 139/50 ; tau(u)= 39/89 ; 3479*x^2 - 14321*y^2 + 20842*x*z + 3479*z^2
  (-1268581/7616849 : -649970/7616849 : 1)  C1a (-84236/1043209 : -49159/1043209 : 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 (594745/272756 : -79771/272756 : 1)
** u= 141/20 ; tau(u)= 101/121 ; -9401*x^2 - 19081*y^2 + 30082*x*z - 9401*z^2
  (829/1965 : -572/1965 : 1)  C1a (-785/464 : 51/464 : 1)
** u= -141/101 ; tau(u)= 343/242 ; -97247*x^2 + 521*y^2 + 137530*x*z - 97247*z^2
  (-201/2819 : 40502/2819 : 1)  C2b (88895/48361 : -41365/48361 : 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 (25159553/20214383 : 9524759/141500681 : 1)
** u= 143/82 ; tau(u)= -21/61 ; 13007*x^2 - 7001*y^2 + 20890*x*z + 13007*z^2
  (-13559/4003 : -14470/4003 : 1)  C1a (-924307/89084 : -59423/89084 : 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 (18713/1940 : -3439/1940 : 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 (-30797603/26716672 : -1649789/26716672 : 1)
** u= -147/145 ; tau(u)= 437/292 ; -148919*x^2 + 20441*y^2 + 212578*x*z - 148919*z^2
  (275/2137 : 5264/2137 : 1)  C2b (70123777/20119415 : -7361501/20119415 : 1)
** u= 152/169 ; tau(u)= 186/17 ; 22526*x^2 + 34018*y^2 + 57700*x*z + 22526*z^2
  (-1559/2961 : 92/423 : 1)  C1b (-149189192/2309089 : 7622823/2309089 : 1)
** u= 154/37 ; tau(u)= 80/117 ; -3662*x^2 - 20978*y^2 + 30116*x*z - 3662*z^2
  (1703/13168 : 1191/13168 : 1)  C1a (1775392/650023 : -85823/650023 : 1)
** u= -159/181 ; tau(u)= 521/340 ; -205919*x^2 + 40241*y^2 + 296722*x*z - 205919*z^2
  (8013/153559 : 47792/21937 : 1)  C2b (-214969504/2039119 : -23190459/2039119 : 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 (2525/1069 : 26557/110107 : 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 (154520/743491 : 35657/743491 : 1)
** u= 162/73 ; tau(u)= 16/89 ; 10402*x^2 - 15586*y^2 + 26500*x*z + 10402*z^2
  (607/12628 : 1563/1804 : 1)  C1a (-398672/242411 : -19381/242411 : 1)
** u= 163/98 ; tau(u)= -33/65 ; 18119*x^2 - 7361*y^2 + 27658*x*z + 18119*z^2
  (-3/11 : 14/11 : 1)  C1a (-6510145/1865183 : 418681/1865183 : 1)
** u= 166/113 ; tau(u)= -60/53 ; 21938*x^2 - 2018*y^2 + 31156*x*z + 21938*z^2
  (138/1229 : -4387/1229 : 1)  C1a (-19865545/22529369 : 2557241/22529369 : 1)
** u= -167/125 ; tau(u)= 417/292 ; -142639*x^2 + 3361*y^2 + 201778*x*z - 142639*z^2
  (13053/73843 : -60740/10549 : 1)  C2b (-16039/13991 : 8487/13991 : 1)
** u= -168/125 ; tau(u)= 418/293 ; -143474*x^2 + 3026*y^2 + 202948*x*z - 143474*z^2
  (371/691 : -3460/691 : 1)  C2b (202771/312296 : 71627/312296 : 1)
** u= -168/181 ; tau(u)= 530/349 ; -215378*x^2 + 37298*y^2 + 309124*x*z - 215378*z^2
  (174/11065 : -26291/11065 : 1)  C2b (28697528165/4706199112 : 2913423819/4706199112 : 1)
** u= 168/193 ; tau(u)= 218/25 ; 26974*x^2 + 46274*y^2 + 75748*x*z + 26974*z^2
  (-64203/148033 : -19520/148033 : 1)  C1b (-7400/12029 : -589/12029 : 1)
** u= 173/181 ; tau(u)= 189/8 ; 29801*x^2 + 35593*y^2 + 65650*x*z + 29801*z^2
  (-26497/20221 : -7620/20221 : 1)  C1b (-3186016/1805543 : 153377/1805543 : 1)
** u= 174/61 ; tau(u)= 52/113 ; 4738*x^2 - 22834*y^2 + 32980*x*z + 4738*z^2
  (-1896/13439 : 8339/94073 : 1)  C1a (-45305/13076 : -15045/91532 : 1)
** u= -177/193 ; tau(u)= 563/370 ; -242471*x^2 + 43169*y^2 + 348298*x*z - 242471*z^2
  (191/1303 : 19466/9121 : 1)  C2b (159745/154124 : -96087/1078868 : 1)
** u= 178/65 ; tau(u)= 48/113 ; 6146*x^2 - 23234*y^2 + 33988*x*z + 6146*z^2
  (-548/7345 : 2909/7345 : 1)  C1a (-375355/10856 : 17831/10856 : 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 (-175241/111976 : 12377/111976 : 1)
** u= 182/101 ; tau(u)= -20/81 ; 20002*x^2 - 12722*y^2 + 33524*x*z + 20002*z^2
  (-3118/1795 : 2367/1795 : 1)  C1a (-7545175/782252 : 455273/782252 : 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 (4142812/1131635 : -194763/1131635 : 1)
** u= 185/68 ; tau(u)= 49/117 ; 6847*x^2 - 24977*y^2 + 36626*x*z + 6847*z^2
  (-3907/23965 : -4932/23965 : 1)  C1a (462103/1158295 : 63319/1158295 : 1)
** u= 186/17 ; tau(u)= 152/169 ; -22526*x^2 - 34018*y^2 + 57700*x*z - 22526*z^2
  (96751/193929 : -26884/193929 : 1)  C1a (482752/1274099 : -60297/1274099 : 1)
** u= 189/8 ; tau(u)= 173/181 ; -29801*x^2 - 35593*y^2 + 65650*x*z - 29801*z^2
  (15399/22699 : 3844/22699 : 1)  C1a (99707/867691 : -439/8591 : 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 (4870072/2603753 : 425789/2603753 : 1)
** u= 189/128 ; tau(u)= -67/61 ; 28279*x^2 - 2953*y^2 + 40210*x*z + 28279*z^2
  (1487/8383 : 29392/8383 : 1)  C1a (1594736/1278907 : -386621/1278907 : 1)
** u= -195/197 ; tau(u)= 589/392 ; -269303*x^2 + 39593*y^2 + 384946*x*z - 269303*z^2
  (2867/6849 : 230636/116433 : 1)  C2b (167017/190952 : -293891/3246184 : 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 (2003644/807505 : 117059/807505 : 1)
** u= -199/157 ; tau(u)= 513/356 ; -213871*x^2 + 9697*y^2 + 302770*x*z - 213871*z^2
  (18581/12043 : 61860/12043 : 1)  C2b (51651104/182393 : 668371/10729 : 1)
156
>


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





[参考文献]


Last Update: 2026.02.03
H.Nakao

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