kẻ đường kính BB’
vì H là trực tâm của tam giác ABC thì AH=B’C
(chứng minh bằng cách chỉ ra AHCB' là hình bình hành)
do C,B’ cố định , cho nên B’C là một véc tơ cố định
suy ra vecto AH = B′C
theo định nghĩa về phép tịnh tiến điểm A đã biến thành điểm H . Nhưng A lại chạy trên (O;R) cho nên H chạy trên đường tròn (O’;R) là ảnh của (O;R) qua phép tịnh tiến dọc theo vecto v = B′C