Помогите разобраться с доказательством ВТФ

[enko]

Доказательство здесь
http://n-t.ru/tp/nf/vtf.htm

Не могу найти ошибку


-

[Алексей К.]

Некто писал(а):

$z<x+y\qquad\qquad\eqno{(2)}$
Подставляя значение $\cos\alpha$ в (2), получаем
$z^2=x^2+y^2-2xym_1$

Я уже научился читать фразы типа "уравнение равно нулю". Сейчас буду учиться получать равенства из неравенств (не)простой подстановкой. Авось пригодится.

[Бодигрим]

Цитата:

$y=\sqrt{kx/b}$, т. е. $\sqrt x$ является одним из множителей числа $y$

Правильно, множителем, но вообще говоря над действительными числами (поскольку $\sqrt x$ ничто не мешает быть иррациональным): любое действительное число делится на любое другое ненулевое действительное и дает действительное частное. Ранее же автор понимал разложение на множители над целыми числами: понятие взаимной простоты осмысленно только над ними.

[вздымщик Цыпа]

Автор определил $m1$ как часть отрезка $AB$, а потом «незаметно» стал считать его целым числом. Ну а чтоб совсем никто не догадался, «зарыл» его внутрь $k$.