Теперь получился общий план доказательства ВТФ для степени 3 (Случая 2,
кратно 3).
1)
2) доказательство не в одну строчку, что для
допустимо только такое сравнение:
и никакое другое.
3)
, это следует из пунктов 1) и 2)
4) Из 2) следует, что
5) Хорошо бы получить строгое доказательство, что
. (Действительно, согласно соотношений Барлоу,
является множителем числа
.) В общем, по-моему, этот пункт "сыроват", чтобы утверждать его бесспорность, а без него не получится доказательства.
6) Вывод. Из пунктов 4) и 5) следует, что
не может быть сравнимо с нулем по модулю
, что противоречит 3) ... чтд.
Я бы хотел, чтобы Вы уточнили мои выводы. Если они верны, то можно попробовать самостоятельно доказать второй пункт плана. Весьма вероятно, что доказательство будет оригинальным и я тогда приведу ещё и своё доказательство этого пункта. Получится два доказательства.
Добавлю рассуждений для 5). Если использовать соотношения Барлоу и записать
, как
, где
, а
.
. Чуть более глубокие исследования приводят к результату:
. Вероятно этого не достаточно.