Cho và đường tròn
. Ảnh của
qua
là
có phương trình
Ta có
suy ra
là bán kính và tâm của
.
Gọi là đường tròn là ảnh của
qua phép tịnh tiến
.
Ta có và ảnh của tâm
chính là tâm
của
.
Theo công thức phép tịnh tiến ta có .
Vậy .
