Cho tam giác ABC và điểm O thỏa mãn OA = OB = OC. Chứng minh rằng O là giao điểm ba đường trung trực của tam giác ABC.