用代入消元法解方程组，可以由______得______（3），把（3）代入______中，得一元一次方程______，解得______，再把求得的值代入（3）中，求得y=______，从而得到原方程组的解为______．

先阅读，再解答：

我们在判断点是否在直线上时，常用的方法：把代入中，由，判断出点不在直线上。小明由此方法并根据“两点确定一条直线”，推断出点A(1，2)，B（3，4），C（－1，6）三点可以确定一个圆。你认为他的推断正确吗？请你利用上述方法说明理由