Iosif1 в сообщении #261287 писал(а):
Конструирование,
Цитата:
ЧЕГО??
определяемое по наличию сомножителя 7, обеспечивается и
после выноса
Цитата:
откуда?
величины
,
Изначально рассматриваем разность вида:
,
которую необходимо привести к виду
.
Для этого необходимо из величины
Вычесть величину
, которая после увеличение в шесть раз будет равна
.
Суммируя
и
получаем величину
.
Если это не обеспечивается, то доказательство БТФ при
завершено.
Здесь непонятна логика. Берете какое-то, не входящее в уравнение Ферма, число
, что-то там перегруппируете, добавляете, и получаете, что результат делится на 7. Всего там, да,
слагаемых, но каким образом отсюда следует делимость
на 7 не объяснено. Написано лишь
Цитата:
и так далее.
При конструировании рассматривается не
(15.1), а
(15.2), где количество единиц равно
.
Можно привести величину
к виду, где точные квадраты выражены слагаемыми, представленные единицами и произведениями, кратными семи.
Для этого рассмотрим последовательную сумму точных квадратов с не чётными основаниями.
Вариант 1.
Или
Вариант 2.
По первому варианту:
Первый столбец единиц обеспечивает сумму
.
То есть сумму точных квадратов, участвующих в выражении
, где
- величина основания в конструируемом равенстве, можно представить трёхслойным пирогом. Первый слой – «базис»; второй слой слагаемые, представленные произведениями с сомножителем, выраженным по формуле:
, где
(14.1)- натуральный ряд чисел.
Третий слой – надстройка, представленная слагаемыми, содержащими сомножитель, определяемый по формуле (14.1). В рассматриваемом варианте это сомножитель
.
В общей сумме также обеспечивается сомножитель
.
Если рассматриваемый интервал увеличить в семь раз, то и сомножитель, получаемый в результате сложения всех трёх слоёв, увеличивается тоже в семь раз:
.
Если рассматриваемый интервал увеличить ещё в семь раз, то и сомножитель, получаемый в результате сложения всех трёх слоёв, увеличивается ещё в семь раз:
.
Это можно показать как ∑ рядов, где каждый член последующего ряда больше соответствующего члена предыдущего ряда (в интервале 7) на величину, кратную семи.
При конструировании величины
необходимо обеспечение величины
, содержащей, например, единичный сомножитель
, и сумму точных квадратов, описанных выше, содержащую соответственно сомножитель
. Обозначим эту величину как
.
Ответим на вопрос: Возможно ли это?
Имеем разность
(15.2), которая по рассматриваемому варианту содержит сомножитель
.
Преобразуем её в величину
.
Для того, чтобы получить интересующую нас величину
, необходимо вычесть из величины (15.2) значения
и
.
Задаваясь возможными значениями младших разрядов величины
, вычисляем значение младших разрядов интересующей нас величины
. (см. табл. 1)
Расчёт возможных значений величины
.
Таблица 1.
,
Как видно из таблицы 1 ни в одном из возможных вариантов не обеспечивается увеличение нулевых разрядов в семеричном счислении в конечном результате -
при выполнении вторичного вычитания.
Что свидетельствует о том, что возможность обеспечения в величине
сомножителя
отсутствует. То есть отсутствует возможность обеспечения в разности точных кубов основания точной степени с сомножителем
, наличие которого необходимо в одном из оснований конструируемого равенства в соответствии с рассмотренным решетом для БТФ. Это свидетельствует о справедливости БТФ, что и требовалось доказать.
Мне кажется, что я отвечаю на главный вопрос.
Да остальные, вроде, не конкретизированы.