>>433
代入法の原理が分かっていない証拠
(x-3/2)^2+y^2=1・・・①
x^2-y^2=k・・・②

①+②より
2x^2-3x+5/4-k=0・・・③が得られ
逆に、
①－③より②が得られるので
(①かつ②)⇔(①かつ③)
より、①かつ③を考えなければいけない

一般に、
y=f(x)・・・①
g(x,y)=0・・・②
g(x,f(x))=0・・・③とすると
(①かつ②)⇔(①かつ③) (or(②かつ③))