已知a的2x次方等于根号2加1