나무모에 미러 (일반/어두운 화면)
최근 수정 시각 : 2024-10-03 12:09:15

2의 거듭제곱

1. 개요2. 목록3. 성질
3.1. 일의 자릿수의 반복3.2. 2의 거듭제곱의 부분합3.3. 2의 거듭제곱을 모두 더하면?3.4. 완전수와의 관계
4. 관련 문서

1. 개요

2거듭제곱수를 나열한 문서이다. 거듭제곱 특성 상 초반에는 작지만 조금만 커져도 매우 커지므로 기하급수적으로 증가하기에 210만 되어도 1,000을 넘는다. 그러므로, 편의상 2100까지만 서술한다.

2의 거듭제곱이 가장 기본적인 지수형태이자 대표적인 기하급수의 예시이다. n의 값이 작을 때에는 1씩 올려봐야 그리 많이 커지진 않겠지만 10 정도만 넘어도 엄청 커진다. 그런데 이 n의 값이 100 정도 되어버리면 그 값은 우주와 관련된 수에 버금가거나 경우의 수가 아닌 이상 오히려 아득히 초월해버릴 정도로 커진다. 그 이후에도 계속 2배씩 올라가니 (n2)×100이든 n999999999999999든 2n 꼴에서 n의 값이 충분히 커질 수만 있다면 초월해버릴 수 있다.[1]

2. 목록

