√ab=-a√b成立的条件