If a>1, taking logs of both sides we obtain the equivalent inequality
sinx+cosx⋅loga(a+1)≥1.
For x∈[0,π/2], we have sinx≥sin2x and cosx≥cos2x. Because loga(a+1)>1, we obtain
sinx+cosx⋅loga(a+1)≥sin2x+cos2x=1.
The inequality clearly holds true for a=1.
Finally, if a∈(0,1), the inequality is equivalent to
sinx+cosx⋅loga(a+1)≤1,∀x∈[0,π/2],
which is obvious, since sinx≤1, cosx≥0 and loga(a+1)<0.