Если можно, я формулирую мою проблему. Уравнения и текущие выводы к каждому Шагу помечены числами в скобках, например, (23), чтобы было ещё легче критиковать.
Дано: 
, (1). Поскольку существующими правилами форума предписано иметь

, то мы имеем

, (2), где предполагается, что ненулевые взаимно простые числа x, y, z, принадлежат Z, (3),

, (4). Требуется доказать или опровергнуть такое предположение, (3), при условии (4). Формулы Эвклида с учётом m и n одинаковой чётности для сторон прямоугольного треугольника, где A и B –катеты, C-гипотенуза:

, (5),

, (6),

, (7), при

, (8).
Решение:
Шаг 1. Поскольку метод от противного при доказательстве ВТФ предписывает предположить/рассматривать только условия (3), при соблюдении условия (4), то можно записать

, (9),

, (10), ), где m и n тоже Є Z, (11).
Шаг 2. Поскольку, целые m и n определяют целочисленные длины сторон прямоугольного треугольника-Пифагоровы Тройки (по определению), то A, B, C являются только Пифагоровыми Тройками, (12), причём, только примитивными Пифагоровыми Тройками, (13), т.к., взаимно простые числа x, y, z могут определить/дать только нечётные m и n ,(14), одинаковой чётности, правильнее сказать - одинаковой нечётности.
Шаг 3. Поскольку уравнение ВТФ относится к Диофантовым уравнениям, учитывая результаты Шага 2, казалось бы, должно подразумеваться, что уравнение (10) должно иметь вид

, (15), чтобы избежать противоречия Шагу 2 и исходным условиям (3) и (4).
Шаг 4. Однако, если считать результаты Шага 3 истинными, то появляется необходимость принять, что: а) сами x, y, z должны быть Пифагоровыми Тройками, (16), при б)

, но оба этих результата противоречат исходным условиям (3) и (4) тоже. Действительно, только Пифагоровы Тройки дают целые числа для уравнений, типа, (15), как например, для Пифагоровой Тройки 3, 4, 5, имея

, (17),

, (18), катет B будет целым:

, (19). Любые целые числа x и y, не составляющие какую-то Пифагорову Тройку, не будут давать целые числа для катетов B, как и для числа n, (20), даже при

, (21). Например, для

,

и

число

и

, и мы имеем иррациональное число, (22).
Шаг 5. Катет

, (23), не будет целым числом, принадлежащим домену Z, учитывая результаты Шагов 3 и 4,(24), что вместе с результатами Шага 4, подразумевает существование нецелых m и n, как для степеней

, так и для степени

, (25), которые могут быть иррациональными, а также, в общем случае, комплексными .числами и p-адическими целыми, см. Приложения. Для остальных сторон-все расчёты и вывода те же, (26).
Шаг 6.
Возможные ошибки, «дыры», надуманные заявления. Прежде всего бросается в глаза надуманное заявление Шага 3, когда логика прерывается резким переходом к недопустимой степени

, -вопреки условиям ВТФ,-однако предлагаемый выход из этой ситуации может быть предложен иным ранжированием Шагов и путём использованием нецелых m и n из других числовых доменов, как исходного условия, т.е. бинарная логика: только две возможности существуют, когда x и y-катеты от Пифагоровых Троек в уравнениях ,типа, (10), при

, ; или любые x и y при p больше или равном 2. Тогда проблема исчезает, как таковая. Возможно, это тоже «дыра», но интересно прочитать её обоснование.
Выводы.
1. Показана возможность использования нецелых чисел m и n в Формулах Эвклида.
2. Вывод 1 и его результаты привели к пока непреодолимым трудностям для автора данного поста в его попытке доказать ВТФ методом получения противоречия и желанию получить разъяснения об ошибках.
P.S.
Если уж дорога неизбежно (?) может лежать в Пургаторий (и последующий Бан), то можно ли, хотя бы, получить объяснения ПРИЛОЖЕНИЯм ниже и дать какие-то литературные источники, если поднятая тема уже известна. Тем более, что Примеров можно нагенерировать сколько угодно. Думается, что это было бы полезно знать всем, чтоб, в случае чего, больше не топтаться на данной поляне. Да и для общего развития...Надеюсь на понимание и благожелательность в этом вопросе.
ПРИЛОЖЕНИЯ.
ПРИМЕР 1.
Прямоугольные треугольники.Катет

, катет

, гипотенуза

определяются иррациональными

,

при epsilon=1/2.
Катет

, катет

, гипотенуза

определяются иррациональными

,

при epsilon=1/2.
ПРИМЕР 2. Сумма в числовой базе 10:
через p-адические целые в
.В числовой базе 13 сумма может быть записана так:

, где

и

,

и

,

и

.
Это может быть определено следующими значениями m и n:

и

при epsilon=1,

и

,

и

,

и

.
ПРИМЕР 3. Корни уравнения ВТФ при p=5 для ПРИМЕРА 2.
,

,

.
ПРИМЕР 4. Примитивные кубические корни 1.Уравнение

, где

,

и

,

есть примитивные кубические корни 1 в

, а

,

, т.е., что-то есть

и что-то есть

:

,

при

,

,

,

,

,

,

.
Апрель, 17, 2024.