-Цитата от ef-fa_Yakko

прочитай первый пост , что мы тут так усердно обсуждаем

ну да, не +, а * - по ссылке то самое неправильное доказательство. Ошибка в том, что когда они извлекают корень из квадратов справа и слева от равенства, надо ставить знак модуля у обоих. В этом месте доказательство и рушится.