Q48 Matemática (IMO Longlists 1982)
Seja o ponto médio do eixo de um cilindro circular reto. Sejam e pontos diametralmente opostos de uma base, e um ponto do outro círculo da base que não pertence ao plano . Prove que a soma dos ângulos diedros do triédrico é igual a .