5
数学史・伝記解説
文献あり

ラマヌジャンの公式集:ラマヌジャンの出題した問題

656
0

はじめに

 この記事ではラマヌジャンの発見した公式の数々を鑑賞していきます。
 今回はラマヌジャンが渡英以前にインド数学会誌("Journal of The Indian Mathematical Society")に出題していた問題を紹介していきます。
 なおそれらの問題はG.H. Hardyによる"Collected Papers"にてまとめられており、当時(1927)解決されていた問題についてはその解答が掲載されたインド数学会誌の巻数や、その解法が載っている文献が付記されています。またその"Collected Papers"やその原典である"Journal of The Indian Mathematical Society"における記述については このサイト のQuestionsからも閲覧できます。

III

Question 260

32log2=1+n=12(4n)34n
を示せ。

Question 261

(a)n=1(1+1n3)=1πcosh3π2(b)n=1(11n3)=13πcosh3π2
を示せ。また左辺の表示から(b)=(a)/3を示せ。

Question 283

 未知数x,y,z,p,q,rに関する方程式
x+y+z=apx+qx+rz=bp2x+q2y+r2z=cp3x+q3y+r3z=dp4x+q4y+r4z=ep5x+q5y+r5z=f
は解けることを示せ。また(a,b,c,d,e,f)=(2,3,4,6,12,32)の場合についてこれを解け。

Question 284

x66x2y=y69y2x=5(xy1)
を解け。

Question 289

1+21+31+6+27+38+
の値を求めよ。

Question 294

 正整数nに対してある13<Θ<12が存在して
en2=k=0n1nkk!+nnn!Θ
が成り立つことを示せ。

Question 295

 αβ=πにおいて
α0ex2coshαxdx=β0ex2coshβxdx
が成り立つことを示せ。

Question 308

0π2θcotθlogsinθ dθ=π248π4(log2)2012arcsinxxdx1201arctanxxdx=π8log2
を示せ。

Question 327

 オイラー定数
γ=limn(k=1n1klogn)

log2n=1nk=13n12(3n32+3k)3(3n32+3k)
に等しいことを示せ。

IV

Question 352

11e2π1+e4π1+e6π1+=(5+525+12)e25π11eπ1+e2π1e3π1+=(552512)e15π
を示せ。

Question 353

 奇数n1に対し
0sinnxcoshx+cosxdxx=π4
が成り立つことを示せ。またこのことから
π8=k=0(1)k2k+1(cosh2k+12nπ+cos2k+12nπ)1
が成り立つことを示せ。

Question 358

 4の倍数n0に対し
k=0(1)k(2k+1)n1cosh2k+12π=0
が成り立つことを示せ。

Question 359

sin(x+y)=2sinxy2,sin(y+z)=2sinyz2
において
(sinxcosz2)14+(cosxsinz2)14=(sin2y)112
が成り立つことを示せ。また実際これが
sin2x=(52)3(4+15)2,sin2y=52,sin2z=(52)3(415)2
の場合について成り立つことを確認せよ。

Question 386

0dxn=0(1+rnx2)=π21n=0rn(n+1)2
を示せ。

Question 387

n=1ne2πn1=12418π
を示せ。

Question 427

 二次形式の積
(Ax2+Bxy+Cy2)(Ap2+Bpq+Cq2)
を再びAu2+Buv+Cv2の形に表せ。またそのことから
(2x2+3xy+5y2)(2p2+3pq+5q2)=2u2+3uv+5v2
を満たすようなu,vの一つとして
u=52(x+y)(p+q)2xp,v=2qy(x+y)(p+q)
が成り立つを示せ。

V

Question 441

(6a24ab+4b2)3=(3a2+5ab5b2)3+(4a24ab+6b2)3+(5a25ab3b2)3
を示せ。また同様の関係式(おそらく
P3=Q3+R3+S3
という恒等式のこと)を満たす別の二次式を見つけよ。

Question 463

