cos²x+sin²x=1
<=> cos²x=1-sin²x
<=> sin²x=1-cos²x
donc là t'as le choix. Mettons qu'on fasse un changement de variable en sinus.
sqrt(1-x²) dx
On pose x=sint => t=Arcsinx (en se plaçant dans un intervalle adapté)
dx=cost dt
sqrt(1-x²) dx = sqrt(1-sin²x) * cost dt
= IcostI*cost dt
Et là ça devient tout simple, en n'oubliant toujours pas de changer les bornes de l'intégrale 