bitcoinВ целом я с Вами согласен.
Однако отмечу, что обосновать правило переноса слагаемого с изменением знака можно и по-другому: пользуясь
определением разности двух чисел.
А именно, число

определяется как такое число, при прибавлении к которому

получается

.
Обычно в школьном курсе разность определяется именно так.
Переведём это на язык формул:

.
Но это и есть правило переноса слагаемого с изменением знака.
То есть прибавлять

к левой и правой части (или вычитать, для обратного преобразования) можно, но не обязательно.
-- 10.03.2024, 19:41 --Кстати, если решаете так, то обязательно надо делать акцент на равносильности всех преобразований.
То есть, например, недостаточно получить второе равенство из первого (прибавлением

), но надо ещё получить первое равенство из второго (вычитанием

).
Если это не проговаривать, в более сложных случаях можно получить ошибки, связанные с появлением "лишних корней".
Например, из

следует

(возвели в квадрат обе части), а отсюда следует что

или

.
Но

- "лишний корень", он не удовлетворяет исходному уравнению (хотя к ОДЗ он относится! корень из

для него существует).
Всё потому, что преобразования неравносильные. Если мы извлечём корень из обеих частей

, то получим не

, а

.