란다우-라마누잔 상수

testwiki
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 란다우-라마누잔 상수(Landau-Ramanujan Constant)는 1908년 에드문트 란다우가 증명한 정리에서 등장하는 양의 실수 b이다. 란다우는 어떤 양의 실수 b에 대해, 충분히 큰 x에 대해, x 이하의 양의 정수 중 두 제곱수의 합으로 나타내어지는 것의 개수는 점근적으로 bxlnx임을 증명하였다. 정리에서 등장하는 상수 b가 란다우-라마누잔 상수이다.

자연수의 제곱합의 함수 r2(n)와의 관계 (OEISA001481)

1=02+12
2=12+12
4=02+22
5=12+22
8=22+22
S(n)=1nr2(n),r2(n)>0
S(n)r2(n)의 누적 개수이다.
S(1)=1=r2(1)1
S(2)=2=r2(1),r2(2)2
S(4)=3=r2(1),r2(2),r2(4)3
S(5)=4=r2(1),r2(2),r2(4),r2(5)
S(8)=5=r2(1),r2(2),r2(4),r2(5),r2(8)
K=limxS(x)(lnxx)란다우(1908)
S(x)=KAx(dtlnt)+θ(x)라마누잔, 하디(Hardy 1940)
K=0.7642236535....(OEISA064533)

란다우-라마누잔 상수의 다른 형태

두 제곱수의 합

두 제곱수의 합으로 나타내어지는 정수는 그 소인수분해에서 4로 나눈 나머지가 3인 각 소수들의 지수가 짝수인 수이다. 예를 들어, 45 = 9 + 36은 두 제곱수의 합이다. 소인수분해 32 x 5에서 3은 짝수 지수를 가지며, 5는 4로 나눈 나머지가 1이므로 지수가 홀수일 수 있다.

란다우의 정리에는 다음과 같이 되어 있다.

limx (lnxxS(x))=b0.764223653589220662990698731250092328116790541 틀:OEIS,

같이 보기