Wiedząc, że  korzystamy z twierdzenia Pitagorasa

Z twierdzenia o trzech prostych - , czyli trójkąt  zawierający przekątna graniastosłupa jest