>a,b,cをすべてt(≠0)倍してもkの値や条件式に変化がないから、
>abc>0として大丈夫だろう。

Why ?