Вывод необоснованный --- читали они или нет, никому не известно. Только им. Скорее всего прочитали и согласились со мной.
У них гораздо больший опыт чтения неотредактированных и плохо сформулированных мыслей (студенческих, в частности), и они понимают такие штуки с полуслова. Я же часто нуждаюсь в переводе.
Валерий2 писал(а):
Возведём обе части уравнения (3) во вторую степень и запишем в виде:
![\[
x^2 + y^2 = z^2 + k^2 - 2(x - k)(y - k) = z^2 + k_2
\] \[
x^2 + y^2 = z^2 + k^2 - 2(x - k)(y - k) = z^2 + k_2
\]](https://dxdy-01.korotkov.co.uk/f/0/9/3/093887b1990b8dc0d17118f6f63864f482.png)
(4)
и тогда, если x,y,z взаимно просты и удовлетворяют уравнению второй степени
![\[
x^2 + y^2 = z^2
\] \[
x^2 + y^2 = z^2
\]](https://dxdy-02.korotkov.co.uk/f/d/d/a/dda997c4cb0428ec6cfb65adcc44ffc682.png)
, (5)
то z и k - взаимно простые.
Возведём обе части уравнения (3) во вторую степень и запишем в виде:
(добавка про

удалена:

только появляется, в этом пассаже, не используется и не влияет на обсуждение). Упростим до
Из
а) написанного;
б) + того, что x,y,z взаимно просты;
в) + того, что x,y,z удовлетворяют уравнению
никак не следует, что z и k - взаимно простые.
Или, по крайней мере, это неочевидно и должно быть
здесь же пояснено.