지수 표기 비고
20 1 곱셈의 항등원
1 비트(1bit)로 표현 가능한 정보량[2]
홀수인 유일한 2의 거듭제곱수
21 2 소수인 유일한 2의 거듭제곱수
22 4 M(2)+1
[math(2\uparrow^n2\;(n\in\mathbb N))][3]
1 니블[4]로 표현 가능한 정보량
최초의 합성수
23 8 1 바이트(1byte)로 표현 가능한 정보량
M(3)+1
24 16 [math(a^b=b^a)]를 만족하는 유일한 자연수
25 32 M(5)+1
26 64 제곱수이자 세제곱수인 최초의 수, 즉 최초의 여섯제곱수 ([math((2^2)^3=2^6=64)])
체스판에 존재하는 모든 칸의 개수
27 128 M(7)+1
표준 아스키 코드의 모든 글자 수[5]
존재 가능한 모든 IP v4 클래스 A 네트워크의 개수[6]
28 256 unsigned char자료형의 상한값
IPv4, v6의 한 옥텟(octet)이 가질 수 있는 주소의 개수[7]
RGB에서 한 색상 채널이 가질 수 있는 심도 깊이
29 512 한 디스크 섹터의 바이트 개수
210 1,024 1 키비비트(1Kibit)로 표현 가능한 정보량
211 2,048 2의 거듭제곱 단위의 숫자를 맞추는 동명의 퍼즐 게임이 존재한다.
212 4,096 인텔 x86의 하드웨어 페이지 사이즈
4K DCI 디스플레이의 가로 해상도[8]
NTFS의 클러스터 사이즈
213 8,192 M(13)+1
1 키비바이트(1KiB)로 표현 가능한 정보량
214 16,384 존재 가능한 모든 IP v4 클래스 B 네트워크의 개수[9]
215 32,768
216 65,536 unsigned short자료형의 상한값
크기가 4인 집합에서 정의 가능한 이항 관계의 최대 개수
IP v4 클래스 B 네트워크 안에서 할당 가능한 모든 호스트 주소의 개수[ip]
217 131,072 M(17)+1
218 262,144
219 524,288 M(19)+1
220 1,048,576 1 메비비트(1Mibit)로 표현 가능한 정보량
221 2,097,152 존재 가능한 모든 IP v4 클래스 C 네트워크의 개수[11]
222 4,194,304
223 8,388,608 1 메비바이트(1MiB)로 표현 가능한 정보량
224 16,777,216 트루컬러로 표시될 수 있는 모든 고유한 색상 개수
IP v4 클래스 A 네트워크 안에서 할당 가능한 모든 호스트 주소의 개수[ip]
225 33,554,432
226 67,108,864
227 134,217,728
228 268,435,456
229 536,870,912 10진법으로 썼을 때 각 자릿수가 전부 다른 가장 큰 2의 거듭제곱수
230 1,073,741,824 1 기비비트(1Gibit)로 표현 가능한 정보량
231 2,147,483,648 M(31)+1
232 4,294,967,296 unsigned int자료형의 상한값
유닉스 시간으로 표현 가능한 모든 순간의 가짓수
IPv4로 할당 가능한 모든 주소의 개수
알파 채널을 포함하는 트루컬러 공간에서 표현 가능한 모든 고유한 색상 개수
233 8,589,934,592 1 기비바이트(1GiB)로 표현 가능한 정보량
만약 전세계의 모든 사람들(약 80억 명)이 토너먼트 시합을 할 경우, 33번의 경기로 1등이 결정된다.
234 17,179,869,184
235 34,359,738,368
236 68,719,476,736
237 137,438,953,472
238 274,877,906,944
239 549,755,813,888
240 1,099,511,627,776 1 테비비트(1Tibit)로 표현 가능한 정보량
241 2,199,023,255,552
242 4,398,046,511,104
243 8,796,093,022,208 1 테비바이트(1TiB)로 표현 가능한 정보량
244 17,592,186,044,416
245 35,184,372,088,832
246 70,368,744,177,664
247 140,737,488,355,328
248 281,474,976,710,656
249 562,949,953,421,312
250 1,125,899,906,842,624 1 페비비트(1Pibit)로 표현 가능한 정보량
251 2,251,799,813,685,248
252 4,503,599,627,370,496
253 9,007,199,254,740,992 1 페비바이트(1PiB)로 표현 가능한 정보량
9로 시작하는 첫 2의 거듭제곱수
254 18,014,398,509,481,984
255 36,028,797,018,963,968
256 72,057,594,037,927,936 DES 56비트 암호로 만들 수 있는 가능한 모든 키의 개수
257 144,115,188,075,855,872
258 288,230,376,151,711,744
259 576,460,752,303,423,488
260 1,152,921,504,606,846,976 1 엑스비비트(1Eibit)로 표현 가능한 정보량
261 2,305,843,009,213,693,952 M(61)+1
262 4,611,686,018,427,387,904
263 9,223,372,036,854,775,808 1 엑스비바이트(1EiB)로 표현 가능한 정보량
264 18,446,744,073,709,551,616 unsigned long int자료형의 상한값[13]
IPv6로 할당 가능한 모든 주소의 개수
265 36,893,488,147,419,103,232
266 73,786,976,294,838,206,464
267 147,573,952,589,676,412,928
268 295,147,905,179,352,825,856 자릿수에 0부터 9까지 모든 수를 포함하는 첫 2의 거듭제곱수
269 590,295,810,358,705,651,712
270 1,180,591,620,717,411,303,424 1 제비비트(1Zibit)로 표현 가능한 정보량
271 2,361,183,241,434,822,606,848
272 4,722,366,482,869,645,213,696
273 9,444,732,965,739,290,427,392 1 제비바이트(1ZiB)로 표현 가능한 정보량
274 18,889,465,931,478,580,854,784
275 37,778,931,862,957,161,709,568
276 75,557,863,725,914,323,419,136
277 151,115,727,451,828,646,838,272
278 302,231,454,903,657,293,676,544
279 604,462,909,807,314,587,353,088
280 1,208,925,819,614,629,174,706,176 1 요비비트(1Yibit)로 표현 가능한 정보량
281 2,417,851,639,229,258,349,412,352
282 4,835,703,278,458,516,698,824,704
283 9,671,406,556,917,033,397,649,408 1 요비바이트(1YiB)로 표현 가능한 정보량
284 19,342,813,113,834,066,795,298,816
285 38,685,626,227,668,133,590,597,632
286 77,371,252,455,336,267,181,195,264
287 154,742,504,910,672,534,362,390,528
288 309,485,009,821,345,068,724,781,056
289 618,970,019,642,690,137,449,562,112 M(89)+1
290 1,237,940,039,285,380,274,899,124,224 1 론비비트(1Ribit)로 표현 가능한 정보량
291 2,475,880,078,570,760,549,798,248,448
292 4,951,760,157,141,521,099,596,496,896
293 9,903,520,314,283,042,199,192,993,792 1 론비바이트(1RiB)로 표현 가능한 정보량
294 19,807,040,628,566,084,398,385,987,584
295 39,614,081,257,132,168,796,771,975,168
296 79,228,162,514,264,337,593,543,950,336
297 158,456,325,028,528,675,187,087,900,672
298 316,912,650,057,057,350,374,175,801,344
299 633,825,300,114,114,700,748,351,602,688
2100 1,267,650,600,228,229,401,496,703,205,376 1 퀘비비트(Qibit)로 표현 가능한 정보량

