a) Theo quy tắc ba điểm ta có

b) Theo quy tắc trừ ta có

c) Gọi F là điểm đối xứng của A qua C, Điểm E là đỉnh của hình bình hành ABEF,
Theo quy tắc hình bình hành ta có

Gọi I là hình chiếu của E lên

.
Vì


Áp dụng định lí Pitago ta có:

Suy ra

d) Lấy Lấy các điểm

sao cho

Suy ra

Do đó