a,b>0を仮定してるんじゃないですか?