Wszystkie krawędzie pewnego graniastosłupa prostego czworokątnego

Objętość sześcianu o krawędzi długości   wynosi

Objętość sześcianu jest dwa razy większa od objętości graniastosłupa czworokątnego, zatem objętość graniastosłupa wynosi

Skoro wszystkie krawędzie graniastosłupa mają długosć   zatem również krawędź boczna będąca wysokością graniastołupa ma długość