Dynamics of the nested triangles formed by the tops of the perpendicular bisectors

Given a triangle, we construct a new triangle by taking as vertices the tops of the interior perpendicular bisectors. We describe the dynamics of this transformation exhaustively up to similarity. An acute initial triangle generates a sequence with constant largest angle: except for the equilateral case, the transformation is then ergodic and amounts to a surjective tent map of the interval. An obtuse initial triangle either becomes acute or degenerates by reaching a right-angled state