>>313さん、ありがとうございます。
本来|ab| = ±abだけど、定義域の(a<0,b>0)があるから"= +ab"にはならないのですね。
お手数おかけして申し訳ないです、ありがとうございました(^^