Cho , có
các đường trung trực của
và
cắt cạnh
tại
và
. Số đo góc
là:
Vì thuộc đường trung trực của
nên
(tính chất đường trung trực của đoạn thẳng)
Khi đó cân tại
(dấu hiêu nhận biết tam giác cân)
(tính chất tam giác cân)
Vì thuộc đường trung trực của
nên
tính chất đường trung trực của đoạn thẳng)
Khi đó cân tại
(dấu hiêu nhận biết tam giác cân)
(tính chất tam giác cân)
Trong ta có
Mà