First time here? Check out the FAQ!
answered 2011-06-23 17:49:48 +0100
Here is one option (not the most elegant):
sage: z1.lhs().simplify() == z1.rhs().simplify() (-1)^(1/2*n - 1/2)*factorial(n) == 0