одз для z1: alpha =/= 3pi*n одз для z2: alpha =/= -pi/4 +2pi*n но здесь проблема в сравнении вещественных. советую сделать проверку с погрешностью; т.е. если альфа лежит в промежутке от [3pi*n - eps; 3pi*n + eps], где eps - вещественное число от 0 до 1, то проверку не проходит