Ta có AB // CD => Góc IDC=Góc DIA ( so le trong )
Mà góc IDC=góc IDA ( do ID là tia phân giác góc ADC)
=> Góc DIA= Góc IDA => tam giác DIA cân tại A
=> AD = AI (1)
Ta có AB // CD => Góc DCI = Góc CIB (so le trong )
Mà góc DCI = góc ICB ( do IC là tia phân giác góc DCB)
=> Góc CIB = Góc ICB => tam giác CIB cân tại B
=> BC = BI (2)
Cộng (1) và (2) , vế theo vế .Ta được:
AD + BC = AI + BI
=> AD + BC = AB (đpcm)
gọi K là giao điểm DE và AB
ta có góc AKE=ADK(cùng bằng với EDC)
suy ra tam giác AKD cân tại A
tam,giác ADK cân tại A có AE là đường cao phân giác
suy ra AE cũng là đường trung trực
vay ED=EK
xét tam giác BEK và CED
ED=EK
BEK=CED(đối đỉnh)
BKE=EDC(so le trong ABsong song CD)
vậy tam giác BEK=CED
suy ra CD=NK
vậy AB+BK=AB+CD=AK
mà AK=AD
nên AD=AB+CD