Oを原点とするxyz 空間内にxy平面上の放物線y＝x^2をy軸の周りに回転してできる曲面Sと、正四面体OABCがたり、条件「３頂点A、B、Cはs上にある」を満たしている時、正四面体OABCの一辺の長さを求めろ

[Monmayo]