あたりまえ

y > mx + bがあのへんの領域をあらわすーとか習ったから

直線 ax + by + c = 0に対して点P(x1,y1),Q(x2,y2)が同じ側にある
⇔
ax + by + cにP,Qの座標を代入した時の符号が同じ
⇔
(a*x1 + b*y1 + c) * (a*x2 + b*y2 + c) > 0

直線なのでもちろんa≠0またはb≠0

ひとりごとなので全く保証出来ません