3. 성질

3.1. 일의 자릿수의 반복

지수가 하나 올라갈 때마다 (십진법 기준) 일의 자릿수가 2, 4, 8, 6으로 반복된다.[14]이를 통해 다음을 구할수 있다.
257의 계산 결과의 일의 자릿수를 구하여라.

이런 문제의 답은 [math(\dfrac{지수}4)]를 계산하였을 때 나머지가 1이면 2, 2이면 4, 3이면 8, 0이면 6이다. 따라서 답은 2가 된다.

3.2. 2의 거듭제곱의 부분합

[math(b_n=2^n)]인 수열 [math(\{b_n\})]의 [math(b_0)]부터 처음 [math(n)]개 숫자의 부분합 [math(\displaystyle\sum^{n-1}_{k=0}b_k)]은 항상 [math(b_n-1)]이 된다. 예를 들어 첫 4개의 숫자들의 합인 [math(1+2+4+8=15=16-1=2^4-1)]이다.

증명은 다음과 같다. 초항이 [math(a)]이고 공비가 [math(r)]인 등비수열 부분합은 [math(\dfrac{a(r^n-1)}{r-1})]이므로 각각 [math(1)]과 [math(2)]를 대입하면

[math(\dfrac{1(2^n-1)}{2-1}=\dfrac{2^n-1}1=2^n-1=b_n-1)]


분모를 보면 이 성질이 2의 거듭제곱에서만 성립함을 알 수 있다. 여러모로 유용한 성질인데, 2진법의 나눗셈 계산 등은 다른 진법과 다르게 간단하게 끝낼 수 있다.

3.3. 2의 거듭제곱을 모두 더하면?

바로 위 문단에서 부분합의 성질이 나오는데 만약 아예 전부 더하면 어떻게 될까?

[math(\displaystyle \sum_{n=0}^{\infty} 2^n = 1 + 2 + 4 + 8 + \cdots = \frac{1}{1-2} = -1)]

스리니바사 라마누잔은 2의 거듭제곱의 무한합을 위와 같이 계산했다. 원래는 저 무한합은 양의 무한대로 발산하지만, 복소수 위에서 해석적 접근을 하면[15] 저렇게 된다.
파일:상세 내용 아이콘.svg   자세한 내용은 라마누잔합 문서
번 문단을
부분을
참고하십시오.

3.4. 완전수와의 관계

[math(2^n-1)]이 소수일 때, 여기에 [math(2^{n-1})]를 곱하면 완전수가 된다. 이 때, 소수인 [math(2^n-1)]을 메르센 소수라고 한다.

