Gọi A', B', C' tương ứng là ảnh của ba điểm A, B, C qua phép đồng dạng tỉ số k. Chứng minh rằng: A'B'→.A'C'→ = k2.AB→.AC→