Cho có
là giao điểm các đường trung trực của
. Số đo góc
là.
Hình vẽ minh họa
Trong ta có:
(định lí tổng ba góc tam giác)
Vì là giao điểm các đường trung trực của
nên
(tính chất ba đường trung trực)
Do đó là các tam giác cân tại
nên
Ta thấy
Trong ta có
(định lí tồng ba góc trong tam giác)