In[3]:= IntegrateSqrta ^ 2 - p - b ^ 2  p, {p, b - a, b + a},

integra raíz cuadrada

Assumptions → Re[b] > Re[a], GenerateConditions → False
asunciones parte real parte ⋯ genera condiciones falso

a2 - - b + p2
Out[3]= Integrate , {p, - a + b, a + b},
p
Assumptions → Re[b] > Re[a], GenerateConditions → False