ã¯ãããŸããŠãY.K.ãšç³ããŸãã
ã¿ã€ãã«ã®éã2A^4+B^4+C^4=D^4ã®éèªæãªæŽæ°è§£ãæ¢çŽ¢ããããšè©Šè¡é¯èª€ããŠãããšãããããæ¹ãããã®æ²ç€ºæ¿ã®ååšãæããŠããã ããŸããã
æ§ã
ãªãã£ãªãã¡ã³ãã¹æ¹çšåŒã®è§£ãæ±ããŠãããšã®ããšã§ããããããã2A^4+B^4+C^4=D^4ã®æŽæ°è§£ãããæ¢ã«æ±ããããŠãããããããããªããšæã£ãã®ã§ãããèªåã§ã¯èŠã€ããããªãã£ãããããã«æçš¿ãããŠããã ããŸãã
ããçšåºŠã®ããšãåãã£ãŠããŠãäžçªå°ããéèªæè§£ã(A,B,C,D)=(110135,249568,244580,325193)ãšèŠã€ããŸããã(ç§ã®ææã§ã¯ãªã)
çŸåš2çªç®ã«å°ããè§£ãã©ãã«ãæ¢çŽ¢äžã§ã...ãããªããªãå³ããæãã§ãã
æå°è§£ãæ±ããããšã«ã¯çµã³ã€ããªãå¯èœæ§ããããŸããã
ãããx^4+15427*y^4=z^4+15427*w^4
ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããŸããããã®èšç®ã§ãSeiji Tomitaã®è¡šã«ããh=15427ã®æŽæ°è§£
ãã118909032617^4+15427*22896537156^4=163961118171^4+15427*22155548398^4
ãèŠã€ããããšãã§ããŸããã
118909032617^4+15427*22896537156^4=163961118171^4+15427*22155548398^4
201136538825204635912378557^4+15427*64651920023427279027550063^4=329820040444806601271926369^4+15427*64031581596174686331997749^4
3472166868002755197939895755946^4+15427*395439372339670838353098134801^4=4208697551990102560097508517664^4+15427*341091311647676523804514626917^4
6561496191435306220686174798708844944040914^4+15427*5700358093519673286503994284303723704854307^4=17953264295542816115103288960218719420978708^4+15427*5691410010587836607913119877206150772083487^4
11275086907135808283143590221804946352744492035557^4+15427*1093707079369100250556142440683970672427809380307^4=13211283842099367524644170347620069070078802469711^4+15427*842489855594458990944437685131152044906501053847^4
64487357298258436755393254047941294794635398067946832629164969^4+15427*5165835448023384993543678387328760093562533044666534877011083^4=72373346930657259548669627992101009228103646012026889075353209^4+15427*2720154184375437799732695556830954339905714899413521569177157^4
....
317889722921793^4+15427*322904418363823^4=1603064177505077^4+15427*319682808927819^4
217889158474144650784057007210253666066386505004891344092075156^4+15427*56413627892930518425354943249933545337161456644137055840072313^4=436797928792867185937671607793776372637970762083591684841814008^4+15427*53040757266430749151452357041827807948630671895213114534797113^4
6726632336440141259701862275136623744017293164009092517143639444519945431818079817368643806861281747566102778421631744671081697004427475191^4+15427*1054532772954930163855291968507407294538630061729287700615217534915754545876871571176255042790926084467785568832111244394234789290647240419^4=10566752416552701412095715870831939250210934297396983862469162015829811053890165614704530312466385614266872359183623742582713109028146205547^4+15427*865527267101349912341634829340250458558190504964657972047543750739178265159171327491688210011625848882599221548884754561580916721212124759^4
....
88316868328648989733449436862851695473736783052704974893852^4+15427*2497823485275592355339908806050473028550905910207545006003^4=88342076095073744303813933499636672576897612297440674495994^4+15427*2422200186001328644246418895695541719068418176000446199577^4
469350125841117146850465409075130185520582073494086022519364585232291762337325766357487608689402548760850788224618582819728901668073^4+15427*184643645327127935406306001433129817711594870559520735445817300071884675315123896500116792307304549642877027764226807096939997093941^4=592381762947803629912966195857373315645631017912706593179631781834652809850429218570463876952182012304168568347985987650381963389679^4+15427*184451265992931513781196358913599572663551962696340976534984289735198467224186460138812012481033840987076312605875407395019188070877^4
54835941753239287899294454578379172902287641351265273181563408974121975064193847974264032428918860943575751870738004354381350823900562771198922830502195469394^4+15427*1847412678068923939975494662402943333150630476322369825255326835955316747206286549111659172944301064579063155721647389534517658866163946688784030260263459899^4=55064238744398858626861338959645426085513852018033364127155836220384375310123190144405835687371000874270240836782276060173847924075076528919508720054924150104^4+15427*1162521704590211757274841518604183783471998476018096988478045097168116009418260038686249397587881272495596257588832272157026358342622673527026361602077417769^4
170678719587136034082328386466669962566041681190408305812293857452394442876664283801634188419894575864161478869967799971348781030996719330139695913318488164784318958033979262696584916423776899457364808963858058881170859500803984^4+15427*5872614043694249800179361064371143494321903560389484497275710977249156162454537558056177316501319678659699577800543448841051600043927616146175510468835097539772972411487806283811685543997232748904773336510376289380640679903861^4=171485328725988690710276021011430521877872867819619005958658351207801977406918190606848559995488955367915837130107038420195824989068127609958337232132221272924092900925375580334617027042760788427224653019738190601662373251335362^4+15427*3452786627136279916336457430089465558828343672757384058182229711026552571692817142413062589718181167396624797382828102299919725829702776690251554027635773120451143737298853369715353687045565839325241168869981127906099428309727^4
11691174708211004126449804916472428423906212001897603929869266651476862810636751927030339601736493402767510009309082240048128346080957912325295385749480554942691379565047194708773139265810542283815244217142380329256930887425203208563389063^4+15427*338397295219577485520705053905266135940794900604462371786767417032422210058396412223681364896838327956906220579222210987116392883280132230465270306730393501106297101329754202657587786817701193618527794441633015943256503218188113737892075859^4=237288929577990286995747387887684984528991747702499550195231918427221605146483555497225936600379195660928363546347974402531440605344013460857126617703636243222554290215974667712436475950707205203718320906557915243012920527934783191243158877^4+15427*338395969389760363087187695008371532374461706497343467009320538294812016949143998486905426099089778817576340031894465500333543894509034415130223389132073563733291630623028216353402223236988795141181435626613588798011465703340626210147233583^4
.....
èªæã§ãªãå¥ã®æŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããŸããã
23758588859637972134006927799^4+15427*15905637375712949853835270874^4=47602471597646120782167727881^4+15427*15886206274964581677045795902^4
34024682731924559599062250238763411346592558955924475531421722875640885806902667608509638717393446345559478992200877^4+15427*9140332913988079392324855531995780648477602814954960816634382199726856916082825507010164846099042414122569052259896^4=47673471698380254826002991233856120353824036881397367225058985158567205671440382329447578112635520532305712204119891^4+15427*9058052374619514243596132461461164694497701085675561441548634177508236236634127454240421014223723168205741896965456^4
492242957289419785530272222374207997138523326456389755920329557968663525465293177985913386970188143577322862049949096865841608623088937325202063186457442865937668817556731996890319032406163050771370926551280789124065712172411880819064547848538815617364717207^4+15427*83488416772324522258820734374216334395217190257904814357232604725712695822282395772540910326751780663748132822955354385809627449892353260898510811638199380802831113562226261300651737896409126137064439731507687120223529430758906233637661068659535063474034358^4=615621192602568409513052018098889887010407629536534810386257977843283763366929136359082736942910947834468159445359211777189326329279049030628791482832855764751388962435349646976915307900818211735899507050117245171778645118871041665475795148244373435699160489^4+15427*81015896978540309718218993258692852100628547182288591597338621773780954713232215391684889636878625012445597037591465495987329491694462346337126916862351150948795746275930605481476629429797755148973667600274254276727047831186641561577335330947875360971890018^4
.....
x^4+15427*y^4=z^4+15427*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
790978229445207798613816959672190167518563358642064287085419044978045^4+15427*268895195392548758497298363181821967152401837923344818369754909868944^4=1458819799114053746682405149757009172379451791123356327093934339055235^4+15427*265378060342527999957572188886033236736308908061688813637057325392808^4
2699993319961417258920333890995920327433493206596240101084014838415598628155798156946580203193455021545373201903734980849701449283210660856746032423338302137061264276953504306446505336292268516932205455002042582412086059111191271315026545344675802427058704164912239602288527843045^4+15427*394617878350925941705065815304924441144584545389218283387367068921096628009835339823744766863012133944189571860266598370462580340763354633384254136390004311921490191815641263893763251660164080138281945787358340988914533817176601871078933056788660474209947001429846653209420840356^4=3640007412605285864428646188301562552674329883829471980438533754293171729087009855848318194021839404271661570875878490304239097081063430743940540546078557337225593158189102356202370206281773564095563453236660350368110087255698259098341563200522821383047941387048297107084888046875^4+15427*357393395764168942701584022539589339048084796397367220096248063780961852735134019297645625799695372236841123317448209193167537897518861276371352361802199848209972913172837175910928644331439957592404452800335873375904688698428988355573081227888954690581442776278999350627667322708^4
27039028263670694103161591942464162017452828416332466573060961047408515413560429192323642760300595473912493647270925234912343745683580470139012174431733231796368752562110671359697682729020165124059304830085466216268039381875292548411312211912344966853890382831335084547344393722006644072193681500335806097493885733788611098917637669179219472933160770859965706421979216249796307058106542510488392738019378062370957481687882850344940092124058666304107260609725560537484549912152689399443629760830342943050396743123171411622956021265150499710645540299288755656412974313603670172081411863937060690821786113485177856082562964308285^4+15427*2734417611218089553549527108339462324665870403944038547349050306486427209682394483065323832507302553141649076196595758359137780052274557484177042269827194346142669850530568367090321640920879890051536701553622579887613677428407451868138268951789899322114611805141048331421990545104562419931125650749798073331020303086368272604246582971849965637178346987958220087937614413533641715559209034653782686198966299825945658866944371863233278308137655855844518891685439209414057669174254829293843635339864229890866154703093800608348656792047123136286989008655389624895701395113091397144240797648823415585240321296296222779867385818488^4=32900610740158423991981043388114365732433495443915614875212515697310943644934750096623196242826371709035889433363374388797608993834076685574187625938036426002214641685982991363355492275287323541183371155171644402269498777611690330941102566221948031788820773701753064625423359156890935784912928255052583070751171331911823515108163756843967298115494275121498196271565783735651640841395848261822110959432039885088109509319701649439211116972780246938247523554935546813478039951439921600309932219548417287217730352067213725901320739506963265622645465071979094075790352625241678011481030498106518591308362162154593586654597259010755^4+15427*1954848369972094357506034048180700647318663218122480094372193413435515375417062240374318953513318434957067552677363564749074418468122414863963318935215361018534041448567287635835925996092846843647716358515319968913553839160710774155694014495892552625829700891193335731041181802802870950244271753023623505274808175412201660348174287159948294508688456421267771791731639575150625311072235566413191890931163158347775963238510667412183541570839608651467691464482549811380734362255530931399198331634595245443000732452140050814343117801403089593312950809496881110606201254197314874375454109686742904804020517639236361677760049943488^4
....
x^4+15427*y^4=z^4+15427*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
13683428834489689^4+15427*14357040663671213^4=21887147838989053^4+15427*14355975852076561^4
106936312990112869451230915581004762987065268907135192760942833414032328868^4+15427*48799898883388135130635582785296108358502514797897916141251700249211309829^4=134814012102887976481333254490503243323172363664961778192780544504140922736^4+15427*48772048011324739474722603397948572817872316854495132870180288566168768709^4
2392409464125749025345547803380968690193430866190386470589229337647830479617553584494338207353446927107460818882191183340939118575742119335683530249993591658938679^4+15427*698003707721054212945577857215702259838336230294923452411930511393748326946474488154736921381574802575240577657334537667600355809207809112267952561875190104044401^4=2790887647273929293665391031985911545258413008727491148893871522539558441535900362116305942107633985865121325239805778368065528286631012315325568827641475565287227^4+15427*696669933297576726173873442901597732889101268584942921654317135727299539767739233522150150258079903076571194594316544927342078178903316316479182459892403568175517^4
....
x^4+15427*y^4=z^4+15427*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
20824856616751378028428429436978037558814689^4+15427*1685862579816779621735804296893457146238126^4=23647099524064747647468146718067333696218463^4+15427*73152347066282696570251564842430782007398^4
4684063268128217754147271563575412833901882863622574816115458835427018695282327848225662054828007916557671745962857873927344622987462539358328815100543336338293056739493004627^4+15427*581262485312180250334373908982228717294252693901182306834487490310818105648071973299234806717462729308058163708478577617489762391508595023890214096815274717969900924960367664^4=6448625593280649857562098465587656233760643130866261185266907666731404717945531494135164476270485127595541263939366945577949642655719569793660414662395412020126490671232081581^4+15427*427058843346352380188384320739053225482181744523781332680626127577402478730901538649052291249667105570724417992383749039998820276066850939156414224243054243077775607461962024^4
377208605761380792859451010057423174689121270077374954563442640036009361538687365467903164732900786347820315478765532697474158316713050009673106323898767225830486974473733030994240664904916087172525101705881095571398246086426919116821198585611069654664608375511301711578884963324415410379747890507511853941542410900181865363317799120704068293098991862761475106464298495763466405878049398439^4+15427*58769742679644574442379874627962666687239459106899323473826666432330266033392754668633574918914212803090132206158308696921150389191047893376919563757596011500368973820868107778815886008095221909461783859222621837358054396404339298361881482524016061729411076256781284197514211021033902069869811979932879539582535486875965398134482103467820119957598401068577145853503717493120644711688824782^4=568343881646558909600166165392059630113758368069522266477195985758172537440133805522483450170079818836244852115690352818968215922476004534952449805384722573486988887194396152835957541711216952696968744159317815056170830467350801722106650909780101489618125459626520001938714947247328606922473251581646938965215653957423440517744751071872502757367397611306677139156555064916022947566325240217^4+15427*50450414969028635123743071277543879269696025460041997619746673980334405910290925362555159616616662904581031586370159943932596814102068978211276711377235615731917833448082247559308043595505272675934583257026932153940565249837879333229805559858287843958312971809057738865245779792059353097401822919572883331087889117262077547252347582914142431052919169528681158542071464879768807681611656234^4
....
x^4+15427*y^4=z^4+15427*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
12017733213114396329997850976228153223700434^4+15427*67133412775334102575135125240272248775672609^4=71898138899749332344958569121932099853702446^4+15427*67131982605247863304795146916784156148171999^4
3415197503416279859094308055941835754611747802025705318721070142006018036201463820733450112082024485568119618^4+15427*201686488650243856547689044299403028407449042607231822593661983844188421685657041727371218888771502510267719^4=3565046863093054349717781218270860448960225605937921326777317623258297645682269600481206729692926915867132098^4+15427*38072486832595328449868015427036482550115443652313790296333986159458953483632205869039369288672385968152249^4
8404669267588600123856188344552489236348518830848243334769684256455904765147534014195550548548803992347512219794840321849^4+15427*501374789096491535598420196142943497928301220347672980032816005672143977996095385433936858603824219771713531510619169128^4=8787261693182122235881446608693091519569791461136318842816416298349202757488186230953948099167519089939336679502406697159^4+15427*110773091853143843641993026482020155225734988113247832841955261357132809748948161379499222386119936375205604021487031368^4
93570686914239572181424925206913809186836470237277444206223806435467127489638456873342490918021480903139654974172129564620435807644307597484830756521114733009325201808428252839^4+15427*350505372357920092942071748255512543743031663083630941198138335701823104154193548753693028588419393802759221285530867307896998039610243459211805745560557708917218574363104858728^4=531683621882120366155109591471209720962444478127826234626316103321467098117639005965124689084565336634538961362695819308703260765796860681719230723889057051998511785169094754649^4+15427*350475323590689177415823717767360915097941149541247123474009339315776848850607329793158488478050775367479668936107036282635521893433841475563234202228150001465479959013961544168^4
863476890831301664272727421972368308131617079423879037432376127262661878241035175864147115268481252181606062447565881816243424251438451755543470536237878809560946281285682879218395778773^4+15427*50467311281712871112348934792962909942842323907182733388222034021124998207712841583808559786283169464440332190040310517515911482972486304299975938037996083085413286100676193653181253768^4=899939256245884816073149080635043368157728220369883525645048508692447042895979372919598949084285726782325440618708815147218630215499417973373514443576644268336775454709751136488334864683^4+15427*7872473381620171768325719067317186098935501606424447752053776266531265240197873704914374319003989896710672883788382812044418059525059644228094313704028650955913391377833017978721283688^4
1456594370991155572320936511845762650815346234598743097713007896126606469181078207499239004620877435242032021320676008755383135313222337048530677675887668360811979646016327763378690554797981334950073453326054688733723886^4+15427*87755774896490740553107960386031127047517737987150793119472917586338870450204263720698639780893963561736914671109936936856174379254356927562196565168235488860048232893837854867314229422478994383485735834300324752735969^4=1525291892371009657134279071907698888516209031351953870219846589764098879621644284950601897570045023424546633823610384280052478334932178693343403391170668977868195129114834522001755669432979513445407458554703290957977966^4+15427*22160259311275795148240135713066853273862736817986442891468992233648986254701460201481988937774177530286465333585063902614774455481389704138164579284565498429896540063772958929589953993518091209048672531537438806070559^4
15375614565162215029813594597005274974044236509851589383994100199536635097790409939596287307940151721446308617800876021000268645054629829631184301778174028343767070781337970065343346093347722298809694026671544480215896910156911000502994161073858930849951403573247019201537328963045783751246406419540781365510072023707640822166095031053424461317759070^4+15427*889066315413307663987476352288893834971087646332253785396372053227559304508494688794578942600127570883218329801411819362884709969849390253606707940925705309184654103739385811641600174597253649974674801913400606715905167854344270438325750876507976812987871839525329943520306036333094822147310787303944362660623057979867235226432812017859545287041769^4=15999388351685324388216219338844036017581905412855089562655197061032196189744657398496274729823203382896400351777114051983338419110604685243460526863048668395801920958978978252937833226595005759051266532300853147387254888018964411322237736110938914502403500238752186733360882559876751848138233053778780589591007159674487262731754622132595030850966750^4+15427*108971743023667309456723234653123834689182598473346500461382925165338442618301245445400932412755087436928444560569030210026928519710378726035252194873718774071106180486227288509579238598399886411841207093493260758267596724941186872463969182819997030935482825282938107397379718596454132879611827476854395868873159567087069678622533708813365966090519^4
....
x^4+15427*y^4=z^4+15427*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
1745121507746819477474847024405231347826436852300107261407666471812092777416416443294657481728525008847345811444060161^4+15427*83500118099793545254492357899397121895656361303531724292115496408724538520915486039857542409249120838602584020767938^4=1775480145415393217307542439193532096161878431900088500669142651256545247340823663302923146183381502083037097305457791^4+15427*48804532192852128302840455284196266655151698903553165136142719900778858607307234601839640175127414283526828750599218^4
80155712159541802657114270782458139778858572534281196258739030435384877180971806891281183016400585463819954244218778588614273027101464433955193163197538708945456277682808545122681301260508867578650009562848557044154927470176123554638870586743516200023522201680987522356891004882630781002157981884841204480726849152020913227834755386103535700425772454225757189326861499249997144337138818432262810031467268496349911290097917432220130314678389248428958493055354365448203347^4+15427*22333549221373738901165758107378498446173330064439238385256832046933169530852293625862457517032618035819299803301268209264667426979507353218140962880857547168405677536685713816818769659209918670312558937145818401898199294760437359701437232393644574713245025460008071813511260237889028450621164140404004726677169141329260220811514018547767850930442006789573170676945168136355304514390867457731602109898548825219815321765947576371451226347415229755984584493947241945345852^4=119033182348008673348830274656949205614117594802181341540887671226605364388526720949224526501542312641464239469020144315833275320703295140117289472367636752487628323724070695829528077330431318606183543928310098973598478767211580402961198705160021994315344075158815501248009970370546650424407387030454883817158141215478783289038060521879910307854378697272572166797268382291706412926565457833042561410258583928045752829066174697974516496039828750281372878130379065242597293^4+15427*22097845279731256175081103463468433936979838241732356222913043143033101563496179583215649323129355881488454739328864050414192337136870596681397676170683074022648089367613886991006117277844311075440051766238800946037287901851513324095509188653790618763122829943223904062053271748300536603378156026011628800672878931194019849135120422339517414702250842406786803574948412482741002444953863286016685180148668811004003579912060727347847266637087058075346141306080986391104372^4
14339406819904977375127507706063137712886859807953783330974112230769267471226388422473953298097270887108061481526485678932923060404633840326187445355589397222521496993184158714978261061430671013794326676434565861143854271400328566016568151245264874719049566717757865042182134154972528957221749014755899487598341566550646045934632328675638917684829231547414640998224301864610436389387847891408119308283696733085215497850238405978574812241049752588492558525104513647997618886212634145327914924794728768783236679102175433101099240432084584998965368952223000204169897516899028072531464142095118866212980958947715656519825654739176161885704629052645694925139845288924612646423951331232621627444532273055730818822965863407202906948326022362219629897876484877372749174158135663008318928454600056712375091162579490428326966310715297804462262909034095695244164054409706258249236955657764460080887242560505471127731943578746665926582275566768191588016289346712625371059272487001008359748943435016706585130806135821984204729743679536623977198672361649119194682625351^4+15427*879041032914947635301206874279707980512742506268396495802636485172961459189263607954132144970661622929982438585525544787604529647618629811351189734664489644413787429320224489695990808317817678885137108000835474983589785222896140808561218060281705267489464884222795516292939211053195433811059826946091316102964199506916073366085838786459759245311570173965894457226687523104223965197090371229594947469520472538732527043123127121113268577355770422734174794793730740314733987261116062495645420596853333287930150416940834420355829694379544806770734629021067516481766772613148970084615252409136209411195320094557253086529675268525627282669682347578198030606396457716749481883795315831727423030574485177686472111473235705305286071196715096320267340269642473014852813340947738832331835465386086218451295277355716029374983732694038375503777447419490301955812234979903836728489467858250938932531439494112512409001064622000793633654159274770004226291376956143577372181087716914315599300626116360361483987568349838898570610532774788172420313707251286359646742289018^4=15063677537359146843844472734465580400936653739110988739186454358940958566670858592771382127922303926067612012240311250029509093637560634411060164681912094195446164579502289074704169391516197282356400183406947669040014839707525083938463883875228133997935233389533589343440753472167290219570179915853382755096593890123480010573792424671896315227975377932327620408233249773527031488874277127773095660860745675223523107842217229196484635986474569715137027964836265614966449358796383493003843282968024411979998329269794998305622535088878328658965041331092081789128890979295600514982958355420967563041988588623963909164956763392274839623169122656727191776090844411343687428003731197250942334479512915929166808879217257859306875991342761603581093581788971867042427068290938962190661339045926101785448398828946731688215730189816882669129855391802439086705542835901595674308145180069616774018211460219946181117502329282972216308706150209358160602323262781775657879636111598972056435058916208762834210004370341359271953846814435116305993796456918556140505005258041^4+15427*51303070110182528196103984676916337027263727803018886417102624405314492967011984757070625170623864119067546341153463534363348809988008000068081933152835961071310187813789792866381288220073371957053100032399123102263421443242977469251809340323694663048702973621967743425945705687753991127138797120396153247818686852248685207045729076451304910287402876922489417216461341485258137212599815383907687381464538666380972766575900586359184296870265135140495435100299920921784875736831093723155868398801169634488264511089902758043492943758123481056823338884974276528631387017066178711479008608166270178043743321702107206379836807841424154138832514342201629519540317809235445792618326096503757847739464750902483475757356331472178593463298820478594558655371627678078077189172539766797651932442034706367515087221726018073539299435084244455100324255669283142807913274887361232594354244705437289875190740465986706406338102885878911226873968952896781369121601785825933807557303233117798946371517793358484132066400653426857333880482697107258487667757678335292087851658^4
....
x^4+9562*y^4~z^4+9562*w^4ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
å
é è¡ã¯ãSeiji Tomitaã®è¡šã®h=9562ã®æŽæ°è§£ãšåäžã§ããã
2200177310446877^4+9562*5420609271281998^4=12249852400547579^4+9562*5416913011963844^4
396222315338580094517944526770283763202807^4+9562*790740468569852479516787655616557662264287^4=1711814734992383888187889165743691915359073^4+9562*790287319178370507512587613768924096657123^4
187720271703811269777642028123984287258425793929963399^4+9562*151618119609274201956521194541735279660936190538620224^4=216585124694818989488914827853691096695049981019430769^4+9562*151610927689698492493396447441521258304170640673425402^4
1611031202512780791272286776602357011920922748995583906351388488661^4+9562*3094723467928992484729470567262354551564429706031971657388296495897^4=9852507319265726003372623611406361644805040741934021686947176443613^4+9562*3086383619635716424345782058840648923098658788671856678058544470317^4
2218149820410100959480557390565581813840308295797291203346106226571^4+9562*5212123374746420115004533745958087209600090935834837300954173207724^4=16100547773865253864307169848643879413576302288978632415625982216179^4+9562*5199675090344944563615425597600635990201904559051168608255733784482^4
7372311283248424943478213351347569130493895972883556687753536699828266353247939093667794387918^4+9562*23727085828423477603449636243625745012904334777414761325568924109018956569095510882921988306701^4=55874458510214661346817674625180284751830158038947209017595208520506900407525512588100575210026^4+9562*23707991516673837114272279738770145398838705731458312953442634806232418501484577878404288891757^4
....
109967993286881583593429395012166474426144770078234541214110850878675673^4+9562*20375756054862474858975634195370767628324254659654195596596274430291346^4=202459758072525283082427204081771744589634702141215567761892722999392607^4+9562*10454832207018758304023635494497655759505722694672813252664349609947632^4
9472674940378743634008973570017394772194504238517300985824290422893189720878321367372861002075092053604941628190900896822165939695890908293479411968614820093266641977515667139149860412236667821671949844496535765433906014037835737630850181234332642415491437475933700370948747066656889459131^4+9562*906957347750291422306496959983616427509007287777475503980142218837021921496444387518625443721948155731777511369825640237741094714471812285713111917333248404698162292030207989883779091995864662182038954746374346504416096637348287108454823469366460988730089486652940694338251456600207165557^4=10917963366931959087197384848822712392745401347588785814098607684850438024608925080447998487719722434906551561423929822107741191903359884820176653488495844709467765212598245261759349689230884552090578092432918464120193538457031471565059875189921055001015227894423118125873242789853716638653^4+9562*425194538899219604577026533715177220658708251420313894555369798184605820252909816493579615173738028631240866958815998475882677311982153443480698077372906865964454547002681949013949332997792418709162872100913446942320255164283042463718258817503656793555492680489801442696752882201264772383^4
157847797281574067659699883247582840298004448477551896730743578120384661635496875091723870497141111469741889152979335920966472404902184274238759460957365256862867393549821225075456590018063645312902901291247520984339985794907391928391996294248018896605885794513124488006197611131332626398158379897170093072243193478104485715703015251686380488760224600416896667930821205849126267010460064160131189721161628603973544793575434015685285473819101443951565470562347821590512794494214586631308389520071958297685364220707365958860530947467636822831110889164307904260623221644365927440036889629552806946030491170322269610517680857405944267197898062135706319^4+9562*52979094053675304169340569898510816764268745615142911939325181235370849383808869750944883356227572054526827845663235189303349001244564926930245982501274234058417947781312629802522863711470549291878120462810875433446466073604215482666995792932867614967544392918558642074784184114494340199095271724820149283913152616198388755885115570024201197154182345605728337935300368188956929392805538928402934731663122818246308345646101018984504349405829039233591383812507513633290145309837723751678412024936263763569678241571093795470239367719473621138895979755414240865725750498779947991309513202674699854527841041738773038120366525873357495593109362462487394^4=448470610259736838106043382641355556241907761887912493278272381644982393559326283264406692517837950246553738514304951066891400651798412039603047508576236221031565221346354614301361040281765234559801866845686979949500063591936772392831030008774699627203130378782711343740907442504729862800304362934892181766239271014558384723615087435398577334890323011572931504473556953163720711187564048682174122501797461421138638149481696206715426404101623253061698409737113235065436540555698786289957098074567835894677694320198648396367697158210842495543588484178157271769496364983995608322979390461520866348784071275775153409468714858663906441945240604112069433^4+9562*43895176939045619312773929899413421883699025521643953576517753272828394590800932973282723984004707537743788608111969859338293747720844328191183366705016087331147994817531833272778619709763313790421534722002277554940226525405578005479348778576025961898203801837970309836785759676638071934953389287753880280752206562619577580085575157879864418222517124779616607578944880915907885332895789245611376195215488120808722772989319711358875960688344897136452929245747624191684436710657009467871157493229028768761098458259333683698816035861594936431929885249202214970565297281096612303004653741314653279723352326745521561529978141212629895989338151529633644^4
...
x^4+9562*y^4=z^4+9562*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<z<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
5094011218335063835813600805097314070327545081035352^4+9562*698595719481128914742597849069386297309596146090791^4=7368603521457542220767704358985346369091576667843472^4+9562*129947643700509318504071960597378222618588249388761^4
7496996602845281426980301474990267187995487741218074148643276064100071926365920506167356827576158824831199706617349208206716585438274242634112504045233087088596086692520055163686259005154083005540022454052908^4+9562*5036789483979836648008671691611658133422780223617353176451406256642862405333420900710621935793246696939379041762338859794730289319750571814572156804532325063259991853386016135873798737374762346237830763194483^4=43729454919016520380148367348300654193435689775155889457139923617411339665080889399873117754121428551962323862322919869490575390797857209468910690480034817868952986205292033420998939162838538709285597918262212^4+9562*4021325095062973090283344776715938617937270284867100650672755631684954529345321322715818295843070734843401997164053805526234412020145169894127389804168107631829233024806978428454371302046351579698563102857843^4
77503317598602143046627095316337649711419633232174618428360473864350955739635804006276937245064281050990284344510562807025597718889660297365043974254221443624499323816178595880532917869064197668120832227547623154299634280361380615097571451991130534479864099871798628568117592204651414889133905508529375945763029617569085220013158091171579014282684022097960289856938249265868945236184637487669382940210613212053977196526118382365349691452228728370859777950246343439808^4+9562*26629683202431524431420603793138006727922260398399804082039685945076908816933073299744091765231530108095960265807215380409568108933746790295445023939981822596363482656966416464112536439643078315717635148543249015058982099532086289569690262018845856791627858993089986747389846635615305728658116046038459754404978738916483083954070598858231609627210717130084787150387202457012217265130668265875196618279730748964985328005058544903595497756570389213971356937689898141249^4=252128370035400177276063291108112771128866589737393168148296570945740091754278626304194418867462060229841540567970148965368409975379500538337864138557576983400616068512232251991818702320551005800232183828490588290197421269791339719098408638746166514826234809334886466838625963797711052866504240225129214113674858665902362247774783474431410152965724129335258196450636051195550564777662950150760434622087274224655979799583183546993918933744791710192467982366618683080648^4+9562*17026579906767984125938445154805773626439478727904833347944338325270375186727632274735278640367914686616853790057681159176134955188713269947760017135857062347665703517046997563708909673228623717310202751692492268915464647825403486430519034669913138294964818372681972820237246262649603765684467633111499787572978523166836172986335746956726175043549309679239689498037248025408187620238909899897566302189434504185515322759207746253546812816570356241430694166403186768961^4
....
x^4+9562*y^4=z^4+9562*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<z<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
679638757478774769201423508359623839363334221499462405875070906920264293265418606709220705563863337204311421233783850740957760882881727944597^4+9562*180317796962746154977328326602003335883385291780114789784435860049424243567103050351060515695363870889431250579880928967402470075751356100858^4=1714182097915164008842797061010721693198103351495966633424364021169576949428740944261923413797278557419241404777996094599546047186686334724203^4+9562*115266014590507913491635545584024622355120173933172132372505029736093658193846188949711686657040477743405887575608283563622754582478531550458^4
1262999875054752120926837620573242123541408972727187399345283261379496970376576915683079627416577097402640124785100012062817989226553920618974837797101029458556333045555472109465983777825667139631454563489734183081711430899405528014869245418346356117012105263952947938877630011098694911474958420465091431500132289340764493765445231143886241975920891602703763181845304549199683188878918682111004594323284607895245278697185466783717471487411322032600401605973938322308197233720410933966998554697644309099181261742996968683308738271036751131399623106294859502834633^4+9562*110237222534849213136397907073682506253350447847173104830319009387508079757045875806583234171170411382038942524551795561342672657726694431011648217252139047700539891175800757520686170989625868924422846454469024307832387967587317657260227425993440387790218809802947637495893594018004798890916630227919291920728411665614514555289688591478089319150125952392687150179651675887971031853444238600233987015190004679298453088743770775577960409904170185075088709324879178428725528701252439677177383308107513266552861378613089300229258451350682131189642188606431850393762^4=1379477959991064470214193200570024913299920364242907959493863701883245134681974913271265591016955170368200175722398606352384902035743609235334793840139569591981616308652825861926695154351283623771990440523640258201705397864479774610280759547065411050079069267789225258351620898932251323133013626341659030370561508491582546312495962088079053176844360993668234036827982136033305028987589784971569200411107337106904990963357959409255272691483598803157929701606463637627659270224515460456974938345724216107720516417147570402694077503750732721979599255986463785331767^4+9562*76957769695902827625724884217458852036632907414110087645010312100722889955503590781387244571062390534736070828180768621466411855101069112051660776383984723864744673147985399674768634839449730598555453016210145702119825977566104344285509103502281835485371951564011260503324768922702966988615142834614263672034349051095070970418051178851571833171991840688552620184600936792650506108109637782929813847240653475967106726980201453995731494454948250630080682001300516908879232557222574965755559408656111264113074328855774523262018670575258819595363288694544912537438^4
....
x^4+9562*y^4=z^4+9562*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<z<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
303042624724126229218673005470965467145856614327^4+9562*23076419967412108902989755734015812658904353213^4=320898938004383138940149440814957734219063829641^4+9562*15423714275873433308071283443733412484672689507^4
186648785369084652546722712348981170256820033600546000660986090652541^4+9562*31007487402267106997840738484112236463231068152283782465966168246331^4=304810497993239169110274291883409351612615772463971482854676416472467^4+9562*19633246579513400100824224173499841260681391360612852759901114247923^4
284704923738982917052849766804530305942481924771839326702349508029127018319279114275963^4+9562*51163706117714522329020956794243771522896082090424653759071516239112310255133458704789^4=487497407445095095283455007015761328895935755585299905985676296112083565397479698777941^4+9562*35747358327762125484095574724855238314298416829629880219497107225011924206952506081773^4
3004752030550593376161088469644349657273812341973965967380905243009328602373333728776673975255445850324893418148207011800525991788230487554893110257^4+9562*443463923781666556558533669737133906722771634007317083644723484422838070799089225331533917962410319836034610534059716290480125612966114758739898271^4=4551501316716546931751191476731220917831604873402440493908461933118650301567325045579318771121114050488514975359893767708911444697310597747321422847^4+9562*219428627432313538694367619014382347801996593747743427724229382766871228855478481869599565980018908805517485413806036241685068490925361038015092839^4
3531305808508885864770440926903840021533011941576716566052152412410045666199720773839719046811254513016464572901855765236048356149098028277796392484589313852164219398040590093953834810834213^4+9562*15377967847390235883881397187452083589193934449874948436943367259446927996485468246337894505419534453824179425405932057560594956129255772099449501353056114795142264021380741635088331638041721^4=67871154664244810976734467302322917435332480849650991243719224285189413262471394174747391349524337133723852022658708594411485759208228903910755586331165099591236204620569462091299093669201573^4+9562*15223086640932777048192134910787955320891276746365497767244365610952840115802152445913724235867147680493099115548595525145491093309598627409929918139410062394886489129452137872877209139116473^4
120330205013642546908822957556667943993383717182389100292778363182001982434870095460905083536851549953622330183203598561061912009623849428963434421589803253062756445013670872112716748943512125829683^4+9562*16845282741244993796696121391689511756607761892606226191644581381914034033016040529685211551699230505822866315676844915425619207308259326217127178890387505393581133619572241136051988981526092564149^4=175888845292491513436296190239923129482248083413343413548859927613357797099209264744836003249626156248671831422327330503581946803775771363844957710196390811715677182266690170661032982698541656101181^4+9562*6965563092547420429363835472562710595762680777802765203818946231524172251700746306285182610918457906341205643947611631368681418756850074446382801941007162600527753774578886813226396913486563266493^4
17191959651083886910283396334175808876133206323918902919857551850286783722650639306839668819605923394201230442977608647273992811385333854854670940527889416740266095982940119957742926378473785938708142026904395432180923844403953139774703886865901498815624854841^4+9562*10743456168671482918415983662409930927968210660471076446167856032184671956089039527079952696839956147521755608667343499446719399056611225863182310735062963521836010270997582684351595713254086882880238368057309231675474732152548615957322464407963238800427973141^4=32890721734685914417721019139385109355942539800089781213660426567656251393146630653073352454749202857218554154958495851468086002022154578186384839724408260482745320099533778709080254740630251884143573148841500667188287789132920691126347850673732613544548268121^4+9562*10720550139515574793585908683401891171492823392675502468196991861219485950681219027168484992169383674515294933305272714299885806689455245440127309373064612430883168050062659601429767623504786469770496707262360525197044539363254454428842565966165666496789079557^4
....
x^4+9562*y^4=z^4+9562*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<z<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
56738518758309990660506423174111509126263397140324067971549573163118289251180249015554621583598784017801837702226^4+9562*8131180422343839263713724006991217554630268073752713668300651099144597747818527651381541588490726290444864512523^4=80802067872337944606695071114224818885171702520416327874262964016523340622286669993252033344088789348736386467442^4+9562*5619419071386420134108360530216388021888763572014291990392715102801145892813712907302693703217848184374877639029^4
115782230725408427958495586746134030689966213682820835962250003899723700652766165943350594967071755925400046669487534835791028655268354192641413836613262253000405322388171443937498690657383206355089654918804688615867294428602694602302232235288127853796419644304214794764767480313017067658558519277220937445095927802098406560224945120876133402856320320813265726554003877830774417534019829671818025495612442943375873630542693829352398623021746250991^4+9562*8423481770279872087256785752447078321382787717720352909810675289054669002171601304275970699757300858045167612891884176736202958404841557152285089476016639140138863758943622839946318900853810870559583231943948843558023312619925068129804872117457178825180775171469000976639019207882201949826760061876242225154508849586344538671377412200551622747571281061321013486518495231101281344606231838300967639639927171902289565517304839530079850677016698324^4=122193186811462640787894979502999754892540900622868544170412031291994895464234574333416264793026211439826712567919448885824838289128744296448691115873130550213227139437766696941463641079433418065797570067784288639661510565086344630736405073150602989364936712551509179263837716814437728908914034186501839289189976494430458316642325177452447844826078821373876367247931844551397652593779439966757139264030549813800885987334068568492765892379890295569^4+9562*4760078292534607613314275605666664491340109466264519648003802493471129109903939367095587942069040564087072813787933291002597453341761497833840929898949040732812111159174906837680632945396547035869346003955605972818471234629267909024563250481757101357456736173015066977170312635641824092480751542287155457100766739682314963575731665585514798764852137883829218804273942819316575596172168812621474057686723245945139647350804988592727125329505815708^4
954248933514534303456383961942278348845072475107296740365414667894170669532197449846182249814610281834622581931893668486609899707132125176273535519989691923522680065527336403811948210999419818325228663953437080813288552677132374060610147100930818357130365112539928857750634705087568857287196400852974754279872457626232070011811391525084823293053294289540438327482698189372305768657047387780948572964025038902051796745093914014895028249977934393491297610199493967799632745185631590020893084996077173859485829636267365937247518843788059654152206933860062881281754098757328116550461215100731781563773523412340486711088131649214525878382987713361620435882448886798370351171127476201204910195924068686333544635817827710931573202573103797884454314043528215359258868371620777319064862413006879114912829258569590141654038723451513930730754221157264668061587929996440345094676397825309355819235419616860904137730910543355267183851960435648823753489485930434719298916854744024801542039494705035336566779473930894^4+9562*111033319599044043524736049074484050891749260148130842600332274781180880918275274058661078708816667189654983559231434121638756866930684004340255339193874827035263078557002181601327790894821043511227593727913998046204604948490504220034528881504600353963585356606023724429699395255290985210595348925844275100222665935644781141390372647884953699129860405703400703614263906164895867588140713005277315773424792609619915149249754708167654990117356496650671820901763996874089462549435633536381493614077562572827212717420456675096792603605641975399905475651361166058751550451535015981722954506546164660237332821139201074158654659355662209246005828877268819485538606962201307190780780257811068080117614945241317652393310957079956716345631082686654380018670496033746546542489658068915869274458258244568837770741183458095021809767778209897952057105076546756414797454807399130836240720448570838955399159111705263511729318141796274337214109497147600354677342620222710354297824033452937615786902168627516602344298149^4=1224542315816310876872076239690326776076908189392587011699642547193134403921503195402857161299703986412627686849787421847171451750554662249839113242062903671869617481891559503961288272709153686905820549104068745813680106657130879539607566735344941476471940176325871244898650533544240681159636711166701748803028069704232193371352037357150737155459763989792340121908985860704214004570834086806013961956884850019378912169691959731570947301094822752885176262367696823522503840739443736231275139822808813244133105742310300754263030728309416581863716073255623334459065839523268490796512775841634525436473019087657914326619136999285212488081315356943986423282520691496876923555128112670449986845608585857687533717452842912699972953606115195719309898076761721541107590588957066183337098754165930616299385826561958950735894075950983787287352172093695802119048072847192793456776160181992060510567929676803011090834572956298603737710179569309281130229694259373560669478078197623948176093369792052935197090791535342^4+9562*43420041716256855569945252495829336097871148014892169590655084818226967304185151973724584996951163997776504965279282084396415729310765751982931930562246172020129730793982447055437958653598309963396340643875524811161997325794356053678282338160612857088743251271657639654881078148521485573656256967714007484437683823212432206918567827581282793673836565869114607486471906024765981505451686437617192222495099457424150807663414272790013039092293994431544551765780492110408306338457021440979680572626231361256945057461220363197785616120847697578099746860387664328283729986145197873163651631112546124162378993327900420430491254970444424867324253169797459028788138579802448457219583438900404291130680581246676108540983443930557427101804001790405953714605793213024151867416792710668265777632628327652051696683027289951752677374775993848675343430026958419276712745622571361792194911941546127520320875140927281118934917825824613581768252594542329211155988201972358537829863737487996129284576127143129289837190107^4
....
x^4+9562*y^4=z^4+9562*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<z<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãæ±ããã
259646487347586721417490749753260479167648661188299189241148680061616061527821762427674814362316668873635521954041216455556831452266184966652609344726459842822^4+9562*26632019040844790151356525569057202516760842308391194213406507784261223531882935151263885012982876740673400779321376875404829033741506242589756273559283499379^4=299096141719419295395550726394331245945246395579831788544326722571863325451774400853198864577000136565399303288419997541395954524408273745195453955020831274818^4+9562*19392577726293212823046780512192025390436514481730171640301208477693917712728476345180840237481168899717677444120534391407481217090930665710229105117483171283^4
12627336783119435478968276934286186451884147284623795253144525042648292025152662857762122694418537161155032571769941681835104731865958945170065288689968740154787742952627176478822367121397041704183876421817142794554120359344531479735250570608108489923712755435689827432852645537825473104857113719166792262413143564708880692664801044064796998097039748321956782759158265537549283685124852954220167946381332809270236223866355010996338427017761447558087529437815156204027486636251832505487921687499012187104833981424525686047801460158081208963287525560806175035215375202785221270292265431711640683078487391571467373725922495371252766882^4+9562*776586523185486250570051925928427966866540289853022686999395589870296432533898713969046011793471217190841842301290774553243049247427678237691160498091397515792490345586482974423316205150582168255841523016560953609079211538463541627034069943435189643999623759838425451713970828530892413282568833017216022688233911105904215222945382686150700900772798425056994403816844989375892716236217097926590407260112877733028941727861697658195913526788873885713952646998307236458020977494396503856268087202723765775138693515398717156945481193576099281717218773323227843241800529037909565686692516359443591666955809451213331062912999720619876647^4=13028904668492031404599579973934053319478524669948539442297161478794897706968030770132584743719383353360282177841986482076622078193234248382522436224265914841379067073192192742965040605684650117292823679502309048273522402060392182650814411329391898185587327003375572912443676656606526907537031530464407611434123650974640176704008932952787279807917936765245215911484436961292969656767508550461094219333407069380141272396624939128215644498677533944680189456333061307871548297070571113263956953890160044599763693792856099484944271138107484915836583875629737877623841705328538662773005923784815742446169614374325887325429193320434526894^4+9562*308090656917457670666865046339249954673100006974154466321319747699256470415969482870173620942483992951383968550571840938139478532273157823157821708078027048102612204927297332923530473481705686295403055717200324269776828369959388225542922435271213338479290264205055725524434523286329643489331386503331448830423810462518150510536178983495372238081578574553822392769644995008259082653118902312176422149359574271473051775880114837672493132386773101355849292060751281973282373205868128117560276413051265364387362419013234813612201716878777337076650739362404527098589609404039274459161942274072689071326549514545065196821852113241156633^4
....
x^4+18311*y^4=z^4+18311*w^4ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããŸãããå
é è¡ã¯ãSeiji Tomitaã®äžèŠ§è¡š(h=18311)ã«ããæŽæ°è§£ã§ããã
845803366^4+18311*275669291^4=3210632464^4+18311*2545897^4
40297559002770272983991669692^4+18311*6682890166265948367248668513^4=65694963468150252929528402078^4+18311*5786818359724701740224281107^4
7094800227603850273094074002091777^4+18311*31398249761323953807828081644436221^4=364053777443415752663781656358505491^4+18311*10596924028771564120488104515141863^4
34420501997850750491123389740103019^4+18311*70742446521892510080975886152486367^4=821058856693927050108008477828257393^4+18311*21803242265881172226892947740237677^4
310047980656278473502726938801009129199^4+18311*45687090460050127461663132521721740532^4=543065415633032211634175440612024584913^4+18311*18273274580432040622669191132190510448^4
274126910982393401334446908011715473119362348634643661424446^4+18311*99895693168344421147724869481401868561150987038107950366615^4=1162947126041813216577780819984105144285410007069092521676560^4+18311*4671390956293204175020296632996916281913443365944856721869^4
194051533309060111607897735077318524634826965806482405772962965036^4+18311*96302995621447895826119311760651971077351519469938478372626138595^4=1090019455104062448647045084098563788546519234398548671068181130050^4+18311*54764179485978287733285725789451830473395092318888707138096696121^4
531272209215066205511278533491326522338180890636579320889220802612050507098972^4+18311*92149604142531956935310372507566917117360712929442435615546418804342624153897^4=917956596231948057355758025921191098328273642482577430326495238720124008757326^4+18311*78347902380646191637282163893905744137516290966928946880420174293560260064491^4
184495463313511568566597877466960976273861569783548334077343584960414099704081342565608931115589494783^4+18311*22471778162264817999671830166253445556737915650102037258881674708813446699594550713979869602753048318^4=194632906008683917536771919342257163789038126580798416323186554891398186547236526142526440076437555711^4+18311*22131559405052298012489322399536923862426754510409345141180694685517410506442845604624291713956016446^4
58609350451306116941429054091711084555652088886145548077821433909624157976642441410963222467597503401815593483^4+18311*16879245610019505778226392907613497818719351026980153177853644083505374446135723599508258423557336232476563133^4=184338782756503877005908130084461010765963025987246858456986560904271247914071610130915419806103081398939274271^4+18311*11702887708546375862636805230759689866176544840477777002712002365188202717477694228948052432172144332318127191^4
....
x^4+18311*y^4=z^4+18311*w^4ã®å¥ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããŸããã
2058516257115494225881989418107119989469227899743716782847778435868813395798021389653635966043342526411045763736^4+18311*140816563264797664543165686455568105100816729257441107392998881857135335712200255180610547352933151591708179239^4=2239485634325116509795768123392077593482761626918563673845608507127848848546217577933295627208853908361797075674^4+18311*20170311791716141933979882932263035758460911140876513394445501017778367213402796327504106575925563624540637947^4
161695921263337790762396768802689480717103295095507313777382268628824069853098865957870902817582794589176090513891917759150172047825380221764746136144271643877993432648719387740618680810489825352729258103765311843020344985918434609620295431478977205916192372941346084701009581077039315284763409163031225277882404504257140928941099897662716342827568771794507172529837154064894601439273536090286397502679545498844977372810155938391758748088233835618949^4+18311*19845802461189151015513084540871482718329809172298360522065925231532458386078843974549489116439959560701220805362472965789143011307857188750157519516195568016286208414226012256463410411496481579571596769576393270601253441156493175952550481899282786604674830011524105315488065020471568387894080910826790085655436781044781946484778074552557307825148321461703953649555692628132948487051048599323165713589862177984405553668411892083367280271761055339773^4=216142673387597074462953327671256283529091259160308065155760534572154016021304114990626676791042225560906167990244330490581429446174447861425305601576835547964607295055709339067186031723316896127294869590940212681755442471499659246184478037518575386305771502130068444945322889982022173227440144018464566042416205385573905243826339872851341610101716560997304057016666254707269541826241215280589396816315586455190811906456187221790649406031885771505447^4+18311*16452032288317038118191288038173052489662166870902140396852918730687505726057988713954360199199661087118830845539135521831695254258187904356882124105513701374789699857100621961248156863721565603472144221873540621888811549230989915090237922127116000321711256114290801514054140916183670240557075659462103757367097139833060930105381908906526203690950204673493969341663707800117011770927404194212167162167498459579484135428942296849226491690673568584559^4
209106284056811223469403015630853341440260835503630932030545119191403679751909684797129340912084184614485914499720958138494142698137415979795495562123094075896654999823438014732476861764841374375795486647490199995953860115526184815051222068644149494919635888717466750686100542146071462467903038737066222728615832938766088870251203613356768456744182126897134782367625825844123014766103810561387297161366550457161601775477576968582862961026003977652811998084559645924014078054758188534580878411980081269449805290069297076532213639706150672261901335246505690901160006828080307762530679115993065568911378196464415117543435352028034427100411066381703222702347471104160258528110166741064789277994006952255771096827279600317353041686081440441430835923638087368261710074370707872538290245174538179039869232159611844332031504710263915773983501851440168109295485358352373872076245141856458953065442979935305402088114872405848438508986512859891218524272075359176149525695630113491062337790453645469858532227728852269522^4+18311*22016122299032078861425577370359809808518197315197109116574572907013996062659477133723832766605629752215710448653585690779186262215425198234895829159279526948513556236649573496439421703090093434375605613689147005568521824787961164176963878368142799593935478837578560070552219799545086023646933549854478730412724369894759303032684600894004406276767737245113873089435898896748380888521205203853898120293717841513353610623599133688835786510441025970913744551141265220371352755728578221167393504119235976885977935422511399756284741150488375782092390743765066160716961361919648847201763855994435373433366744175235290454808492111581887436822386464506932409139300122636917147051672407178904082198168827352038118564894271617390051137926562629211023049363872102377813397529468341304710211222134132605878509082167707568555027765725553134816857895065953468231458272486315403554034592790127096305945700486609816714945257360450505074579329402994175291701801710146122541119788662364399098250761661836559745012886428470077^4=266122085724986442555294986855474484387937757877930707499168995149996261864850220874629845712707555415743422268278478328428035401478336919382314358642815300188486913062326665146977401858424400345023027653258931394345239810268265820092368404781289328069991655059045975769327796364229845952759448969094049308174488095615938959786838867286502958432266808787119204392757727355346008200202658899626219626113175498710988590809211681598807788286208139776947487532425539898887068703146542930359176648003024171694085713335426858656485503791470304689960407887837575972002684910551227710059685958696005885987331767847287626584346121086363826269753464346654273173889046428399726857940794580287831128935339044594476161659628407974320970989214334330479204333536667418934247565711682074184579577318342765131976286593830513853783329055108284377057794359042894916623599590778347705928360891253048805111360965624065248704760265163872733440689456962140468746567929007495806604927443382670392154887258588762743798021448749238404^4+18311*15994412146418067195835736779387618823266417601002741195841344398714392012634213584609837100476617448622628063718094435843408873345188761489650035187201289246041052589276193446560938359298590545109421723490007260025731305040092839183800345723283755839635032056807589984932616345893836299590673271497405655959712401338474089991072235059151928181955384014875741593985368777400281400878027021638716856204032186186237599597490674988460764996361748778509915080769330762877307676530324709351471986562725957943542346754908454993229834906391379169946991017122857219844824026394297784484240705807524837950602303413346382239132020593971045342739212178793767905221750093522728406168746152303123818429385900873765257990004933487255235064162033296821222557235181264737211596697847793126149343540402258122192860540644738779279521797504025933899337110002531069987284549131000485680709240140932805057999623305896747696151671144899024879889299998505324856495434055400315511701420183755154113147108300358697098849593502842511^4
....
n=19531ã®ãšãã®æå°è§£ã¯ãmax{x,y,z,w}<=200000ã®ç¯å²ã®æ€çŽ¢ã§ãSeiji Tomitaã®ãªã¹ãã®éãã
428556^4+19531*173795^4=1837040^4+19531*134877^4
ã§ããããšã確èªããŸããã
[dqde4ã«ããBrute-force-searchã®å®è¡ãã°]
-bash-3.1$ time ./dqde4 19531 -m 2000000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 19531, N = 2000000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 56048688
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
428556^4+19531*173795^4=1837040^4+19531*134877^4
Found 1 solutions.
Search finished successfully.
real 202m16.883s
user 202m11.729s
sys 0m4.763s
ç§ãå°ãåã«19531ã®åãè§£ã確èªããŠããŸããã
No.3289远èšçŸ€ã®ç¶ã
(è¿œèš 9æ15æ¥æŒ) 11354,17495,17977,19531ãèŠã€ãããŸããã???ã®æ®ãã¯ä»¥äžã®6åã§ãã
9562, 15427, 15815, 18311, 18471, 19219
(è¿œèš 9æ15æ¥å€) 15815ãèŠã€ãããŸããã???ã®æ®ãã¯ä»¥äžã®5åã§ãã
9562, 15427, 18311, 18471, 19219
(è¿œèš 9æ16æ¥æªæ) 18471ãèŠã€ãããŸããã???ã®æ®ãã¯ä»¥äžã®4åã§ãã
9562, 15427, 18311, 19219
æå°è§£ã®å®çŸ©ã«ã€ããŠãSeiji Tomitaã®è¡š
ãhttp://www.maroon.dti.ne.jp/fermat/dioph222e.html
ã®å
é ããããããèŠããšã
Smallest: Min(A^4 + hB^4)
Search range: 19000<=h<20000, (A,B,C,D)<100000
When h is fourth power, it is excluded from searching.
???: Temporary smallest solution(found by using elliptic curve theory.
For details, see A^4 + hB^4 = C^4 + hD^4 Part 2.)
ãšæèšããŠãããŸãã
ã€ãŸããSeiji Tomitaã¯æŽæ°è§£(A,B,C,D)ã®å€§å°ã{A^4+h*B^4}ã®å€§å°ã§å®çŸ©ããŠããŸãã
Seiji Tomitaã«å ±åãããšãã¯ãmax{A,B,C,D}ã«ããæå°è§£â¡ã«å ããŠã(å¯èœã§ããã°){A^4+h*B^4}ã«ããæå°è§£âãå ±åããæ¹(æ€çŽ¢ç¯å²ãããããã§ã¯ãªããå°ãåºããå¿
èŠããã)ãè¯ãã§ãããã
ãŸããMathematics Stack Exchange(MSE)ãµã€ãã«ã A^4+n*B^4=C^4+n*D^4ã®æŽæ°è§£ã«é¢ãã質åã®åçã«ãSeiji Tomitaã®è¡šãããæ°ããæå°è§£ã®æ
å ±(ãã ããn<5000)ãå
¬éãããŠããŸããMSEã§ã¯ãæå°è§£â¡ãšæå°è§£âã¯åºå¥ãããŠããŸãã
ä»å確èªã§ããæå°è§£â¡ãæ¢ç¥ã®ãã®ã倿°ããããã§ãããn>=5000ã®ããŒã¿ã¯æ²èŒãããŠããŸãããæåã«ãMSEã®ããŒã¿ãåç
§ããæ¹ãè¯ãã£ããããããŸããã
åèURL(MSE)
https://math.stackexchange.com/questions/482523/is-the-quartic-diophantine-equation-a4nb4-c4nd4-solvable-for-any-integ/5147475#5147475
9æ17æ¥æçŸåšã®é²æç¶æ³
ã???ä»ããã®äžã®æªè§£æ±ºã¯9562,15427,18311,19219ã®4åãŸã§æžã£ãåŸå€ãã£ãŠããŸããã
9562ã¯670äžä»¥äžã15427ã¯750äžä»¥äžã18311ãš19219ã¯650äžä»¥äžã§ãåŒãç¶ã調æ»ããŠããŸãã
ãã®ä»ãã???ãªããã®äžã§çŸåšzã®å€ãæå€§ã®12391(z=9262933)ã調æ»ããŠããŸããã
ããã535äžä»¥äžãšãããšãããŸã§é²ãã§ããŸãã9262933ãæå°å€ã®å¯èœæ§ãåºãŠããŸããã
#ã???ãªããã§zïŒ9262933ã§ãã£ããã®ã¯ãã¹ãŠæå°å€ãæŽæ°ãã
# æå€§ã§ãn=12786ã®ãšãã®2316843ãšãªã£ãŠããŸãã
æå°ãšå€æããŠãããã®ã§zïŒ200äžã§ãããã®ã¯ãçŸåšã®ãšãã以äžã®5åã§ãã
z=2316843(n=12786), z=2415743(n=16329), z=2634409(n=15815), z=3458429(n=18471),
z=4456855(n=9719)
仿©ãã2æ¥éå€åºããŸãã®ã§é²æã確èªã§ããªããªããŸããã調æ»ã¯ç¶ç¶ããŸãã
ãŸã鲿ãããã°ããã«è¿œèšããŸãã
x^4+19219*y^4=z^4+19219*w^4ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
152410571817483941261283620076631090775649319654332114178022463060295059101309872^4+19219*5356639584518054695121526779273882253653131502676002147100420100241509361562799^4=153488945804878263238192263004575497556647065883040017717006620443910421086108070^4+19219*2121517622335088764395597995440661910659892816552291530147947949395423407168205^4
20675560367925797750564307973700495931475820370003603739876373056643090265976107258520984358656624505641635263206634560193600757303045353332092009832887451712978948146870077535812807988473177568571254997569123367472649592608041132375052946684237710455800748633706239096149342446128192700829935332305018664607557621836912431^4+19219*2033259516947935279477154328530015351784274553534915163045167727532294531217435009083978843253217818546360766818458543068577197855007495672096469764007135653646410103226633060995343393476038221937936460793936175526781824143749717893908613976987696150464955839052826437150774859979520182685704114190098268378365991377137627^4=22002701124995676453633915028298662463067782805727633188493864153161479333768578301874288394374860729254518348601575281942096360756361237281799117150340889018658359251508181929205767911382794006620402004154923121440892657130998852118122813674395768236423983767592099726756430077113894234122403803432896240121056058761150565^4+19219*1948162754261700829731666835264484242991612753637173182807305562022872672159978120975933263901490852292288489366363622176909612504940156177024852188353176263391823210687680119183536375252811092209504558963463086377947369425123441335300986993486477191404749562604755454670488032977584417191701299193534458162129319395576775^4
79488831274779870774653166157992930525411657233194272074026361822001235522197203897152637337469463186165222592081241949060222369146468448927580100419849101014927964382480385205319525186292236953217668909647304989460283804632492051636626169794492462684600127302610190215946929720163746936015918333246496660256583849689607880105284215791255600627367794799067498662093095701528681561487719070964499024368804288468936320846686957722106665810238937469806681688295512723753662910126142490070304609270815812201690405473198286400073191756478023154300094667624679883639813786081668219843268545978805507454673709562374655481384829631597404332530970117199541135185249082403921913615484176073604983133017122817590894851827732955239322^4+19219*3599608348925365814065374279481976113151057056751648174687978695781413538638682900478467381370332734960627186853212953040651520569761777803990905713204531354081161689546550961345588045529772613058445376859983254991332389399337923519569830699482478888866933428490706744747030866197428672576081821938118489490104502104159980247046855246031613129606056743912514130984662628028034087043484896284269284632235699290008825686047803347453418906747096996956488925485240839013075309579127192090412482267490344666432041749888782264754433744386658510249933090548850320952676360313291589937516983305117267913282326424804793542769974961822534661198967858773856601799813351123123700121710091161792520994399593399176212323186178436034509^4=81037597157793516864144344250186924209035736836131853198798259552348697420884407572023396832076434592160071238441728294551219282959383481197541504191717137681957561704329549387584810632727615112094564469060829622863975782738432368651109240374040098751841673442567914000918772323677166189742044937358913482632985355737143661774653970670832921515718244023415452084242544014922644208239326264238066617729901519215198549143898530733096216203131472022074423897454070749841872345714339857105237139479353533357624457438309931597576186688971260655822869177298335765223606750825623340500507580936001910113895304094587375912526374856190787940966577130290873658753578339138560822777346509791196264078299596984423939024593006507776868^4+19219*1046689300115572454408159997100004937721181752061095199627714495260972157422928124133811102450581483023918752228246083432339220868983319005893305602399578647007630276000941585450268293776361863572241301380590645219743544918483027523879381039160429312857704991382464610168496944342829088602297990399131977639100016038447364761062409392700349535445290929131346135463682312153853853211336683536433495451055992948777859205586915685515232271930506659846737701990433239251552997185464909014385108358122818801370114145446153327754551053093053994318390438472117323798702533918573772034200121566471940064382457171833367750654660711957616164107853180500140968905174419080793027363876909990981321841447829101322920195109642221578129^4
....
Seiji Tomitaæ°ã®èšç®æ°è«ãµã€ã(Computational Number Theory)ã®èšäº
ããhttp://www.maroon.dti.ne.jp/fermat/dioph121e.html
ã«ãããšãElkiesã2017幎7æ30æ¥ã«ã
ããx^4+9719*y^4=z^4+9719*w^4
ã®èªæã§ãªãæŽæ°è§£
ãã(x, y, z, w)=(195094869572512833, 14377568349438717, 62388694687774103, 20884354073695547)
ãèŠã€ããŠããã
ä»åãElkiesã®è§£ãšã¯å¥ã®èªæã§ãªãæŽæ°è§£ãããã€ãèŠã€ãã(ãããã¯Elkiesã®è§£ããã倧ãã)ã
43938199578841830692004472163077033372043357555372513598159259067041701868054776^4+9719*11229230674136694938483221750090350187124728256135514895615355543533109838039641^4=102665194434130650715391733334846582615695797955527827329831284570599048328403858^4+9719*8346434277626245069312531973832832894092751877249589681608652957652672315410053^4
273776412190928217271701875886049501379163401840129400262352420851181467160656207392603532326250833154017553138612261559049420103945521275196943117681879787135990499267831353508038848287914567341847820023633771711455666918027042595078589402083968735768196503411812465725309476358121129250654019211613330799041130837258638383^4+9719*30745066646714798806980233199117780334438820042812102197970980349715361708940636334646329699820120790616652128606404409474904653882741313366589357983275056098929075373779221084223292113261131104333847984769800128921651408630426099933056731969761325441137021628659339844589614530209731827311359411084400046632945964576196939^4=345696273966939622870776734745261911712979465117798722935524198331833750644831859037278016208072864884772384568910408922387517030968220942909558897460339811832767363189987870971442815776300244975210133025792566994665279213643912898895791447048707138074717636952695771083459927441538515789831204767580149623869316663236473773^4+9719*6771779388044330273955280246046976889833465616922327973580387856164600547548752453088168405879443547031708318507021955028872344875174757462384098057121714533336787399727048596421969617132571893213076984050201701185113976758135998660656050314848524672296643781698238058539464169070602980918964225762127105023550689250251809^4
150239881604780907653843047363432621910624218870975039404713013477658476209143065642121946424940468898580173047650819124729915614559440872778439585949783781606229772791967186671348576208914989776229068526898770631191171685503621650119123782011756991888461178262400883865677559286767278109974299326384179656264771542817215914933028548274873967726249863671234854903917437586126100168062235430554150145116448057432622863829796371886937015218839313577482056645335418924535730621613934538725339490683064654422582867260784334620584238068599192163329215814194352959596025317860323809214135498446503720133685517900788998087472580582745703337423684374619006334811427207241343297133274048915439561279837093931030929955786390744657435132^4+9719*19989242742409064452304530214859567882301839657411524281175897228195581581774483419477629664381569376411610574939077251786733984903034944031527631600882597821176427371122019639813969258005764262822876651451259753400362643888446586149318032239059650177053382502336172141499755193454096816593872944763413234170317943247976599377160490738770952648940673135255430671021018850624603444577622564793077663851870529053846948847487574346039227843066350476457781704350540885651314852258870306925642394463515635616131090226231452171413073761878502257043869715470059988794456676176270303077695986887157104396216926165366248056025706065645850570070231288583201051750851451650813266509482167925309082630945047972397650630317620841902369607^4=213073408533071200466438315679773859414037807389330406818425944940464746289411415759600423275067155462507333312133791023994830768116108555334518766845202411349358166562379974987923855129643518502269669208905312598652867296660004396539147623289457335634838420884610386075487310262712357936634051223892005037707052117560085992718996827316408549947643071070429428920436944417231817118707380140998051362007420229419032234485566431316560940994846053710995668809402455898522520635456012527534416757937244295240396119508041746046727462100697343451561233302750700107761671663720402579847661487766317836330641755751991035547189175375609821259826478937420536944736536495515915593870655150117897137191098566545649906966649886592024687586^4+9719*955266233687699818560559223920844618836023182040264856728413259406508444981633286348529285660659478230776179888580047968237732949187616820498762030923612093199703885682243132377790382237078645857323575884254235753535893163680995990689914853507131071739031705066995261770161798527596458959377687739195226310442248332980093218162268941740574758190395997809427334485483426410635538970759005354889408445120194941622841371102445463835414082269229568046755683671804772344281819021822356010716694621210911323139993856187684970634667582154214839033469447382055727260758772443755953800146009552780934336101819785034431097213158865308855404064033565683975818224184977774044165736311532475510109339475442899142008373303544440553381211^4
....
ããå°ãå°ããèªæã§ãªãæŽæ°è§£(Elkiesã®è§£ãã倧ãã)ãèŠã€ããã
219903949140396512236362361858828356^4+9719*14513986665994122439174472171533629^4=229336846750635711203552439045328694^4+9719*4351808554484275495205682201467047^4
33595129708494551806013881971116396357402304099765925669816700115825158554085150647628229724967268169347760186451785912302894151674422369007^4+9719*2150855528188626413735718196927796034122504489335318578564297348415275179038498890262650315744271281307249793772252411770670926960928205161^4=34887754680067931683265474897888192125519382540722695870719146415610415790895367799361939442230180750890985443639593784607382340089588871461^4+9719*434394414958133340767467656615795502111652392578221823240595251155239294581935413204769118781553881779200720603363332838305449869404799747^4
27694214951494692566190846120426314807864789961954872222762575135737365233347741327531701031592267881697812722391147050729892040626296267663546245324954723422455874694138599203175258569454547317216890280481933134167643927770979358615791026631739900663110075942517764251454333931958564094980097762756498452722936^4+9719*35201107622302772226809783318238981375374682311784177479206924016149916012457366567271738830550797782715254020325913883581252199002833989640771337243989051191337400825231901744901846695069171655427602654515295065337949775590164614938124403638437523977779568654398830155298900585794458908425800315413037301932941^4=62890881484811194217671033362210347883355855875575035139997705034912144428878339305873820141095999152373278321296391001511033812482895350196158795121824649768715500132188680767232548616923351936499204138514607304984247650512112522366370814064143149478186099682217597605233825476224034810043656222301394182579178^4+9719*35192225444330231076150591165329084775607449515456148355263335782199642378603829389412499388456664758635677177484574017981031344710364175424453762349750801501181850050868261383212733399868437583137025061550053276295257669892101712563035171226368973652372478825000836552260082502736482521701316603676754157779543^4
....
å¥ã®èªæã§ãªãæŽæ°è§£(Elkiesã®è§£ããã倧ãã)ãèŠã€ããã
3731738952351029597617787188439281091238499256318797^4+9719*133709279078051674371527648441931890546563834925230^4=3745861851349052004196125211263585323437186419248703^4+9719*63094784087939641479837534320410729553128020275700^4
1507943293835051268119298410144596627523341867566834192392779356416739941452441559104620435861848509845802374348347096794808363702660567870499835280794551956521928362617793076191796615705430948264497808107^4+9719*184089047467184011444301471270731894622763159518780035376103173799250423286441752311833439549773150067294972694352434676079661840061204459982442751395288357473150882211001464273171267678013804749501123385^4=1580661270853855478336311736619236446947497372740459773297663701849139177054577273593166547587983579546169166219176956402618073497312163744682177331828127514607593780730480386339876084656314380328365529393^4+9719*179500837626837039640765161102467202498014366349347869148318553362745754724236820130897119080902198434538986659796863362968887133196774910929267503772589432955176208352435086467226077076403355569837483045^4
5619925937637579992258205613016709687713194937507301937051474834160052809300773756698801200957847289583313064131514756870034397548427546306096019724928936042853609298153146324380607373787790785940925491849003369821854934654711916364317427107620816357605329648458714456991554300083441186127854657483608577976819458944072253619180796157246306874848708252471964430433614206487473113287990534940731514735103627817739848122066016418640221106705259815572394701647^4+9719*257633533436728963949448893769683469708238274131471080450373908989379921496818668919229189992232464793991424395573707725996743280049023184489457707726857691658214722475780322961499124534666218972867424853094392150680920554949916345044089234220247157819630353519222512305592845897326263743604590356232627499280561933876448459392811123745351316979791216508781373734411477502866345536512039153144571593242072903356642743654402272565023181879752111494598174160^4=5679256642055848995841675261263614816971316838005678871408280186486973687113141509124701651438450506531940677430962529722587000708368048121784655491387660351914752137324268765919852037994883049743524515556039754272388517290344888348819114522642906666377329165529508260116511825044531434407204924852970961316926296512179958694415115488400003666024683181235252928530610726470442105827526229850773692894711736457772310596838289859680318950124601754466888985853^4+9719*39019988654616053967899347464842176582371228360413591333652852645224467565020093210273062410783619949146642101665156536766272519653485893953721124566763853647499473379831884734724196500795100040127693682087530101986992623214943577464347840890204386040367231834746503319194778908124977653146746490579289201253625906662076916778785532023132638900083427307661116750571122411978617161166435397066319204798470296805669630206964932635466035216957582977873246870^4
....
9719ã®æå°è§£ã¯
4387435^4 + 9719 * 223114^4 = 4456855^4 + 9719 * 51748^4
ã§ãããå°ãå€ã倧ããã£ãããæéãããããŸããã
ããšã20000ïœ20020ã®æå°è§£ãæ±ããŠã¿ãŸããã
ããããããå°ããè§£ãªã©ãåç¥ã§ãããæããŠäžããã
74^4 + 20000 * 35^4 = 282^4 + 20000 * 33^4
36^4 + 20001 * 197^4 = 2337^4 + 20001 * 62^4
546^4 + 20002 * 229^4 = 2666^4 + 20002 * 123^4
73^4 + 20003 * 7^4 = 93^4 + 20003 * 3^4
94227^4 + 20004 * 4178^4 = 95811^4 + 20004 * 2396^4
19789^4 + 20005 * 2904^4 = 33873^4 + 20005 * 1898^4
89^4 + 20006 * 68^4 = 551^4 + 20006 * 64^4
732^4 + 20007 * 199^4 = 2346^4 + 20007 * 91^4
502^4 + 20008 * 83^4 = 746^4 + 20008 * 77^4
887^4 + 20009 * 119^4 = 1467^4 + 20009 * 3^4
379^4 + 20010 * 40^4 = 517^4 + 20010 * 12^4
48159^4 + 20011 * 9898^4 = 88181^4 + 20011 * 9096^4
685243^4 + 20012 * 110194^4 = 765627^4 + 20012 * 109026^4
10697^4 + 20013 * 724^4 = 11677^4 + 20013 * 46^4
19932^4 + 20014 * 769^4 = 20096^4 + 20014 * 543^4
134542^4 + 20015 * 6671^4 = 137662^4 + 20015 * 4495^4
714^4 + 20016 * 73^4 = 954^4 + 20016 * 1^4
269^4 + 20017 * 176^4 = 2086^4 + 20017 * 61^4
133577^4 + 20018 * 11323^4 = 152033^4 + 20018 * 8671^4
197^4 + 20019 * 48^4 = 367^4 + 20019 * 46^4
2474^4 + 20020 * 353^4 = 3818^4 + 20020 * 287^4
>ãããããã
n=9719ãš20000<=n<=20020ã«ã€ããŠã®æå°è§£ãç¹å®ããŠããã ããããããšãããããŸãã
n=9719ã®æå°è§£ã«ã€ããŠã¯ãElkiesãšSeiji Tomitaã«å ±åãããã®ã§ãããå
šåæ€çŽ¢ã®ç¯å²ã¯ã
max{|x|,|y|,|z|,|w|}<=4500000 (é©ç°ç!)
ãªã®ã§ããããïŒ
ã¯ããããã§ãããã ããå®éã®åŠçãšããŠã¯
(1) 0âŠx,y,z,wïŒ3000000
(2) 0âŠx,y,wïŒ3500000, 3000000âŠzïŒ3500000
(3) 0âŠx,y,wïŒ4000000, 3500000âŠzïŒ4000000
(4) 0âŠx,y,wïŒ4500000, 4000000âŠzïŒ4500000
ã«åããŠããŸãã
ãšæžããŠããŠä»æ°ã¥ããã®ã§ããããããããŠããã£ãŠãŸããã§ãããã
ã²ãã£ãšããŠzïŒ3000000ãã€yâ§3000000ãªããŠããšãããåŸãã§ããããã
ããããåŸããªããå
šåæ€çŽ¢ã«ãªã£ãŠããªãã®ã§
远å 調æ»ããå¿
èŠããããŸããã
å床調æ»ããŸãããã¿ãŸãããããå°ããåŸ
ã¡ãã ããã
â»9719以å€ã¯ãã®ãããªåãæ¹ã¯ããŠããŸããã®ã§ãå
šåæ€çŽ¢ã«ãªã£ãŠããŸãã
ãããããŠmax{x,y,z,w}<4500000ã®å
šå調æ»ãè¡ããŸããã
æå°è§£ã¯ããã¯ãäžã«æžãããã®ã§ããã
ïŒãšããããäžèšã®ç¯å²ã«æ¡ä»¶ãæºãããã®ãäžã€ãããããŸããïŒ
ä»åã¯éãã®PC3å°ã®åæ£åŠçã§10æéåã§ããã
ïŒãããããã
max{x,y,z,w}<4500000ã®å
šå調æ»(çµæã¯åã)ãããŠããã ããããããšãããããŸãã
æ¯åãããããããã®æãåããã®ãç³ãèš³ãªãã®ã§ãããããããã®ã¢ã«ãŽãªãºã ãGoogle AIã¢ãŒãã«èªã¿èŸŒãŸããŠãããã€ãã®æç€ºãäžããŠãCããã°ã©ã ã®ã²ãªåãäœæããã
ãããèªåã§ä¿®æ£ããŠããªããšã宿ãããŸããã
åäœç¢ºèªãšããŠãn=2049, max{x,y,z,w}<=10000ã§å®è¡ãããšã
ãããx = 2476, y = 549, z = 3842, w = 231
ãããx = 4952, y = 1098, z = 7684, w = 462
ã®ïŒåã®æŽæ°è§£ã0.5[s]ã»ã©ã§èšç®ã§ããŸããã
ãã®Cããã°ã©ã ãèªåã§äœ¿çšããã®ã¯åé¡ãªããšæããŸãããããããããã®ã¢ã«ãŽãªãºã ã«åºã¥ãããš(ããã³ã¹ã¬ãã3242ã®URL)ãæèšããäžã§ãGPLv3ãä»ããŠå
¬éããŠãè¯ãã§ããããïŒ
åé¡ããªããã°ãããå°ãä¿®æ£ããåŸããã®æ²ç€ºæ¿ã§(ä»ã®æ¹ãå©çšã§ããããã«)å
¬éããããšèããŠããŸãã
Seiji Tomitaã®èšç®æ°è«ãµã€ã(Computational Number Theory)
ãããhttp://www.maroon.dti.ne.jp/fermat/
ã®No.202ïœ206, 212ïœ228 ( 1000<=n<=20000)ãèŠãŠããããæ«å®æå°è§£ã®å€§ããã300äžä»¥äžã§ããæå°è§£ã確å®ããŠããªããã®(???ä»ã)ãæã£ããããå€ãããšã«æ°ãä»ããŸããããã¡ãããå·šå€§æŽæ°è§£(åœç¶???ä»ã)ããããªãã«æ®ã£ãŠããŸãã
H.Nakaoçã®Cããã°ã©ã ã®å
¬éåŸã«ãçæ§(ã¢ããã¥ã¢æ°åŠè
)ã®ååãããã°ããããã®???ä»ãã®å€§éšåã(æ¯èŒççæéã§)確å®ãããããšãå¯èœãªã®ã§ã¯ãªãã§ããããïŒ
çµæãåºããããã®æ²ç€ºæ¿ã«ãã°ä»ãã§ãæçš¿ããŠããã ããåŸã§ãhã»æå°è§£ã»çºèŠè
ã»çºèŠæ¥ã»æ€çŽ¢ç¯å²ããŸãšãããã®ãSeiji Tomitaã«å ±åãããšããã®ã¯ãã©ãã§ããããïŒ
> ãããx = 2476, y = 549, z = 3842, w = 231
> ãããx = 4952, y = 1098, z = 7684, w = 462
> ã®ïŒåã®æŽæ°è§£ã0.5[s]ã»ã©ã§èšç®ã§ããŸããã
æåŸã«æå€§å
¬çŽæ°ã1ã§ãªããã®ãé€å€ããæ¹ãããã§ããã
> ãã®Cããã°ã©ã ãèªåã§äœ¿çšããã®ã¯åé¡ãªããšæããŸãããããããããã®ã¢ã«ãŽãªãºã ã«
> åºã¥ãããš(ããã³ã¹ã¬ãã3242ã®URL)ãæèšããäžã§ãGPLv3ãä»ããŠå
¬éããŠãè¯ãã§ããããïŒ
ã¯ãã倧äžå€«ã§ãã
> ã®No.202ïœ206, 212ïœ228 ( 1000<=n<=20000)ãèŠãŠããããæ«å®æå°è§£ã®å€§ããã300äžä»¥äžã§ããæå°è§£ã確å®ããŠããªã
> ãã®(???ä»ã)ãæã£ããããå€ãããšã«æ°ãä»ããŸããããã¡ãããå·šå€§æŽæ°è§£(åœç¶???ä»ã)ããããªãã«æ®ã£ãŠããŸãã
ããã§ããã8æ¡ä»¥äžã®å€ã«ãªã£ãŠãããã®ã¯ãããããã¹ãŠæå°ã§ãªããšæããŸãã
ã???ãä»ããå«ãã100åã»ã©æå°è§£ãåŸãŸããã
ã???ãä»ãã§æ¢ã«æå°è§£ã ã£ããã®:
3086,3334,3628,3980,4099,4231,4684,4870,4999
æå°è§£ã§ã¯ãªãã£ããã®(ã???ãä»ãã»ãªããå«ã)ã®æå°è§£
1198 134247 35951 177233 32517
2572 271169 56253 308817 54121
3193 10091 20609 102997 19519
3622 347731 114284 565013 110014
3644 43639 15809 118519 9823
3646 95033 11191 105497 7993
3742 250139 172316 322387 172226
3814 6661 12661 96317 7481
3818 39021 8373 67219 3637
3868 137788 10327 141656 4633
4006 22063 67241 142183 67157
4051 11973 137465 368461 137025
4054 239933 53137 406147 37967
4252 350094 66949 422378 63381
4358 91496 95921 100212 95919
4406 60271 53068 355473 45564
4414 92198 11873 110846 6721
4418 112753 65441 337601 62681
4478 249983 32590 303719 17780
4519 16057 23369 155665 20255
4574 56333 26627 218107 10033
4630 63483 88381 489443 83505
4955 36819 35946 246607 31000
5062 27703 26929 164377 24857
5462 108077 89519 763517 37721
5479 8022 15397 29938 15387
5606 10161 7620 51505 6784
5686 141304 50477 436976 19667
5721 14831 8176 69077 4722
5758 294 6761 57874 3447
5788 85784 5533 87856 157
5816 142534 30999 241406 25311
6067 149423 37373 202463 36403
6263 122764 53411 140282 53369
6428 433315 71881 674365 9217
6606 14504 8771 79096 579
6718 14591 33742 287719 22924
6818 824 15619 28096 15613
6823 974078 126665 990946 125495
6827 186347 49724 277889 48242
6871 186299 24782 212219 22522
7197 87523 9096 101917 1664
7338 60167 15859 147743 3249
7482 26203 2801 31019 953
7495 31157 4371 43793 393
7606 29577 31856 297481 4164
7646 341709 32637 384661 15271
7727 190722 26691 257444 18223
7822 404162 101011 956866 24211
7845 26708 4427 40306 3257
7862 729099 113466 1098613 63646
7898 100351 67936 362041 66142
8222 19764 15639 134872 11831
8447 925973 356513 1151989 355841
8498 14057 13582 130409 154
8549 132233 56488 534589 28546
8678 110279 32519 275161 26249
8712 30668 6907 56056 5939
9066 20190 15587 128982 12995
9069 47924 21509 186982 16809
9186 136624 33111 326468 7561
9463 287148 40385 362852 35265
9539 565663 228946 1704619 208036
9641 11587 7085 65541 4965
9719 4387435 223114 4456855 51748
9803 154887 8865 158809 385
9813 78019 6429 85531 2347
9995 380246 47347 516178 10957
11409 65579 22978 236714 8489
12797 68089 22874 187851 20544
14113 66698 7137 80811 5588
14434 308961 32114 393503 13554
14470 209527 45102 265089 44524
15115 143123 11878 161261 7354
15285 116773 5446 118811 1678
15463 181052 25083 220986 23617
15472 146927 22043 251477 9374
15684 221566 26317 315670 3875
15748 150318 54847 592378 33519
15919 197707 8889 200268 5852
15962 47462 12803 143234 5347
16282 147683 12354 170979 2126
16313 120629 10442 141391 4384
16329 2187137 163892 2415743 78084
16602 60773 4372 66307 2182
16689 10453 7338 82772 3059
16802 33456 1329 33752 817
17283 16847 23231 264619 9323
17335 175214 10011 182148 5497
17461 562801 86065 799157 78125
17517 124341 20815 194409 18605
17565 36623 25953 228023 23401
18146 288901 133123 1545533 9383
18436 5818 10587 123234 2699
18455 40248 3833 48336 2809
18570 8546 26219 201674 24885
18952 2326 9223 106562 4559
19076 200114 109879 238266 109863
19091 38183 2312 40427 2
19235 83673 73521 853073 36041
19274 101749 11948 148813 4718
19284 1154792 130939 1373344 119173
19331 31037 2240 34391 950
19353 113786 22149 260372 10433
19365 99148 15043 125486 14433
19369 248406 32869 266256 32417
19613 78443 28018 196139 27142
19914 20703 23642 279585 8650
> H.Nakaoçã®Cããã°ã©ã ã®å
¬éåŸã«ãçæ§(ã¢ããã¥ã¢æ°åŠè
)ã®ååãããã°ããããã®
> ???ä»ãã®å€§éšåã(æ¯èŒççæéã§)確å®ãããããšãå¯èœãªã®ã§ã¯ãªãã§ããããïŒ
???ä»ãã¯ä»ãã¡ãã§é ã«è§£æ±ºããŠããŸãããæ®ã47åãªã®ã§æ¯èŒçæ©ãçµããããã§ãã
ïŒãã ãæ®ãã¯300000以äžã®è§£ããªããã®ãªã®ã§å€å°ã¯ããããŸãïŒ
???ä»ãã§ä»çŸåšã®æªè§£æ±ºïŒãããã300000以äžïŒã¯
9562, 10463, 11354, 12527, 13178, 15117, 15234, 15427, 15727, 15815,
16063, 17026, 17133, 17167, 17230, 17315, 17386, 17405, 17481, 17495,
17529, 17773, 17791, 17801, 17903, 17977, 17994, 18074, 18141, 18311,
18372, 18453, 18471, 18498, 18898, 19002, 19077, 19085, 19117, 19219,
19290, 19297, 19321, 19531, 19661, 19834, 19977
ããããããã®ã¢ã«ãŽãªãºã ã«åºã¥ããŠäœæããDiophantine Equation
x^4+n*y^4=z^4+n*w^4
ã®èªæã§ãªãæŽæ°è§£(0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãbrute-force-searchããCããã°ã©ã ãå
¬éããŸãã
ããããããã®ãªãªãžãã«ã«ã¯å°åºåã³ãŸãããããããªãã®å®çšæ§ã¯ãããŸãã
ãããŸã§ãgp2c-runã§æ°æ¥æãã£ãŠããmax{x,y,z,w}<=100000çšåºŠã®æ€çŽ¢ã§ããã°ããªããšïŒåãæãããã«çµäºããŸãã
[ã³ã³ãã€ã«æ¹æ³]
-bash-3.1$ gcc -O2 dqde4.c -o dqde4
[å®è¡äŸ(n=20001, max(x,y,z,w)<=100000ã®ãšã)]
-bash-3.1$ time ./dqde4 20001 -m 100000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 20001, N = 100000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / C...
Total nodes collected after filter: 1785908
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
36^4+20001*197^4=2337^4+20001*62^4
5072^4+20001*769^4=8557^4+20001*582^4
49187^4+20001*3466^4=52234^4+20001*2837^4
34522^4+20001*5175^4=63005^4+20001*772^4
27208^4+20001*6149^4=49982^4+20001*5817^4
37099^4+20001*6267^4=75449^4+20001*2033^4
16604^4+20001*6439^4=76607^4+20001*956^4
Found 7 solutions.
Search finished successfully.
real 0m10.859s
user 0m10.646s
sys 0m0.210s
[Cããã°ã©ã "dqde4.c"ã®ãœãŒã¹ã³ãŒã(H.Nakaoç),GPLv3]
/*
Brute-force-search Integer Solutions for Diagonal Quarti Diophantine Equation x^4+h*h^4=z^4+w*w^4
dqde4.c : for positive integers h,nmax (1<h, nmax<=5000000)
search positive integers x,y,z,w such that
x^4*h*y^4=z^4+h*w^4,
0<x<z, 0<w<y,
gcd(x,y,z,w)=1,
output x,y,z,w
Usage: de4 h -m nmax -f filter_num -h hash_num
h : parameter with h>1
-m nmax : max{x,y,z,w}<=nmax (default 3000000)
-f filter_num : integer F making table {x^4-y^4 (mod F)} (default 1360=2^4*5*17)
-h hash_num : integer H making hash table of {(w^4-y^4)/h} (default 9999991)
To Build:
gcc -O2 dqde4.c -o dqde4
Copyright (C) 2026 Hisayasu Nakao <khf12033@nifty.com>
*Acknowledgments*
The algorithm for this program is based on an idea by T. Suzuki.
Please refer to the following URL for details:
https://bbs1.rocketbbs.com/shochandas/posts/3242
*GPLv3*
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <stdbool.h>
#include <string.h>
typedef __int128 int128;
typedef long long int int64;
inline int64 igcd(int64, int64); /* gcd(x,y) */
/* return gcd(a,b) */
inline int64 igcd(int64 a, int64 b)
{
int64 u;
if(a>b){ /*swap a,b*/
u=b;
b=a;
a=u;
}
/* a <= b*/
while(a>0LLU){
u=b%a;
b=a;
a=u;
}
return b;
}
/* Function to print 128-bit integers */
void print128(int128 n) {
if (n == 0) { printf("0"); return; }
char buf[50]; int idx = 0;
while (n > 0) { buf[idx++] = (char)('0' + (n % 10)); n /= 10; }
for (int i = idx - 1; i >= 0; i--) putchar(buf[i]);
}
/* Structure to store candidates from step 1 */
typedef struct {
int128 val;
long long x;
long long z;
} SolutionNode;
/* Structure for hash bucketing */
typedef struct {
uint32_t count;
uint32_t offset;
} HashBucket;
/* Comparison function for qsort */
int compare_nodes(const void *a, const void *b) {
int128 va = ((SolutionNode*)a)->val;
int128 vb = ((SolutionNode*)b)->val;
if (va < vb) return -1;
if (va > vb) return 1;
return 0;
}
/* Function to print usage instructions */
void print_usage(const char *prog_name) {
fprintf(stderr, "Usage: %s C_VAL [-m N_VAL] [-f FILTER_MOD] [-h HASH_MOD] [-v]\n", prog_name);
fprintf(stderr, "Defaults: N_VAL=3000000, FILTER_MOD=1360, HASH_MOD=9999991, Verbose=OFF\n");
}
int main(int argc, char *argv[]) {
/* Initialize default values */
long long c_val = 0;
long long n_val = 3000000;
int filter_mod = 1360;
int hash_mod = 9999991;
bool verbose = false;
int nsol = 0;
if (argc < 2) {
fprintf(stderr, "Error: Arguments missing.\n");
print_usage(argv[0]);
return 1;
}
/* Custom Argument Parser (Pure ASCII & Safe character checks) */
for (int i = 1; i < argc; i++) {
if (strcmp(argv[i], "-m") == 0) {
if (i + 1 < argc) {
n_val = atoll(argv[++i]);
} else {
fprintf(stderr, "Error: -m requires an argument.\n");
return 1;
}
} else if (strcmp(argv[i], "-f") == 0) {
if (i + 1 < argc) {
filter_mod = atoi(argv[++i]);
} else {
fprintf(stderr, "Error: -f requires an argument.\n");
return 1;
}
} else if (strcmp(argv[i], "-h") == 0) {
if (i + 1 < argc) {
hash_mod = atoi(argv[++i]);
} else {
fprintf(stderr, "Error: -h requires an argument.\n");
return 1;
}
} else if (strcmp(argv[i], "-v") == 0) {
verbose = true;
} else {
/* Check if the argument does NOT start with '-' character */
if (argv[i][0] != '-') {
c_val = atoll(argv[i]);
} else {
fprintf(stderr, "Error: Unknown option %s\n", argv[i]);
print_usage(argv[0]);
return 1;
}
}
}
/* Check if required C_VAL was successfully retrieved */
if (c_val <= 0) {
fprintf(stderr, "Error: Valid C_VAL is required.\n");
print_usage(argv[0]);
return 1;
}
printf("--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---\n");
printf("Settings: h = %lld, N = %lld, FILTER_MOD = %d, HASH_MOD = %d, Verbose = %s\n",
c_val, n_val, filter_mod, hash_mod, verbose ? "ON" : "OFF");
// ==========================================
// 0. Precompute Modulo Filter
// ==========================================
if (verbose) printf("[0/4] Precomputing modulo filter table...\n");
uint8_t *filter_table = (uint8_t*)calloc(filter_mod, sizeof(uint8_t));
int128 *pow4_filter = (int128*)malloc(filter_mod * sizeof(int128));
for (int i = 0; i < filter_mod; i++) {
int128 i2 = (int128)i * i;
pow4_filter[i] = (i2 * i2) % filter_mod;
}
for (int m = 0; m < filter_mod; m++) {
for (int n = 0; n < filter_mod; n++) {
int rem = (int)((pow4_filter[m] - pow4_filter[n] + filter_mod) % filter_mod);
filter_table[rem] = 1;
}
}
free(pow4_filter);
// ==========================================
// 1. Grouping by Modulo h
// ==========================================
if (verbose) printf("[1/4] Grouping integers by modulo h...\n");
int *rem_counts = (int*)calloc(c_val, sizeof(int));
for (long long i = 1; i <= n_val; i++) {
int128 i2 = i * i;
int rem = (int)((i2 * i2) % c_val);
rem_counts[rem]++;
}
long long **groups = (long long**)malloc(c_val * sizeof(long long*));
int *rem_idx = (int*)calloc(c_val, sizeof(int));
for (int i = 0; i < c_val; i++) {
if (rem_counts[i] > 0) {
groups[i] = (long long*)malloc(rem_counts[i] * sizeof(long long));
} else {
groups[i] = NULL;
}
}
for (long long i = 1; i <= n_val; i++) {
int128 i2 = i * i;
int rem = (int)((i2 * i2) % c_val);
groups[rem][rem_idx[rem]++] = i;
}
if (verbose) printf("[1/4] Caching 4th powers up to N...\n");
int128 *pow4 = (int128*)malloc((n_val + 1) * sizeof(int128));
for (long long i = 0; i <= n_val; i++) {
int128 i2 = i * i;
pow4[i] = i2 * i2;
}
// ==========================================
// 2. Compute (z^4 - x^4) / h with Filter
// ==========================================
printf("[2/4] Computing and filtering (z^4 - x^4) / h...\n");
long long count = 0;
long long capacity = (n_val < 500000) ? 5000000 : 300000000;
SolutionNode *all_nodes = (SolutionNode*)malloc(capacity * sizeof(SolutionNode));
for (int r = 0; r < c_val; r++) {
if (verbose && r % 2000 == 0 && r > 0) {
printf(" Processing modulo group: %d / %lld...\n", r, c_val);
}
int len = rem_counts[r];
if (len < 2) continue;
for (int zi = 1; zi < len; zi++) {
long long z = groups[r][zi];
int128 z4 = pow4[z];
for (int xi = 0; xi < zi; xi++) {
long long x = groups[r][xi];
int128 val = (z4 - pow4[x]) / c_val;
int rem_f = (int)(val % filter_mod);
if (filter_table[rem_f] == 0) continue;
if (count >= capacity) {
capacity = capacity * 1.2 + 1000;
all_nodes = (SolutionNode*)realloc(all_nodes, capacity * sizeof(SolutionNode));
}
all_nodes[count].val = val;
all_nodes[count].x = x;
all_nodes[count].z = z;
count++;
}
}
}
long long total_nodes = count;
printf("Total nodes collected after filter: %lld\n", total_nodes);
free(filter_table);
// ==========================================
// 3. Create Hash Index for Fast Search
// ==========================================
printf("[3/4] Creating hash index table...\n");
HashBucket *buckets = (HashBucket*)calloc(hash_mod, sizeof(HashBucket));
for (long long i = 0; i < total_nodes; i++) {
int hash = (int)(all_nodes[i].val % hash_mod);
buckets[hash].count++;
}
uint32_t sum = 0;
for (int i = 0; i < hash_mod; i++) {
buckets[i].offset = sum;
sum += buckets[i].count;
buckets[i].count = 0;
}
if (verbose) printf(" Sorting nodes into continuous bucket memory...\n");
SolutionNode *sorted_nodes = (SolutionNode*)malloc(total_nodes * sizeof(SolutionNode));
for (long long i = 0; i < total_nodes; i++) {
int hash = (int)(all_nodes[i].val % hash_mod);
uint32_t pos = buckets[hash].offset + buckets[hash].count;
sorted_nodes[pos] = all_nodes[i];
buckets[hash].count++;
}
free(all_nodes);
if (verbose) printf(" Performing binary-search preparation (qsort) on buckets...\n");
for (int i = 0; i < hash_mod; i++) {
if (buckets[i].count > 1) {
qsort(sorted_nodes + buckets[i].offset, buckets[i].count, sizeof(SolutionNode), compare_nodes);
}
}
// ==========================================
// 4. Generate y^4 - w^4 and Search
// ==========================================
printf("[4/4] Generating y^4 - w^4 and performing main search...\n");
int128 max_limit = pow4[n_val] / c_val;
long long interval = (n_val < 500000) ? 50000 : 100000;
for (long long y = 2; y <= n_val; y++) {
if (verbose && y % interval == 0) {
printf(" Current progress: y = %lld / %lld...\n", y, n_val);
}
int128 y4 = pow4[y];
for (long long w = y - 1; w >= 1; w--) {
int64 g=igcd(y,w);
int64 gg;
int128 target = y4 - pow4[w];
if (target > max_limit) break;
int hash = (int)(target % hash_mod);
uint32_t start = buckets[hash].offset;
uint32_t end = start + buckets[hash].count;
uint32_t low = start, high = end;
while (low < high) {
uint32_t mid = low + (high - low) / 2;
if (sorted_nodes[mid].val == target) {
if (sorted_nodes[mid].x != w && sorted_nodes[mid].x != y) {
gg=igcd(g,igcd(sorted_nodes[mid].x, sorted_nodes[mid].z));
if(gg==1){
nsol++;
/* printf("\n[SOLUTION FOUND]\n"); */
/* printf("x= %lld, y = %lld, z = %lld, w = %lld\n", sorted_nodes[mid].x, y, sorted_nodes[mid].z, w); */
printf("%lld^4+%lld*%lld^4=%lld^4+%lld*%lld^4\n", sorted_nodes[mid].x/gg, c_val, y/gg, sorted_nodes[mid].z/gg, c_val, w/gg);
/*
printf("Verification:\n");
print128(pow4[sorted_nodes[mid].x] + (int128)c_val * pow4[y]); printf("\n==\n");
print128(pow4[sorted_nodes[mid].z] + (int128)c_val * pow4[w]); printf("\n");
*/
}
break;
}
}
else if (sorted_nodes[mid].val < target) low = mid + 1;
else high = mid;
}
}
}
for(int i = 0; i < c_val; i++) if(groups[i]) free(groups[i]);
free(groups); free(rem_counts); free(rem_idx);
free(pow4); free(sorted_nodes); free(buckets);
printf("\nFound %ld solutions.\n", nsol);
printf("Search finished successfully.\n");
return 0;
}
700000ãŸã§ã®ç¯å²ã§èª¿ã¹ããšãã
æã®æç¹ã§æªè§£æ±ºã ã£ã
9562, 10463, 11354, 12527, 13178, 15117, 15234, 15427, 15727, 15815,
16063, 17026, 17133, 17167, 17230, 17315, 17386, 17405, 17481, 17495,
17529, 17773, 17791, 17801, 17903, 17977, 17994, 18074, 18141, 18311,
18372, 18453, 18471, 18498, 18898, 19002, 19077, 19085, 19117, 19219,
19290, 19297, 19321, 19531, 19661, 19834, 19977
ã®47åã???ãã®ãã¡
12527, 15234, 15727, 16063, 17026, 17167, 17315, 17386, 17791, 17801,
17903, 18074, 18141, 18498, 18898, 19002, 19077, 19085, 19290, 19297,
19321, 19834, 19977
ã®23åã¯è§£æ±ºããæ®ãã¯
9562, 10463, 11354, 13178, 15117, 15427, 15815, 17133, 17230, 17405,
17481, 17495, 17529, 17773, 17977, 17994, 18311, 18372, 18453, 18471,
19117, 19219, 19531, 19661
ã®24åãšãªããŸããã
ïŒãããããã
Seiji Tomitaã®ããŒã¿ã§ãããh=9719ã®ããŒã¿
9719 195094869572512833 14377568349438717 62388694687774103 20884354073695547
ã«ã¯ã???ãä»ããŠããŸããããæŽæ°è§£ã¯17ïœ18æ¡ãªã®ã§ãBrute-force-searchãä»ã®æ¹æ³ã«ãã£ãŠãæå°è§£ã§ããããšã蚌æã§ãããšã¯ãšãŠãæããªãã®ã§ããããã???ã®ä»ãå¿ãã§ãããã
æå°è§£ã®æªè§£æ±ºãªã¹ãã«è¿œå ãå¿
èŠã§ãã
9719ã®æå°è§£ã¯ããã§åçããããšããã£ãŠè§£æ±ºæžã¿ã§ã
No.3279ã®è§£æ±ºæžã¿æå°è§£ãªã¹ãã«å«ãŸããŠããŸãã
ãšããã§ã8712ã®è§£ã¯ã²ã©ãã§ãããããããæžãééãããšã¯æããŸããã
Seiji Tomitaã®ããŒã¿ã®n=8712ã®ãšãã®è¡
8712 121 3 121 3
ã¯èªæãªæŽæ°è§£ã§ã(ããããç·šéãã¹ã§ããã)ã
n=8712ã®ãšãã®æå°è§£ã§ãããmax{x,y,z,w}<=100000ã®ç¯å²ã®æ€çŽ¢ã§ã
3338^4+8712*6209^4=59966^4+8712*1191^4
ã§ããããšã確èªããŸããã
[dqde4ã«ããBrute-force-searchã®å®è¡ãã°]
-bash-3.1$ time ./dqde4 8712 -m 100000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 8712, N = 100000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 1745960
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
3338^4+8712*6209^4=59966^4+8712*1191^4
30668^4+8712*6907^4=56056^4+8712*5939^4
Found 2 solutions.
Search finished successfully.
real 0m24.472s
user 0m24.228s
sys 0m0.230s
n=19613ã®ãšãã®æå°è§£ã¯ãmax{x,y,z,w}<=300000ã®ç¯å²ã®æ€çŽ¢ã§ã
78443^4+19613*28018^4=196139^4+19613*27142^4
ã§ããããšã確èªããŸããã
[dqde4ã«ããBrute-force-searchã®å®è¡ãã°]
-bash-3.1$ time ./dqde4 19613 -m 300000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 19613, N = 300000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 2506139
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
78443^4+19613*28018^4=196139^4+19613*27142^4
Found 1 solutions.
Search finished successfully.
real 2m29.779s
user 2m29.396s
sys 0m0.320s
8712ã®æå°è§£ã¯äºã€ç®ã®æ¹(z=56056)ã§ããã
ã»ã»ã»ãšæžããŠããäžå®ã«ãªã£ãã®ã§ããã確ããæå°è§£ãã¯ãmax{|x|,|y|,|z|,|w|}ãæå°ã®è§£ãã§ããããïŒ
ãåŒã®å€ãæå°ããšããèãæ¹ããããŸããã»ã»ã»
>ãããããã
>ãæå°è§£ãã¯ãmax{|x|,|y|,|z|,|w|}ãæå°ã®è§£ãã§ããããïŒ
>ãåŒã®å€ãæå°ããšããèãæ¹ããããŸããã»ã»ã»
æŽæ°è§£ããœãŒãããã®ãããŒã£ãŠãééããŸããã
ãmax{|x|,|y|,|z|,|w|}ãæå°ã®è§£ãã®æ¹ãç°¡åãªã®ã§ããã¡ããæ¡çšããŸãã
(ã{x^4+h*y^4}ãæå°ã®è§£ããšããå¥ã®å®çŸ©ããããŸãããèšç®ãããé¢åãªã®ã§ããã¡ãã¯äœ¿ããŸããã)
æåã®å®çŸ©ãæ¡çšãããšãn=8712ã®ãšãã®æå°è§£ã¯ã
ããã30668^4+8712*6907^4=56056^4+8712*5939^4ã(æ£)
ããã3338^4+8712*6209^4=59966^4+8712*1191^4ã (誀)
ã§ãã
h=19661ã®ãšãã®æå°è§£ã¯ãmax{x,y,z,w}<=1500000ã®ç¯å²ã®æ€çŽ¢ã«ããã
ããããã1158403^4+19661*89009^4=1319397^4+19661*21687^4
ã§ããããšã確èªããŸããã
[dqde4ã«ããBrute-force-searchã®å®è¡ãã°]
-bash-3.1$ time ./dqde4 19661 -m 1500000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 19661, N = 1500000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 63021950
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
1158403^4+19661*89009^4=1319397^4+19661*21687^4
Found 1 solutions.
Search finished successfully.
real 142m28.110s
user 142m22.169s
sys 0m5.934s
No.3281ã§æžãããèªåã§è§£æ±ºããåã®åŒãæžããŠãããŸãã
425132^4 + 12527 * 14131^4 = 426704^4 + 12527 * 5747^4
520329^4 + 15234 * 42430^4 = 591753^4 + 15234 * 7790^4
230261^4 + 15727 * 39342^4 = 387531^4 + 15727 * 32678^4
440997^4 + 16063 * 51262^4 = 619161^4 + 16063 * 18236^4
105984^4 + 17026 * 30833^4 = 336692^4 + 17026 * 19887^4
572204^4 + 17167 * 53032^4 = 612319^4 + 17167 * 49421^4
171491^4 + 17315 * 70396^4 = 347959^4 + 17315 * 69818^4
41788^4 + 17386 * 32829^4 = 374536^4 + 17386 * 13149^4
121804^4 + 17791 * 56978^4 = 607627^4 + 17791 * 41231^4
272546^4 + 17801 * 129029^4 = 602246^4 + 17801 * 128197^4
208469^4 + 17903 * 26231^4 = 310718^4 + 17903 * 15538^4
177771^4 + 18074 * 30501^4 = 351539^4 + 18074 * 16591^4
495752^4 + 18141 * 16401^4 = 495956^4 + 18141 * 16081^4
186742^4 + 18498 * 33563^4 = 396386^4 + 18498 * 3131^4
340211^4 + 18898 * 37263^4 = 472403^4 + 18898 * 6303^4
181379^4 + 19002 * 29336^4 = 350677^4 + 19002 * 6462^4
406190^4 + 19077 * 42719^4 = 469780^4 + 19077 * 38531^4
204161^4 + 19085 * 30145^4 = 355453^4 + 19085 * 16837^4
279365^4 + 19290 * 53534^4 = 542995^4 + 19290 * 44784^4
18288^4 + 19297 * 44987^4 = 530078^4 + 19297 * 8199^4
232027^4 + 19321 * 30141^4 = 308961^4 + 19321 * 26641^4
115259^4 + 19834 * 48649^4 = 484931^4 + 19834 * 40987^4
134026^4 + 19977 * 39329^4 = 332104^4 + 19977 * 36627^4
ãã以éã«è§£æ±ºããã®ã¯ä»¥äžã®6åã§ãã
60862^4 + 13178 * 93997^4 = 703462^4 + 13178 * 87821^4
99753^4 + 15117 * 69854^4 = 764901^4 + 15117 * 32908^4
527295^4 + 17481 * 69662^4 = 836223^4 + 17481 * 970^4
80731^4 + 17529 * 82357^4 = 863693^4 + 17529 * 61453^4
446938^4 + 17773 * 72683^4 = 761626^4 + 17773 * 57877^4
421119^4 + 17994 * 144064^4 = 856455^4 + 17994 * 141650^4
19661ã¯Nakaoããã«è§£æ±ºããŠããã ããŸããã®ã§ãæ®ãã®ã???ãã¯
9562, 10463, 11354, 15427, 15815, 17133, 17230, 17405, 17495, 17977,
18311, 18372, 18453, 18471, 19117, 19219, 19531
ã®17åãšãªã£ãŠããŸãã
ç¹ã«9562ãš15427ã«éäžããŠè§£ãæ¢ããŠããã®ã§ããããã®äºã€ã¯ãªããªãèŠã€ãããŸããã
(远èš) 17405ã¯èŠã€ãããŸããã
(远èš) 18453ãèŠã€ãããŸããã
(远èš) 10463ãèŠã€ãããŸããã
(远èš) ???以å€ã§10000000以äžã®å€ãå«ããã®ã¯ãã¹ãŠæå°è§£ã§ã¯ãªããæå°è§£ã«ä¿®æ£ãããšãã???以å€ã§8æ¡ä»¥äžã®æ°ã¯ãªããªããŸããã
(远èš) 17133ãš17230ãèŠã€ãããŸããã???ã®æ®ãã¯ä»¥äžã®12åã
9562, 11354, 15427, 15815, 17495, 17977, 18311, 18372, 18471, 19117, 19219, 19531
9562ãš15427ã¯å°ãªããšã450äžä»¥äžãä»ã¯å°ãªããšã140äžä»¥äžã§ããããšã¯ããã£ãŠããŸãã
(è¿œèš 9æ15æ¥æ) 18372ãš19117ãèŠã€ãããŸããã???ã®æ®ãã¯ä»¥äžã®10åã
9562, 11354, 15427, 15815, 17495, 17977, 18311, 18471, 19219, 19531
n=19321ã®ãšãã¯ããããããããæ¢ã«æå°è§£
ããã232027^4 + 19321 * 30141^4 = 308961^4 + 19321 * 26641^4
ãèŠã€ããŠããŸããããã¡ãã§ã確èªã§ããã®ã§ãèšç®ãã°ãæ®ããŠãããŸãã
[dqde4ã«ããBrute-force-searchã®å®è¡ãã°]
-bash-3.1$ time ./dqde4 19321 -m 1000000
--- Diophantine Equation A^4 + h*B^4 = C^4 + h*D^4 Search Started ---
Settings: h = 19321, N = 1000000, FILTER_MOD = 1360, HASH_MOD = 9999991, Verbose = OFF
[2/4] Computing and filtering (z^4 - x^4) / h...
Total nodes collected after filter: 21024869
[3/4] Creating hash index table...
[4/4] Generating y^4 - w^4 and performing main search...
97696^4+19321*27949^4=329548^4+19321*8173^4
232027^4+19321*30141^4=308961^4+19321*26641^4
Found 2 solutions.
Search finished successfully.
real 52m31.899s
user 52m29.975s
sys 0m1.922s
No 3280ã®"dqde4.c"ã®CãœãŒã¹ã³ãŒãã®ä¿®æ£ã§ãã
ããããããã®ã¢ã«ãŽãªãºã ã®æ¬è³ªçãªä¿®æ£ã§ã¯ãªãã-m 1500000 ãããã§ã®å¿
èŠã¡ã¢ãªã倧ããã®ã§ã以äžã®ããã«ïŒè¡ã倿Žãããšãå¿
èŠã¡ã¢ãªãå°ãæããããšãã§ããŸããn_val*60ã®å®æ°60ã¯ãä»ã®ãã©ã¡ãŒã¿ã«åãããŠãå€å°ã®èª¿æŽ(å¢å )ãå¿
èŠãããããŸããã
(倿Žå)
long long capacity = (n_val < 500000) ? 5000000 : 300000000;
(倿ŽåŸ)
long long capacity = (n_val < 500000) ? 5000000 : (n_val < 3000000 ? n_val*60 : 300000000);
以éã¯ããã®ä¿®æ£ãå
¥ãã"dqde4.c"ã䜿çšããŸãã
Seiji Tomitaæ°ã®èšç®æ°è«ãµã€ã(Computational Number Theory)ã®èšäº(2017.01.20)
ããhttp://www.maroon.dti.ne.jp/fermat/dioph198e.html
ã«ãããšã
ããx^4+2572*y^4=z^4+2572*w^4
ã®èªæã§ãªãæŽæ°è§£
ãã(x, y, z, w)=(799298, 61171, 623018, 103357)
ãèŠã€ããŠããããæå°è§£ãã©ããã¯(ãã®æç¹ã§ã¯)確èªã§ããŠããªãã
ãã®æŽæ°è§£(å
é è¡)ã䜿ã£ãŠãèªæã§ãªãæŽæ°è§£ãããã€ãæ±ããã
623018^4+2572*103357^4=799298^4+2572*61171^4
25057919457730076907689137028503^4+2572*2130231454394582183850423131204^4=25593052692499498451007186558313^4+2572*1630773768609788743420243570048^4
183268944781982068846476617632066679114177^4+2572*20455170621089660902152339639617717905231^4=199244825898213706052309571118327595203247^4+2572*5544348245940132843374916385774196222099^4
11376844215299319923304507378831534236629194^4+2572*2789546980764612600837360107175266280818999^4=16968561083799151460421601713179095717267914^4+2572*2429388763168563500471927938215791101110473^4
312572799646208693807051181857065182287781199783230767^4+2572*165029847093588005839682708815936595023094495472023041^4=661823525849679343009244784564671921704322965703084897^4+2572*160937497362984600082364653711163028432344486053174147^4
968863615819224841637278266753720276960906399915391366537426^4+2572*141737083836698459847589376420984486194109367381722102867207^4=1174495533393431873390030400383393180228649637064280074278786^4+2572*50186039232561436454979281633376890189117653957240691024729^4
53864546892226293657458696605023133492759247629995335030807591334^4+2572*10032363582348351445546967864792413476720356309390918849595449603^4=72365661917914328760681401201088146100888593784813848197839165294^4+2572*7235343774960481317460889758201598290867033435106360106300686093^4
....
ãããšã¯ãå¥ã®èªæã§ãªãæŽæ°è§£ãèŠã€ããã
1379237^4+2572*187666^4=1614571^4+2572*47668^4
8288946070402543055294861^4+2572*12496558499611049062325037^4=33221186991220934716419939^4+2572*12435682421207342598800041^4
47925137415216766775863973^4+2572*6611879098971807427694869^4=56452563296791780998171211^4+2572*1915546782603206794612369^4
38421050268330943075228684832591^4+2572*4703284319271584499223841052204^4=43059191660409923105659711857153^4+2572*65142927192604468792814027642^4
19803848916255260610601580822120307^4+2572*2974638973899092531761884391746944^4=24219725893465249245814473230418077^4+2572*1441238003310896103451008016550826^4
1066369852687409761394480280210225457917317740443^4+2572*162800352663285903160341736163107103599565697173^4=1313048755352954883597958731097856039635866058469^4+2572*83878550002259219043136714724523478118982620853^4
333755620362767659139671038592990600633619082796359043^4+2572*41576111605057359107654035273206082176520810153428633^4=376498591811265504229462774383167570992683719916335517^4+2572*1166859843440485982137700516970888182543826966547841^4
12478000857363166884722453194256419235356716595431639197^4+2572*16476530361811474237566870072569295884093382255506091152^4=20471768941912222227684754437991630590411708000633078701^4+2572*16473239437463914874840337559678753941675042340558626746^4
744520793896254974859273708877641148604793961477039643459832453378768171751997^4+2572*823204868927111764728171240656592558239173269587523480090997367167857664974834^4=2385285914164652392656191841416736363450079924988146720952953607241955320390099^4+2572*817560251341285653068746891882502656606112693923583597402123786695329483663268^4
....
372786699914615033138428178344170298^4+2572*37525402343259375145528002402798271^4=395247881651293439709404368913579354^4+2572*7396961130097437996424378736019841^4
6432232855084347323399033597743495604806545508491762711841649315806896294008046477182753836324750150676860949097611258303020823544543872460721981^4+2572*693029693079814486739047458985386827161020040135909086005957297069933589532442264994150122033256434954781575721170760502071881758624180770169534^4=6917519049194319744615230194442797541983209769238750104893503421366108291876176181505853923652077853615492489303215241990749758526752660377107139^4+2572*277542695140130355693345734413217047192308481358065700097750914048490406203817143652050052621398970922481504690037206873385988205793395062600782^4
10962070300113298222749312667094641039520409672705543594426246776750668112625098089173523941706037522328003126495926685593322664094340666635374113665407927569484207965149702953090898429668829256055802465256708729316786040429342833625918251230808423574934635490155785922078634768115217445085407111582535216979261447005697258^4+2572*8661069271169739843931171380941048152088956106879105418379439193299730734129355258749403624489708057399655738166812658334100388753542608495895137896649024107556460506274285352114412133880881973918219533077231345923953053442584861499023708395157915055068947338905321221120478157747126651408721912203522950401554169909860727^4=19613115936169005086793615120577238331910607965186661447991902422844235100606071095442540665521605605517560459442533658649231656337070561641001224703965804851249265806027072821635030004714447083110991506676651440232467546123778309339766520516814569184782752698897582602847249494193033823226857348510265971083118012631807562^4+2572*8641022000941673884157433526024146432691440478083130288751872098887403241832590753788629823141428108979458927726401287777717595731917181515359084180466730455973655175480454384973851016210353680192158549762654075907409957946286089928672830176854376164627287078578272140416751294408506104874178561651938557806158961342359881^4
4
....
22387006144869171888^4+2572*2571643709901061817^4=24227658299826366004^4+2572*1651317632422464759^4
232970672822461854478094583445981734756792005494900117962346036169353769658^4+2572*538542419251434804222505276866044532537978573388257516573082136385001072423^4=1904443352217134238008950023078886074724087805757854282646485364902680169474^4+2572*530164593268363242021017026396389372202461332238119683731333564151015897143^4
6229463557720171758111061114429541084091417232603111377150409986241997382027467045854160190153671793853375197932734355694142839082521250887851051682714579599318637311468^4+2572*969896106801859735517809929362876175673914907615270551506183444644509580813401513434691505753590817675451461755650143653151868476491917542943849527034497470450231352151^4=7841055559163881036766769887319090907493271804063122123653643895050976236249610025712967474893194678011355406623092132502122759899338041425166623535183474955467512312296^4+2572*164100106080005096189955542918101263972987621885265178254566490240020153702330023505287863383829375596461357410471255249161908068083522274286063600800049792375793851737^4
....
2572ã®æå°è§£ã¯
271169^4 + 2572 * 56253^4 = 308817^4 + 2572 * 54121^4
ã§ããã
å¯ç°èª äºæ°ã®èšç®æ°è«ãµã€ã(Computational Number Theory)ã®èšäº
ããhttp://www.maroon.dti.ne.jp/fermat/dioph121e.html
ã«ãããšãElkiesã2017幎7æ30æ¥ã«ã
ããx^4+16329*y^4=z^4+16329*w^4
ã®èªæã§ãªãæŽæ°è§£
ãã(x, y, z, w)=(346429732854975524407446847, 54141872796715970999006713, 606051030994671192182211305, 33186693159559232548599185)
ãèŠã€ããŠããã
ä»åãElkiesã®è§£ãšã¯å¥ã®èªæã§ãªãæŽæ°è§£ãããã€ãèŠã€ãã(ãããã¯Elkiesã®è§£ããã倧ãã)ã
3336967878912435316510997681334353582488640115322603572239556909865501786578321553935838297676341362485201^4+16329*933312101447740809699456856506832428924412880871520955086714173064356847648587078482182025573255921786239^4=5192028969273974407462429694682161553044792326040873907499363951717919983094723726687720732630468664969151^4+16329*921748988913798281251975156840975541631739329846749380173092868788061348867815094269700409380871380697711^4
9909815788886720560307621757511345658036899705952995384836675604420126628070745893254518600252445491379431288830816879621319214616108463776367192055107679127477013528848495244264662960448641061048295931643979692525634304102001788346899800142390206411344575620533679646457249268854523633950420508432730184368070357793157196359328531835319345644526403599754791629533115556079255925473864347017149965594675701109681075166875887^4+16329*1266085888906843406595521384286936179139929391167587724873937404534014039643589427066941576771999464162843470830300705806750793555575392073801612224743916627149846446863562973384199326836517139173322603505377146574776883324167978542828677902039634833659865573695539949108503933924552716641183131737555423898728017176995473060089222891929100823292578010711743967748169585999498530287854885068255868415200457298662535778720113^4=12325529653362262309055530041949369128280968795694335232714091649866248828203887737495171597887665394771485705632842414754372771931168123866405395183345905525485267578357015815317289688370090243444488704856228212934973932379318343935779582584570804405372432754814162196081462335473340158673717357149811451256267073038877516509535697002349137671535478948475873202672720957899039365210288198974603285103252811795967211431913713^4+16329*1149627975568698342152386900151087291104139698573752123003478640912108160489552417173711420863220439229210945971724829326302763759484268016236590903494309770858407602644957597668427401084932043222870169706871373834562744953148577046051104540140963160367991560584942600515709132694263808082113716979525842989468698068724847090117942275100691203716497338009337605391435815820284909448568966889197451093376653387623600486317713^4
17409470025300731108517522657702802307776177092971209799431290167040359997346682278993702292720912912790149348468696543607183640980195664020467558999956577233138905805375388801236814481410016075359523277641690914684078112150588191516766399930318243143609060145640037623777724934819039765147436995744528522016579094050850702204061324799348328162323319924629914483349573847285505275347670229623488926112719118743940051002339891075003180668777714195370807416243248943400628250803992708445992500928500991780261285733092132057436810098948974097789849258043992250932890708909996058092491794810700853407650868765280775151206282916677970925433632007987959750408936980258187487198743419269902268929457967462312344738300370751440111229317973950547141927055372582951370839292397922065975394391265948812272645556611532503614092040609256232844472124925378864497635226776048840359424439254281982101776690840061539984680523271415481067704456309594558610296980315299681^4+16329*1563286847667443188969480736386905400745454414486395804008128292020877879994195533138890763362597047801070168968754729998732421151581312258811097182869547227807015994845326440576272968014935313882389630233094809789970013012692925015409314894303721301417484991404907224931623523584024920360364565655739310019013981626163349717925604358804606575375988937839263272955693568126722851820281534891632125567814747652166566498402937081510339441473095643265617143273920614780811489408118727881564493447461508263272687401453639502998566122714916323627452336422531229888172136279663966414879406076206181630930870124254292028899616107553345133726273815070171230870766814503185694479283498984711216742046536012058785036976210991530560867129229459679509161238385477576699335205623636897418891201447960230421608092035172272862175866204729635810817204258658514574814156363372685964693509122459823206462048348910704858172176919652584827972104123844293480982695992610959^4=20098400649519800580581896967280608721816297171900420661673280985201327374315828167540818423550870584351261196392661822576004222292088258951288677580687597375977363302193541476479067048378865403019740445800640080496991917078500628136237779070253142528520690566177160912135332809496478933804179571644076513869550520762467710545146408594064756899374795541275094926797479364241195266124064789425345116349685549626111355959971248259400501457094019552729550377887327767028491979793572601796332783910779630836028587507570502830716974650277059125721305623235512903097669803464040645654720066296194790116198441832281011811489570606257366448086485859506782242490006411109781072096723064089683874157823639717127748207402051822406052810553961961500519558809559539622982264596243203376964454635567765313491006260531176657162751172174301496687115493546109973256150395078195929965031541384810700913326225988893957178492269879018755359366492398631100309718225712222031^4+16329*1125643776551626283094893573190901013294665664442815058233862526140089496974950355408225367467360623760041678955210548970088160160311282672010021397861472915031441501972826234665979598953914013777827537925854356022943791915219511604062064245631178083494145429132216063425984351093414248296378010243808681833957445085453658623159479435911822161675486678805917170492211948828967138956113024910224064669151683230004738459228420102886981346843209714093125818370158208847052239581461165468775789534817130792494614373024731270281598428613168704304004028768989422276606958274380621147348865409287755077616702942745944631383671582026050388926580036448651261210302616348407890418696145835070388486319136242756618432125470079435380714106758551273868470515801479094912090098221644413570169042853856270796752611884471880686483265360315628031826164362072594183701011938774403640913593008068895605087486799921712335639569687950689463689931965192248218438549404311391^4
....
Elkiesã2017幎7æ30æ¥ã«çºèŠããn=16329ã®ãšãã®èªæã§ãªãæŽæ°è§£
ãã346429732854975524407446847^4+16329*54141872796715970999006713^4=606051030994671192182211305^4+16329*33186693159559232548599185^4
ãããå°ããèªæã§ãªãæŽæ°è§£(å
é ã®è§£ïŒæå°è§£ã§ãããã©ããã¯äžæ)ãèŠã€ããã
655700933372^4+16329*194394472427^4=2153477294662^4+16329*105160799831^4
437464581025644405995498027645111564922860755583^4+16329*33959339400227450135648500462588483336404118001^4=471772341403250876373595796473385083450472327653^4+16329*27097787324706156060028946696933779630881803587^4
16161609772709337127791960690668236810622849095052965806078112563970299568062248610002975004411382313079832^4+16329*6413893634014646142573923642938779779091138831019712261791104737310899704325496259656328502494509199554811^4=69077147190410722019485347287968223304768397789349002117914977587176720453096113119931714170373558535723842^4+16329*4169213849525630835764753676521217519737970907839495000576268267330384472681276642329419330697926044973991^4
3999299785824298395746452294541278155684774702407877633049981790127598524485865904159168808705178281231752999898870650751285764760978078206400522420239260759975754627541524610304865721038831^4+16329*1036904751770016178781157840550825382425999572069065471268866256092205142718260001334008698371267989898272280451127873322458794138835084562420002458953602241067032698589485271267138899234171^4=6278238705024331921400509817935512097932150899442043783641917320727987082863156401840758050252975764959241750578164452708126767548235571696723121127942432928437147405569986802624861589935239^4+16329*1018602946399709884648234581944532668297385548300918812069513566078911978751544459865976673420362819339926669644279147369423712323007645418204726250682736496615547708032817011318806562960643^4
....
æå°è§£ã¯
2187137^4 + 16329 * 163892^4 = 2415743^4 + 16329 * 78084^4
ã§ããã
# æ¢çŽ¢ããã°ã©ã ãäœåºŠãæ¹è¯ããããªãé«éåã§ããŸããã
# 3000000ãŸã§ãªãïŒ14幎åã®é
ãPCã§ïŒæ°æéã§çµãããŸãã
# ãã®ããã°ã©ã ã§ã100000ãŸã§ãã«ãããšã宿°ã«ãããŸããåæ°ç§ã§çµãããŸãã
ïŒãããããã
x^4+16329*y^4=z^4+16329*w^4ã®èªæã§ãªãæå°è§£ãã(14幎åã®PCã§)ãããæ°æéã§ç¹å®ãããšã¯ãé©ããŸãããn=16329ã®ãšãã®æå°è§£ããããããã(è±èªã§ã¯ã©ã衚èšããïŒ)ãBrute-force-searchã§ç¹å®ããããšãElkiesãSeiji Tomitaã«å ±åããŠãè¯ãã§ããããïŒ(çŽæ¥ãèªåèªèº«ã§å ±åããŸããïŒ)
ããããããã®ãã®çŽ æŽãããBrute-force-searchããã°ã©ã ã®é«éåã»å¹çåã®ããŠããŠ(å€éã«ãŒãã®æ§æãprimitiveãªæŽæ°è§£ã«å¶éããæ¹æ³ãmod pã«ããçµã蟌ã¿ã䜿ãããå¹³æ¹æ°ã»ïŒä¹æ°ãã©ããã®å€å®æ¹æ³ãæŽæ°ã®å¹³æ¹æ ¹ã»ïŒä¹æ ¹ã®èšç®æ¹æ³ãæŒç®ã¯128bitåºå®é·ãã©ãããæŽæ°ã®å¹³æ¹æ°ã»ïŒä¹æ°ã®è¡šã䜿ããã©ãããªã©)ãå¯èœãªç¯å²ã§æããŠãã ããªãã§ããããïŒ
ããããããã®n=16329ã®ãšãã®æå°è§£(å
é è¡)ã䜿ã£ãŠã倧ããæŽæ°è§£ãèšç®ããŸããã
2187137^4+16329*163892^4=2415743^4+16329*78084^4
491354218601741881832999663930146417367034571^4+16329*40652239146504168353565861842514770292760692^4=566164607296900855045109796799540398328779061^4+16329*9565408169771193199533896849798062948776796^4
27362207959873289612821603288256718930165496231118069449040647298772982990936688010140183061599487813835508727003033398899^4+16329*1738558521432562494802098742425351406211155307287554800170682914627271449561174123346305729405515693993998858054854788972^4=28458896630578874726526804761466998750712595986971770245786391099819360804018392347267138734357334509764005771591164480909^4+16329*1347068032714485019474788363299943855160381865947735915999025832019066318642619853909160205058044856103543041712397501636^4
311720480619907860336573604399912281083304226202966414379475371968878185767143324793919160323043321486084084769504312461409494429742724892065382678780941540296632870146177791393747120880602655928373051948157619013175068966491278916580393^4+16329*26746460695613543701617802144562813067915060577418955948973051919659284284646528804241267523815781493423152742264483832166807983982562903066816092557557318899575433015278545203245151791494664100714708784322353055620003484740361001536492^4=365254476380840936872179357773375058815039107701917453016194091596808343397965681870819602797182638471614096319268232671500890922964642800316742485563040877486654447457888267318785033027557657457375914956213322309825538824439384754669527^4+16329*493009111823349647059465379616036647979089980704455345821068699950246966543776002303960331727853495761521777493834511457828689065165587777401973634620994491280601596017619226132073705621975233137679218632744589968271459938201530765084^4
....
å ±åã¯æ§ããŸããããèªç±ã«è¡ã£ãŠäžããã
ããããå€åºããŸãã®ã§ãæ¢çŽ¢æ¹æ³ã«ã€ããŠã¯åž°å®
åŸæžã蟌ã¿ãŸãã
ååã¯æ°åŠç³»ãµã€ãã§ã¯æ¬åãåºããŠããŸãã®ã§ãT.Suzukiãã§ããã§ãã
x^4+C*y^4=z^4+C*w^4, 0ïŒxïŒzâŠN, 0ïŒwïŒyâŠN ã®è§£ã®æ¢çŽ¢ã§æ¡çšããŠããæ¹æ³ã¯ã
倧ããåãããšä»¥äžã®2ã¹ãããã§ãã
[1] (z^4-x^4)/Cã®å€ã®åé
[2] y^4-w^4ã®å€ã[1]ã§åéããããŒã¿ããæ€çŽ¢
[1]ã®å
容
åºæ¬çãªèãæ¹ã¯
> 1âŠxïŒzâŠNãæºãããã¹ãŠã®x,zã«ã€ããŠz^4-x^4ãCã§å²ãåãããã©ãã
> 調ã¹ãŠãå²ãåããã(z^4-x^4)/Cã®å€ããããã¡ã«ããã
ã§ããããã®ããã«ãããšæéããããããŸãçµæã®å€ãå€ãããŠ
ã¡ã¢ãªãè¶³ããªããªããŸãã®ã§ãäž¡æ¹ã解決ããŸãã
(é«éå)
ãŸãn=0ïœN-1ã«å¯ŸããŠn^4ãCã§å²ã£ãäœããèšç®ãããã®äœãã§nãåé¡ããŸãã
äŸãã°C=16329ã®ãšãã¯
äœã0: 0
äœã1: 1,5444,10885,16328
äœã2: ãªã
äœã3: ãªã
äœã4: 557, 4886, 11443, 15772
äœã5: ãªã
äœã6: 6216, 10113
ã»ã»ã»
äœã16325: ãªã
äœã16326: 2067,14262
äœã16327: 398,5045,11284,15931
äœã16328: ãªã
ã®ããã«ãªããŸãããã¡ãããã®åŠçã¯äžç¬ã§çµãããŸãã
ãããŠäœããåãã°ã«ãŒãå
ã®åå€ã«ã€ããŠkCãå ç®ãããã®ãã¹ãŠã®
çµåãã®å€ãèšç®ããŠãããã¡ã«ãããŸãã
äŸãã°C=16329,N=3000000ã§äœã4ã®è¡ã§ã¯
557, 557+16329, 557+16329*2, 557+16329*3, âŠ, 557+16329*183,
4886, 4886+16329, 4886+16329*2, 4886+16329*3, âŠ, 4886+16329*183,
11443, 11443+16329, 11443+16329*2, 11443+16329*3, âŠ, 11443+16329*183,
15772, 15772+16329, 15772+16329*2, 15772+16329*3, âŠ, 15772+16329*182
ã®ãã¹ãŠãx,zïŒxïŒzïŒã«åœãŠã¯ããŠ(z^4-x^4)/Cãèšç®ããŸãã
ïŒå¿
ãCã§å²ãåããŸãã®ã§å²ãåãããã©ããã®ç¢ºèªã¯äžèŠã§ããïŒ
C=16329,N=3000000ã®å Žåã¯ãã®èšç®åæ°ã¯çŽ9ååãšãªããŸãã
ãã®å·¥å€«ãããã«åçŽã«xãšzã®ã«ãŒãã«ãããš4.5å
åã§ãããã
åæ°ã¯å€§å¹
ã«æžã£ãŠããŸãã
(çµæã®çµã蟌ã¿ã«ããã¡ã¢ãªæ¶è²»éãš[2]ã®èšç®æéã®åæž)
ã(z^4-x^4)/Cã4乿°ã®å·®ã«çµ¶å¯Ÿã«ãªããªãããšãæãããªãã®ããç¡èŠããŸãã
å
·äœçã«ã¯ã0âŠm,nïŒ1360ã«å¯ŸããŠm^4-n^4ã1360ã§å²ã£ãéè² ã®äœã(0ïœ1359)
ãæ±ãã1360ã§å²ã£ãäœããåºçŸãããã©ããããããããèšç®ããŠãããŸãã
ãããŠ(z^4-x^4)/Cã1360ã§å²ã£ãäœããåºçŸããªãå€ã®ãšãããã®å€ãç¡èŠããŸãã
C=16329,N=3000000ã®å Žåã¯ããã«ããæ®ãæ°ã¯çŽ2.54ååãšãªããå
ã®åæ°
9ååã®27.7%ã«åæžã§ããŠããŸãã
â»1360ãšããæ°åã¯ããããããªå€ã§å®éšããŠããã以äžå€§ãããŠã
æå³ããªãããããšå€æããŠæ±ºããå€ã§ãã
â»(z^4-x^4)/Cã®å€ã¯128ããã倿°ã§ä¿æããŸãã®ã§ã
C=16329,N=3000000ã®å Žåã¯çŽ4GB䜿çšããŸããN^2ã«æ¯äŸããŸãã®ã§
N=10000000ãšãã¯åçŽã«ã¯åŠçã§ããŸããã
äžèšã®åŠçã«ããã[1]ã®å®è¡æéã¯C=16329,N=3000000ã§
(ç§ã®å€ãPCã§)çŽ80ç§ã§ããã
[2]ã®å
容
y^4-w^4ã®å€ã¯æ¯èŒçåçŽã«å
šãã¿ãŒã³çºçãããŠããŸãã
ãã ããy=2ïœNã«å¯ŸããŠwã¯N-1ããæžãããŠããã
y^4-w^4ïŒN^4/Cãšãªã£ããšããã§wã®ã«ãŒãããæããŸãã
ããã«ãããC=16329,N=3000000ã®ã±ãŒã¹ã§ã¯y=2ïœ26äžãŸã§ã¯
åŸã
ã«é
ããªã£ãŠãããŸããããã以éã¯èšç®éãæžã£ãŠãããŸãã®ã§
å éããŸããäŸãã°y=3000000ã®ãšãwã¯2999999ïœ2999954ã§çµããã§ãã
ãïŒN^4/Cãã§ãªããïŒ[1]ã®æå€§å€ãã®æ¹ãæ£ããã§ãããå€çã«
誀差ãªã®ãšã宿°ãã倿°ã®æ¹ãé
ãå¯èœæ§ãèããŠãïŒN^4/Cãã®ããã«
宿°ãšã®æ¯èŒã«ããŠããŸãã
ããŠãçºçã¯ããã§ããã®ã§ãããããããã®å€ã[1]ã§çæããã
èšå€§ãªããŒãã«ããæ€çŽ¢ããã®ã¯ãåçŽæ€çŽ¢ã§ã¯æéãããããããŠ
çŸå®çã§ã¯ãããŸããã
ããœãŒãããŠãããŠäºåæ¢çŽ¢ããèããŸããããããå°ãæ©ããããã
ã9999991ã§å²ã£ãäœãã§åé¡(ãœãŒã)ããŠã€ã³ããã¯ã¹ãäœã£ãŠããã
æ¢ãå€ã9999991ã§å²ã£ãäœãã«ããçãç¯å²ãæ¢çŽ¢ããããšã«ããŸããã
ã¡ã¢ãªã®é ãå Žæãé£ã³é£ã³ã§ã¢ã¯ã»ã¹ããããé£ç¶ããã¡ã¢ãªã
ã¢ã¯ã»ã¹ããæ¹ãéããšæããŸãã®ã§ãããããäºåæ¢çŽ¢ããéãã®ã§ã¯
ãªãããšæããŸãïŒããã¯äºæ³ã§ããå®éšã¯ããŠããŸããïŒã
9999991ãšããå€ã¯ãã€ã³ããã¯ã¹ãäœãã«ã倧ãããªããããªãããã«
é©åœã«æ±ºããçŽ æ°ã§ãããNã倧ãããšãã¯ããå°ã倧ããããæ¹ã
è¯ãããç¥ããŸããã
ãããä»ã«ç°¡åã«é«éåã§ããããªç®æãããã°æããŠäžããã
>ãããããã
ãšãŠããåèã«ãªããŸããã
çæéã§ããããã®é«éåã»å¹çåãå
šãŠå®è£
ããããã°ã©ãã³ã°æè¡ã¯ãã¯ãèžè¡(Art)ã§ãã
ããããšãããããŸãã
x^4+20012*y^4=z^4+20012*w^4 ã®èªæã§ãªãæŽæ°è§£(ãã ãã0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãããã€ãèŠã€ããã
12243588775413302136143663^4+20012*3626402239183894949300168^4=15864613605662345293067729^4+20012*3615647421314191364547964^4
1869479390900569207583808478574665811522008883566216732063691452483876275444611811360760888231975936189^4+20012*260420093920740443113185151067694545557713490001825666040158525796184319722116456703148779799870281258^4=2126878797468675159203610075702503096488990317630364898208849844893207723807616559918612951572911377987^4+20012*254378719215471460126418043187980024376249378126470666250158259022478577003893040412555346882000602338^4
668581253962268543982880647545635471113967585806091843234425518920394095484288758819788022954059565834122594697919780404474231092230136079647661443216252576889870657839428992294778411547968644000436121556995659128382686172257063^4+20012*62324257436630382533181475733609785073251628672437708470371903967304094826291688491105714931868203509491661314198173654746091726949254275460392958012380376567742265802812158793349914501429071438890261930093599538325988318045364^4=728535393121338027614497221170187616074131893573200156427983384806135858529408762659243887641637689721156545784517152568803126443380555810048455864730798251388337827307548497306379133943537033014401735611828629699928078005913561^4+20012*57584020881508584730051671515494504847076986861778917916743827804179431263948319187806014443288044264576240858996570673911698975351585185341195885016710972429192073133426851229851530289707706589040966179572341604764795349267632^4
...
å
é ã®æŽæ°è§£ãæå°è§£ã§ãããã©ããã¯äžæã§ããã
ãŸããmax{|x|,|y|,|z|,|w|}<=100000ãæºããèªæã§ãªãæŽæ°è§£(x,y,z,w)ã¯ååšããªãã
å
é ã®æŽæ°è§£ã䜿ã£ãŠãå¥ã®èªæã§ãªãæŽæ°è§£(ãã ãã0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãèšç®ããã
12243588775413302136143663^4+20012*3626402239183894949300168^4=15864613605662345293067729^4+20012*3615647421314191364547964^4
590675390502251355795512857691549386957051290449999878191116083081672010693508058942855648325632132813725034978688180423563127582694294483685336153513554023467921246989041629427703358568512021^4+20012*274512210720138248686643649551329803112526987358475963001967693827327150477407421984230441233264330577031739808853410023562787543077748980326473005118105022178628858960376856177030074793198676^4=1393015869286377590684655070825892225435043431485326044548909414015945273605423206655930063697884373279268784337155514194651726881989644226346831275781704561233667859886578049570079182896942827^4+20012*272284767402269969651347345708966960586045947806152608377674342130551567497790810786026547431426615292829871484618069327805009761632668582641695282243420382400714927350836866845105109811828792^4
1244808367341544652373051426385381317109609503439542933737423150696957011940631373290876358208180497476477359259742461605348012732464294260725555650843394499490691183804247383005489674974602562372938470658130054538621513778434367374885438205825912676213017925094941579698159413226014169450508852968948008682127650088614417485417610507504818230905662541576686310199099094516697790021070840176959452399210708373915331218960170074339846303039655396639898937497583959714830888257415421718803371838765621418290046948390076846467827^4+20012*1567318752447419334586728462166918827872305439527784610328199801292774962659913403666255726768487017878990967317157087297382162001223749935626358130170563505155883000678263086099013639273242698954320079429880981283437994204322241732633052387994344788623548579429407954660615958039382213465964648889601944919135234618311751511099976856394480090029656948716270062489130638085197692896482078263794905605451336958811969138525571239531512363045012550321998429608509469604839594508988236013018139961772160286159207390710219316708152^4=8535366880310349068894978660314167073887609093787681845151362247597436818215209882527987865182536698650633515198159638113409745627658968172428272107100302981400592444147543570845316621586311797554897302964217161905532515077909596267182684757120904980137892002339438010369699166736408885900319685631648547977510900488977650046795324553586552736452809158317932042953203074315711436755487566889468870726008619265365844160668439878291021493796499918611212987359605267276576327404446346797783654850924252700808977868534387123189261^4+20012*1549814156097782822994001286895385454807553685706112612191228380535184851001384088511175044299114244210131799137730830864788137285087304275942791935899651215993885232807489538246782777444183312158745236920820966347144056556174283084888765732591704062587176748876526442035369813794852953142686845435183657970763547991278831678773408667163905322015546662713848458940346906895164898039922246075818088866057411545831526310020159044647255763154286765432009078794962069422544530212436476860358492999117412840564360364506533289587636^4
....
å¥ã®èªæã§ãªãæŽæ°è§£(ãã ãã0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãèŠã€ããã
12500880837778884299589949163792404496371516637882603386004347336281712374339034884912211000147661834302597^4+20012*487854734138522160071750026658311210657147536040815446826837670749195480077592510554286467832363554740087^4=12643457285015438473115551426882778716871548424746350951586160658435920604645277942468917658673005089732779^4+20012*60125392428859639494943237387188549157052175449572750081397704286570789158863337884166492256333788449541^4
57843915553479790876759465758364940203933579304195649599711898559307598824059276033286594017754259845316475568435195467788289145175137882153422620393494241322464071110158021438717754739311012157121038079129051675415127796181063642889803968804896785526909318990173445411493945369900000295953794889946482268390232138532480545025365630824754999373505292706716441656640051696864030646420019789217926686979286252180419985183510875417^4+20012*3543603413501596289684109922415015905040358165557054977846249960068224587585784758239628028995313364524686678132447378875003229790695399019535244931044149224201350109087924663158489321442437308319892403403910971338438923707589887229137599725705726053326766252579671841130572333992641017502069302613945545958290407377213127358230314631399221913504326570785063761910535118060466239613320412055584437053578026619623248393061500761^4=59989151877009492324976368185950684528612783162525606965994435161184338247334979724937180392423591827651203312674229810043183819932156413792759100185332939247825827944762898698177069558899887379221064431446932908284923272247219640790638485706580503987664711338410376379210118360950231220638001559122834332181411590413554662203735479308711615825936293273058701488624861158961525344898146310591305848047868061810367124801023736711^4+20012*2892105557087508054966597360342217068997253409432817121001359845561993682241326316712131095012682582479496554584655647889680794480360195898474194444471944551883920394726707115219455137324188357980186653549732727270947504490878106473365950979345429328939410792131121062017946639158051756550550704915110645415247948266009224176879230820470627443788675128241715734043893268232017855821059152064553046152167402270218170459477083121^4
19205561033395013328382119957835414688291086473178118673199545626759349111720934410023972973013934355970488850186970067107845507691484707394034467434657640045557931443748847216668351437182425529376996377523331881306391640361416383525295126597505269216669126728273644199424401207253056858679524449896736561947482271355202097250101483948114987970196949428092731348925222260267729947022330430943142724505842175211237855247367298873078572744298092378418066179584676684227338820288009277875132486278004856178857667010199611804584197973114105656998364586192541290954718914500118052784574796586543942152912147365142111420991606195572187511767389299108740481527185034621842533164301607243894970475518829952533173491946716369260910574433257699840312705608541142221320829042157491141129309644755761165923482752131522497927146086293446072784159998222066050056620390156212271766496510498194284958124134690929407421203599413323352036660989128694179536287641299080331266363^4+20012*1091044112715155458467120958370904222426712140769159511203657636634319450355769985354897002451522519985775174537804779614555194309321010408127821617642530776988412520411873843674368706138385236189089055455219266767370741048791154667876584982904393810486234938550562904134003507290489357939011601602422974832552042298352510426904249786802266142926717054218563537359659357827482082551644016624954817863228918179731044544207541350714372505101999350774044872967018203428980737950196807215247395868345967498353142546942434914613198765942259628942867892747586401070017974787365289754973570018167094297218782141600927165967706887810347911386076452591223993009195817937069141718836988380513087592616987694095822133656702795809285188167644750047026247914212345415505751296632681394561734105610213604172959564933160275296760242885833909165768247074339310772035618566817377657409235522207496390656959056742759210820704601773611127068853759118568511652597370447429624221^4=19844637109111177396572291265600602184014886445912236522906280729478074796288723279904729675202667465893197424536879502084693051210323446978831642039553951326628647958525118837078493332884736909697292136381075847356045986707753751084870692336617225764297915589536272198615846875295785350535416045499455391974136798229607193550059661007237098254410297119689376270209488357903178695572481724416558949200643414271305794360598280619745986504249683097458286522771426194355522030081141891075326629305517527767262422444108498897267760304777108919175895614565107505182359280131729679980678454518767928345866425717731233635803209358707355719126095224124184013365571419309183591450407961548200701505533608353277770688621592708533418621804026674970997208397359752421787216413669542948766236990300513453877341021876234699788484360753337698828302566577997146028084844115851504444997289554058373718485957553825022839148625924202887995918391470726398607935735482902748164149^4+20012*826184114433336746103392964924658264744687777433194037916547671521857603347596624287373104114676809782350548511923525315987436247195208346263702197046403066223737023916941017556056980968548904771798221118012631381592297990220948010850112234431475832400131645237321093440333496837696117628663185205733515247411538324862778472970281390564064709713326020571371226493138935078864163098809863795293856221174799000472772795485403889287868774752772806346616156593230326955568891429201032385335033214192047266861123754784226363437488229046750157589725192370112241612903122107469591833337403778504864281644052916166439478467102601595156710690041322455106602505963336124954033139482074532404105497427347508137969456367926222008238953944662175345027260452243485185893410817903474028349047931024043259688615244300976330287254580493840968966659457993453977142357743312100320378093101645384769890428509531944087043014374930864996750703353266978088703291685181019821069137^4
....
å¥ã®èªæã§ãªãæŽæ°è§£(ãã ãã0<x<z, 0<w<y, gcd(x,y,z,w)=1)ãèŠã€ããã
152053114400806952980634017499157^4+20012*24088266530928067263883599110186^4=274633752551904503164766120639739^4+20012*16771946186104449464160435270008^4
4579483401427148467409550832047213988982244260560519712455239421415457720572983794332844547500306834146368361258989148247095076141^4+20012*332435987245830833194119287934905531732190307101207025073324255158071563349889157928946898911279358160520753844958488942028801419^4=5087866355387362389414310039484038438933791580762928528837193439719409107748365224260740203019241588731695562506587362865455042339^4+20012*162975002592426192525866218789297381748341200367070752946006249056754434291428681286315013738301106632078353429092417402575479353^4
63703839420477947109849597932472852478907073281232713063763756992624983991854414042207979643862623555195475160723720365309809749772368635196027272552381671301664537222337263513002779230097170073031136273729433605428022423170175652235853181824837951089108592001962042639011579625083170433563^4+20012*7370432584739346308387673095736605181643760346156810156281642728550140113977075962654151473004947112517375104278835277572572406144437962176513137144746372030997178471749515950563778367973836894266334336538115930992601102841095210768710302173840391235549219498198041172654754899131972277978^4=93017013336755816226329886986426294386323018247024111403556349905875879017645689621493425523208842655177881552850775475065337822882128086383661840221159702626235874772940416837909383235477404588016160168311265988151305949945543641925095424530653012454504548823486145629599732278954010185429^4+20012*2400625387353276730439089922247875454161554642440322623649221575866824894620015897107663820110459254143427026430183092345936951558815188219365052078179638410526600711784868491071756300486241277395340294989161529915160072750694119127703778728097962552916099442309993157541295985491640972644^4
....
åããã§èŠã€ããæå°è§£
685243^4 + 20012 * 110194^4 = 765627^4 + 20012 * 109026^4
ãããããããçºèŠããæå°è§£(å
é è¡)ã䜿ã£ãŠã倧ããªæŽæ°è§£ãèšç®ããŸããã
685243^4+20012*110194^4=765627^4+20012*109026^4
45735236596724065557825308530374395907^4+20012*8535429464695158282251719211807063346^4=64147107816514285513420795969264698883^4+20012*8271145056626041314303148073592475394^4
225599478094072331833586656892836235692148623619470495620736893002553440667630276407890943822308979923^4+20012*50643395814944646766166397266725856098389832830159097603267395872907285124356329114643729294635269154^4=404475987361447740227003151898128456266839315913524697623368940675229822954292836760383951182015817427^4+20012*48138477760362796215710123926392579696282614876074638999791562544992734593390373872550444280854324946^4
80957739046788402501510576127556945165996055530800925303113531327179091720456515641245999232621517749793794851632427838781935365205506284334942698298455222629284174610585017542265635669811788861867^4+20012*23007191484235307536424935903678412846777410972018461468842581577861707092008612719432275505872283353304721577130134673680060472687641108492852835891731764895301843176919810065915955831501637658306^4=192405748281837389686072986862158739632936440918947217239218674666283925825673757008535199669665303456037596116862233538576476244834651115675255588010551822304082917013934871338846089407597050185643^4+20012*21504522201990253874713022164316430311261715682335102218631812114703344934233156498161392960987143262333585274459688982740273029434469552250370988301080768193437877642676269194810514515622059596754^4
....