>>147
できたよ
\!\(f = \(\@\(A\ B\) + \@\(A\ C\)\)\/A\)
\!\(PowerExpand[f] /. {\@A -> A\/\@A} // FullSimplify\)
こういう時は新しいRule［→］を作ってやるとうまくいく