0costxe2πx1dx=ϕ(t)
とおくと
0sintxe2πx1dx=ϕ(t)12t+ϕ(π2t)2π3t3
が成り立つ。ϕ(t)を求めよ。特に
ϕ(0)=112,ϕ(π2)=14π,ϕ(π)=228ϕ(2π)=116,ϕ()=0
を示せ。

Question 464

 2n7n=3,4,5,7,15のとき平方数となる。このようなnを他にも求めよ。

 上の問題はINTEGERSの こちらの記事 にて解説されています。

Question 469

 n!+1n=4,5,7のとき平方数となる。このようなnを他にも求めよ。

Question 489

n=1(1+e(2n1)π55)=1+3+252e124π55
を示せ。

Question 507

x2=y+a,y2=z+a,z2=x+a
を解け。またそのことから
88+8=1+23sin2011211+211=1+4sin1023223+223=1+43sin20
を示せ。

VI

Question 524

cos2π73+cos4π73+cos8π73=537323cos2π93+cos4π93+cos8π93=393623
を示せ。

Question 525

5343=23+2032533283273=98328313
を示せ。

Question 526

1x>n=1nn2(x+n)n(x>0)
を示せ。またxが十分大きいときの誤差を推定せよ。特に
n=1nn2(1000+n)n1100010440
を示せ。

Question 541

n=01(2n+1)!!+11+11+21+31+41+=πe2
を示せ。

 上の式もINTEGERSの こちらの記事 にて解説されています。

Question 546

n=0(2n)!!(2n+1)(2n+1)!!(1314n+1)=π12log(2+3)n=0(1)n(2n)!!(2n+1)(2n+1)!!=π2812(log(1+2))2
を示せ。

Question 571

π2α=logtan(π4(1+β))
において
n=1((2n1)2β2(2n1)2+α2)(1)n(2n1)=eπ2αβ
を示せ。

Question 584

n=0xn2k=1n(1xk)=n=11(1x5n4)(1x5n1)n=0xn(n+1)k=1n(1xk)=n=11(1x5n3)(1x5n2)

Question 605

limx(x+ab)!(8x+2b)!(9x+a+b)!(3x+ac)!(3x+ab+c)!(12x+3b)!=23
を示せ。

Question 606

n=0(52)2n+1(2n+1)2=π224112(log(2+5))2
を示せ。

VII

Question 629

12+n=1eπn2xcos(πn21x2)=2+1+x1xn=1eπn2xsin(πn21x2)
を示せ。またそのことから
12+n=1eπn2=5510(12+n=1e5πn2)n=1eπn2(πn214)=18
を示せ。

Question 642

n=0(k=0n12k+1)5n2n+1=π245n=0(k=0n12k+1)9n2n+1=π2838(log2)2
を示せ。

Question 661

 整数の範囲で
x3+y3+z3=u6
を解け。またそのことから
635333=2683+63+13=36123103+13=3646337333=661743+1333453=14611883509333=346
を示せ。

Question 662

 翻訳が面倒なので割愛。
Collected Papersより Collected Papersより

Question 666

 正の有理数の範囲で
xy=yx
を解け。例えば
(x,y)=(4,2),(27/8,9/4)
はこれを満たす。

Question 681

 整数の範囲で
x3+y3+z3=1
を解け。またそのことから
63+83=93193+103=123+11353+1383=172317913+8123=101031111613+114683=142583+1656013+674023=838023+1
を示せ。

Question 682

 A+B3という形の無理数の三乗根の求め方を提示せよ。またそのことから
2313=193293+493
を示せ。

Question 699

 方程式
x6x3+x2+2x1=0x6+x5x3x2x+1=0
の解はそれぞれ根号を用いて表せることを示せ。

Question 700

k=1n(a+b+2k1)(a)k2(b)k2
を求めよ。

 ただし(x)nはポッホハマー記号
(x)n=x(x+1)(x+2)(x+n1)
としました。

Question 722

