Niech dany będzie ostrosłup prawidłowy czworokątny o wysokości HHHH, wysokości ściany bocznej hhhh oraz długości boku podstawy aaaa. Wówczas: