a) Ta có : AO = OC (gt) ( do D đối xứng với E qua O )
 ADC^;=90o" role="presentation" box-sizing:inherit; direction:ltr; display:inline-block; float:none; font-size:18.08px; line-height:0; margin:0px; max-height:none; max-width:none; min-height:0px; min-width:0px; overflow-wrap:normal; padding:1px 0px; position:relative; white-space:nowrap; word-spacing:normal" class="MathJax_CHTML mjx-chtml">ˆADC=90o$\widehat{ADC}={90}^o$(gt)
Vậy ADCE là hình chữ nhật

b) ADCE là hình chữ nhật thì AE // DC , AE = DC .
Mà DC = BD ( do tam giác ABC cân ) .
Suy ra , AE = BD 

=> ABDE là hình bình hành  
I là trung điểm của AD  
=> I là trung điểm của BE