En esta demostración, se adopta el punto de vista de que la geometría Euclidiana es el estudio del grupo afín en el plano generado por los reflejos en $\mathbb{R}^2$). Este grupo incluye todas las traslaciones y rotaciones. Se conservan las distancias y los ángulos. La función de este grupo, y en particular de la manera en paralelo traducción de vectores interactúa con la rotación, es importante en el argumento.
La traducción de triángulo $ABC$ por el vector $AB$ produce triángulo $A'B'C'$ (que establece que el ángulo de $ABB'$ es recto) y la rotación $ABC$ alrededor del punto medio de la $M$ $BC$ produce triángulo $A_1'B_1'C_1'$. Observe que $C=B_1'$ porque $M$ es el punto medio de la $BC$, y también por la construcción, $C_1' = A' = B$.
Todo depende de a $A_1'$ coincidiendo con $C'$, como se sugiere en esta figura. Aunque esto es visualmente "obvio" que hay algo que se muestra, debido a que $A_1'$ es el resultado de la rotación $ABC$ mientras $C'$ es el resultado de la traducción de $ABC$. Entre las muchas formas de hacer esta demostración, entonces, aquí hay uno que es geométrica en el espíritu.
La imagen de vector de $AB$ bajo ($180^\circ$) rotación alrededor de $M$ es el vector de la $A_1'B_1'$. Debido a $180^\circ$ rotaciones negar vectores, $A_1'$ debe ser el traducir de $B_1'$$AB$. Puesto que (por construcción) $C'$ es la de traducir $C = B_1'$, $C'$ y $A_1'$ son coincidentes.
Esto muestra que el ángulo recto. $ABB'$ se descompone en que no se solapan los ángulos $\beta$, $\gamma'$, y $\alpha'$. Porque traslaciones y rotaciones preservar los ángulos, la medida del ángulo $\alpha$ es igual a la medida de $\alpha'$ (su imagen en la traducción) y la medida del ángulo $\gamma$ es igual a la medida de $\gamma'$ (su imagen, en virtud de la rotación), donde la suma de las medidas de $\alpha$, $\beta$, y $\gamma$ es la medida de un ángulo recto, $180^\circ$.