a) xet tam giac AED va tam giac DCF ta co

AD=CD ( ABCD la hinh vuong)  AE=CF ( gt) goc DAE= goc DCF (=90)

--> tam giac ABD =tam giac DCF ( c=g-c)

--> DE=DF

ta co : goc ADE+ goc EDC =90 (2 goc ke phu)

          goc ADE= goc CDF ( tam giac ADE= tam giac CDF)

--> goc EDC+goc CDF=90--> goc EDF=90--> tam giacEDF vuong tai D

ma DE=DF ( cmt)

nen tam giac EDF vuong can tai D

b) xet tam giac DEF vuong tai D ta co : DI la duong trung tuyen ung voi canh huyen EF ( I la trung diem EF) --> DI=1/2 EF

xet tam giac BEF vuong tai B ta co: BI la duong trung tuyen ung voi canh huyen EF ( I la trung diem EF)==> BI=1/2 EF

---> DI=BI

c)xet tam giac DIB ta co : DI=BI ( cmt)-> tam giac DIB can tai I

xet tam giac DIB can tai I ta co : IO la duong trung tuyen *( O la trung diem BD )==> IO la duong cao--> IO vuong goc BD

ta co : CA vuong goc BD  tai O ( ABCD la hinh vuong)

---> CO va IO cung vuong goc BD tai O--> CO trung IO--> O,C,I thang hang