Cho tam giác có
. Gọi O là giao điểm các đường trung trực
. Số đo góc
bằng:
Hình vẽ minh họa
Xét tam giác ABC có (định lí tổng ba góc trong tam giác)
Vì O là giao điểm của các đường trung trực trong tam giác ABC nên OA = OB = OC(tính chất ba đường trung trực)
Do đó tam giác OAB, OBC, OAC là các tam giác cân tại O nên
Ta thấy