x2=y+a,y2=z+a,z2=u+a,u2=x+a
を解け。またそのことから
x=5+5+55+x
のとき
x=12(2+5+1565)
が成り立つこと、および
x=5+555+x
のとき
x=14(52+1345+50+125268205  )
が成り立つことを示せ。

Question 723

[n3]+[n+26]+[n+46]=[n2]+[n+36][12+n+12]=[12+n+14][n+n+1]=[4n+2]
を示せ。

 ただし[x]はガウス記号としました。

Question 724

k=1narctan12n+2k1=k=1narctan1(2k1)(1+2(2k1)2)k=1narctan1(2n+2k1)3=k=1narctan1((2k1)3)3
を示せ。

VIII

Question 738

ϕ(x)=n=1nn2xn1(n1)!enx
とおいたとき0x1においてϕ(x)=1が成り立ち、x>1においてはϕ(x)1が成り立つことを示せ。また極限
limϵ0+ϕ(1+ϵ)ϕ(1)ϵ
を求めよ。

Question 739

 正整数nに対し
0enx(cotx+cothx)sinnx dx=π2(1+eπn1eπn)(1)n
を示せ。

Question 740

ϕ(x)=(ex[x]!x[x])22πx(x>0)
とおいたとき、ϕ(x)は連続関数を定めること、およびxにおいてπ3からπ6までを振動することを示せ。またϕ(x)を微分せよ。

Question 753

ϕ(x)=12log2πxx+1x[t]tdt
とおいたとき
lim supxxϕ(x)=124,lim infxxϕ(x)=112
を示せ。

Question 754

 ある1100<E<130が存在し、x>0において
(ex)xΓ(1+x)π=8x3+4x2+x+E6
が成り立つことを示せ。

Question 755

 翻訳が面倒なので割愛。
Collected Papersより Collected Papersより

Question 768

ψ(x)=x+2x2+x+1
とおいたとき、x>0において
n=113nψ(x3n)=1logx+11x
が成り立ち、x<0において
n=113nψ(x3n)=11x
が成り立つことを示せ。

Question 769

log2n=21nlognlog2n+n=2(1)nnlogn=1log2
を示せ。

Question 770

 δnを約数関数δn=dn1とすると
n=0(1)n2n+1δ2n+1
は収束し
n=1(1)n1nδn
は正か負の無限大に発散することを示せ。

Question 783

 x=ynyn1において
Jn=01logyxdx
とおくと
J0=π26,J12=π210,J1=π212,J2=π215
および
Jn+J1n=π26
が成り立つことを示せ。

Question 784

 {x}xの小数部分(つまり{x}=x[x])とすると
lim infNN{N2}=122lim infNN{N3}=13lim infNN{N5}=125lim infNN{N6}=16lim infNN{N7}=327
および任意の整数n,p(p>0)に対し
lim infNN(logN)1p{Ne2n}=0
が成り立つことを示せ。またp=0においてはこれが成り立たないことも示せ。

Question 785

3(a3+b33a)(a3+b33b)3=(a+b)23a2ab+b23
を示せ。これは
2(a2+b2a)(a2+b2b)=a+ba2+b2
の類似である。

XI

Question 1049

0sinnxx+1x+2x+3x+dx=π/2n+1n+2n+3n+0sin(πnx/2)x+12x+22x+32x+dx=1n+12n+22n+32n+

 nという記号は一般に整数を表すものとして用いられるが、ラマヌジャンはnを連続変数にもよく用いていたことを踏まえると、上の式はn>0あたりで成り立つものと思われる(詳しくは検証していない)。

Question 1070

155+455=1+25+855=161255+81255+2125511255325527553=1255+325592553+25432544=54+1541
を示せ。

Question 1076

7203196=533233423351338=493293+193
を示せ。

参考文献

[1]
G. H. Hardy, Collected Papers of Srinivasa Ramanujan, Cambridge University Press, 1927
投稿日:2024214
更新日:2024214
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉
子葉
1088
266394
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中