se calcolo il lato dell'ottagono inscritto in una circonferenza di raggio unitario, ottengo proprio sqrt(2-sqrt(2)). Il lato e' evidentemente più corto dell'arco di circonferenza da lui sotteso, che e' proprio lungo pi/4