标签:一减根号二的绝对值等于多少