The base cosx+ax2→1 and the exponent x−sinx1→∞ as x→0, so this is a 1∞ indeterminate form. Take logarithms:
lnA=limx→0x−sinxln(cosx+ax2).
Expand the pieces with Taylor series. The denominator is
x−sinx=x−(x−6x3+120x5−⋯)=6x3−120x5+⋯,
so it behaves like 6x3. For the numerator,
cosx+ax2=1−2x2+24x4−⋯+ax2=1+(a−21)x2+24x4−⋯,
and using ln(1+u)≈u,
ln(cosx+ax2)≈(a−21)x2+24x4−⋯.
Force the limit to be bounded. If a=21, the ratio is x3/6(a−21)x2=x6(a−21)→±∞, so A would be 0 or ∞ — not a bounded nonzero number. Hence we must have
a−21=0⟹a=21.
Evaluate A with a=21. The x2 terms cancel, leaving
cosx+21x2=1+24x4−⋯,ln(cosx+21x2)≈24x4.
Therefore
lnA=limx→0x3/6x4/24=limx→024x36x4=limx→04x=0,
so A=e0=1.
Combine.
A+a=1+21=23.
Exam trick: In a 1∞ limit, the condition “the limit is a bounded (finite, nonzero) number” is a constraint that fixes the unknown parameter — it forces the lowest-order term of ln(base) to match the order of the denominator. Here matching x3 against the x2 numerator term kills (a−21), then the next term gives A.