증명은 다음과 같다. [math(2^n-1)]이 메르센 소수일 때, [math(2^{n-1}(2^n-1))]의 모든 약수들의 집합 [math(D_2)]는 [math(2^{n-1})]의 모든 약수들의 집합 [math(D_1=\{2^{k-1}\,|\,k\in\mathbb N\land k\leq n\})] 에 대해, [math(D_2=\{d(2^n-1)\,|\,d\in D_1\}\cup D_1)] 이다. 또한 항상 [math(2^n-1\gt2^{n-1})] 이므로 [math(\{d(2^n-1)\,|\,d\in D_1\}\cap D_1=\varnothing)] 임이 자명하다.

이제 위에서 언급한 2의 거듭제곱의 부분합 공식을 사용해 보자. 먼저 [math(D_1)]의 합은 다음과 같다.

[math(\displaystyle\sigma_1(2^{n-1})=\sum^n_{k=1}2^{k-1}=\sum^{n-1}_{k=0}2^k=2^n-1)]


이어서 [math(D_2)]의 합을 구해보자.

[math(\displaystyle\sigma_1\left(2^{n-1}(2^n-1)\right)=(2^n-1)\sigma_1(2^{n-1})+\sigma_1(2^{n-1})=2^n\sigma_1(2^{n-1})=2^n(2^n-1))]


이제 이걸 2로 나누어 보자.

[math(\dfrac{2^n(2^n-1)}2=\dfrac{2^n}2(2^n-1)=2^{n-1}(2^n-1))]


약수를 모두 더한 후 2로 나누었더니 자기 자신이 되었다. 따라서 [math(2^{n-1}(2^n-1))]은 완전수이다.

4. 관련 문서


[1] 이와 관련된 이야기로는 한 부자가 젊은이에게 바둑판의 한 판에다 하나의 곡식을 거듭제곱 씩 올라서 그만큼을 가져가라고 했다가 낭패를 본 경우가 있었고, 젊은이가 부자에게 곡식을 거듭제곱으로 3년치 새경을 달라고 하자 부자가 승낙했다가 나중에 엄청나게 불어난 새경을 보고 기절한 이야기도 있다.[2] 0 또는 1이니까 두 개 아니냐고 생각할 수도 있지만, 한 비트가 특정 상태에서 가질 수 있는 값은 0 아니면 1이니까 단 하나뿐이다. 따라서 후술할 단위들에서 나오는 정보량은 곧 비트의 개수와 일치한다. 예를 들어 1Kibit는 1024bits이고 아스키 문자 128글자정도 담을 수 있는 정보량을 가진다. 해당 비트수로 표현 가능한 가장 큰 정수는 '~로 표현 가능한 상한값'으로 표시한다.[3] 임의의 자연수에 대해 항상 4로 고정된다.[4] 4비트. 주로 16진법의 한 자릿수를 말하기 위해 쓰인다.[5] 왜 256개가 아니냐면, 역사적으로 한 바이트의 첫 비트는 검증용 비트로 따로 사용하느라 남는 공간이 7비트밖에 없었기 때문이다.[6] 클래스 A네트워크 주소는 2진법 기준 0으로 시작하기에 28-1=7 개가 존재 가능하다.[7] 왜 상한값(upper bound)가 아니냐면, IP주소의 범위는 0부터 255까지이기 때문이다. 255가 연속된 주소는 흔히 서브넷 마스크로 쓰인다.[8] 다만 흔히 4K로 불리는 4K UHD 표준은 3840×2160로, 정확히 4096픽셀인 것은 아니다.[9] 클래스 B네트워크 주소는 2진법 기준 10으로 시작하기에 216-2=14 개가 존재 가능하다.[ip] 기본 게이트웨이, 브로드캐스트 주소 등 특수 주소 포함.[11] 클래스 C네트워크 주소는 2진법 기준 110으로 시작하기에 224-3=21 개가 존재 가능하다.[ip] [13] 다만 아키텍처나 컴파일러마다 결과가 다르게 나올 가능성이 있다. 가장 확실한 방법은 usize64_t를 사용하는 것이다.[14] 예시 : 21=2, 22=4, 23=8, 24=16, 25=32.[15]해석적 연속(analytic continuation)을 취하면

분류