Neka su u tetraedru ABCDABCD površine strana ABDABD, ACDACD, BCDBCD i BCABCA redom jednake S1S_{1}, S2S_{2}, Q1Q_{1}, Q2Q_{2}, a prostorni kut između strana ABDABD i ACDACD jednak α\alpha, odnosno β\beta između BCDBCD i BCABCA. Dokažite da je S12+S222S1S2cosα=Q12+Q222Q1Q2cosβ.S_{1}^{2} + S_{2}^{2} - 2S_{1}S_{2}\cos\alpha = Q_{1}^{2} + Q_{2}^{2} - 2Q_{1}Q_{2}\cos\beta.