Каждое натуральное число {\displaystyle n>1}n>1 можно представить в виде {\displaystyle n=p_{1}\cdot \ldots \cdot p_{k}}{\displaystyle n=p_{1}\cdot \ldots \cdot p_{k}}, где {\displaystyle p_{1},\ldots ,p_{k}}{\displaystyle p_{1},\ldots ,p_{k}} — простые числа, причём такое представление единственно, если не учитывать порядок следования множителей.
Если формально условиться, что произведение пустого множества чисел равно 1, то условие {\displaystyle n>1}n>1 в формулировке можно опустить, тогда для единицы подразумевается разложение на пустое множество простых: {\displaystyle 1=1}{\displaystyle 1=1}[3][4].
Как следствие, каждое натуральное число {\displaystyle n}n единственным образом представимо в виде
{\displaystyle n=p_{1}^{d_{1}}\cdot p_{2}^{d_{2}}\cdot \ldots \cdot p_{k}^{d_{k}},}{\displaystyle n=p_{1}^{d_{1}}\cdot p_{2}^{d_{2}}\cdot \ldots \cdot p_{k}^{d_{k}},} где {\displaystyle p_{1}<p_{2}<\ldots <p_{k}}{\displaystyle p_{1}<p_{2}<\ldots <p_{k}} — простые числа, и {\displaystyle d_{1},\ldots ,d_{k}}{\displaystyle d_{1},\ldots ,d_{k}} — некоторые натуральные числа.
Такое представление числа {\displaystyle n}n называется его каноническим разложением на простые сомножители.
пронумеруем числами от 1 до 8 вертикали слева направо и горизонтали сверху вниз соответственно. суммой координат клетки назовём сумму номеров ее вертикали и горизонтали. тогда пусть у чёрных клеток сумма координат четна, тогда у белых она нечетна. заметим, что сумма координат клеток, на которых стоят 8 ладей четна (она равна удвоенной сумме чисел от 1 до 8). но тогда число ладей, стоящих на белых клетках, четно (сумма координат белой клетки нечетна), значит, и число ладей на чёрных клетках четно.
Основная теорема арифметики утверждает[1][2]:
Каждое натуральное число {\displaystyle n>1}n>1 можно представить в виде {\displaystyle n=p_{1}\cdot \ldots \cdot p_{k}}{\displaystyle n=p_{1}\cdot \ldots \cdot p_{k}}, где {\displaystyle p_{1},\ldots ,p_{k}}{\displaystyle p_{1},\ldots ,p_{k}} — простые числа, причём такое представление единственно, если не учитывать порядок следования множителей.
Если формально условиться, что произведение пустого множества чисел равно 1, то условие {\displaystyle n>1}n>1 в формулировке можно опустить, тогда для единицы подразумевается разложение на пустое множество простых: {\displaystyle 1=1}{\displaystyle 1=1}[3][4].
Как следствие, каждое натуральное число {\displaystyle n}n единственным образом представимо в виде
{\displaystyle n=p_{1}^{d_{1}}\cdot p_{2}^{d_{2}}\cdot \ldots \cdot p_{k}^{d_{k}},}{\displaystyle n=p_{1}^{d_{1}}\cdot p_{2}^{d_{2}}\cdot \ldots \cdot p_{k}^{d_{k}},} где {\displaystyle p_{1}<p_{2}<\ldots <p_{k}}{\displaystyle p_{1}<p_{2}<\ldots <p_{k}} — простые числа, и {\displaystyle d_{1},\ldots ,d_{k}}{\displaystyle d_{1},\ldots ,d_{k}} — некоторые натуральные числа.
Такое представление числа {\displaystyle n}n называется его каноническим разложением на простые сомножители.
Пошаговое объяснение:
пронумеруем числами от 1 до 8 вертикали слева направо и горизонтали сверху вниз соответственно. суммой координат клетки назовём сумму номеров ее вертикали и горизонтали. тогда пусть у чёрных клеток сумма координат четна, тогда у белых она нечетна. заметим, что сумма координат клеток, на которых стоят 8 ладей четна (она равна удвоенной сумме чисел от 1 до 8). но тогда число ладей, стоящих на белых клетках, четно (сумма координат белой клетки нечетна), значит, и число ладей на чёрных клетках четно.