# Was this particular case of the tube formula known before Weyl and Hotelling?

The tube formula is a really nice result in differential geometry which relates the volume of the tubular neighborhood of a submanifold to its intrinsic geometry. It has been proved by Weyl in 1939 who refined some previous results obtained by Hotelling (also in 1939). In the case where the submanifold under study is just a smooth closed curve $\gamma$ in the plane, the result has the following very nice form :

• If $\epsilon$ is smaller than the least radius of curvature of $\gamma$ the area of the tubular neighborhood of size $\epsilon$ around $\gamma$ is equal to $L\times 2\epsilon$, where $L$ is the length of $\gamma$.