a) Dựng hình bình hành ADCE. Ta có D C → = A E → không đổi.
Do AE = b không đổi, nên E cố định. Do AD = EC = a nên khi D chạy trên đường tròn (A;a) thì C chạy trên đường tròn (E;a) là ảnh của (A;a) qua phép tịnh tiến theo A E → .
b) Đường thẳng qua I, song song với AD cắt AE tại F.
Ta có
Do đó có thể xem I là ảnh của C qua phép vị tự tâm A, tỉ số . Vậy khi C chạy trên (E;a) thì I chạy trên đường tròn là ảnh của (E;a) qua phép vị tự nói trên.