On prend le plan complexe dans ce plan les affixes de A, B, C, D sont :
A(0)
B(1)
C(1+i)
D(i)
On a alors
O((1+i)/2)
I((1+3i)/4
J(1/2)
On veut prouver que ICJ est rectangle isocèle en I :
On note i, c, j les affixes de I, C et J
L'écriture complexe de la rotation de centre I et d'angle pi/2 s'écrit
z' = i(z-(1+3i)/4)) + (1+3i)/4
Appliqué à z = j :
z' = i(1/2 - 1/4 - 3i/4) + (1+3i)/4
= i/4 + 3/4 + 1/4 + 3i/4
= (1+i) = c
C est l'image par J par la rotation de centre I et de rayon pi/2 donc ICJ est isocèle rectangle en I 