Formal Book

16 Touching simplices

Theorem 16.1

For every \(d\ge 2\), there is a family of \(2^d\) pairwise touching \(d\)-simplices in \(\mathbb {R}^d\) together with a transversal line that hits the interior of every single on of them.

Proof

TODO

Theorem 16.2

For all \(d \ge 1\), we have \(f(d){\lt} 2^{d+1}\).

Proof

TODO