二元二次方程 X²+2y+y√2=17-4√2 怎么解