Z(O)=0 ; Z(A)=1/2(1+i)=√2.(√2/2+√2/2.i)=√2.exp(iπ/4)
donc Z(Mn)=(√2)^n.exp(i.nπ/4)
les points O,A,Mn sont alignés si (OA,OMn)=0 [π]
donc nπ/4-π/4=0+kπ (avec k entier relatif)
donc (n-1)π/4=kπ
donc n-1=4k
donc n-1 est multiple de 4
ainsi la proposition est VRAIE