Mozi ^ correspond à la puissance
rc(x) à la racine carré de x
AC^2=AB^2+AC^2=1+1=2 => AC=rc(2)
Les coordonnés de C sont (rc(2);0)

Soit O le centre du carré ABCD
BO est perpendiculaire à AC donc B et O ont la même abscisse.
AO=rc(2)/2 => O(2+rc(2)/2);0)
On en déduit que B(2+rc(2)/2;rc(2)/2)
La coordonnées de OB =rc(2)/2 car dans un carré OA=OB=OC=OD
De la même façon D(2+c(2)/2;_rc(2)/2)

Soit G le milieu de [CF]
CEF est équilatéral, alors FG est perpendiculaire par rapport à l'axe des abscisses.
L'abscisse de F =celle de G = (6+(2+rc(2))/2=4+rc(2)/2
Sa coordonnée = CF =6-(2+rc(2))=4-rc(2))