Q19 Matemática  (IMO Longlists 1984)

Seja um triângulo isósceles com ângulo reto no ponto . Encontre o mínimo da função dado por