Xét tam giác BDC và CEB có
góc E= góc D=90 độ
góc B= Góc C
BC chung
=> tam giác BDC= tam giác CEB(trường hợp cạnh huyền góc nhọn)
=>góc DBC= góc ECB( hai cạnh tương ứng)
mà góc DBC+DBE=góc EBC
góc ECB+ECD=góc BCD
lại có góc EBC=Góc BCD
=>góc DBE=góc BCD
hay góc IBE= cóc ICD