>�@、�Aの条件の元で�B、�Cの等式が与えられた場合
>a+b>0
>ab>0    
>a,b∈N
>は成り立つのでしょうか?
OK

>(m-1)(n-1)≧0は確定ですが
>(a-1)(b-1)の値域も同様になるんでしょうか

OK