[quote="Лукомор
Чем руками махать впустую, найдите им лучшее применение!
Возьмите линейку, карандаш и циркуль, и убедитесь построением, что треугольник со сторонами

- не прямоугольный а именно остроугольный.[/quote]
Прочитайте пожалуйста, все мои комментарии выше и постарайтесь указать что и где неправильно. После этого, я надеюсь, Вы поймёте, что я не "машу руками". ВТФ не истинна в доменах выше R. Давайте посмотрим на примеры. Мне думается, что это будет интересно, если и не всем, то ,хотя бы, некоторым людям. Кто не знаком с комплексными или p-адическими целыми, вэлкам ту Википедия, хотя бы. Те, кто знаком, поймут сразу. Итак, мы имеем выражение для какой-то суммы. Пусть это будет

. И, пусть это будет

, (1), например. Ищем корни, допустим, для системы с p=11, причём будем выписывать по одному корню, т.к., для данного пояснения этого достаточно. Если возникнет ситуация, когда нужны все корни, постараемся специально заострить внимание на этом вопросе. Итак, числовой системы с base=11 мы должны переписать выражение (1) следующим образом:

,(2), и надо внизу после "5", "4", "9" поставить индекс "11", указывающий в какой числовой системе мы работаем. Я пока не научился это делать здесь, но, я думаю, должен скоро освоить...
Итак, для уравнения Пифагора в
Z_13:
![$[...(0) 4]^{2}+[...(0) 9]^{2}=[...9 5 8]^{2}$ $[...(0) 4]^{2}+[...(0) 9]^{2}=[...9 5 8]^{2}$](https://dxdy-03.korotkov.co.uk/f/e/f/2/ef297a6481f7928001e6199ee90b3f9082.png)
, (3); уравнение ВТФ с

:
![$[...2 1 5 2 3]^{3}+[...1 9 4 2 5]^{3}=[...1 9 3 9 4]^{3}$ $[...2 1 5 2 3]^{3}+[...1 9 4 2 5]^{3}=[...1 9 3 9 4]^{3}$](https://dxdy-02.korotkov.co.uk/f/d/2/5/d25566d80317e0fee787be13201b426982.png)
, (4); уравнение ВТФ с

:
![$[...(0) 2]^{4}+[...(0) 3]^{4}=[...4 8 5]^{4}$ $[...(0) 2]^{4}+[...(0) 3]^{4}=[...4 8 5]^{4}$](https://dxdy-01.korotkov.co.uk/f/4/6/8/4686cb7955f12606a2e489de97f31e7e82.png)
, (5); уравнение с

: не существует здесь, но может быть написано в других
Z_p или в
Q_13, (6); уравнение с

n=6

:
![$[...605]^{6}+[...274]^{6}=[...259]^{6}$ $[...605]^{6}+[...274]^{6}=[...259]^{6}$](https://dxdy-04.korotkov.co.uk/f/b/9/6/b96babd6c2dd9b014e2f673cda600a8482.png)
, (7); уравнение с

n=7

:
![$[...4 5 4]^{7}+[...9 0 9]^{7}=[...3 3 3]^{7}$ $[...4 5 4]^{7}+[...9 0 9]^{7}=[...3 3 3]^{7}$](https://dxdy-04.korotkov.co.uk/f/3/7/c/37ce7973d105f4793abed191a97d140482.png)
, (8), при чём 3 здесь не имеет бесконечного повторения, поэтому (3) ставить нельзя; уравнение с

n=8

:
![$[...4 9 3]^{8}+[...6 2 5]^{8}=[...8 5 4]^{8}$ $[...4 9 3]^{8}+[...6 2 5]^{8}=[...8 5 4]^{8}$](https://dxdy-02.korotkov.co.uk/f/5/8/b/58b64859d8a318c8693fe41ffe01946082.png)
, (9); уравнение с

n=9

:
![$[...A 3 1 2 9]^{9}+[...(0) 3]^{9}=[...8 A 4 1 5]^{9}$ $[...A 3 1 2 9]^{9}+[...(0) 3]^{9}=[...8 A 4 1 5]^{9}$](https://dxdy-03.korotkov.co.uk/f/a/4/c/a4c3c1a74a9fa5b53e2bc5fe114c535682.png)
, (10); уравнение с

n=10

: ситуация такая же, как и с

n=5

, (11), детальнее будет сказано ниже; уравнение с

n=11

не существует по понятным причинам, (12); уравнение с

n=12

:
![$[...4 4 8 4 4]^{12}+[...3 0 5 A 2]^{12}=[...3 4 3 A 3]^{12}$ $[...4 4 8 4 4]^{12}+[...3 0 5 A 2]^{12}=[...3 4 3 A 3]^{12}$](https://dxdy-03.korotkov.co.uk/f/2/c/c/2cc12dda8823c08762579d87ef51b7ae82.png)
, (13); уравнение с

n=13

:
![$[...0 5 6 3 3]^{13}+[...4 5 9 2 5]^{13}=[...6 6 3 A 4]^{13}$ $[...0 5 6 3 3]^{13}+[...4 5 9 2 5]^{13}=[...6 6 3 A 4]^{13}$](https://dxdy-01.korotkov.co.uk/f/c/4/7/c475488d2440c0fd46fac2809c45310982.png)
, (14); уравнение с

n=17

:
![$[...4 7 2 1 4]^{17}+[...9]^{17}=[...4 8 3 9 3]^{17}$ $[...4 7 2 1 4]^{17}+[...9]^{17}=[...4 8 3 9 3]^{17}$](https://dxdy-04.korotkov.co.uk/f/7/1/7/7179d2af53c262d873ddc6107377d94882.png)
, (15).
Всё вышеперечисленные уравнения/выражения имеют бесконечное число возможностей, чтобы их представить в виде, который соответствует ВТФ в
Z_13, кроме значений n, которые равны или кратны 5. Биекцию никто не отменял и желающие могут сделать пересчёт для C домена. Имеется одна опубликованная статья и это показано для C и
Z_13 доменов бесконечное количество уравнений ФЛТ и уравнения Пифагора точно так же, как это было показано выше. Я проверял, всё рассчитано правильно. Например, если x или y равны

,

, то мы имеем уравнение Пифагора в домене C. Если x или y равны тем же числам, но

, мы будем иметь бесконечное количество ВТФ уравнений при

, где k может принимать любые целые значения от 0 до N. В
Z_13 те же x и y могут быть равны, соответсвенно,

и

, а

для ВТФ уравнения или

и/или

для уравнения Пифагора.
Любой может проверить все расчёты легко, используя доступные 4 метода:
1. Простым перемножением указанных выше значений эелементарным методом "умножения в столбик", как это делают в начальных классах средней школы, т.к. p-адические целые подчиняются тем же правилам умножения, что и " обычные" числа из R домена.
2. Использованием легко доступных в Интернете электронных способов, например, это:
https://calculatori.ru/slozhenie.html , тупо копируя и подставляя данные выше.
3. Использование методов модулярной арифметики.
4. Используя методы для вычисления X, Y и Z в суммах X+Y=Z, которые основаны на представлении, что все эти числа являются степенями n одновременно. Эти методы тоже основаны на использовании модулярной арифметики, в частности, использовании

, но автору данного комментария известен метод, который использует только

и когда-нибудь им можно поделиться.
Кстати, если пошёл такой разговор, знают ли оппоненты, что, например, уравнения, типа,

, тоже можно представить одновременно , и как уравнение из Теоремы Пифагора, и как бесконечное число уравнений из ВТФ? Здесь, например, могут быть следующие решения: в
Z_5 мы имеем

,

; в
Z_19 мы имеем

,

. Сейчас я уже устал, что написать корни для соответствующих ВТФ и ПТ уравнений, но кто-то, возможно, сделает это вместо меня? Или, я сделаю когда-нибудь попозже...
Другое уравнение. a/b+b/a=1. Имеет бесконечное число решений в
Z_p. Тоже-позже, если кому-то будет интересно. И тоже может быть представлено посредством ВТФ или ПТ уравнений.
Таким образом,я не согласен совершенно с рассуждениями о треугольниках и всем тем, что пытаются с ними связать здесь-в текущие пару дней. Уравнение ВТФ имеет 2 слагаемых слева и одно слагаемое справа. Теорема коcинусов здесь никак "не катит", косинус равен 0. Придумывать, что a, b, c есть стороны треугольника нельзя, т.к., n>2.
С уважением,