满足负根号3