Двогранный угол ADCA1 - это угол между плоскостями ADC и DCA1. Его градусная мера равна градусной мере линейного угла, построенного на двух перпендикулярах к прямой пересечения итих плоскостей, то есть это угол АDA1. Используя теорему Пифагора и определения тригонометрических функций, имеем следующее