Докажите, что когда радиус окружности, вписанной в правильный восьмиугольник равняется r, радиус окружности описанной около него равняется 2r/√(2+√2).