已知x等于1减根号2