>>579
書く必要も無い・・？(´・ω・`)?
一応尋ねられてると察して書いときます
x=sin(t)
dx=cos(t)dt
x：0→1　sin(t)：0→π/2
∫[0,1]√(1-x^2)dx=∫[0,π/2]cos^2(t)dt
あとは半角やらなんやら使って

ちなみにこの計算で出るのは単位円の右上の1/4