Characterization of polytopes via tilings with similar pieces

Assume theorem 1 is proven in dimension n-1.
As already stated, K is the convex hull of the union of a finite number of n-1 dimensional compact convex sets and a point x in the relative interior of the tip simplex. Since we supposed K is not a polytope, one of these sets has infinitely many extremal points which are also extremal points of K. Call this set B, and recall that B\subset \textsc{bd}(K). Pick another point y in the relative interior of the tip simplex of K. Choose a n-1-dimensional affine subspace H parallel to B and containing y. If H\cap \textsc{conv}(\{x\}\cup B) =\emptyset, interchange the roles of y and x. If H contains x, tilt H just a little such that it intersects \textsc{conv}(\{x\}\cup B) but neither intersects \{x\} nor the base B. Also, assume H is not one of the finite hyperplanes excluded in proposition 8.
The intersection of H and K is, as we know from proposition 8, a polytope. But H\cap B will have infinitely many extremal points, as it is a (possibly dilated, if we tilted H) homothetic copy of B. Thus, K and B can only share a finite number of extremal points, in contradiction with the assumption.

We can regard this situation in the following way: K has two tilings T and T' which are the same, but in T f_L is the similarity from K to L, and in T' f_L' is considered to be the similarity from K to L. Theorem 1 then concludes the proof.

Denote by f_L the similarity transformation from K to L. We may assume x_L=0.

Let O_n denote the set of orthogonal transformations of R^n. Let \lambda denote the similarity ratio of f_L, and define M_L:=\lambda^{-1} f_L. Then M_L \in O_n. Since O_n forms a compact subset of the space of n-dimensional matrices, it follows that the powers of M_L can get as close to the identity matrix as we please.
Write B_\varepsilon:=B_\varepsilon(0) for the open ball of radius \varepsilon around 0 and TC(K):=TC_0 (K)=TC_{x_L}(K) for the solid tangent cone of K at 0. Obviously, the solid tangent cones of later iterations of f_L(K) are included in earlier:

But since we can get f^i_L as close to a homothety as we want, we can get B_\varepsilon\cap TC(f^i_L(K)) as close to B_\varepsilon\cap TC(K) (with respect to, for example, the Pompeiu-Hausdorff metric and a fixed \varepsilon>0) as we want by choosing i\in \mathbb{N}. Thus, the solid tangent cones of K and f^i_L(K),\ i\in \mathbb{N} at x_L coincide. In particular, because all tiles are compact, convex and have nonempty interior, their tangent cones are never degenerate, and it follows that L is the only tile of T which contains 0=x_L. Then there is an \varepsilon>0 such that

In particular, x_L is not an accumulation point of extremal points of K.
Choose R such that B_R\supset K, set t:=R/\varepsilon and d such that \lambda^d<\varepsilon and t\lambda^d<1. There is a tiling T of K such that f_L^d(K) is a tile of K. tM_L^{-d}(T) gives a tiling of tM_L^{-d}(K), and by the choice of t, tM_L^{-d}(K)\supset K. Thus, tM_L^{-d}(T)* \{K\} is a tiling of K which contains L':=tM_L^{-d}(f_L^d(K))=t\lambda^d K\subsetneq K, which is a homothetic copy of K.

If the tip simplex is just a point, the Lemma is trivial. Suppose therefore that there are at least two tilings with T_1 and T_2 with tiles L_1 respectively L_2 which are similar to K and have distinct fixed points, and suppose the corresponding similarities are chosen to be homotheties. Then the tiling T_1+f_{L_1} (T_2) will contain a homothetic copy of K: L_3=f_{L_1}(L_2). L_3 is new to us, because the corresponding fixed point will not coincide with x_{L_1} or x_{L_2}, but will lie in their convex hull. By iterating this procedure, we see that there is a dense subset M of \textsc{conv}(\{x_{L_1}, x_{L_2}\}) we can make the fixed points of similarities lie in.
Next, suppose x_0\in \textsc{conv}(\{x_{L_1}, x_{L_2}\}) \setminus M. Find a tiling T with a similar copy L of K such that x_L\in \textsc{conv}(\{x_{L_1},x_0\}). (Again, we assume the similarities to be homotheties.) Define H(x) to be the homothety which fixes x_{L_1} and maps f_{L}(x_0) to x_0, and let T':=H(T), which covers K. T'*\{K\} is a tiling of K. If L is chosen small enough, H(L) is a proper subset of K and thus a tile of T'*\{K\} with fixed point x_0. With higher dimensional tip simplices, this construction works just in the same way.