`a)` Xét `\triangle AIE` và `\triangle CIB` có:

 `IE=IB` (gt)

 `\hat{AIE}` `=` `\hat{CIB}` (đối đỉnh)

 `IA=IC` (gt)

`=>` `\triangle AIE` `=` `\triangle CIB` (c-g-c)

`=>` `AE=BC` (2 cạnh tương ứng)

`b)` Vì `\triangle AIE` `=` `\triangle CIB` (chứng minh a)

`=>` `\hat{AEI}` `=` `\hat{IBC}` (2 góc tương ứng)

mà 2 góc này ở vị trí so le trong

`=>` `AE` `////` `BC`