円の公式を積分で証明するには、置換積分が必要ですか?

x^2+y^2=r^2

∫ydx (0≦x≦r)