Cho hình vuông ABCD nội tiếp đường tròn tâm O, bán kính R và GEF là tam giác đều nội tiếp đường tròn đó, EF là dây song song với AB (h.119). Cho hình đó quay quanh trục GO. Chứng minh rằng:
Bình phương thể tích của hình trụ sinh ra bởi hình vuông bằng tích của thể tích hình cầu sinh ra bởi hình tròn và thể tích hình nón do tam giác đều sinh ra.