Tự vẽ hình.
a) Áp dụng pytago là ra nhé!
b) Xét t/g ABE; tg DBE:
AB = DB ( gt)
g ABE = DBE (suy từ gt)
BE chung
=> tg ABE = tg DBE (c.g.c)
c) Vì tg ABE = tg DBE (câu b)
=> AE = DE
Xét tg AEF \(\perp\) tại A; tg DEC \(\perp\) tại D:
AE = DE (c/m trên)
g AEF = g DEC (đối đỉnh)
=> tg AEF = tg DEC (cgv - gn)
=> EF = EC
d) Do tg AEF = tg DEC (câu c)
=> AE = DE
=> E \(\in\) đg trung trực của AD (1)
Lại do AB = BD (gt)
=> B \(\in\) đg trung trực của AD (2)
Từ (1) và (2) => BE là đg trung trực của AD.