a) Xét ΔAIB và ΔCID có:
IA = IC ( = 1/2 AC)
BIA^ = DIC^ (đối đỉnh)
IB = ID (gt)
=> ΔAIB = ΔCID (c.g.c)
b) Xét ΔAID và ΔCIB có:
IA = IC ( = 1/2 AC)
AID^ = CIB^ (đối đỉnh)
IB = ID (gt)
=> ΔAID = ΔCIB (c.g.c)
=> AD = BC (2 cạnh tương ứng)
=> IAD^ = ICB^ (góc tương ứng)
Mà 2 góc trên ở vị trí so le trong nên AD // BC ( đpcm )
Vậy ...