「代入」という同値変形の正しい書き方はこうです
F(x,y)=0かつy=f(x)
⇔F(x,f(x))=0かつy=f(x)
「代入」を使う連立方程式の解法を書きます
F(x,f(x))=0を解くことで、xの解x=a1,a2,⋯,anが得られたとしましょう
「解く」は同値変形なので
F(x,y)=0かつy=f(x)
⇔F(x,f(x))=0かつy=f(x) (←y=f(x)が直線ならここで消える)
⇔(x=a1またはx=a2または⋯またはx=an)かつy=f(x)
⇔(x=a1かつy=f(x))または⋯または(x=anかつy=f(x))
⇔(x=a1かつy=f(a1))または⋯または(x=anかつy=f(an))
このように書けます
長くなるので次にします