Gracias Patricia.
Muy clara la respuesta.

P.D.: La verdad es que busqué algo como esto: tan(3/8*pi) = 1+sqrt(2), pero no había encontrado.