((2r cos α/2 - r/2 - r/2 cos α)^2 + (2r sin α/2 - r/2 sin α)^2)^1/2