Suorakulmaisen särmiön avaruuslävistäjä voidaan laskea kaavalla
Kaava on helppo johtaa itse muodostamalla Pythagoraan lauseen avulla ensin lauseke pohjan lävistäjälle.