Mathematica thinks with complex numbers and the identity is not true with complex numbers.
Assuming[ci != 0 && Element[ci, Reals], (Sign[ci]^2 == 1) // FullSimplify]
