В общем, числа из компьютера не идеально соответствуют настоящим (математическим), ну и сравнивать на равенство их как правило бессмысленно.
Ну, я бы сказал, что корень это не число, а множество чисел. Квадратный - множество из двух элементов, отличающихся знаком. И математик должен держать этот факт в уме, а где нужна однозначность, пользоваться правилом для выбора (для квадратного корня - брать положительный, например). Некоторые софизмы основаны на том, что корень может быть отрицателен, но делается вид, что он всегда положителен.
А компьютер работает с числами (нет, я знаю, про тип данных
set, но имею в виду, что аппаратно реализована работа с числами). И учитывать возможность того, что результат вычисления неоднозначен, надо на уровне алгоритма, машина выдаст число, в соответствии с умалчиваемым правилом выбора (скорее всего в данной реализации комплексных корней квадратных выбирается значение с положительной действительной, а где она нулевая, положительной мнимой частью).
Поэтому
![$c_1=0+2i$ $c_1=0+2i$](https://dxdy-04.korotkov.co.uk/f/f/3/c/f3c2987a44159a218eab78dded6a362a82.png)
,
![$c_2=0+3i$ $c_2=0+3i$](https://dxdy-01.korotkov.co.uk/f/c/3/d/c3da5362ac365dcb36494fae40d2766982.png)
, и их произведение будет -6.
А при перемножении подкоренных выражений прежде вычисления корней
![$-4\cdot-6=36$ $-4\cdot-6=36$](https://dxdy-02.korotkov.co.uk/f/9/e/4/9e423859edd463a7df03558c3929201e82.png)
, и корень из этого будет 6