« STAP細胞の共同研究者、若山教授が、確信がなくなった、論文とりさげしようと呼びかけ。 | トップページ | エール大学の女性ポスドクが大学と上司を研究を妨害されたとして訴えた。 »

2014年3月10日 (月)

1/(√2 + √3 + √5 + √7 + √11 + √13 + √17 + √19 )の分母の有理化をMaximaで。

昨日、1/(√2 + √3 + √5 + √7)の分母の有理化、、、をWolfram|Alphaで。

という話を書いた。Wolfram AlphaさんのFree版では1/(√2 + √3 + √5 + √7 + √11 )が限界でそれ以上多くの項を計算しようとしたらタイムアウトエラー。Pro版なら時間延ばせるけど、、、

ではMaxima(wxMaxima)でその先を計算してどこまでいけるか?を見てみた。

Maximaさんでこういう計算をするには、、、

"代数的整数の整理の有効化"を選択しないといけないのだ。algebraic : not(algebraic);

というもの。これをしないと分母の有理化してくれない。

では試した結果は、、、(いや、以下は見なくていいですが、、、)

=(((((((5127674929586556471685649611746003074309360001680835313167537117539087580211984*
3^(5/2)-7091550617951584653905243991577071977498318182855148477784235154756798791930959*2^(9/2))*sqrt(5)-
2882586401707469061191953276820022671027239682068090850963885211139680560525525*2^(9/2)*3^(3/2)+
648126730472377738513326622056601036012224246206837182363100031915311171301906360)*sqrt(7)+(
5531711280523605501437745503925304811148390417263384658415268194540410739387547*2^(9/2)*3^(3/2)-
256299393734641833253561025777025736154536764924512146293126272484693079566720744)*sqrt(5)-
356488356883980394139822932264052615080677304699939168414644116401435525554214280*sqrt(3)+
68515312028293800303081432223448112218364252261401617819909527305571850626162885*2^(7/2))*sqrt(11)+((
923302430402876523392989925385976240271828359239382980464614814841751818597545*2^(9/2)*3^(5/2)-
238441022913479520406911898091409092460297415131067233732329181506531322347657256)*sqrt(5)-
139911983847068626492826679962415061117630623462206434433387732058054732924771224*3^(3/2)+
9419268739863710492019187326951291491549153858415175066457614990350172659785181*2^(7/2))*sqrt(7)+(
77649751889227036360544234887046622539592518659983555304633847922745458616151704*sqrt(3)-
69407592280522503761330728650854416882578038996188808183715622677942586898180247*2^(7/2))*sqrt(5)-
55070104671496412028282654506425527999360938489878192550924800548068070804370699*2^(7/2)*sqrt(3)+
1565097874141001359187499093048290064903555393187107809251259686578869998623315570)*sqrt(13)+(((
586180277450405146099206208301014695040507290584943353714365642190668091456480568-
1459728522025408757446932959205939775046773483485183995833541967568415814917653*2^(9/2)*3^(3/2))*sqrt(5)+
271253885780288502725269352996089943090338639580986974482784935027588152002449560*sqrt(3)-
28543536014956417263209233549689394209060482728765799167691469543108045459865815*2^(7/2))*sqrt(7)+(
54657884261644294942463028680621919271395348145039461670542086127318278421834741*2^(7/2)-
8149114329947769034738672069471818226852241947959397760808896982676220164905112*3^(7/2))*sqrt(5)+
63676142850758162863593924378922468523101934773140975782844174430282949850741995*2^(7/2)*3^(3/2)-
1494126081437460900311075003440710863169638828767394891260176722303386616652372702)*sqrt(11)+((
52022877791199607359557646299052702415132837998797227216829836550640679775732493*2^(7/2)-
1198186267342809074195618063918390795486040714684602475072209686019500518042232136*sqrt(3))*sqrt(5)+
237226081346856677712074674858386441951429929657713134291523357863252426081871961*2^(7/2)*sqrt(3)-
6232719918721387203840455512591375631918223277181238342779331117075745755024043134)*sqrt(7)+(
5507483498088118796196773615354201719912333642269378050632873621362135537012491058-
41932293884869546998766723762983372483876932666990744917748678697778328336758723*2^(7/2)*3^(5/2))*sqrt(5)+
618983805695187254993685770969190245614933293459291892028652818331944245155617270*3^(3/2)-
4560962627460352981393699569717841922507948798338777545867921637395701985726457107*2^(3/2))*sqrt(17)+((
((71825991827757732996212185549139660128266909313234338229777201661562462601769976-
4615426226724059491433589464201585588724120929078460048526355415320212691888053*2^(9/2)*3^(3/2))*sqrt(5)+
72365254588138674893287703727072383987494002033088250856469575499229634947614360*3^(5/2)-
117108370574511421076957982592559484589327309896244013151917918626375669342803135*2^(7/2))*sqrt(7)+(
117347686109179383781043883794919510207095382578578565756562526801674086362239117*2^(7/2)-
925744864859040552409793995408956281040446979044566625647700369697217835417203016*sqrt(3))*sqrt(5)+
21498600568251413278974215668916449218975366629657204383988208805746476149873625*2^(7/2)*sqrt(3)-
3986618665404174273356144023358823911497413245477956305957689563844427436004267262)*sqrt(11)+((
293217283636507729753197537819815280076152275207092272370042610692444409806199973*2^(7/2)-
318503980333596811993384416781420982940374036449543107310918663083693377039666392*3^(3/2))*sqrt(5)+
25240149501306371177002895014027284210727121094624386444190545401529117618179369*2^(7/2)*3^(5/2)-
4670239378926561251934619195070007782470355561332687322306501260840588477375006110)*sqrt(7)+(
4889225727518040844973849190732996148300652381608437100951946331782264709306079890-
276737997121490741308215714171407989462768125595702342207438666347916408149231427*2^(7/2)*sqrt(3))*sqrt(5)+
3540110581170989628571500164720908100370985524937446752883243436120787599311428758*3^(3/2)-
3985610709806649346408348959597434627626586407900124568709335786577016937912598275*2^(3/2))*sqrt(13)+((
(1654120393660814686104026715436435287833390395293857830329482268356459911507579096*sqrt(3)-
210470108954698778820829647062034882521836977764923541411333826889464537381016719*2^(7/2))*sqrt(5)-
340891446365541843945799351210300571171584189439697295851931864105083722003669635*2^(7/2)*sqrt(3)+
3280929137252742583922155448495358719550758692497793621127274988675040307797705298)*sqrt(7)+(
69084039059271840653472486928982786568266016804456213808207642518584969712073219*2^(7/2)*3^(3/2)-
8394808056611308935610249862813651538085316061922213249829363691309465393802626366)*sqrt(5)-
2997810263929620665782144682061572576207928422950648460144817295673561564917166234*3^(3/2)+
5387352761512704232772116074891739908038467480168539672368755443157054851082606149*2^(3/2))*sqrt(11)+((
295935615560274214097190069949178875452242157987716226604538946703898378887690913*2^(7/2)*sqrt(3)-
4858520640103624956296801342236451267871286220807990193589591770320784375861277662)*sqrt(5)-
1420542382344727817513969420635561713855682406654650181688072250343915392404279290*3^(3/2)+
7513485543026992346329416818314707337871857437462873281945439723735942247232131413*2^(3/2))*sqrt(7)+(
1586152163346656961925242803137206386043333265996464020935698216045362048829970930*3^(5/2)-
3304573734279025237117302536906053676889330999620460204349514130486526655354589411*2^(3/2))*sqrt(5)-
2135599582244221200137260429072445986984307425819148513140281593302870708115637385*2^(3/2)*3^(3/2)+
37892684575317171507608348287646147960776047592030001776381905224660820504383526465)*sqrt(19)+(((((
2058533735411084451316449115134296252234026326953427500223835130342996881504955*2^(9/2)*3^(3/2)-
722910186426805579758816823824996342292570804243453296448215398997655126769711784)*sqrt(5)-
748460676388206053011309054398892598481745919596160810239310023880215920803446088*sqrt(3)+
109503545922513399871408367733305473440419851835115491733047027232230033112751629*2^(7/2))*sqrt(7)+(
10207668481516127426251337907677773411226467931367414477225389433481691084442776*3^(9/2)-
139364960299867459979768491014583386710654421324035663939153268831167203788158823*2^(7/2))*sqrt(5)-
75431300470273401783382409160339351424502489168050961653883270424088467823056457*2^(7/2)*3^(3/2)+
633476806266439188724404589457154188198814660150335463015917650900388219397620274)*sqrt(11)+((
1960674512923960344266558607280245936025846383263589784355428963717736517469971160*sqrt(3)-
149290927669684073669885743689685854012434782552845876686909318463981284831866575*2^(7/2))*sqrt(5)-
259116113207896510900727434833868480757717484394592653970449590798064808333205955*2^(7/2)*sqrt(3)+
4509172057663987845538675384878042301845932962132160127339285996478587794959428114)*sqrt(7)+(
31941229922873532833250405330772703896900699049849162199420977705984555623635905*2^(7/2)*3^(5/2)-
6595854387451065240620908375195810385692084029018748450459837952767082098751928702)*sqrt(5)-
2229994844309833035781947689445238239403935327144508154677697742382254506572909402*3^(3/2)+
6534604247903797560662185146898973091955246143910366598300205219643986249918298917*2^(3/2))*sqrt(13)+((
(269715777698709209155198566641133605530104058483701904824751537920688366469977917*2^(7/2)-
57523934492122124565453907682589710357144071998606000442709805736609741523131352*3^(7/2))*sqrt(5)+
58635777250925293853957937336154945521714835983190089273136213703863176999217283*2^(7/2)*3^(3/2)-
7267697101588393642904362382897398689750396435245468663145187067541329348977970622)*sqrt(7)+(
3395632928897619422060825106631658954100754185808364348163596116776731246222471922-
139403135373369574437297231840848083464196819513572544757537185971221137489528121*2^(7/2)*3^(3/2))*sqrt(5)+
9409852472877043739654476744368329220881218495137516823752229842361491473551232674*sqrt(3)-
6228403138246298495551896790935188603706523483367370792403911719328922279777596531*2^(3/2))*sqrt(11)+((
4997700064026904026973001474321110884231458792062399423145658234770203456086064338-
19747925841916618931992409609188359233186469828636449796981546544311494080716475*2^(7/2)*3^(5/2))*sqrt(5)+
4435161436762283440742826539675152984147221531767369887348583794119262627236790358*3^(3/2)-
2957219878007048628755329981398002763486507676973872660600100872775665070565499683*2^(3/2))*sqrt(7)+(
9388089665182462108332631996872588530028764950313308525995981422794291567368877509*2^(3/2)-
5803410013038179000682970936096764804706156493812390405478836105290497378193354062*sqrt(3))*sqrt(5)+
5403162873832503110631171598099942798413594396668708781590553938937619214193431597*2^(3/2)*sqrt(3)-
13038951844144276197093064607908823006292950305877798191281576307534025366699409507)*sqrt(17)+((((
232225653896440318817602590915466107143860261151829753276062850551521390109797077*2^(7/2)-
837430217383222933740160790809793427839350705577326116943132349675531103452856584*sqrt(3))*sqrt(5)+
560415559224272130880395314476431496765963366010739412662725346871171315247163809*2^(7/2)*sqrt(3)-
6081483414778778763226446011924445552665237714323032346878662555315316053660427486)*sqrt(7)+(
12246180362022300915062276680313095874819148380192241399047913824245341359378459730-
108009649239124257055811626852390430182922515061633718090674293000926598810060721*2^(7/2)*3^(3/2))*sqrt(5)+
2715251818952725905557774871802089940622087673493428448309489457489943941410484950*3^(3/2)-
3393376489844231015108977246143086981780390977337372361919830051600630737191728483*2^(3/2))*sqrt(11)+((
6078005055754209779106038719002625577700039380047217275743779763387083371678705458-
398049667701442028361316804961602936026917630390219798342695976936245441544636155*2^(7/2)*sqrt(3))*sqrt(5)-
191378689587206104708981886127214485692464363033892036088794842505920968473254922*3^(3/2)-
5270778931660534842205175183253591614786608658195179561291013823735946259301455763*2^(3/2))*sqrt(7)+(-
1089487518763216779649392086395498104708846624794088708580969038471771011708305918*3^(5/2)-
487238309766036006947656926479299839310345163650407234085141189214599229030938731*2^(3/2))*sqrt(5)+
2351771515180710542390273252210435581498928693208967179861825515964407350199520959*2^(3/2)*3^(3/2)-
28319548492684862339715265844793376694708240647503211917844805306019133531990773675)*sqrt(13)+(((
116768109435205794845808422717794446844153162391804130600998512092430828503732379*2^(7/2)*3^(3/2)-
2521242488662810301831173990018069054101029712426470416246744640724407243143450398)*sqrt(5)-
1973420289987410190088465811740773702951362086621378010019797365200811771408357562*3^(3/2)+
1789392381206040102603617514502149903671178504855291640874777943322660056547418229*2^(3/2))*sqrt(7)+(
3993119468423060289807004720321287241859590144827809072373577435646810638466904130*sqrt(3)-
4298053161799384997093235925903369109176463245078306193620800695124542785314067779*2^(3/2))*sqrt(5)-
3191780835310487157092904934516433222164770030703903675036649517587392875326383483*2^(3/2)*sqrt(3)+
63771919110977045002856798088098587769862940036237331705575290808730188141115550129)*sqrt(11)+((
174270589467502841032581064000321874799349805256973779714407000013199612447514374*3^(7/2)-
14855048520312674179729681893917018029701913496321386491943553326850039840506666611*2^(3/2))*sqrt(5)-
5946375130698838654411248034269808748982692754479933990767675688127510954248797561*2^(3/2)*3^(3/2)+
99709987928724244563477799252511875451460167813980564883810065490884455573141904233)*sqrt(7)+(
25221337062297852859158253056662265973169984261424400766398219631160629114973994589*2^(3/2)*sqrt(3)-
98335118870343586065335526878671559048769394428141521594131711415615624588707936827)*sqrt(5)-
41505231652064153257653165894038836974637806797968785805494748518752594065890140405*3^(3/2)+
68581894680836560870439834020634161550344013129652850110241595000354028510603762303*sqrt(2))/(
801546831038865371948770977486741511830371928664459332515857486648308268482437941317

でした。これ以上長くしたら、

<< Expression too long to display! >>

のエラーが。この分母の有理化をやる人はいないだろう。

« STAP細胞の共同研究者、若山教授が、確信がなくなった、論文とりさげしようと呼びかけ。 | トップページ | エール大学の女性ポスドクが大学と上司を研究を妨害されたとして訴えた。 »

日記・コラム・つぶやき」カテゴリの記事

コメント

コメントを書く

(ウェブ上には掲載しません)

トラックバック

この記事のトラックバックURL:
http://app.cocolog-nifty.com/t/trackback/512682/59270990

この記事へのトラックバック一覧です: 1/(√2 + √3 + √5 + √7 + √11 + √13 + √17 + √19 )の分母の有理化をMaximaで。:

« STAP細胞の共同研究者、若山教授が、確信がなくなった、論文とりさげしようと呼びかけ。 | トップページ | エール大学の女性ポスドクが大学と上司を研究を妨害されたとして訴えた。 »

2017年5月
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      
フォト
無料ブログはココログ