a) Áp dụng pytago .

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 ⊥⊥ tại A; tg DEC ⊥⊥ 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 ∈∈ đg trung trực của AD (1)

Lại do AB = BD (gt)

=> B ∈ đg trung trực của AD (2)

Từ (1) và (2) => BE là đg trung trực của AD.