A Markov chain of triangle shapes

The process of choosing a random triangle inside a compact convex region, K, may be iterated when K itself is a triangle. In this way successive generations of random triangles are created. Properties of scale, location and orientation are filtered out, leaving only the shapes of the triangles as the objects of study. Various simulation investigations indicate quite clearly that, as n increases, the nth-generation triangle shape converges to collinearity. This paper attempts to establish such convergence; the present results fall slightly short of a complete proof.