Похоже, Вы сами и ответили на вопрос. Раз операция извлечения корня неоднозначна с каждой стороны равенства, то приписывая с каждой стороны формального равенства неравные значения - как итоги операции, получаем, что
.
Да, но меня другое смущает.
Представте себе что вместо единицы и произведения минус единиц находятся функции ,которые мы пока не вычислили.
Т.е. вместо
рассматриваем
- это некая фрагментация исходной функции, которая нам понадобилась для упрощения расчетов (всю функцию мы вычислить не можем - слишком сложно, а вот по частям - получилось).
Но теперь оказывается, что нам надо выбрать (после вычисления, например
) - какое из значений корня из минус единицы взять, чтоб произведение
дало единицу.
Если посмотреть на это с точки зрения теории алгоритмов то получаем странную картину: у нас есть два параллельных алгоритма (
и
), каждый из которых выдаёт два значения функции , и нам надо знать - какое же значение было выбрано в смежном расчете, чтоб выбрать правильное значение в этом.
Однако никакой другой передачи информации (кроме параметров функции) в теории алгоритмов не предусмотренно.
Получается, как в квантовой механике - пока результат каждого из расчетов неопределен, каждый из алгоритмов выдает два варианта ответа, но эти варианты как-то связаны - мы не можем просто перемножить все комбинации и получить ответ (среди полученных ответов будут и неправильные) - нам обязательно надо знать - какой вариант был выбран в смежном расчете и только после этого мы можем выбрать вариант в текущем.
Т.е. как только одна из "частиц" подверглась наблюдению, это тут же повлияло на "спутанную" с ней "частицу".
Например, если первая функция выдала ответ
, то у второй функции надо взять
(чтоб их произведение получилось равным единице).
Но это только когда мы слева от знака равенства взяли за ответ единицу.
А вот когда мы там поставим другой вариант, то это "волшебным образом" должно повлиять на работу обоих алгоритмов справа.
Т.е. чтоб правильно посчитать функцию, нам надо заранее знать ответ?