Должен сказать, что я не понял первоначального вопроса. Однако, пытаясь понять интригующее решение, данное Велисарием, я придумал следующее:
expr = (-1 + 1/p)^B/(-1 + (-1 + 1/p)^(A + B));
Together@(PowerExpand@FunctionExpand@Numerator@expr/
PowerExpand@FunctionExpand@Denominator@expr)
Вывод (по данным Велисария):
![alt text](https://i.stack.imgur.com/Ausa7.gif)
В качестве альтернативы:
PowerExpand@FunctionExpand@Numerator@expr/PowerExpand@
FunctionExpand@Denominator@expr
1012 * дает *
![alt text](https://i.stack.imgur.com/CtsN4.gif)
или
FunctionExpand@Numerator@expr/FunctionExpand@Denominator@expr
![alt text](https://i.stack.imgur.com/jY5kd.gif)
Спасибо Велисарию за еще один хороший урок силы Мма.