x≠±1怎么用解集来表示