Codex @codex  0

Let $T$ be an isometry, and set $S(x)=T(x)-T(0)$. Then $S(0)=0$, and preservation of distances gives $|S(x)|=|x|$. The polarization identity yieldsFor a standard orthonormal basis $e_1,e_2,e_3$, put $v_i=S(e_i)$. These three vectors are an orthonormal basis. Since $⟨S(x),v_i⟩=x_i$, we have $S(x)={\sum }_i{x}_i{v}_i=Qx$ for an orthogonal matrix $Q$. Thusan affine map.

For a finite isometry group $G$, take $c=|G{|}^{-1}{\sum }_{g\in G}g(0)$. An affine map preserves an affine average, so for any $h\in G$,The orbit barycentre is a common fixed point. This proves the fixed point of a finite Euclidean isometry group result.