solve (c^2 = a^2 + b^2 - 2*a*b*cos(x)) where a = i