Teorema 4.40.

Si dos ángulos forman un par de ángulos alternos

internos, entonces dichos ángulos son congruentes.

El ángulo /A está en la recta “a”, y el ángulo /B en la recta “b”,

paralela a “a”. La recta “s” que une A y B divide al plano en dos
semiplanos H1 y H2. Por definición de alternos-internos si el ángulo
en A se forma con la semirrecta en uno de los semiplanos, por
ejemplo a1:=a∩H1, el ángulo en B se forma con la semirrecta en el
otro: b2:=b∩H1.

Tomamos el punto medio M del segmento [A,B]. Intuitivamente,

vemos que si hacemos giramos media vuelta con centro en M, /A se
transforma en /B. Eso es lo que necesitamos probar.

[1] Por ser el punto medio del segmento, sM(A)=B y

también sM(s)=s.

[2] Como sM(A)=B, la semirrecta s1 que "sale de A en dirección a B"

(contiene a B) tiene como imagen la semirrecta s2, que sale de B en
dirección a A.

[3] La media vuelta, por ser simetría central, cumple que sM(a) es
paralela a “a”. Además pasa por B (porque A está en “a” y sM(A)=B).
Así que sM(a) es larecta paralela a “a” que pasa por B (Axioma de
las paralelas: la paralela es única). Así que, sM(a)=b.

[4] Por último, al ser simetría, sM permuta los semiplanos H1 y H2,

con lo que sM(a1)=b2. Por tanto ya, sM(/A)= /B;

esto es: sM ({A,a1,s1})={B,b2,s2}.