s=FullSimplify[Solve[{Y/(X+a2)==a3/a1,X/(Y+a3)==a2/a1},{X,Y}]]

FullSimplify[X+Y/.s]