Question: How to show equality of expressions with complex roots?

I am searching for high level commands or techniques to show equality of expressions containing square roots that can be complex as here

In an ideal world is() with the right assumptions should show equality. However, in the attached example, I failed already with my manual skills.

What did I miss here?

Equality_of_exp_with_complex_roots.mw

Please Wait...