截角正方稜錐

截角正方稜錐是正方稜錐的稜錐臺的特例。設截角稜錐的底邊和頂邊邊長分別為和，高度為。則該固體的體積為

這個公式在公元前 1850 年左右就為埃及人所知。然而，埃及人不可能在沒有微積分的情況下證明它，因為 Dehn 在 1900 年表明，不存在不依賴於連續性概念（以及因此某種形式的積分）的該方程的證明。