y都是有理数,且满足方程2x+根号3y=-6y-0.5x根号3+20,求x,y的值

∵2x+√3y=-6y-0.5x√3+20
∴2x+6y-20+√3y=-0.5x√3
∵x,y是有理数 ,√3是无理数
∴{2x+6y-20=0
{y=-0.5x
解得x=4,y=-2请问{2x+6y-20=0{y=-0.5x 是怎么解得x=4, y=-2的呢？呵呵，口算，看错了,{2x+6y-20=0 ① {y=-0.5x ②②代入 ①2x-3x=20x=-10y=5恩，2x-3x=20中的3x怎么来的？y=-0.5x6y=-3x结果x=-20y=10