>>240

X 軸上の点 (t, 0) と単位円の頂点 (0, 1) を結ぶ直線と単位円の
交点を (f(t), g(t)) とする。
f(t) と g(t) は t の有理関数になる。

∫√(1 - x^2)dx =∫ydx = ∫g(t)(df/dt)dt となる。

誰か計算してくれないか？