Изложение в этой теме хоть имеет четкую структуру, что выгодно отличает ее от некоторых других
anwior писал(а):
Относительно Случая I речь конкретно ведется о том, что обеспечивая
общность рассмотрения, сам
он разбивается на такие две части (два случая):
1 2 Нижеприводимое решение касается только случаев в строке “
1” ;
для связности изложения назовём их условия подпункта
1 (усл. пп.
1).
(в скобках еще заметим, что разбивка на указанные случаи обусловлена
обнаружением одного из двух прототипов ВТФ).
Великая теорема сводится к доказательству следующего
Основное утверждение (ОУ).
Не существует примитивной тройки (
)
с четным произведением и для которой где ---
простое
Условие УО вместе с неравенством случая
1 дает пустое множество допустимых наборов
, так что теорема для
1, безусловно, верна
Действительно, поделив на
, заменим исходное уравнение на
,
, а условие
1 на неравенство
или
. Однако можно проверить, что левая часть на кривой
достигает минимума в точке
и для
он положительный.