Tag Archives: geometry

The Schwarz lantern

Consider a smooth curve defined by a continuous map \(f : [0,1] \to \mathbb R^n\) with \(n \ge 2\) where \(f\) is supposed to have a continuous derivative. One can prove that the curve is rectifiable, its arc length being \[
L = \lim\limits_{n \to \infty} \sum_{i=1}^n \vert f(t_i) – f(t_{i-1}) \vert = \int_0^1 \vert f^\prime (t) \vert \ dt\] with \(t_i = \frac{i}{n}\) for \(0 \le i \le n\).

What can happen when we consider a surface instead of a curve?

Consider a compact, smooth surface (possibly with boundary) embedded in \(\mathbb R^3\). We can approximate it as a polyhedral surface composed of small triangles with all vertices on the initial surface. Will the sum of the areas of the triangles converges to the area of the surface if their size is converging to zero?

The answer is negative and we provide a counterexample named Schwarz lantern. We take a cylinder of radius \(r\) and height \(h\). We approximate the cylinder by \(4nm\) isosceles triangles positioned as in the picture in \(2n\) slices. All triangles have the same base and height given by \[
b = 2r \sin \left(\frac{\pi}{m}\right), \ h = \sqrt{r^2 \left[1-\cos \left(\frac{\pi}{m}\right)\right]^2+\left(\frac{h}{2n}\right)^2}\] Hence the area of the polyhedral surface is \[
\begin{aligned}
S^\prime(m,n) &= 4 m n r \sin \left(\frac{\pi}{m}\right) \sqrt{r^2 \left[1-\cos \left(\frac{\pi}{m}\right)\right]^2+\left(\frac{h}{2n}\right)^2}\\
&= 4 m n r \sin \left(\frac{\pi}{m}\right) \sqrt{4 r^2 \sin^4 \left(\frac{\pi}{2m} \right)+\left(\frac{h}{2n}\right)^2}
\end{aligned}\] From there, let’s have a look to the value of \(S^\prime(m,n)\) as \(m,n \to \infty\).

Continue reading The Schwarz lantern