高数二重积分问题

证明如下：

①整个立体的体积应该是在第一卦限那部分的体积v的4倍。 ②v=∫【0，π/2】dθ∫【0，2acosθ】√(4a²-ρ²)ρdρ。 ③∫√(4a²-ρ²)ρdρ= -0.5∫(4a²-ρ²)^(1/2)d(4a²-ρ²)。 ④结果=(32/3)a^3*[(∏/2)-(2/3)]。