on considère la rotation r de centre A et d'angle 90°
r(E)=B ; r(A)=A ; r(C)=G
r est une isométrie (elle conserve les angles orientés et les longueurs)
donc r(E)r(C)=EC soit BG=EC
