Das ist eine häufig angewandte Methode. Formal addierst Du 0 in der Form +a-a, das ändert den Wert des Terms nicht, und ist problemlos möglich. (Das Gleiche macht man oft auch mit *1 = *a:a)
Sinn ist, dass Du das +a und das -a aber jeweils mit einem anderen Teil des Term verrechnest und so das Ganze vereinfachen kannst.
Wenn Du Deinen Bruch anschaust, wird das eine \(\mu\) mit dem Y, das andere mit dem \(\mu_0\) zusammengenommen, dann wird der Bruch zerlegt und ein Teil auf die andere Seite gebracht.