§ 4. ЦЕЛЫЕ СИСТЕМАТИЧЕСКИЕ ЧИСЛА
Целые систематические числа.
Пусть g — натуральное число большее 1 и
Говорят, что натуральное число а записано в позиционной системе с основанием g, если
где s — целое неотрицательное,
Если каждое число множества
обозначено специальным символом, то эти символы называются цифрами
-ичной позиционной системы. Представление (1) записывается тогда сокращенно в виде
и называется записью в
-ичной позиционной системе. Так, например, запись
запись
ТЕОРЕМА 4.1. Пусть g — данное натуральное число, большее единицы, и
. Всякое натуральное число а однозначно представимо в виде
где
Доказательство. Существование представления (1) доказывается индукцией по а. Если
или
, то равенство
является искомым представлением. Пусть
предположим, что возможность представления (1) уже установлена для всех натуральных чисел, меньших, чем а. Так как
, то разделив а на g с остатком, получим
Поскольку
, то согласно индуктивному предположению число b представимо в виде
Подставив выражение (3) для b в правую часть (2), получим представление для числа а,
которое называется разложением числа а по степеням числа
Докажем однозначность представления индукцией по а. Если
, то легко видеть, что единственность имеет место. Предположим, что единственность доказана для всех натуральных чисел, меньших, чем а. Предположим, что кроме (1) для а существует другое представление:
Ввиду (1) и (4) имеем
Из (5) в силу однозначности деления с остатком следует, что
Так как
то, по индуктивному предположению,
для