x等于2减根号3分之2加根号3