Tu traces la médiatrice D de [AB], tu prends ton compas et tu trouves le point O' sur (AB) tel que AO' = R (rayon de C) Ensuite tu traces le cercle C' de centre O' de rayon OA'. Tu construis les images de A et de B par la translation de vecteur O'O
On note t la translation de vecteur OO'
C' est évidemment l'image de C par t car t(O) = O' et les rayons de C et C' sont égaux
Ainsi t(C) = C', comme A et B appartiennent à C', en notant A' = t-1(A) (translation de vecteur O'O), A' € C, de même B' € C
Voilà 