Cho tam giác ABC cân tại A và góc A tù. Các đường trung trực của AB, AC cắt nhau tại O và cắt BC lần lượt ở D và E. Chứng minh rằng:

a) Các tam giác ADB, AEC, ADE, DOE là các tam giác cân;

b) tam giác ADB = tam giác AEC;

c) OA = OB = OC.