x+y=√2
xy=2-√3
将两式相加整理得x²+y²+√2（x+y）=2√3即（x+y）²-2xy+√2（x+y）=2√3
将两式相减整理得x²-y²=√2（x-y）即（x+y）*（x-y）=√2（x-y)
因为x≠y 所以由第二式得x+y=√2
带入一式的xy=2-√3