The original double integral covers the triangle . By Fubini's theorem, after reversing the order, runs from to and from to . Since a continuous function is integrable on this bounded region,
For the square pyramid, a horizontal section at height is a square of side : each vertex moves linearly from the base towards . Hence its cross-sectional area is , and its volume is . To use the identity just proved, choose :
Interpret the stated side lengths as all eight edges of the square pyramid. The equal lateral edges put its apex above the base centre. The base-centre-to-vertex distance is half the diagonal, . The Pythagorean theorem therefore gives
Using the pyramid volume formula with a base,