Если можно, я формулирую мою проблему. Уравнения и текущие выводы к каждому Шагу помечены числами в скобках, например, (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.