回答

mX-Y=0 を Y=mX とおいたのは,

そうしなければならない訳ではなく,
そうした方が考え易いからです.

例えば,これから先でm=〜や,Y=〜の形に
式を変形する必要がある場合がありますが,
その際に

mX-Y=0 ⇔ mX=Y ⇔ m=Y/X

と,いちいち考える手間が生じます.

また, X=0, X≠0という様に場合分けしたのは,
Y=mXをm=〜の形に変形する際に
YをXで割る必要がありますが,

X=0の場合,0で何かの数を割ってしまうことになるので
一概にm=Y/Xとおいて,②’に代入すると痛い目を見ます

この回答にコメントする
疑問は解決しましたか?