Q1 Matemática  (IMO Longlists 1977)

Um pentágono inscrito em um círculo para o qual e é a base de uma pirâmide com vértice . Se for a aresta mais longa começando em , prove que .