用公式法解方程,根号2乘X的方-4X=4倍的根号2