どこも間違っていない。
複素平方根は、多価関数だから、
それを含んだ等式は、各浮ﾌ枝を適切に選べば
成立する という意味しか持ち得ない。
16 = -4 は、その意味で成立している。
左辺の浮｡素平方根と見れば、
16 = 4 と 16 = -4 の二つの枝がある。