已知a>0 b