Since r is an isometry, AB ? AX

Since r is an isometry, AB ? AX

and by hypothesis AC ? AB,

thus AC ? AX.

By Hilbert�s III4 (or SMSG Post 11 & 12), X=C and ? B ? ? C. �

Previous slide

Next slide

Back to first slide

View graphic version