x^2-ax=y(≧-a^2/4)を満たすxが二つ存在し、
解の大きい方、小さい方がそれぞれ
π∫[-a^2/4,0]x^2dy - π∫[-a^2/4,0]x^2dy
の前者、後者に対応