Степень двойки — это число вида 2 n , где n — целое число , то есть результат возведения в степень с числом два в качестве основания и целым числом n в качестве показателя степени .
Степени двойки с неотрицательными показателями являются целыми числами: 2 0 = 1 , 2 1 = 2 , а 2 n равно двум, умноженному на себя n раз. [1] [2] Первые десять степеней двойки для неотрицательных значений n равны:
Для сравнения, степени двойки с отрицательными показателями являются дробями : для положительного целого числа n , 2 − n равно половине, умноженной на себя n раз. Таким образом, первые несколько отрицательных степеней 2 равны 1/2 , 1/4 , 1/8 , 1/16 и т. д. Иногда их называют обратными степенями двойки , поскольку каждая из них является мультипликативной обратной величиной положительной степени двойки.
Поскольку два является основанием двоичной системы счисления , степени двойки распространены в информатике . Записанная в двоичном виде, степень двойки всегда имеет вид 100...000 или 0,00...001, как и степень 10 в десятичной системе.
Два в степени n , записанное как 2 n , — это количество значений, в которых могут быть установлены биты в двоичном слове длины n , где каждый бит имеет одно из двух значений. Слово, интерпретируемое как представление целого числа в диапазоне, начинающемся с нуля, называемое «целым числом без знака», может представлять значения от 0 ( 000...000 2 ) до 2 n − 1 ( 111...111 2 ) включительно. Альтернативное представление, называемое целым числом со знаком , допускает значения, которые могут быть положительными, отрицательными и нулевыми; см. Представления знаковых чисел . В любом случае, единица меньше степени двойки часто является верхней границей целого числа в двоичных компьютерах. Как следствие, числа этой формы часто появляются в компьютерном программном обеспечении. Например, видеоигра, работающая на 8-битной системе, может ограничить счет или количество предметов, которые игрок может держать, до 255 — результат использования байта длиной 8 бит для хранения числа, что позволяет представить 256 различных значений от 0 до 2 8 − 1 = 255. Например, в оригинальной Legend of Zelda главный герой был ограничен ношением 255 рупий (валюта игры) в любой момент времени, а в видеоигре Pac-Man, как известно, есть экран убийства на уровне 256.
Степени двойки часто используются для определения единиц, в которых количественно измеряются размеры памяти компьютера. «Байт» теперь обычно относится к восьми битам (октету ) , что приводит к возможности 256 значений (2 8 ). (Термин байт когда-то означал (а в некоторых случаях и сейчас означает) набор битов , который определялся аппаратным контекстом, обычно от 5 до 32 бит, а не только 8-битную единицу.) Префикс кило в сочетании с байтом использовался специалистами по информатике для обозначения1024 (2 10 ). Однако, в целом, термин кило использовался в Международной системе единиц для обозначения1000 (10 3 ). Двоичные префиксы были стандартизированы, например, киби (Ки), означающий1024. Почти все регистры процессора имеют размеры, являющиеся степенью двух бит, наиболее распространенными являются 8, 16, 32 или 64 бита, причем последние два являются наиболее распространенными, за исключением очень маленьких процессоров.
Степени двойки встречаются и в других местах. Для многих дисководов по крайней мере один из размера сектора, количества секторов на дорожку и количества дорожек на поверхность является степенью двойки. [ необходима цитата ] Размер логического блока почти всегда является степенью двойки.
Числа, тесно связанные со степенями двойки, встречаются в ряде компьютерных аппаратных конструкций, например, с числом пикселей по ширине и высоте видеоэкранов, где число пикселей в каждом направлении часто является произведением степени двойки и небольшого числа. Например, 640 = 128 × 5 и 480 = 32 × 15 .
Простое число , которое на единицу меньше степени двойки, называется простым числом Мерсенна . Например, простое число 31 является простым числом Мерсенна, потому что оно на 1 меньше 32 (2 5 ). Аналогично, простое число (например, 257 ), которое на единицу больше положительной степени двойки, называется простым числом Ферма — показатель степени сам по себе является степенью двойки. Дробь , знаменатель которой — степень двойки, называется двоично-рациональной . Числа, которые можно представить в виде сумм последовательных положительных целых чисел, называются вежливыми числами ; это в точности те числа, которые не являются степенями двойки.
Геометрическая прогрессия 1, 2, 4, 8, 16, 32, ... (или, в двоичной системе счисления , 1, 10, 100, 1000, 10000, 100000, ... ) важна в теории чисел . Книга IX, предложение 36 « Начал» доказывает, что если сумма первых n членов этой прогрессии является простым числом (и, таким образом, является простым числом Мерсенна, как упоминалось выше), то эта сумма, умноженная на n- й член, является совершенным числом . Например, сумма первых 5 членов ряда 1 + 2 + 4 + 8 + 16 = 31 , что является простым числом. Сумма 31, умноженная на 16 (5-й член ряда), равна 496, что является совершенным числом.
В предложении 35 книги IX доказывается, что если в геометрической прогрессии первый член вычесть из второго и последнего члена последовательности, то как избыток второго относится к первому, так и избыток последнего относится ко всем предшествующим ему. (Это переформулировка нашей формулы для геометрической прогрессии, приведенной выше.) Применяя это к геометрической прогрессии 31, 62, 124, 248, 496 (которая получается из 1, 2, 4, 8, 16 путем умножения всех членов на 31), мы видим, что 62 минус 31 относится к 31 так же, как 496 минус 31 относится к сумме 31, 62, 124, 248. Следовательно, числа 1, 2, 4, 8, 16, 31, 62, 124 и 248 в сумме дают 496, и далее это все числа, которые делят 496. Предположим, что p делит 496, и его нет среди этих чисел. Предположим, что pq равно 16 × 31 , или 31 относится к q так же, как p относится к 16. Теперь p не может делить 16, иначе оно было бы среди чисел 1, 2, 4, 8 или 16. Следовательно, 31 не может делить q . И поскольку 31 не делит q, а q равно 496, основная теорема арифметики подразумевает, что q должно делить 16 и быть среди чисел 1, 2, 4, 8 или 16. Пусть q равно 4, тогда p должно быть равно 124, что невозможно, поскольку по гипотезе p не входит в число чисел 1, 2, 4, 8, 16, 31, 62, 124 или 248.
(последовательность A000079 в OEIS )
н | 2 н | н | 2 н | н | 2 н | н | 2 н | |||
---|---|---|---|---|---|---|---|---|---|---|
0 | 1 | 16 | 65 536 | 32 | 4 294 967 296 | 48 | 281 474 976 710 656 | |||
1 | 2 | 17 | 131 072 | 33 | 8 589 934 592 | 49 | 562 949 953 421 312 | |||
2 | 4 | 18 | 262 144 | 34 | 17 179 869 184 | 50 | 1 125 899 906 842 624 | |||
3 | 8 | 19 | 524 288 | 35 | 34 359 738 368 | 51 | 2 251 799 813 685 248 | |||
4 | 16 | 20 | 1 048 576 | 36 | 68 719 476 736 | 52 | 4 503 599 627 370 496 | |||
5 | 32 | 21 | 2 097 152 | 37 | 137 438 953 472 | 53 | 9 007 199 254 740 992 | |||
6 | 64 | 22 | 4 194 304 | 38 | 274 877 906 944 | 54 | 18 014 398 509 481 984 | |||
7 | 128 | 23 | 8 388 608 | 39 | 549 755 813 888 | 55 | 36 028 797 018 963 968 | |||
8 | 256 | 24 | 16 777 216 | 40 | 1 099 511 627 776 | 56 | 72 057 594 037 927 936 | |||
9 | 512 | 25 | 33 554 432 | 41 | 2 199 023 255 552 | 57 | 144 115 188 075 855 872 | |||
10 | 1024 | 26 | 67 108 864 | 42 | 4 398 046 511 104 | 58 | 288 230 376 151 711 744 | |||
11 | 2048 | 27 | 134 217 728 | 43 | 8 796 093 022 208 | 59 | 576 460 752 303 423 488 | |||
12 | 4096 | 28 | 268 435 456 | 44 | 17 592 186 044 416 | 60 | 1 152 921 504 606 846 976 | |||
13 | 8192 | 29 | 536 870 912 | 45 | 35 184 372 088 832 | 61 | 2 305 843 009 213 693 952 | |||
14 | 16 384 | 30 | 1 073 741 824 | 46 | 70 368 744 177 664 | 62 | 4 611 686 018 427 387 904 | |||
15 | 32 768 | 31 | 2 147 483 648 | 47 | 140 737 488 355 328 | 63 | 9 223 372 036 854 775 808 |
Начиная с 2 последняя цифра периодична с периодом 4, с циклом 2–4–8–6–, а начиная с 4 последние две цифры периодически с периодом 20. Эти шаблоны, как правило, верны для любой степени относительно любого основания . Шаблон продолжается там, где каждый шаблон имеет начальную точку 2 k , а период является мультипликативным порядком 2 по модулю 5 k , что равно φ (5 k ) = 4 × 5 k −1 (см. Мультипликативная группа целых чисел по модулю n ). [ необходима цитата ]
(последовательность A140300 в OEIS )
Первые несколько степеней числа 2 10 немного больше тех же степеней числа1000 (10 3 ). Ниже приведены первые 11 значений степеней числа 2 10 :
2 0 | = | 1 | = 1000 0 | (отклонение 0%) |
2 10 | = | 1024 | ≈ 1000 1 | (отклонение 2,4%) |
2 20 | = | 1 048 576 | ≈ 1000 2 | (отклонение 4,9%) |
2 30 | = | 1 073 741 824 | ≈ 1000 3 | (отклонение 7,4%) |
2 40 | = | 1 099 511 627 776 | ≈ 1000 4 | (отклонение 10,0%) |
2 50 | = | 1 125 899 906 842 624 | ≈ 1000 5 | (отклонение 12,6%) |
2 60 | = | 1 152 921 504 606 846 976 | ≈ 1000 6 | (отклонение 15,3%) |
2 70 | = | 1 180 591 620 717 411 303 424 | ≈ 1000 7 | (отклонение 18,1%) |
2 80 | = | 1 208 925 819 614 629 174 706 176 | ≈ 1000 8 | (отклонение 20,9%) |
2 90 | = | 1 237 940 039 285 380 274 899 124 224 | ≈ 1000 9 | (отклонение 23,8%) |
2 100 | = | 1 267 650 600 228 229 401 496 703 205 376 | ≈ 1000 10 | (отклонение 26,8%) |
Для достижения 50% отклонения требуется приблизительно 17 степеней 1024, а для достижения 100% отклонения тех же степеней 1000 — приблизительно 29 степеней 1024. [3] См. также Двоичные префиксы и IEEE 1541-2002 .
Поскольку данные (в частности, целые числа) и адреса данных хранятся с использованием одного и того же оборудования, а данные хранятся в одном или нескольких октетах ( 2 3 ), двойные экспоненты двух являются обычным явлением. Первые 21 из них:
н | 2 н | 2 2 n (последовательность A001146 в OEIS ) | цифры |
---|---|---|---|
0 | 1 | 2 | 1 |
1 | 2 | 4 | 1 |
2 | 4 | 16 | 2 |
3 | 8 | 256 | 3 |
4 | 16 | 65 536 | 5 |
5 | 32 | 4 294 967 296 | 10 |
6 | 64 | 18 446 744 073 709 551 616 | 20 |
7 | 128 | 340 282 366 920 938 463 463 374 607 431 768 211 456 | 39 |
8 | 256 | 115 792 089 237 316 195 423 570 ... 039 457 584 007 913 129 639 936 | 78 |
9 | 512 | 13 407 807 929 942 597 099 574 0 ... 946 569 946 433 649 006 084 096 | 155 |
10 | 1024 | 179 769 313 486 231 590 772 930 ... 304 835 356 329 624 224 137 216 | 309 |
11 | 2048 | 32 317 006 071 311 007 300 714 8 ... 193 555 853 611 059 596 230 656 | 617 |
12 | 4096 | 1 044 388 881 413 152 506 691 75 ... 243 804 708 340 403 154 190 336 | 1234 |
13 | 8192 | 1 090 748 135 619 415 929 462 98 ... 997 186 505 665 475 715 792 896 | 2467 |
14 | 16 384 | 1 189 731 495 357 231 765 085 75 ... 460 447 027 290 669 964 066 816 | 4933 |
15 | 32 768 | 1 415 461 031 044 954 789 001 55 ... 541 122 668 104 633 712 377 856 | 9865 |
16 | 65 536 | 2 003 529 930 406 846 464 979 07 ... 339 445 587 895 905 719 156 736 | 19 729 |
17 | 131 072 | 4 014 132 182 036 063 039 166 06 ... 850 665 812 318 570 934 173 696 | 39 457 |
18 | 262 144 | 16 113 257 174 857 604 736 195 7 ... 753 862 605 349 934 298 300 416 | 78 914 |
19 | 524 288 | 259 637 056 783 100 077 612 659 ... 369 814 364 528 226 185 773 056 | 157 827 |
20 | 1 048 576 | 67 411 401 254 990 734 022 690 6 ... 009 289 119 068 940 335 579 136 | 315 653 |
См. также Число Ферма , Тетрация и Гипероперация § Низшие гипероперации .
Все эти числа больше 4 заканчиваются цифрой 6. Начиная с 16 последние две цифры периодические с периодом 4, с циклом 16–56–36–96–, а начиная с 16 последние три цифры периодические с периодом 20. Эти закономерности, как правило, справедливы для любой степени относительно любого основания . Закономерность продолжается, когда каждая закономерность имеет начальную точку 2 k , а период — это мультипликативный порядок 2 по модулю 5 k , который равен φ (5 k ) = 4 × 5 k −1 (см. Мультипликативная группа целых чисел по модулю n ). [ необходима цитата ]
В связи с числами эти числа часто называют степенями Ферма 2 .
Числа образуют последовательность иррациональности : для каждой последовательности положительных целых чисел ряд
сходится к иррациональному числу . Несмотря на быстрый рост этой последовательности, это самая медленно растущая из известных последовательностей иррациональности. [4]
Поскольку для типов компьютерных данных характерно иметь размер , являющийся степенью двойки, эти числа подсчитывают количество представимых значений этого типа. Например, 32-битное слово, состоящее из 4 байтов, может представлять 2 32 различных значений, которые могут рассматриваться как простые битовые комбинации или, что более распространено, интерпретироваться как беззнаковые числа от 0 до 2 32 − 1 или как диапазон знаковых чисел от −2 31 до 2 31 − 1. Подробнее о представлении знаковых чисел см. в разделе Дополнение до двух .
00
) до 255 ( FF
) включительно. Это дает 8 бит для каждого канала или 24 бита в общей сложности; например, чистый черный — #000000
, чистый белый — #FFFFFF
. Пространство всех возможных цветов,16 777 216 можно определить как 16 6 (6 цифр с 16 возможными значениями для каждой), 256 3 (3 канала с 256 возможными значениями для каждого) или 2 24 (24 бита с 2 возможными значениями для каждого).int
переменной в языках программирования Java , C# и SQL .Cardinal
или Integer
в языке программирования Pascal .В музыкальной нотации все немодифицированные значения нот имеют длительность, равную целой ноте, деленной на степень двойки; например, половинная нота (1/2), четвертная нота (1/4), восьмая нота (1/8) и шестнадцатая нота (1/16). Ноты с точкой или иным образом модифицированные имеют другие длительности. В тактовых размерах нижняя цифра, единица удара , которую можно рассматривать как знаменатель дроби, почти всегда является степенью двойки.
Если отношение частот двух тонов равно степени двойки, то интервал между этими тонами равен полным октавам . В этом случае соответствующие ноты имеют одинаковое название.
Математическое совпадение , из , тесно связывает интервал из 7 полутонов в равномерной темперации с чистой квинтой чистой интонации : , с точностью около 0,1%. Чистая квинта является основой пифагорейской настройки ; разница между двенадцатью чистыми квинтами и семью октавами является пифагорейской коммой . [10]
Сумма всех n -выборных биномиальных коэффициентов равна 2 n . Рассмотрим множество всех n -значных двоичных целых чисел. Его мощность равна 2 n . Это также суммы мощностей определенных подмножеств: подмножество целых чисел без единиц (состоящих из одного числа, записанного как n нулей), подмножество с одной единицей, подмножество с двумя единицами и так далее до подмножества с n единицами (состоящего из числа, записанного как n единиц). Каждое из них, в свою очередь, равно биномиальному коэффициенту, индексированному n , и количеству рассматриваемых единиц (например, есть 10-выборных-3 двоичных чисел с десятью цифрами, которые включают ровно три единицы).
В настоящее время единственными известными почти совершенными числами являются степени двойки .
Мощность множества a всегда равна 2 | a | , где | a | — мощность a .
Число вершин n -мерного гиперкуба равно 2 n . Аналогично, число ( n − 1) -граней n -мерного кросс-политопа также равно 2 n , а формула для числа x -граней n -мерного кросс-политопа имеет вид
Сумма первых степеней двойки (начиная с ) определяется выражением
для любого положительного целого числа.
Таким образом, сумма мощностей
можно вычислить просто, оценив: (что является «шахматным числом»).
Сумма обратных величин степеней двойки равна 1. Сумма обратных величин квадратов степеней двойки (степеней четверки) равна 1/3.
Наименьшая натуральная степень двойки, десятичная запись которой начинается с 7, равна [11]
Каждая степень двойки (исключая 1) может быть записана в виде суммы четырех квадратных чисел 24 способами . Степени двойки — это натуральные числа, большие 1, которые могут быть записаны в виде суммы четырех квадратных чисел наименьшим количеством способов.
Как действительный многочлен , a n + b n является неприводимым , если и только если n является степенью двойки. (Если n нечетно, то a n + b n делится на a + b , а если n четно, но не является степенью двойки, то n можно записать как n = mp , где m нечетно, и, таким образом , , что делится на a p + b p .) Но в области комплексных чисел многочлен (где n ≥ 1) всегда можно разложить на множители как , даже если n является степенью двойки.
Единственные известные степени числа 2, в которых все цифры четные, — это 2 1 = 2, 2 2 = 4, 2 3 = 8, 2 6 = 64 и 2 11 =2048 . [12] Первые 3 степени числа 2, у которых все цифры, кроме последней, нечетные, это 2 4 = 16, 2 5 = 32 и 2 9 = 512. Следующая такая степень числа 2 вида 2 n должна иметь n не менее 6 цифр. Единственными степенями числа 2, у которых все цифры различны, являются 2 0 = 1 до 2 15 =32 768 , 2 20 =1 048 576 и 2 29 =536 870 912 .
Коды Хаффмана обеспечивают оптимальное сжатие данных без потерь , когда вероятности исходных символов являются отрицательными степенями двойки. [13]
Размеры файлов на диске часто выражаются в килобайтах и мегабайтах. Файл может быть указан как занимающий 32 килобайта или 32 Кбайт. Это не означает ровно 32 000 байт. Килобайт определяется как 2 10 , или1024 , байт. Так что 32К байт на самом деле равны 32 ×1024 или32 768 , байт. Мегабайт соответственно определяется как 2 20 , или 1 048 576, байт. Таким образом, 32 мегабайта (32M байт) равны33 554 432 байта.Сэммс, Тони; Дженкинсон, Брайан (2007). «Понимание информации». Судебные вычисления (2-е изд.). Лондон: Спрингер. стр. 7–48 . doi : 10.1007/978-1-84628-732-9_2. ISBN 978-1-84628-397-0.
Сегодня байт используется как основная мера размера памяти, [...]. Поскольку размеры памяти компьютера и диска значительно увеличились, байт стал сравнительно небольшой единицей, и для его определения теперь используются различные степени двойки: килобайт равен 2 10 =1024 байта; мегабайт равен 2 20 =1 048 576 байт; гигабайт равен 2 30 =1 073 741 824 байт; терабайт равен 2 40 =1 099 511 627 776 байт; а петабайт равен 2 50 =1 125 899 906 842 624 байта. Эта последовательность единиц степеней 2 продолжается далее с эксабайтом, зеттабайтом и йоттабайтом. Традиционно ученые-компьютерщики всегда основывали свои единицы памяти на степенях 2, а не на степенях 10, хотя это является предметом некоторых разногласий в сообществе стандартов. [Сноска: Вопрос в том, следует ли префиксы кило, мега, гига и т. д. возводить в степени двух, как это традиционно принято вычислительным сообществом, или в степени десяти, как предписано Генеральной конференцией по мерам и весам для единиц СИ. Если бы их заменили на степени десяти, кило стало бы 10 3 =1000 и мега станет10 6 =1 000 000 .]